Looper: Lightweight Detection of Infinite Loops at Runtime. - Jacob Burnim; Nicholas Jalbert; Christos Stergiou 001; Koushik Sen (ASE, 2009)

Testing concurrent programs on relaxed memory models. - Jacob Burnim; Koushik Sen; Christos Stergiou 001 (ISSTA, 2011)

Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models. - Jacob Burnim; Koushik Sen; Christos Stergiou 001 (TACAS, 2011)

On the schedulability of real-time discrete-event systems. - Eleftherios Matsikoudis; Christos Stergiou 001; Edward A. Lee (EMSOFT, 2013)

On the Verification of Timed Discrete-Event Models. - Christos Stergiou 001; Stavros Tripakis; Eleftherios Matsikoudis; Edward A. Lee (FORMATS, 2013)

Error-Completion in Interface Theories. - Stavros Tripakis; Christos Stergiou 001; Manfred Broy; Edward A. Lee (SPIN, 2013)

A modular formal semantics for Ptolemy. - Stavros Tripakis; Christos Stergiou 001; Chris Shaver; Edward A. Lee (Math. Struct. Comput. Sci., 2013)

Schedulability Analysis and Verification of Real-Time Discrete-Event Systems. - Christos Stergiou 001 (2013)

Synthesizing Finite-State Protocols from Scenarios and Requirements. - Rajeev Alur; Milo M. K. Martin; Mukund Raghothaman; Christos Stergiou 001; Stavros Tripakis; Abhishek Udupa (Haifa Verification Conference, 2014)

Automatic Completion of Distributed Protocols with Symmetry. - Rajeev Alur; Mukund Raghothaman; Christos Stergiou 001; Stavros Tripakis; Abhishek Udupa (CAV (2), 2015)

Basic problems in multi-view modeling. - Jan Reineke 001; Christos Stergiou 001; Stavros Tripakis (Softw. Syst. Model., 2019)