Publications since 1995

Joseph Sifakis Autonomous Systems -- An Architectural Characterization, November 2018

Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber, Joseph Sifakis, Fadi A. Zaraket Global and Local Deadlock Freedom in BIP, ACM Trans. Softw. Eng. Methodol. 26(3): 9:1-9:48 (2018)

Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis Programming Dynamic Reconfigurable Systems, FACS 2018: 118-136

Rocco De Nicola, Alessandro Maggi, Joseph Sifakis DReAM: Dynamic Reconfigurable Architecture Modeling., ISoLA (3) 2018: 13-31

Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP., ISoLA (3) 2018: 304-320

Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros, Simon Bliudze, J. Sifakis Early Validation of System Requirements and Design Through Correctness-by-Construction, Journal of Systems and Software, July, 2018

J. Sifakis System Design in the Era of IoT— Meeting the Autonomy Challenge, Invited paper, MetRiD 2018, EPTCS 272, 2018, pp. 1–22, doi:10.4204/EPTCS.272.1

Marius Bozga, Radu Iosif and Joseph Sifakis, Checking Deadlock-Freedom of Parametric Component-Based Systems, November 2018,

Rocco De Nicola, Alessandro Maggi and Joseph Sifakis, DReAM: Dynamic Reconfigurable Architecture Modeling (full paper), May 2018,

Rim El Ballouli, Saddek Bensalem, Marius Bozga and Joseph Sifakis, DR-BIP - Programming dynamic re-conﬁgurable systems, Tech. Rep. TR-2018-3, Verimag Research Report, May 2018

S. Bliudze, S. Furic, J. Sifakis, A. Viel, Rigorous design of cyber-physical systems - Linking physicality and computation, Software & Systems Modeling, December 2017

R. Edelmann, S. Bliudze and J. Sifakis. Functional BIP: Embedding connectors in functional programming languages, Journal of Logical and Algebraic Methods in Programming 92(2017) 19–44

E. Baranov, J. Sifakis and S. Bliudze (Dirs.). A Semantic Framework for Architecture Modelling. EPFL, Lausanne, 2017.

I. Konnov, T. Kotek, Q. Wang, H. Veith and S. Bliudze et al. Parameterized Systems in BIP: Design and Model Checking. 27th International Conference on Concurrency Theory (CONCUR 2016), Québec, Canada, Leibniz International Proceedings in Informatics (LIPIcs) 59, 2016.

A. Mavridou, E. Stachtiari, S. Bliudze, A. Ivanov and P. Katsaros et al. Architecture-based Design: A Satellite On-board Software Case Study. 13th International Conference on Formal Aspects of Component Software (FACS 2016), Besançon, France, 2016.

A. Mavridou, E. Stachtiari, S. Bliudze, A. Ivanov and P. Katsaros et al. Architecture-based Design: A Satellite On-Board Software Case Study, 2016.

A. Mavridou, E. Baranov, S. Bliudze and J. Sifakis. Architecture Diagrams: A Graphical Language for Architecture Style Specification. 9th Interaction and Concurrency Experience, Herakleion, Greece, Electronic Proceedings in Theoretical Computer Science, 2016.

A. Mavridou, E. Baranov, S. Bliudze and J. Sifakis. Architecture Diagrams - A Graphical Language for Architecture Style Specification, 2016.

A. Mavridou, E. Baranov, S. Bliudze and J. Sifakis. Configuration Logics: Modelling Architecture Styles, in Journal of Logical and Algebraic Methods in Programming, vol. 86, num. 1, p. 2-29, 2016.

R. Edelmann, S. Bliudze and J. Sifakis (Dirs.). Behaviour-Interaction-Priority in Functional Programming Languages: Formalisation and Implementation of Concurrency Frameworks in Haskell and Scala. , 2015.

J. Sifakis. System Design Automation: Challenges and Limitations, in Proceedings of the IEEE, vol. 103, num. 11, p. 2093-2103, 2015.

A. Mavridou, E. Baranov, S. Bliudze and J. Sifakis. Configuration Logics: Modelling Architecture Styles. 12th International Conference on Formal Aspects of Component Software, Niterói, Rio de Janeiro, Brazil, Lecture Notes in Computer Science 9539, 2015.

P. Attie, E. Baranov, S. Bliudze, M. Jaber and J. Sifakis. A General Framework for Architecture Composability, in Formal Aspects of Computing, vol. 28, num. 2, p. 207-231, 2015.

J. Sifakis, S. Bensalem, S. Bliudze and M. Bozga. A Theory Agenda for Component-Based Design. , Lecture Notes in Computer Science, 2015.

A. Mavridou, E. Baranov, S. Bliudze and J. Sifakis. Configuration Logics - Modelling Architecture Styles, 2015.

S. Bensalem, M. Bozga, J. Quilbeuf and J. Sifakis. Optimized distributed implementation of multiparty interactions with Restriction, in Science of Computer Programming, vol. 98, num. 2, p. 293-316, 2015.

J. Sifakis. Toward a System Design Science. Workshop From Programs to Systems - The Systems Perspective in Computing (FPS) held in Honor of Joseph Sifakis, Grenoble, Lecture Notes in Computer Science, 2014.
P. Attie, E. Baranov, S. Bliudze, M. Jaber and J. Sifakis. A General Framework for Architecture Composability. 12th International Conference on Software Engineering and Formal Methods, Grenoble, France, Lecture Notes in Computer Science 8702, 2014.

S. Bliudze, M. Bozga, M. Jaber and J. Sifakis. Architecture Internalisation in BIP. 17th International ACM Sigsoft Symposium on Component-Based Software Engineering, Lille, France, 2014.

S. Bliudze, M. Bozga, M. Jaber and J. Sifakis. Architecture Internalisation in BIP, 2014.

P. Attie, E. Baranov, S. Bliudze, M. Jaber and J. Sifakis. A General Framework for Architecture Composability, 2014.

T. Abdellatif, J. Combaz and J. Sifakis. Rigorous implementation of real-time systems – from theory to application, in Mathematical Structures in Computer Science, vol. 23, num. 4, p. 882-914, 2013.

A. Basu, S. Bensalem, M. Bozga, P. Bourgos and J. Sifakis. Rigorous System Design: The BIP Approach. 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, Lecture Notes in Computer Science 7119, 2012.

J. Sifakis. Rigorous System Design, in Foundations and Trends® in Electronic Design Automation, vol. 6, num. 4, p. 293-362, 2012.

J. Sifakis. Rigorous Design of Cyber-physical Systems. International Conference on Embedded Computer Systems - Architectures, Modeling and Simulation (IC-SAMOS), 2012.

M. Bozga, M. Jaber, N. Maris and J. Sifakis. Modelling dynamic architectures using Dy-BIP, in Lecture Notes in Computer Science, vol. 7306, p. 1-16, 2012.

P. Bourgos, A. Basu, M. Bozga, S. Bensalem and J. Sifakis et al. Rigorous system level modeling and analysis of mixed HW/SW systems. 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011), Cambridge, United Kingdom, 2011.

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.