Joseph Sifakis

The algorithmic analysis of hybrid systems

Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs et al. · Theoretical Computer Science · 1995 · 1.9K citations · Full text

Computing, Computer Science, Mathematics +17

Symbolic Model Checking for Real-Time Systems

Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis et al. · Information and Computation · 1994 · 830 citations · Full text

Computing, Computer Science, Formal Methods +16

Modeling Heterogeneous Real-time Components in BIP

Ananda Basu, Marius Bozga, Joseph Sifakis · 2006 · 415 citations · Full text

Engineering, Computer Science, Systems Engineering +12

Property preserving abstractions for the verification of concurrent systems

Claire Loiseaux, Susanne Graf, Joseph Sifakis et al. · Formal Methods in System Design · 1995 · 357 citations

Computing, Computer Engineering, Computer Science +14

Controller Synthesis for Timed Automata 1

Eugène Asarin, Oded Maler, Amir Pnueli et al. · IFAC Proceedings Volumes · 1998 · 314 citations

Computing, Computer Science, Computer Systems +14