Stavros Tripakis
7 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Supervisory control and reactive synthesis: a comparative introduction
Rüdiger Ehlers and others (2017) · Discrete Event Dynamic Systems · Springer Science+Business Media
Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware
Stavros Tripakis and others (2015) · Journal of Signal Processing Systems · Springer Science and Business Media LLC
Correct and non-defensive glue design using abstract models
Stavros Tripakis and others (2011) · ACM
Checking Timed Büchi Automata Emptiness Efficiently
Stavros Tripakis and others (2005) · Formal Methods in System Design · Springer Science and Business Media LLC
Testing Conformance of Real-Time Applications by Automatic Generation of Observers
Saddek Bensalem and others (2004) · Electronic Notes in Theoretical Computer Science · Elsevier BV
Fault Diagnosis for Timed Automata
Stavros Tripakis (2002) · Lecture notes in computer science · Springer Science+Business Media
On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems
Stavros Tripakis and others (1999) · Lecture notes in computer science · Springer Science+Business Media