Joseph Sifakis

Ahlem Triki, Jacques Combaz, Saddek Bensalem, Joseph Sifakis: Model-Based Implementation of Parallel Real-Time Systems. FASE 2013: 235-249

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis: A framework for automated distributed implementation of component-based models. Distributed Computing 25(5): 383-409 (2012)

Orna Grumberg, Moshe Y. Vardi, Joseph Sifakis, Rajeev Alur: 2010 CAV award announcement. Formal Methods in System Design 40(2): 117-120 (2012)

Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis: Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. FMOODS/FORTE 2012: 118-134

Joseph Sifakis: Trustworthy Computing Systems. PECCS 2012

Joseph Sifakis: Rigorous design of cyber-physical systems. ICSAMOS 2012: 319

Joseph Sifakis: Trustworthy Computing Systems. SENSORNETS 2012: 5

Marius Bozga, Mohamad Jaber, Nikolaos Maris, Joseph Sifakis: Modeling Dynamic Architectures Using Dy-BIP. Software Composition 2012: 1-16

Ananda Basu, Saddek Bensalem, Marius Bozga, Joseph Sifakis: Rigorous Component-Based System Design - (Invited Paper). WRLA 2012: 1-9

Joseph Sifakis: A vision for computer science - the system perspective. Central Europ. J. Computer Science 1(1): 108-116 (2011)

Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis: Priority scheduling of distributed systems based on model checking. Formal Methods in System Design 39(3): 229-245 (2011)

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: Methods and tools for component-based system design. DATE 2011: 1022

Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis: Time-predictable and composable architectures for dependable embedded systems. EMSOFT 2011: 351-352

Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Mayur Maheshwari, Joseph Sifakis: Component Assemblies in the Context of Manycore. FMCO 2011: 314-333

Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis: Rigorous System Design: The BIP Approach. MEMICS 2011: 1-19

Paraskevas Bourgos, Ananda Basu, Marius Bozga, Saddek Bensalem, Joseph Sifakis, Kai Huang: Rigorous system level modeling and analysis of mixed HW/SW systems. MEMOCODE 2011: 11-20

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

Simon Bliudze, Joseph Sifakis: Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems. Software Composition 2011: 51-67

Simon Bliudze, Joseph Sifakis: Causal semantics for the algebra of connectors. Formal Methods in System Design 36(2): 167-194 (2010)

Randal E. Bryant, Orna Grumberg, Joseph Sifakis, Moshe Y. Vardi: 2009 CAV award announcement. Formal Methods in System Design 36(3): 195-197 (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)

Marius Bozga, Mohamad Jaber, Joseph Sifakis: Source-to-Source Architecture Transformation for Performance Optimization in BIP. IEEE Trans. Industrial Informatics 6(4): 708-718 (2010)

Saddek Bensalem, Doron Peled, Joseph Sifakis: Knowledge Based Scheduling of Distributed Systems. Essays in Memory of Amir Pnueli 2010: 26-41

Joseph Sifakis: Component-based Construction of Heterogeneous Real-time Systems in BIP. The Future of Software Engineering 2010: 150

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

Joseph Sifakis: Embedded systems design - Scientific challenges and work directions. FMCAD 2010: 11

Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan: Incremental component-based construction and verification using invariants. FMCAD 2010: 257-256

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis: Automated Conflict-free distributed implementation of component-based models. SIES 2010: 108-117

Vassiliki Sfyrla, Georgios Tsiligiannis, Iris Safaka, Marius Bozga, Joseph Sifakis: Compositional Translation of Simulink Models into Synchronous BIP. SIES 2010: 217-220

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

Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan: Incremental Invariant Generation for Compositional Design. TASE 2010: 157-167

Edmund M. Clarke, E. Allen Emerson, Joseph Sifakis: Model checking: algorithmic verification and debugging. Commun. ACM 52(11): 74-84 (2009)

Joseph Sifakis: Component-Based Construction of Heterogeneous Real-Time Systems in Bip. Petri Nets 2009: 1

