Seuraa
Joseph Sifakis
Joseph Sifakis
Reseracher at Verimag laboratory, Grenoble
Vahvistettu sähköpostiosoite verkkotunnuksessa imag.fr
Nimike
Viittaukset
Viittaukset
Vuosi
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
28651995
Specification and verification of concurrent systems in CESAR
JP Queille, J Sifakis
International Symposium on programming, 337-351, 1982
23941982
Symbolic model checking for real-time systems
TA Henzinger, X Nicollin, J Sifakis, S Yovine
Information and computation 111 (2), 193-244, 1994
17911994
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
7791995
Modeling heterogeneous real-time components in BIP
A Basu, M Bozga, J Sifakis
Fourth IEEE International Conference on Software Engineering and Formal …, 2006
7632006
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
5621995
Use of Petri nets for performance evaluation
J Sifakis
Acta Cybernetica 4 (2), 185-202, 1979
5251979
The embedded systems design challenge
TA Henzinger, J Sifakis
International Symposium on Formal Methods, 1-15, 2006
5022006
An overview and synthesis on timed process algebras
X Nicollin, J Sifakis
Computer Aided Verification: 3rd International Workshop, CAV'91 Aalborg …, 1992
4811992
The algebra of timed processes, ATP: Theory and application
X Nicollin, J Sifakis
Information and Computation 114 (1), 131-178, 1994
4651994
Controller synthesis for timed automata
E Asarin, O Maler, A Pnueli, J Sifakis
IFAC Proceedings Volumes 31 (18), 447-452, 1998
4561998
Model checking: algorithmic verification and debugging
EM Clarke, EA Emerson, J Sifakis
Communications of the ACM 52 (11), 74-84, 2009
4202009
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
3822011
Composition for component-based modeling
G Gössler, J Sifakis
Science of Computer Programming 55 (1-3), 161-183, 2005
3452005
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
2981991
The discipline of embedded systems design
TA Henzinger, J Sifakis
Computer 40 (10), 32-40, 2007
2832007
The algebra of connectors: structuring interaction in bip
S Bliudze, J Sifakis
Proceedings of the 7th ACM & IEEE international conference on Embedded …, 2007
2772007
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
2622004
Fairness and related properties in transition systems—a temporal logic to deal with fairness
JP Queille, J Sifakis
Acta informatica 19, 195-220, 1983
2601983
Modeling urgency in timed systems
S Bornot, J Sifakis, S Tripakis
Compositionality: The Significant Difference: International Symposium …, 1998
2581998
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20