Christos Stergiou, Ph.D.
Affiliations: | 2013 | Electrical Engineering & Computer Sciences | University of California, Berkeley, Berkeley, CA, United States |
Area:
Embedded Software, Real-Time Systems, Cyber-Physical Systems, Concurrency; Design, Modeling and Analysis (DMA); Programming Systems (PS); Signal Processing (SP)Google:
"Christos Stergiou"Parents
Sign in to add mentor| Edward A. Lee | grad student | 2013 | UC Berkeley | |
| (Schedulability analysis and verification of real-time discrete-event systems.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Matsikoudis E, Stergiou C, Lee EA. (2013) On the schedulability of real-time discrete-event systems 2013 Proceedings of the International Conference On Embedded Software, Emsoft 2013 |
| Tripakis S, Stergiou C, Shaver C, et al. (2013) A modular formal semantics for Ptolemy Mathematical Structures in Computer Science. 23: 834-881 |
| Stergiou C, Tripakis S, Matsikoudis E, et al. (2013) On the verification of timed discrete-event models Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8053: 213-227 |