Joseph Sifakis: Component-Based Construction of Real-Time Systems in BIP. CAV 2009: 33-34

Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis: Priority Scheduling of Distributed Systems Based on Model Checking. CAV 2009: 79-93

Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis: D-Finder: A Tool for Compositional Deadlock Detection and Verification. CAV 2009: 614-619

Joseph Sifakis: Embedded systems design - Scientific challenges and work directions. DATE 2009: 2

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

Joseph Sifakis: The Quest for Correctness-Beyond a Posteriori Verification. SPIN 2009: 4

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

Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus: Symbolic quality control for multimedia applications. Real-Time Systems 40(1): 1-43 (2008)

Simon Bliudze, Joseph Sifakis: The Algebra of Connectors - Structuring Interaction in BIP. IEEE Trans. Computers 57(10): 1315-1330 (2008)

Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen: Compositional Verification for Component-Based Systems and Application. ATVA 2008: 64-79

Simon Bliudze, Joseph Sifakis: A Notion of Glue Expressiveness for Component-Based Systems. CONCUR 2008: 508-522

Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand, Joseph Sifakis: Incremental Component-Based Construction and Verification of a Robotic System. ECAI 2008: 631-635

Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis: Distributed Semantics and Implementation for Systems with Interaction and Priority. FORTE 2008: 116-133

Mohamed Yassin Chkouri, Anne Robert, Marius Bozga, Joseph Sifakis: Translating AADL into BIP - Application to the Verification of Real-Time Systems. MoDELS Workshops 2008: 5-19

Jean-Pierre Queille, Joseph Sifakis: Specification and Verification of Conurrent Systems in Cesar. 25 Years of Model Checking 2008: 216-230

Thomas A. Henzinger, Joseph Sifakis: The Discipline of Embedded Systems Design. IEEE Computer 40(10): 32-40 (2007)

Simon Bliudze, Joseph Sifakis: The algebra of connectors: structuring interaction in BIP. EMSOFT 2007: 11-20

Simon Bliudze, Joseph Sifakis: Causal Semantics for the Algebra of Connectors. FMCO 2007: 179-199

Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus: Using Speed Diagrams for Symbolic Quality Management. IPDPS 2007: 1-8

Ananda Basu, Laurent Mounier, Marc Poulhiès, Jacques Pulou, Joseph Sifakis: Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks. NCA 2007: 257-260

Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis: An Approach to Modelling and Verification of Component Based Systems. SOFSEM (1) 2007: 295-308

Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis: Ensuring Properties of Interaction Systems. Program Analysis and Compilation 2006: 201-224

Thomas A. Henzinger, Joseph Sifakis: The Embedded Systems Design Challenge. FM 2006: 1-15

Joseph Sifakis: WPDRTS keynote: component-based construction of embedded systems. IPDPS 2006

Marc Poulhiès, Jacques Pulou, Christophe Rippert, Joseph Sifakis: A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems. Monterey Workshop 2006: 75-96

Ananda Basu, Marius Bozga, Joseph Sifakis: Modeling Heterogeneous Real-time Components in BIP. SEFM 2006: 3-12

Bruno Bouyssounouse, Joseph Sifakis: Embedded Systems Design: The ARTIST Roadmap for Research and Development. Lecture Notes in Computer Science 3436, Springer 2005, isbn 3-540-25107-3

Gregor Gößler, Joseph Sifakis: Composition for component-based modeling. Sci. Comput. Program. 55(1-3): 161-183 (2005)

Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi: Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embedded Comput. Syst. 4(3): 587-611 (2005)

Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis: Fine Grain QoS Control for Multimedia Application Software. DATE 2005: 1038-1043

Jacques Combaz, Jean-Claude Fernandez, Thierry Lepley, Joseph Sifakis: QoS control for optimality and safety. EMSOFT 2005: 90-99

Joseph Sifakis: A Framework for Component-based Construction Extended Abstract. SEFM 2005: 293-300

