 | 2009 |
|---|
| 118 |       | Joseph Sifakis:
Component-Based Construction of Real-Time Systems in BIP.
CAV 2009: 33-34 |
| 117 | | Saddek Bensalem,
Marius Bozga,
Thanh-Hung Nguyen,
Joseph Sifakis:
D-Finder: A Tool for Compositional Deadlock Detection and Verification.
CAV 2009: 614-619 |
| 116 | | Ananda Basu,
Saddek Bensalem,
Doron Peled,
Joseph Sifakis:
Priority Scheduling of Distributed Systems Based on Model Checking.
CAV 2009: 79-93 |
| 115 | | Joseph Sifakis:
Embedded systems design - Scientific challenges and work directions.
DATE 2009: 2 |
| 114 | | 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 |
| 113 | | Marius Bozga,
Vassiliki Sfyrla,
Joseph Sifakis:
Modeling synchronous systems in BIP.
EMSOFT 2009: 77-86 |
| 112 | | Joseph Sifakis:
Component-Based Construction of Heterogeneous Real-Time Systems in Bip.
Petri Nets 2009: 1 |
| 111 | | Marius Bozga,
Mohamad Jaber,
Joseph Sifakis:
Source-to-source architecture transformation for performance optimization in BIP.
SIES 2009: 152-160 |
| 110 | | Joseph Sifakis:
The Quest for Correctness-Beyond a Posteriori Verification.
SPIN 2009: 4 |
| 2008 |
|---|
| 109 | | Jean-Pierre Queille,
Joseph Sifakis:
Specification and Verification of Conurrent Systems in Cesar.
25 Years of Model Checking 2008: 216-230 |
| 108 | | Saddek Bensalem,
Marius Bozga,
Joseph Sifakis,
Thanh-Hung Nguyen:
Compositional Verification for Component-Based Systems and Application.
ATVA 2008: 64-79 |
| 107 | | Simon Bliudze,
Joseph Sifakis:
A Notion of Glue Expressiveness for Component-Based Systems.
CONCUR 2008: 508-522 |
| 106 | | 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 |
| 105 | | Ananda Basu,
Philippe Bidinger,
Marius Bozga,
Joseph Sifakis:
Distributed Semantics and Implementation for Systems with Interaction and Priority.
FORTE 2008: 116-133 |
| 104 | | 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 |
| 103 | | Simon Bliudze,
Joseph Sifakis:
The Algebra of Connectors - Structuring Interaction in BIP.
IEEE Trans. Computers 57(10): 1315-1330 (2008) |
| 102 | | Jacques Combaz,
Jean-Claude Fernandez,
Joseph Sifakis,
Loïc Strus:
Symbolic quality control for multimedia applications.
Real-Time Systems 40(1): 1-43 (2008) |
| 2007 |
|---|
| 101 | | Simon Bliudze,
Joseph Sifakis:
The algebra of connectors: structuring interaction in BIP.
EMSOFT 2007: 11-20 |
| 100 | | Simon Bliudze,
Joseph Sifakis:
Causal Semantics for the Algebra of Connectors.
FMCO 2007: 179-199 |
| 99 | | Jacques Combaz,
Jean-Claude Fernandez,
Joseph Sifakis,
Loïc Strus:
Using Speed Diagrams for Symbolic Quality Management.
IPDPS 2007: 1-8 |
| 98 | | 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 |
| 97 | | 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 |
| 96 | | Thomas A. Henzinger,
Joseph Sifakis:
The Discipline of Embedded Systems Design.
IEEE Computer 40(10): 32-40 (2007) |
| 2006 |
|---|
| 95 | | Thomas A. Henzinger,
Joseph Sifakis:
The Embedded Systems Design Challenge.
FM 2006: 1-15 |
| 94 | | Joseph Sifakis:
WPDRTS keynote: component-based construction of embedded systems.
IPDPS 2006 |
| 93 | | 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 |
| 92 | | 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 |
| 91 | | Ananda Basu,
Marius Bozga,
Joseph Sifakis:
Modeling Heterogeneous Real-time Components in BIP.
SEFM 2006: 3-12 |
| 2005 |
|---|
| 90 |  | Bruno Bouyssounouse,
Joseph Sifakis:
Embedded Systems Design: The ARTIST Roadmap for Research and Development
Springer 2005 |
| 89 | | Jacques Combaz,
Jean-Claude Fernandez,
Thierry Lepley,
Joseph Sifakis:
Fine Grain QoS Control for Multimedia Application Software.
DATE 2005: 1038-1043 |
| 88 | | Jacques Combaz,
Jean-Claude Fernandez,
Thierry Lepley,
Joseph Sifakis:
QoS control for optimality and safety.
EMSOFT 2005: 90-99 |
| 87 | | Joseph Sifakis:
A Framework for Component-based Construction Extended Abstract.
SEFM 2005: 293-300 |
| 86 | | 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) |
| 85 | | Gregor Gößler,
Joseph Sifakis:
Composition for component-based modeling.
Sci. Comput. Program. 55(1-3): 161-183 (2005) |
| 2004 |
|---|
| 84 | | Joseph Sifakis:
Embedded Systems - Challenges and Work Directions.
OPODIS 2004: 184-185 |
| 83 | | Joseph Sifakis:
Modeling Real-Time Systems.
RTSS 2004: 5-6 |
| 82 | | Marius Bozga,
Susanne Graf,
Ileana Ober,
Iulian Ober,
Joseph Sifakis:
The IF Toolset.
SFM 2004: 237-267 |
| 2003 |
|---|
| 81 | | Gregor Gößler,
Joseph Sifakis:
Priority Systems.
FMCO 2003: 314-329 |
| 80 | | Gregor Gößler,
Joseph Sifakis:
Component-Based Construction of Deadlock-Free Systems: Extended Abstract.
FSTTCS 2003: 420-433 |
| 79 | | Joseph Sifakis,
Stavros Tripakis,
Sergio Yovine:
Building models of real-time systems from application software.
Proceedings of the IEEE 91(1): 100-111 (2003) |
| 2002 |
|---|
| 78 | | Alberto L. Sangiovanni-Vincentelli,
Joseph Sifakis:
Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings
Springer 2002 |
| 77 | | Gregor Gößler,
Joseph Sifakis:
Composition for Component-Based Modeling.
FMCO 2002: 443-466 |
| 76 | | Joseph Sifakis:
Scheduler Modeling Based on the Controller Synthesis Paradigm.
FTRTFT 2002: 107-110 |
| 75 | | Giorgio C. Buttazzo,
Avi Efrati,
John N. Hooker,
Claude Le Pape,
Joseph Sifakis:
Abstracts of Invited Talks.
Electr. Notes Theor. Comput. Sci. 65(6): (2002) |
| 74 | | Karine Altisen,
Gregor Gößler,
Joseph Sifakis:
Scheduler Modeling Based on the Controller Synthesis Paradigm.
Real-Time Systems 23(1-2): 55-84 (2002) |
| 2001 |
|---|
| 73 | | 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 |
| 72 | | Joseph Sifakis:
Modeling Real-Time Systems-Challenges and Work Directions.
EMSOFT 2001: 373-389 |
| 2000 |
|---|
| 71 | | Valérie Bertin,
Michel Poize,
Jacques Pulou,
Joseph Sifakis:
Towards validated real-time software.
ECRTS 2000: 157-164 |
| 70 | | Karine Altisen,
Gregor Gößler,
Joseph Sifakis:
A Methodology for the Construction of Scheduled Systems.
FTRTFT 2000: 106-120 |
| 69 | | Sébastien Bornot,
Gregor Gößler,
Joseph Sifakis:
On the Construction of Live Timed Systems.
TACAS 2000: 109-126 |
| 68 | | Sébastien Bornot,
Joseph Sifakis:
An Algebraic Framework for Urgency.
Inf. Comput. 163(1): 172-202 (2000) |
| 1999 |
|---|
| 67 | | Joseph Sifakis:
The Compositional Specification of Timed Systems - A Tutorial.
CAV 1999: 2-7 |
| 66 | | Karine Altisen,
Gregor Gößler,
Amir Pnueli,
Joseph Sifakis,
Stavros Tripakis,
Sergio Yovine:
A Framework for Scheduler Synthesis.
IEEE Real-Time Systems Symposium 1999: 154-163 |
| 65 | | 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 |
| 64 | | Joseph Sifakis:
Integration, the Price of Success.
World Congress on Formal Methods 1999: 52-55 |
| 63 | | Yonit Kesten,
Amir Pnueli,
Joseph Sifakis,
Sergio Yovine:
Decidable Integration Graphs.
Inf. Comput. 150(2): 209-243 (1999) |
| 1998 |
|---|
| 62 | | Joseph Sifakis:
A General Framework for the Composition of Timed Systems Extended Abstract.
FTRTFT 1998: 27-28 |
| 61 | | Sébastien Bornot,
Joseph Sifakis:
On the Composition of Hybrid Systems.
HSCC 1998: 49-63 |
| 1997 |
|---|
| 60 | | Sébastien Bornot,
Joseph Sifakis,
Stavros Tripakis:
Modeling Urgency in Timed Systems.
COMPOS 1997: 103-129 |
| 59 | | Sébastien Bornot,
Joseph Sifakis:
Relating Time Progress and Deadlines in Hybrid Systems.
HART 1997: 286-300 |
| 58 | | Joseph Sifakis:
On the Composition of Timed Systems.
ICATPN 1997: 21-22 |
| 1996 |
|---|
| 57 | | 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 |
| 56 | | Joseph Sifakis,
Sergio Yovine:
Compositional Specification of Timed Systems (Extended Abstract).
STACS 1996: 347-359 |
| 55 | | Joseph Sifakis:
Research Directions for Formal Methods.
ACM Comput. Surv. 28(4es): 124 (1996) |
| 54 | | Joseph Sifakis:
Research Directions for Concurrency.
ACM Comput. Surv. 28(4es): 55 (1996) |
| 1995 |
|---|
| 53 | | Joseph Sifakis:
Specification and Verification of Timed Systems.
FORTE 1995: 3-4 |
| 52 | | Joseph Sifakis:
Real-time systems specification and verification.
ISSS 1995: 69 |
| 51 | | Oded Maler,
Amir Pnueli,
Joseph Sifakis:
On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract).
STACS 1995: 229-242 |
| 50 | | 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) |
| 49 | | 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) |
| 1994 |
|---|
| 48 | | Alfredo Olivero,
Joseph Sifakis,
Sergio Yovine:
Using Abstractions for the Verification of Linear Hybrid Systems.
CAV 1994: 81-94 |
| 47 | | Jean-Claude Fernandez,
Joseph Sifakis,
Robert de Simone:
Model-Based Verification Methods and Tools (Abstract).
CONCUR 1994: 64 |
| 46 | | Thomas A. Henzinger,
Xavier Nicollin,
Joseph Sifakis,
Sergio Yovine:
Symbolic Model Checking for Real-Time Systems
Inf. Comput. 111(2): 193-244 (1994) |
| 45 | | Xavier Nicollin,
Joseph Sifakis:
The Algebra of Timed Processes, ATP: Theory and Application
Inf. Comput. 114(1): 131-178 (1994) |
| 1993 |
|---|
| 44 | | Ahmed Bouajjani,
Rachid Echahed,
Joseph Sifakis:
On Model Checking for Real-Time Properties with Durations
LICS 1993: 147-159 |
| 43 | | Xavier Nicollin,
Joseph Sifakis,
Sergio Yovine:
From ATP to Timed Graphs and Hybrid Systems.
Acta Inf. 30(2): 181-202 (1993) |
| 1992 |
|---|
| 42 | | Saddek Bensalem,
Ahmed Bouajjani,
Claire Loiseaux,
Joseph Sifakis:
Property Preserving Simulations.
CAV 1992: 260-273 |
| 41 | | Xavier Nicollin,
Alfredo Olivero,
Joseph Sifakis,
Sergio Yovine:
An Approach to the Description and Analysis of Hybrid Systems.
Hybrid Systems 1992: 149-178 |
| 40 | | Yonit Kesten,
Amir Pnueli,
Joseph Sifakis,
Sergio Yovine:
Integration Graphs: A Class of Decidable Hybrid Systems.
Hybrid Systems 1992: 179-208 |
| 39 | | 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 |
| 38 | | Thomas A. Henzinger,
Xavier Nicollin,
Joseph Sifakis,
Sergio Yovine:
Symbolic Model Checking for Real-time Systems
LICS 1992: 394-406 |
| 37 | | Xavier Nicollin,
Joseph Sifakis,
Sergio Yovine:
Compiling Real-Time Specifications into Extended Automata.
IEEE Trans. Software Eng. 18(9): 794-804 (1992) |
| 1991 |
|---|
| 36 | | Xavier Nicollin,
Joseph Sifakis:
An Overview and Synthesis on Timed Process Algebras.
CAV 1991: 376-398 |
| 35 | | Costas Courcoubetis,
Susanne Graf,
Joseph Sifakis:
An Algebra of Boolean Processes.
CAV 1991: 454-465 |
| 34 | | Ahmed Bouajjani,
Jean-Claude Fernandez,
Susanne Graf,
Carlos Rodriguez,
Joseph Sifakis:
Safety for Branching Time Semantics.
ICALP 1991: 76-92 |
| 33 | | Xavier Nicollin,
Joseph Sifakis:
An Overview and Synthesis on Timed Process Algebras.
REX Workshop 1991: 526-548 |
| 32 | | Xavier Nicollin,
Joseph Sifakis,
Sergio Yovine:
From ATP to Timed Graphs and Hybrid Systems.
REX Workshop 1991: 549-572 |
| 31 | | Ahmed Bouajjani,
Joseph Sifakis:
Verification for Finite Systems (Extended Abstract).
TAPSOFT, Vol.2 1991: 55-57 |
| 1990 |
|---|
| 30 | | Joseph Sifakis:
Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings
Springer 1990 |
| 29 | | Hubert Garavel,
Joseph Sifakis:
Compilation and verification of LOTOS specifications.
PSTV 1990: 379-394 |
| 1988 |
|---|
| 28 | | Ahmed Bouajjani,
Susanne Graf,
Joseph Sifakis:
A logig for the description of behaviours and properties of concurrent systems.
REX Workshop 1988: 398-410 |
| 1987 |
|---|
| 27 | | Susanne Graf,
Joseph Sifakis:
Readiness Semantics for Regular Processes with Silent Actions.
ICALP 1987: 115-125 |
| 26 | | Jean-Luc Richier,
Carlos Rodriguez,
Joseph Sifakis,
Jacques Voiron:
Verification in XESAR of the Sliding Window Protocol.
PSTV 1987: 235-248 |
| 25 | | Susanne Graf,
Joseph Sifakis:
An Expressive Logic for a Process Algebra with Silent Actions.
Temporal Logic in Specification 1987: 44-61 |
| 1986 |
|---|
| 24 | | Joseph Sifakis:
Specification and Development of Reactive Systems - Response.
IFIP Congress 1986: 1183-1188 |
| 23 | | Susanne Graf,
Joseph Sifakis:
A Logic for the Specification and Proof of Regular Controllable Processes of CCS.
Acta Inf. 23(5): 507-527 (1986) |
| 22 | | Susanne Graf,
Joseph Sifakis:
A Modal Characterization of Observational Congruence on Finite Terms of CCS
Information and Control 68(1-3): 125-145 (1986) |
| 21 | | 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) |
| 1985 |
|---|
| 20 | | Susanne Graf,
Joseph Sifakis:
Frm Synchronization Tree Logic to Acceptance Model Logic.
Logic of Programs 1985: 128-142 |
| 1984 |
|---|
| 19 | | Susanne Graf,
Joseph Sifakis:
A Modal Characterization of Observational Congruence on Finite Terms of CCS.
ICALP 1984: 222-234 |
| 1983 |
|---|
| 18 | | Joseph Sifakis:
Property Preserving Homomorphisms of Transition Systems.
Logic of Programs 1983: 458-473 |
| 17 | | Jean-Claude Fernandez,
J. Ph. Schwartz,
Joseph Sifakis:
An Example of Specification and Verification in Cesar.
The Analysis of Concurrent Systems 1983: 199-210 |
| 16 | | 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) |
| 1982 |
|---|
| 15 | | Jean-Pierre Queille,
Joseph Sifakis:
A Temporal Logic to Deal with Fairness in Transition Systems
FOCS 1982: 217-225 |
| 14 | | Joseph Sifakis:
Global and Local Invariants in Transition Systems.
ICALP 1982: 510-522 |
| 13 | | Joseph Sifakis:
Comments on Schiffers.
International Working Conference on Model Realism 1982: 95 |
| 12 | | Jean-Pierre Queille,
Joseph Sifakis:
Specification and verification of concurrent systems in CESAR.
Symposium on Programming 1982: 337-351 |
| 11 | | Joseph Sifakis:
Global and Local Invariants in Transition Systems
Information and Control 53(1/2): 91-107 (1982) |
| 10 | | Joseph Sifakis:
A Unified Approach for Studying the Properties of Transition Systems.
Theor. Comput. Sci. 18: 227-258 (1982) |
| 1981 |
|---|
| 9 | | 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 |
| 1980 |
|---|
| 8 | | Joseph Sifakis:
Deadlocks and Livelocks in Transition Systems.
MFCS 1980: 587-600 |
| 7 | | Joseph Sifakis:
Use of Petri nets for performance evaluation.
Acta Cybern. 4: 185-202 (1980) |
| 1978 |
|---|
| 6 | | M. Moalla,
Jacques Pulou,
Joseph Sifakis:
Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems.
MFCS 1978: 374-384 |
| 5 | | Joseph Sifakis:
Structural Properties of Petri Nets.
MFCS 1978: 474-483 |
| 1977 |
|---|
| 4 | | Joseph Sifakis:
Use of Petri Nets for Performance Evaluation.
Performance 1977: 75-93 |
| 1976 |
|---|
| 3 | | 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 |
| 1975 |
|---|
| 2 | | Joseph Sifakis:
Performance Evaluation of Systems Using Nets.
Advanced Course: Net Theory and Applications 1975: 307-319 |
| 1 | | 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 |
