Recent Publications Joseph Sifakis
Simon Bliudze, Joseph Sifakis: Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems . Software Composition 2011: 51-67.
Joseph Sifakis "A Dialogue with Professor Joseph Sifakis about Concurrent Systems Specification and Verification " Interview by Christian Calude, Bulletin of EATCS, June 2011.
Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan: D-Finder 2: Towards Efficient Correctness of Incremental Design . NASA Formal Methods 2011: 453-458
Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis: Rigorous Component-Based System Design Using the BIP Framework . IEEE Software 28(3): 41-48 (2011)
Joseph Sifakis: A Vision for Computer Science - the System Perspective . Central European Journal of Computer Science, 1(1), 2011, 108-116. Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis: From high-level component-based models to distributed implementations . EMSOFT 2010: 209-218
Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis: Model-based implementation of real-time applications . EMSOFT 2010: 229-238
Saddek Bensalem, Doron Peled, Joseph Sifakis: Knowledge Based Scheduling of Distributed Systems . Essays in Memory of Amir Pnueli 2010: 26-41
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Joseph Sifakis: Systematic Correct Construction of Self-stabilizing Systems: A Case Study . SSS 2010: 4-18
Joseph Sifakis: Embedded Systems Design - Scientific Challenges and Work Directions. TACAS 2010: 1
Marius Bozga, Mohamad Jaber, Joseph Sifakis: Source-to-Source Architecture Transformation for Performance Optimization in BIP . IEEE Trans. Industrial Informatics 5(4): 708-718 (2010)
Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis: Compositional verification for component-based systems and application . IET Software 4(3): 181-193 (2010)
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
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 .
The Artist Education Group "Guidelines for a Graduate Curriculum on Embedded Software and Systems " ACM Trans. Embedded Comput. Syst. 4(3): 587-611 (2005)
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 .