Joseph Sifakis: Embedded Systems - Challenges and Work Directions. OPODIS 2004: 184-185

Joseph Sifakis: Modeling Real-Time Systems. RTSS 2004: 5-6

Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis: The IF Toolset. SFM 2004: 237-267

Joseph Sifakis, Stavros Tripakis, Sergio Yovine: Building models of real-time systems from application software. Proceedings of the IEEE 91(1): 100-111 (2003)

Gregor Gößler, Joseph Sifakis: Priority Systems. FMCO 2003: 314-329

Gregor Gößler, Joseph Sifakis: Component-Based Construction of Deadlock-Free Systems: Extended Abstract. FSTTCS 2003: 420-433

Giorgio C. Buttazzo, Avi Efrati, John N. Hooker, Claude Le Pape, Joseph Sifakis: Abstracts of Invited Talks. Electr. Notes Theor. Comput. Sci. 65(6): 275-276 (2002)

Karine Altisen, Gregor Gößler, Joseph Sifakis: Scheduler Modeling Based on the Controller Synthesis Paradigm. Real-Time Systems 23(1-2): 55-84 (2002)

Gregor Gößler, Joseph Sifakis: Composition for Component-Based Modeling. FMCO 2002: 443-466

Joseph Sifakis: Scheduler Modeling Based on the Controller Synthesis Paradigm. FTRTFT 2002: 107-110

Alberto L. Sangiovanni-Vincentelli, Joseph Sifakis (Eds.): Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings. Lecture Notes in Computer Science 2491, Springer 2002, isbn 3-540-44307-X

Etienne Closse, Michel Poize, Jacques Pulou, Joseph Sifakis, Patrick Venter, Daniel Weil, Sergio Yovine: TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems. CAV 2001: 391-395

Joseph Sifakis: Modeling Real-Time Systems-Challenges and Work Directions. EMSOFT 2001: 373-389

Sébastien Bornot, Joseph Sifakis: An Algebraic Framework for Urgency. Inf. Comput. 163(1): 172-202 (2000)

Valérie Bertin, Michel Poize, Jacques Pulou, Joseph Sifakis: Towards validated real-time software. ECRTS 2000: 157-164

Karine Altisen, Gregor Gößler, Joseph Sifakis: A Methodology for the Construction of Scheduled Systems. FTRTFT 2000: 106-120

Sébastien Bornot, Gregor Gößler, Joseph Sifakis: On the Construction of Live Timed Systems. TACAS 2000: 109-126

Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine: Decidable Integration Graphs. Inf. Comput. 150(2): 209-243 (1999)

Joseph Sifakis: The Compositional Specification of Timed Systems - A Tutorial. CAV 1999: 2-7

Joseph Sifakis: Integration, the Price of Success. World Congress on Formal Methods 1999: 52-55

Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine: A Framework for Scheduler Synthesis. RTSS 1999: 154-163

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier, Joseph Sifakis: IF: An intermediate representation for SDL and its applications. SDL Forum 1999: 423-440

Joseph Sifakis: A General Framework for the Composition of Timed Systems Extended Abstract. FTRTFT 1998: 27-28

Sébastien Bornot, Joseph Sifakis: On the Composition of Hybrid Systems. HSCC 1998: 49-63

Joseph Sifakis: On the Composition of Timed Systems. ICATPN 1997: 21-22

Sébastien Bornot, Joseph Sifakis, Stavros Tripakis: Modeling Urgency in Timed Systems. COMPOS 1997: 103-129

Sébastien Bornot, Joseph Sifakis: Relating Time Progress and Deadlines in Hybrid Systems. HART 1997: 286-300

Joseph Sifakis: Research Directions for Concurrency. ACM Comput. Surv. 28(4es): 55 (1996)

Joseph Sifakis: Research Directions for Formal Methods. ACM Comput. Surv. 28(4es): 124 (1996)

