Joseph Sifakis - Recent Publications#

• 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 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.
• 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.