Christos Stergiou
Christos Stergiou
Verified email at seas.upenn.edu - Homepage
Title
Cited by
Cited by
Year
Testing concurrent programs on relaxed memory models
J Burnim, K Sen, C Stergiou
Proceedings of the 2011 International Symposium on Software Testing and …, 2011
692011
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
692011
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
592009
A modular formal semantics for Ptolemy
S Tripakis, C Stergiou, C Shaver, EA Lee
Mathematical Structures in Computer Science 23 (4), 834-881, 2013
442013
Basic problems in multi-view modeling
J Reineke, S Tripakis
International Conference on Tools and Algorithms for the Construction and …, 2014
302014
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
282014
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
202015
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
132010
Checking non-interference in SPMD programs
S Tripakis, C Stergiou, R Lublinerman
112010
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 107, 654-691, 2019
102019
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
82013
Active tectonics (extensional regime and rotations) and Tertiary mineralization occurrences within Central Macedonia, Greece
I Lazos, CL Stergiou, A Chatzipetros, C Pikridas, S Bitharis, V Melfos
Proceedings of 9th International INQUA Meeting on Paleoseismology, Active …, 2018
52018
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
42019
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
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
32016
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