S. Ayache, Eric Conquet, Philippe Humbert, Carlos Rodriguez, Joseph Sifakis, R. Gerlich: Formal Methods for the Validation of Fault Tolerance in Autonomous Spacecraft. FTCS 1996: 353-357

Joseph Sifakis, Sergio Yovine: Compositional Specification of Timed Systems (Extended Abstract). STACS 1996: 347-359

Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, Saddek Bensalem: Property Preserving Abstractions for the Verification of Concurrent Systems. Formal Methods in System Design 6(1): 11-44 (1995)

Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine: The Algorithmic Analysis of Hybrid Systems. Theor. Comput. Sci. 138(1): 3-34 (1995)

Joseph Sifakis: Specification and Verification of Timed Systems. FORTE 1995: 3-4

Joseph Sifakis: Real-time systems specification and verification. ISSS 1995: 69

Oded Maler, Amir Pnueli, Joseph Sifakis: On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract). STACS 1995: 229-242

Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine: Symbolic Model Checking for Real-Time Systems. Inf. Comput. 111(2): 193-244 (1994)

Xavier Nicollin, Joseph Sifakis: The Algebra of Timed Processes, ATP: Theory and Application. Inf. Comput. 114(1): 131-178 (1994)

Alfredo Olivero, Joseph Sifakis, Sergio Yovine: Using Abstractions for the Verification of Linear Hybrid Systems. CAV 1994: 81-94

Jean-Claude Fernandez, Joseph Sifakis, Robert de Simone: Model-Based Verification Methods and Tools (Abstract). CONCUR 1994: 64

Xavier Nicollin, Joseph Sifakis, Sergio Yovine: From ATP to Timed Graphs and Hybrid Systems. Acta Inf. 30(2): 181-202 (1993)

Ahmed Bouajjani, Rachid Echahed, Joseph Sifakis: On Model Checking for Real-Time Properties with Durations. LICS 1993: 147-159

Xavier Nicollin, Joseph Sifakis, Sergio Yovine: Compiling Real-Time Specifications into Extended Automata. IEEE Trans. Software Eng. 18(9): 794-804 (1992)

Saddek Bensalem, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis: Property Preserving Simulations. CAV 1992: 260-273

Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine: An Approach to the Description and Analysis of Hybrid Systems. Hybrid Systems 1992: 149-178

Yonit Kesten, Amir Pnueli, Joseph Sifakis, Sergio Yovine: Integration Graphs: A Class of Decidable Hybrid Systems. Hybrid Systems 1992: 179-208

Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis: A Toolbox for the Verification of LOTOS Programs. ICSE 1992: 246-259

Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine: Symbolic Model Checking for Real-time Systems. LICS 1992: 394-406

Xavier Nicollin, Joseph Sifakis: An Overview and Synthesis on Timed Process Algebras. CAV 1991: 376-398

Costas Courcoubetis, Susanne Graf, Joseph Sifakis: An Algebra of Boolean Processes. CAV 1991: 454-465

Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodriguez, Joseph Sifakis: Safety for Branching Time Semantics. ICALP 1991: 76-92

Xavier Nicollin, Joseph Sifakis: An Overview and Synthesis on Timed Process Algebras. REX Workshop 1991: 526-548

Xavier Nicollin, Joseph Sifakis, Sergio Yovine: From ATP to Timed Graphs and Hybrid Systems. REX Workshop 1991: 549-572

Ahmed Bouajjani, Joseph Sifakis: Verification for Finite Systems (Extended Abstract). TAPSOFT, Vol.2 1991: 55-57

Hubert Garavel, Joseph Sifakis: Compilation and verification of LOTOS specifications. PSTV 1990: 379-394

Joseph Sifakis (Ed.): Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings. Lecture Notes in Computer Science 407, Springer 1990, isbn 3-540-52148-8

Ahmed Bouajjani, Susanne Graf, Joseph Sifakis: A logig for the description of behaviours and properties of concurrent systems. REX Workshop 1988: 398-410

