Christos Stergiou

13 papers A* 1A 2Misc 1Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2019 J jnl
Basic problems in multi-view modeling.
Softw. Syst. Model.
Jan Reineke, Christos Stergiou, Stavros Tripakis
2015 — conf
Automatic Completion of Distributed Protocols with Symmetry.
CAV (2)
Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
2015 J jnl
Automatic Completion of Distributed Protocols with Symmetry.
CoRR
Rajeev Alur, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
2014 — conf
Synthesizing Finite-State Protocols from Scenarios and Requirements.
Haifa Verification Conference
Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
2014 J jnl
Synthesizing Finite-state Protocols from Scenarios and Requirements.
CoRR
Rajeev Alur, Milo M. K. Martin, Mukund Raghothaman, Christos Stergiou, Stavros Tripakis, Abhishek Udupa
2013 J jnl
A modular formal semantics for Ptolemy.
Math. Struct. Comput. Sci.
Stavros Tripakis, Christos Stergiou, Chris Shaver, Edward A. Lee
2013 — conf
Error-Completion in Interface Theories.
SPIN
Stavros Tripakis, Christos Stergiou, Manfred Broy, Edward A. Lee
2013 — conf
On the Verification of Timed Discrete-Event Models.
FORMATS
Christos Stergiou, Stavros Tripakis, Eleftherios Matsikoudis, Edward A. Lee
2013 Misc conf
On the schedulability of real-time discrete-event systems.
EMSOFT
Eleftherios Matsikoudis, Christos Stergiou, Edward A. Lee
2013 — —
Schedulability Analysis and Verification of Real-Time Discrete-Event Systems.
Christos Stergiou
2011 A conf
Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models.
TACAS
Jacob Burnim, Koushik Sen, Christos Stergiou
2011 A conf
Testing concurrent programs on relaxed memory models.
ISSTA
Jacob Burnim, Koushik Sen, Christos Stergiou
2009 A* conf
Looper: Lightweight Detection of Infinite Loops at Runtime.
ASE
Jacob Burnim, Nicholas Jalbert, Christos Stergiou, Koushik Sen