متابعة
Joseph Sifakis
Joseph Sifakis
Reseracher at Verimag laboratory, Grenoble
بريد إلكتروني تم التحقق منه على imag.fr
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
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‏
28961995
Specification and verification of concurrent systems in CESAR‏
JP Queille, J Sifakis‏
International Symposium on programming, 337-351, 1982‏
24081982
Symbolic model checking for real-time systems‏
TA Henzinger, X Nicollin, J Sifakis, S Yovine‏
Information and computation 111 (2), 193-244, 1994‏
18051994
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‏
7881995
Modeling heterogeneous real-time components in BIP‏
A Basu, M Bozga, J Sifakis‏
Fourth IEEE International Conference on Software Engineering and Formal …, 2006‏
7802006
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‏
5691995
Use of Petri nets for performance evaluation‏
J Sifakis‏
Acta Cybernetica 4 (2), 185-202, 1979‏
5341979
The embedded systems design challenge‏
TA Henzinger, J Sifakis‏
International Symposium on Formal Methods, 1-15, 2006‏
5042006
An overview and synthesis on timed process algebras‏
X Nicollin, J Sifakis‏
Computer Aided Verification: 3rd International Workshop, CAV'91 Aalborg …, 1992‏
4821992
The algebra of timed processes, ATP: Theory and application‏
X Nicollin, J Sifakis‏
Information and Computation 114 (1), 131-178, 1994‏
4751994
Controller synthesis for timed automata‏
E Asarin, O Maler, A Pnueli, J Sifakis‏
IFAC Proceedings Volumes 31 (18), 447-452, 1998‏
4611998
Model checking: algorithmic verification and debugging‏
EM Clarke, EA Emerson, J Sifakis‏
Communications of the ACM 52 (11), 74-84, 2009‏
4362009
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‏
3912011
Composition for component-based modeling‏
G Gössler, J Sifakis‏
Science of Computer Programming 55 (1-3), 161-183, 2005‏
3462005
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‏
3071991
The algebra of connectors—structuring interaction in BIP‏
S Bliudze, J Sifakis‏
IEEE Transactions on Computers 57 (10), 1315-1330, 2008‏
2832008
The discipline of embedded systems design‏
TA Henzinger, J Sifakis‏
Computer 40 (10), 32-40, 2007‏
2802007
Fairness and related properties in transition systems—a temporal logic to deal with fairness‏
JP Queille, J Sifakis‏
Acta informatica 19, 195-220, 1983‏
2711983
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‏
2642004
Modeling urgency in timed systems‏
S Bornot, J Sifakis, S Tripakis‏
Compositionality: The Significant Difference: International Symposium …, 1998‏
2611998
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20