Theo dõi
Joseph Sifakis
Joseph Sifakis
Reseracher at Verimag laboratory, Grenoble
Email được xác minh tại imag.fr
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
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
28521995
Specification and verification of concurrent systems in CESAR
JP Queille, J Sifakis
International Symposium on programming, 337-351, 1982
23751982
Symbolic model checking for real-time systems
TA Henzinger, X Nicollin, J Sifakis, S Yovine
Information and computation 111 (2), 193-244, 1994
17891994
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
7781995
Modeling heterogeneous real-time components in BIP
A Basu, M Bozga, J Sifakis
Fourth IEEE International Conference on Software Engineering and Formal …, 2006
7622006
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
5531995
Use of Petri nets for performance evaluation
J Sifakis
Acta Cybernetica 4 (2), 185-202, 1979
5231979
The embedded systems design challenge
TA Henzinger, J Sifakis
International Symposium on Formal Methods, 1-15, 2006
4992006
An overview and synthesis on timed process algebras
X Nicollin, J Sifakis
Computer Aided Verification: 3rd International Workshop, CAV'91 Aalborg …, 1992
4741992
The algebra of timed processes, ATP: Theory and application
X Nicollin, J Sifakis
Information and Computation 114 (1), 131-178, 1994
4581994
Controller synthesis for timed automata
E Asarin, O Maler, A Pnueli, J Sifakis
IFAC Proceedings Volumes 31 (18), 447-452, 1998
4461998
Model checking: algorithmic verification and debugging
EM Clarke, EA Emerson, J Sifakis
Communications of the ACM 52 (11), 74-84, 2009
4142009
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
3782011
Composition for component-based modeling
G Gössler, J Sifakis
Science of Computer Programming 55 (1-3), 161-183, 2005
3382005
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
3011991
The discipline of embedded systems design
TA Henzinger, J Sifakis
Computer 40 (10), 32-40, 2007
2782007
The algebra of connectors: structuring interaction in bip
S Bliudze, J Sifakis
Proceedings of the 7th ACM & IEEE international conference on Embedded …, 2007
2742007
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
2571998
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20