The algorithmic analysis of hybrid systems R Alur, C Courcoubetis, N Halbwachs, TA Henzinger, PH Ho, X Nicollin, ... Theoretical computer science 138 (1), 3-34, 1995 | 2860 | 1995 |
Specification and verification of concurrent systems in CESAR JP Queille, J Sifakis International Symposium on programming, 337-351, 1982 | 2385 | 1982 |
Symbolic model checking for real-time systems TA Henzinger, X Nicollin, J Sifakis, S Yovine Information and computation 111 (2), 193-244, 1994 | 1789 | 1994 |
On the synthesis of discrete controllers for timed systems O Maler, A Pnueli, J Sifakis STACS 95: 12th Annual Symposium on Theoretical Aspects of Computer Science …, 1995 | 779 | 1995 |
Modeling heterogeneous real-time components in BIP A Basu, M Bozga, J Sifakis Fourth IEEE International Conference on Software Engineering and Formal …, 2006 | 765 | 2006 |
Property preserving abstractions for the verification of concurrent systems C Loiseaux, S Graf, J Sifakis, A Bouajjani, S Bensalem, D Probst Formal methods in system design 6, 11-44, 1995 | 553 | 1995 |
Use of Petri nets for performance evaluation J Sifakis Acta Cybernetica 4 (2), 185-202, 1979 | 524 | 1979 |
The embedded systems design challenge TA Henzinger, J Sifakis International Symposium on Formal Methods, 1-15, 2006 | 500 | 2006 |
An overview and synthesis on timed process algebras X Nicollin, J Sifakis Computer Aided Verification: 3rd International Workshop, CAV'91 Aalborg …, 1992 | 474 | 1992 |
The algebra of timed processes, ATP: Theory and application X Nicollin, J Sifakis Information and Computation 114 (1), 131-178, 1994 | 459 | 1994 |
Controller synthesis for timed automata E Asarin, O Maler, A Pnueli, J Sifakis IFAC Proceedings Volumes 31 (18), 447-452, 1998 | 450 | 1998 |
Model checking: algorithmic verification and debugging EM Clarke, EA Emerson, J Sifakis Communications of the ACM 52 (11), 74-84, 2009 | 417 | 2009 |
Rigorous component-based system design using the BIP framework A Basu, B Bensalem, M Bozga, J Combaz, M Jaber, TH Nguyen, J Sifakis IEEE software 28 (3), 41-48, 2011 | 381 | 2011 |
Composition for component-based modeling G Gössler, J Sifakis Science of Computer Programming 55 (1-3), 161-183, 2005 | 339 | 2005 |
An approach to the description and analysis of hybrid systems X Nicollin, A Olivero, J Sifakis, S Yovine International Hybrid Systems Workshop, 149-178, 1991 | 301 | 1991 |
The discipline of embedded systems design TA Henzinger, J Sifakis Computer 40 (10), 32-40, 2007 | 280 | 2007 |
The algebra of connectors: structuring interaction in bip S Bliudze, J Sifakis Proceedings of the 7th ACM & IEEE international conference on Embedded …, 2007 | 277 | 2007 |
The IF toolset M Bozga, S Graf, I Ober, I Ober, J Sifakis Formal Methods for the Design of Real-Time Systems: International School on …, 2004 | 262 | 2004 |
Fairness and related properties in transition systems—a temporal logic to deal with fairness JP Queille, J Sifakis Acta informatica 19, 195-220, 1983 | 260 | 1983 |
Modeling urgency in timed systems S Bornot, J Sifakis, S Tripakis Compositionality: The Significant Difference: International Symposium …, 1998 | 257 | 1998 |