Publications Since 1995
Joseph Sifakis

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 .