☰

Eleftherios Matsikoudis, Ph.D.

Affiliations: 
2010 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:
"Eleftherios Matsikoudis"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Edward A. Lee grad student 2010 UC Berkeley
 (Axioms for Asynchronous Processes.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

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, Lee EA. (2015) The fixed-point theory of strictly causal functions Theoretical Computer Science. 574: 39-77
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
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
Matsikoudis E, Lee EA. (2013) On fixed points of strictly causal functions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8053: 183-197
Matsikoudis E, Lee EA. (2013) An axiomatization of the theory of generalized ultrametric semilattices of linear signals Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8070: 248-258
Matsikoudis E, Lee EA. (2012) From transitions to executions Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7399: 170-190
Lee EA, Matsikoudis E. (2009) The semantics of dataflow with firing From Semantics to Computer Science: Essays in Honour of Gilles Kahn. 71-94
Cataldo A, Lee E, Liu X, et al. (2006) A constructive fixed-point theorem and the feedback semantics of timed systems Proceedings - Eighth International Workshop On Discrete Event Systems, Wodes 2006. 27-32
See more...