Leonidas Tsiopoulos
Papers
2
Total Citations
18
H-Index
2
About
No biography available yet.
Research Focus
Computer science2 · 18 citations
Distributed computing1 · 2 citations
Event (particle physics)1 · 2 citations
Formal verification1 · 2 citations
Human–computer interaction1 · 2 citations
Interdependence1 · 2 citations
Merge (version control)1 · 2 citations
Model checking1 · 2 citations
Programming language1 · 2 citations
Redundancy (engineering)1 · 2 citations
Separation of concerns1 · 2 citations
Software engineering1 · 2 citations
Key Achievements
2
H-Index
2
Papers
18
Total Citations
9
Avg Citations/Paper
🏆 Most Cited Paper
DTRON: a tool for distributed model-based testing of time critical applications; pp. 75–88
16 citations · 2017
📈 Most Prolific Year: 2017 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Tallinn University of Technology
Top Papers
- 1
- 2Developing Multi-view Contracts Using Event-B and Uppaal Timed Automata2 citations · 2016
Key Collaborators
Not generated yet