Christos Stergiou

Publication Activity (10 Years)

Years Active: 2009-2019
Publications (10 Years): 3

Top Venues

CoRR

Math. Struct. Comput. Sci.

CAV (2)

Softw. Syst. Model.

University of California, Berkeley, USA (PHD)

Education History

University of California, Berkeley, USA

PHD

Publications

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

Christos Stergiou.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christos Stergiou