Joseph Sifakis

4 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.

Model checking: Algorithmic verification and debugging

Edmund M. Clarke and others (2009) · Communications of the ACM · Association for Computing Machinery

Composition for component-based modeling

Gregor Gößler and others (2005) · Science of Computer Programming · Elsevier BV

Controller Synthesis for Timed Automata 1

Eugene Asarin and others (1998) · IFAC Proceedings Volumes · Elsevier BV

Symbolic Model Checking for Real-Time Systems

Thomas A. Henzinger and others (1994) · Information and Computation · Elsevier BV