Joseph Sifakis - Homepage

Joseph Sifakis	Joseph.Sifakis@imag.fr Tel: (+33) 456 52 03 51
CNRS Research Director. Schneider-INRIA Endowed Researcher Chair. Founder of VERIMAG Laboratory, and Director (1993-2006). Scientific Coordinator of the ArtistDesign Network of Excellence on Embedded Systems Design Turing Award 2007

Photograph by Bertrand Meyer

Résume / curriculum vitae:

Research:

Publications:

Contact information:

Contacts link

Recent Publications
Joseph Sifakis

Simon Bliudze and Joseph Sifakis "Causal semantics for the algebra of connectors" Form Methods Syst Des (2010) 36: 167-194
Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis: D-Finder: A Tool for Compositional Deadlock Detection and Verification. CAV 2009: 614-619
Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis: Priority Scheduling of Distributed Systems Based on Model Checking. CAV 2009: 79-93
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis: Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset. DISC 2009: 174-175
Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis: Modeling synchronous systems in BIP. EMSOFT 2009: 77-86
Marius Bozga, Mohamad Jaber, Joseph Sifakis: Source-to-source architecture transformation for performance optimization in BIP. SIES 2009: 152-160 2009: 4
Edmund M. Clarke, E. Allen Emerson, Joseph Sifakis: Model checking: algorithmic verification and debugging. Commun. ACM 52(11): 74-84 (2009)
Joseph Sifakis. Turing Lecture slides, Embedded Systems Week, Atlanta, October 20th, 2008.
Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen. "Compositional Verification for Component-Based Systems and Application". ATVA 2008: 64-79
Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis and Lo?c Strus. "Symbolic quality control for multimedia applications" Real-Time Journal, Volume 40, Number 1, October, 2008
Simon Bliudze, J. Sifakis. A Notion of Glue Expressiveness for Component-Based Systems. In Proc. of the 19th International Conference on Concurrency Theory (CONCUR'08), LNCS 5201, 508?522, Springer, 2008.
Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Felix Ingrand and Joseph Sifakis. "Incremental Component-Based Construction and Verification of a Robotic System." ECAI 2008 The 18th European Conference on Artificial Intelligence, Patras, Greece, July 21 - 25, 2008.
Simon Bliudze, J. Sifakis. The Algeba of Connectors?Structuring Interaction in BIP. IEEE Transactions on Computers, vol. 57, no. 10, pp. 1315?1330, October, 2008.
A. Basu, Ph. Bidinger, M. Bozga and Joseph Sifakis. Distributed Semantics and Implementation for Systems with Interaction and Priority FORTE, 2008, pp. 116-133.
T.A. Henzinger and J. Sifakis. The Discipline of Embedded Systems Design Computer, October 2007, pp. 32-40.
J. Sifakis. Position Statement for Panel on Grand Challenges in Embedded Software Proc. EmSoft07, ACM&IEEE, Oct. 1-3, 2007, Salzburg, Austria, pp. 4-5.
S. Bliudze, J. Sifakis. The Algebra of Connectors ? Structuring Interaction in BIP Proc. EmSoft07, ACM&IEEE, Oct. 1-3, 2007, Salzburg, Austria, pp. 11-20.
A. Basu, L. Mounier, M. Poulhiès, J. Pulou and J. Sifakis. Using BIP for Modeling and Verification of Networked Systems - A Case Study on TinyOS-based Networks Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12 - 14 July 2007, Cambridge, MA, USA, pages 257-260.
Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loic Strus. Using Speed Diagrams for Symbolic Quality Management in Fifteenth International Workshop on Parallel and Distributed Real-Time Systems (WPDRTS 2007), March 26-27, 2007, Long Beach, California, USA.
G. Gössler, S. Graf, M. Majster-Cederbaum, M. Martens, J. Sifakis. An Approach to Modeling and Verification of Component Based Systems in Current Trends in Theory and Practice of Computer Science, SOFSEM'07, LNCS 4362, 2007.
G. Gössler, S. Graf, M. Majster-Cederbaum, M. Martens, J. Sifakis. Ensuring Properties of Interaction Systems by Construction,
Program Analysis and Compilation, Theory and Practice, LNCS, 2007.
A. Basu, M. Bozga, J. Sifakis. Modeling Heterogeneous Real-time Systems in BIP
4th IEEE International Conference on Software Engineering and Formal Methods (SEFM06),Invited talk, September 11-15, 2006, Pune, pp. 3-12.
M. Poulhiès, J. Pulou, C. Rippert and J. Sifakis. A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems
13th Monterey Workshop 2006, Paris, October 2006, pp. 75-96, LNCS 4888
T.A. Henzinger and J. Sifakis. The Embedded Systems Design Challenge Invited Paper, FM 2006, pp. 1-15.
J. Combaz, J-C. Fernandez, Th. Lepley, J. Sifakis. QoS Control for Optimality and Safety EmSoft05, New Jersey City, September 19-22, 2005, pp. 90-99.
Joseph Sifakis. A Framework for Component-based Construction, 3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM05), Keynote talk, September 7-9, 2005, Koblenz, pp. 293-300.
J. Combaz, J-C. Fernandez, Th. Lepley, J. Sifakis. Fine Grain QoS Control for Multimedia Application Software DATE05, Munich, March 2005, pp. 1038-1043.
G. Gössler, J. Sifakis. Composition for Component-Based Modeling, Science of Computer Programming, vol. 55, pp. 161--183 (March 2005).
Joseph Sifakis. Modeling Real-time Systems, Keynote talk RTSS04, slides.
M. Bozga, S. Graf, Il. Ober, Iul. Ober, J. Sifakis. The IF Toolset Formal Methods for the Design of Real-Time Systems, Sept 2004, LNCS 3185, pp. 237-267.
Gregor Gössler and Joseph Sifakis. Component-based construction of deadlock-free systems FSTTCS 2003, Invited talk, Mumbai, December 2003, LNCS 2914, pp. 420-433.
G. Gössler, J. Sifakis. Priority Systems Proceedings of FMCO'03, November 2003, Leiden, the Netherlands, LNCS 3188, pages 314-329.
J. Sifakis, S. Tripakis, S. Yovine. Building models of real-time systems from application software Proceedings of the IEEE, Special issue on modeling and design of embedded, 91(1):100-111, January 2003.
G. Gössler, J. Sifakis. Composition for Component-Based Modeling Proceedings of FMCO'02, November 2002, Leiden, the Netherlands, LNCS 2852, pages 443-466.
K. Altisen, G. Gössler, J. Sifakis. Scheduler modeling based on the controller synthesis paradigm Journal of Real-Time Systems, special issue on "Control Approaches to Real-Time Computing", 23, 55-84, 2002.
Joseph Sifakis. Modeling real-time systems-challenges and work directions EMSOFT01, Tahoe City, October 2001. Lecture Notes in Computer Science 2211.
E. Closse, M. Poize, J. Pulou, J. Sifakis, P. Venier, D. Weil, and S. Yovine TAXYS: a tool for the developpment and verification real-time embedded systems. In Proceedings of "Computer Aided Verification, CAV'01". Paris, France, July 23, 2001. Lecture Notes in Computer Science 2102, Springer-Verlag.
V. Bertin, E. Closse, M. Poize, J. Pulou, J. Sifakis, P. Venier, D. Weil, and S. Yovine. Taxys = Esterel + Kronos. A tool for verifying real-time properties of embedded systems In Proceedings of "Conference on Decision and Control, CDC'01". Orlando, December, 2001. IEEE Control Systems Society.
M. Bozga, J.C. Fernandez, L. Ghirvu, S. Graf, J.P. Krimm, L. Mounier, J. Sifakis.IF: An Intermediate Representation for SDL and its Applications Proceedings of SDL-FORUM'99, Montreal, Canada, June 1999.
S.Bornot and J.Sifakis. An Algebraic Framework for Urgency. Information and Computation 163,172-202 (2000).
S.Bornot and J.Sifakis. An Algebraic Framework for Urgency, in Calculational System Design NATO Science Series, Computer and Systems Science 173, Marktoberdorf, July 1998.
K.Altisen, G.Gossler and J.Sifakis. A Methodology for the Construction of Scheduled Systems FTRTFT 2000, Pune, India, September 2000, LNCS 1926, pp. 106-120.
Valérie Bertin, Michel Poize and Joseph Sifakis. Towards Validated Real-Time Software Proceedings of the 12 th Euromicro Conference on Real Time Systems, Stockholm, June 19-21, 2000, pp. 157-164.
S.Bornot, G.Gossler and J. Sifakis. On the Construction of Live Systems TACAS 2000, LNCS 1785.
K.Altisen, G.Gossler, A. Pnueli, J.Sifakis, S. Tripakis and S.Yovine. A Framework for Scheduler Synthesis RTSS 1999 proceedings, IEEE, pp. 154-163.
J.Sifakis. The Compositional Specification of Timed Systems CAV 1999 Trento, July 1999.
S.Bornot, J.Sifakis, S. Tripakis. Modeling Urgency in Timed Systems COMPOS'97, Malente, Germany, LNCS 1536, Springer Verlag, 1998.
S.Bornot, J. Sifakis. On the Composition of Hybrid Systems . Hybrid systems:Computation and Control, Berkeley, April 1998, invited talk, LNCS 1386, pp. 69-83.
S.Bornot, J. Sifakis. Relating time progress and deadlines in hybrid systems. HART 97, Grenoble, LNCS 1201, March 1997, pp. 347-359 .
J. Sifakis and S. Yovine. Compositional specification of timed systems. Invited paper in Proceedings of the 13th Annual Symp. on Theoretical Aspects of Computer Science, STACS'96, pp. 347-359, February 1996. LNCS 1046.
O. Maler, A.Pnueli, J.Sifakis, On the Synthesis of Discrete Controllers for Time Systems, in E.W. Mayr and C. Puech (Eds.). Proc. STACS '95, LNCS 900, 229-242, Springer, 1995.