Christos Stergiou
Christos Stergiou
Verified email at seas.upenn.edu - Homepage
TitleCited byYear
Sound and complete monitoring of sequential consistency for relaxed memory models
J Burnim, K Sen, C Stergiou
International Conference on Tools and Algorithms for the Construction and …, 2011
682011
Testing concurrent programs on relaxed memory models
J Burnim, K Sen, C Stergiou
Proceedings of the 2011 International Symposium on Software Testing and …, 2011
672011
Looper: Lightweight detection of infinite loops at runtime
J Burnim, N Jalbert, C Stergiou, K Sen
2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009
542009
A modular formal semantics for Ptolemy
S Tripakis, C Stergiou, C Shaver, EA Lee
Mathematical Structures in Computer Science 23 (4), 834-881, 2013
402013
Synthesizing finite-state protocols from scenarios and requirements
R Alur, M Martin, M Raghothaman, C Stergiou, S Tripakis, A Udupa
Haifa Verification Conference, 75-91, 2014
252014
Automatic completion of distributed protocols with symmetry
R Alur, M Raghothaman, C Stergiou, S Tripakis, A Udupa
International Conference on Computer Aided Verification, 395-412, 2015
182015
Checking equivalence of SPMD programs using non-interference
S Tripakis, C Stergiou, R Lublinerman
CALIFORNIA UNIV BERKELEY DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCE, 2010
112010
Checking non-interference in SPMD programs
S Tripakis, C Stergiou, R Lublinerman
102010
On the verification of timed discrete-event models
C Stergiou, S Tripakis, E Matsikoudis, EA Lee
International Conference on Formal Modeling and Analysis of Timed Systems …, 2013
92013
On the schedulability of real-time discrete-event systems
E Matsikoudis, C Stergiou, EA Lee
2013 Proceedings of the International Conference on Embedded Software …, 2013
82013
Error-completion in interface theories
S Tripakis, C Stergiou, M Broy, EA Lee
International SPIN Workshop on Model Checking of Software, 358-375, 2013
52013
Porphyry and epithermal deposits in Greece: An overview, new discoveries, and mineralogical constraints on their genesis
P Voudouris, C Mavrogonatos, PG Spry, T Baker, V Melfos, R Klemd, ...
Ore Geology Reviews, 2019
42019
Active tectonics (extensional regime and rotations) and Tertiary mineralization occurrences within Central Macedonia, Greece
I Lazos, C Stergiou, A Chatzipetros, C Pikridas, S Bitharis, V Melfos
9th International INQUA Meeting on Paleoseismology, Active Tectonics and …, 2018
42018
Porphyry and epithermal deposits in Greece: a review and new discoveries
P Voudouris, PG Spry, V Melfos, D Alfieris, C Mavrogonatos, A Repstock, ...
Proceedings of the 8th Geochemistry Symposium, Antalya, Turkey, 2-6, 2018
32018
Karst features and related social processes in the region of the Vikos Gorge and Tymphi Mountain (Northern Pindos National Park, Greece)
T Telbisz, CL Stergiou, A Mindszenty, A Chatzipetros
Acta Carsologica 48 (1), 2019
22019
Hydrothermal alteration and structural control of the Vathi porphyry Cu-Au-Mo-U ore system, Kilkis district, N. Greece
C Stergiou, V Melfos, P Voudouris, K Michailidis, P Spry, A Chatzipetros
Scientific Annals of the School of Geology, 69-74, 2016
22016
Basic problems in multi-view modeling
J Reineke, C Stergiou, S Tripakis
Software & Systems Modeling, 1-35, 2017
12017
First draft of the act programming language
E Matsikoudis, C Stergiou
CALIFORNIA UNIV BERKELEY DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCES, 2014
12014
Schedulability Analysis and Verification of Real-Time Discrete-Event Systems
C Stergiou
UC Berkeley, 2013
12013
A review on the critical and rare metals distribution throughout the Vertiskos Unit, N. Greece
CL Stergiou, V Melfos, P Voudouris
MDPI AG, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20