Christos Stergiou

According to our database, Christos Stergiou authored at least 11 papers between 2009 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Basic problems in multi-view modeling.

Jan Reineke, Christos Stergiou, Stavros Tripakis

Softw. Syst. Model., 2019

2015

Automatic Completion of Distributed Protocols with Symmetry.

Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Synthesizing Finite-State Protocols from Scenarios and Requirements.

Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa

Proceedings of the Hardware and Software: Verification and Testing, 2014

2013

Schedulability Analysis and Verification of Real-Time Discrete-Event Systems.

Christos Stergiou

PhD thesis, 2013

A modular formal semantics for Ptolemy.

Stavros Tripakis, Christos Stergiou, Chris Shaver, Edward A. Lee

Math. Struct. Comput. Sci., 2013

Error-Completion in Interface Theories.

Stavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee

Proceedings of the Model Checking Software - 20th International Symposium, 2013

On the Verification of Timed Discrete-Event Models.

Christos Stergiou, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2013

On the schedulability of real-time discrete-event systems.

Eleftherios Matsikoudis, Christos Stergiou, Edward A. Lee

Proceedings of the International Conference on Embedded Software, 2013

2011

Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models.

Jacob Burnim, Koushik Sen, Christos Stergiou

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Testing concurrent programs on relaxed memory models.

Jacob Burnim, Koushik Sen, Christos Stergiou

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

2009

Looper: Lightweight Detection of Infinite Loops at Runtime.

Jacob Burnim, Nicholas Jalbert, Christos Stergiou, Koushik Sen

Proceedings of the ASE 2009, 2009