Susanne Graf, Joseph Sifakis: Readiness Semantics for Regular Processes with Silent Actions. ICALP 1987: 115-125

Jean-Luc Richier, Carlos Rodriguez, Joseph Sifakis, Jacques Voiron: Verification in XESAR of the Sliding Window Protocol. PSTV 1987: 235-248

Susanne Graf, Joseph Sifakis: An Expressive Logic for a Process Algebra with Silent Actions. Temporal Logic in Specification 1987: 44-61

Susanne Graf, Joseph Sifakis: A Logic for the Specification and Proof of Regular Controllable Processes of CCS. Acta Inf. 23(5): 507-527 (1986)

Susanne Graf, Joseph Sifakis: A Modal Characterization of Observational Congruence on Finite Terms of CCS. Information and Control 68(1-3): 125-145 (1986)

Susanne Graf, Joseph Sifakis: A Logic for the Description of Non-deterministic Programs and Their Properties. Information and Control 68(1-3): 254-270 (1986)

Joseph Sifakis: Specification and Development of Reactive Systems - Response. IFIP Congress 1986: 1183-1188

Susanne Graf, Joseph Sifakis: Frm Synchronization Tree Logic to Acceptance Model Logic. Logic of Programs 1985: 128-142

Susanne Graf, Joseph Sifakis: A Modal Characterization of Observational Congruence on Finite Terms of CCS. ICALP 1984: 222-234

Jean-Pierre Queille, Joseph Sifakis: Fairness and Related Properties in Transition Systems - A Temporal Logic to Deal with Fairness. Acta Inf. 19: 195-220 (1983)

Jean-Claude Fernandez, J. Ph. Schwartz, Joseph Sifakis: An Example of Specification and Verification in Cesar. The Analysis of Concurrent Systems 1983: 199-210

Joseph Sifakis: Property Preserving Homomorphisms of Transition Systems. Logic of Programs 1983: 458-473

Joseph Sifakis: Global and Local Invariants in Transition Systems. Information and Control 53(1/2): 91-107 (1982)

Joseph Sifakis: A Unified Approach for Studying the Properties of Transition Systems. Theor. Comput. Sci. 18: 227-258 (1982)

Jean-Pierre Queille, Joseph Sifakis: A Temporal Logic to Deal with Fairness in Transition Systems. FOCS 1982: 217-225

Joseph Sifakis: Global and Local Invariants in Transition Systems. ICALP 1982: 510-522

Joseph Sifakis: Comments on Schiffers. International Working Conference on Model Realism 1982: 95

Jean-Pierre Queille, Joseph Sifakis: Specification and verification of concurrent systems in CESAR. Symposium on Programming 1982: 337-351

Jean-Pierre Queille, Joseph Sifakis: Iterative Methods for the Analysis of Petri Nets. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 161-167

Joseph Sifakis: Use of Petri nets for performance evaluation. Acta Cybern. 4: 185-202 (1980)

Joseph Sifakis: Deadlocks and Livelocks in Transition Systems. MFCS 1980: 587-600

M. Moalla, Jacques Pulou, Joseph Sifakis: Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems. MFCS 1978: 374-384

Joseph Sifakis: Structural Properties of Petri Nets. MFCS 1978: 474-483

Joseph Sifakis: Use of Petri Nets for Performance Evaluation. Performance 1977: 75-93

M. Moalla, Gabriele Saucier, Joseph Sifakis, M. Zachariades: A Design Tool for the Multilevel Description and Simulation of Systems of Interconnected Modules. ISCA 1976: 20-27

Joseph Sifakis: Performance Evaluation of Systems Using Nets. Advanced Course: Net Theory and Applications 1975: 307-319

Charles André, M. Diaz, Claude Girault, Joseph Sifakis: Survey of French Research and Applications Based on Petri Nets. Advanced Course: Net Theory and Applications 1975: 321-345