Search results for: Stavros Tripakis
Software & Systems Modeling > 2019 > 18 > 3 > 1577-1611
Software & Systems Modeling > 2019 > 18 > 3 > 1655-1679
Journal of Systems and Software > 2017 > 132 > C > 353-365
Formal Methods in System Design > 2017 > 51 > 1 > 154-199
Proceedings of the IEEE > 2016 > 104 > 5 > 960 - 972
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2006 > Real-Time and Mobility > 317-331
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Modules and Compositional Verification > 347-362
Lecture Notes in Computer Science > Hybrid Systems: Computation and Control > Selected Presentations > 73-88
Lecture Notes in Computer Science > Formal Approaches to Software Testing and Runtime Verification > Regular Papers > 148-162
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Language Specification and Annotation > 393-407
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Real-Time > 59-73
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > Timed Automata I > 205-221