Joseph Sifakis

According to our database1, Joseph Sifakis
  • authored at least 176 papers between 1974 and 2017.
  • has a "Dijkstra number"2 of three.

Awards

Turing Prize recipient

Turing Prize 2007, "For their roles in developing model checking into a highly effective verification technology, widely adopted in the hardware and software industries." awarded to Edmund M. Clarke and E. Allen Emerson and Joseph Sifakis.

ACM Fellow

ACM Fellow 2012, "For contributions to hardware and software verification technology.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Configuration logics: Modeling architecture styles.
J. Log. Algebr. Meth. Program., 2017

Functional BIP: Embedding connectors in functional programming languages.
J. Log. Algebr. Meth. Program., 2017

2016
Component-based verification using incremental design and invariants.
Software and System Modeling, 2016

A general framework for architecture composability.
Formal Asp. Comput., 2016

Architecture Diagrams: A Graphical Language for Architecture Style Specification.
Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016

Architecture-Based Design: A Satellite On-Board Software Case Study.
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

Parameterized Systems in BIP: Design and Model Checking.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015
Optimized distributed implementation of multiparty interactions with Restriction.
Sci. Comput. Program., 2015

System Design Automation: Challenges and Limitations.
Proceedings of the IEEE, 2015

Configuration Logics: Modelling Architecture Styles.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

A Theory Agenda for Component-Based Design.
Proceedings of the Software, 2015

2014
A General Framework for Architecture Composability.
Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Rigorous system design.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2014

Keynote talk III: A framework for modeling architectures and their properties.
Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

Toward a System Design Science.
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014

Architecture internalisation in BIP.
Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014

2013
Introduction to the special section on rigorous embedded systems design.
ACM Trans. Embedded Comput. Syst., 2013

Rigorous implementation of real-time systems - from theory to application.
Mathematical Structures in Computer Science, 2013

Rigorous System Design.
Foundations and Trends in Electronic Design Automation, 2013

An Abstract Framework for Deadlock Prevention in BIP.
Proceedings of the Formal Techniques for Distributed Systems, 2013

Model-Based Implementation of Parallel Real-Time Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2013

2012
2010 CAV award announcement.
Formal Methods in System Design, 2012

A framework for automated distributed implementation of component-based models.
Distributed Computing, 2012

Rigorous Component-Based System Design - (Invited Paper).
Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

Modeling Dynamic Architectures Using Dy-BIP.
Proceedings of the Software Composition - 11th International Conference, 2012

Trustworthy Computing Systems.
Proceedings of the SENSORNETS 2012, 2012

Rigorous design of cyber-physical systems.
Proceedings of the 2012 International Conference on Embedded Computer Systems: Architectures, 2012

Trustworthy Computing Systems.
Proceedings of the PECCS 2012, 2012

Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities.
Proceedings of the Formal Techniques for Distributed Systems, 2012

Optimized distributed implementation of multiparty interactions with observation.
Proceedings of the 2nd edition on Programming systems, 2012

Systems Architecture, Design, Engineering, and Verification - The Practice in Research and Research in Practice.
Proceedings of the ACM Turing Centenary Celebration, 2012

2011
Rigorous Component-Based System Design Using the BIP Framework.
IEEE Software, 2011

Priority scheduling of distributed systems based on model checking.
Formal Methods in System Design, 2011

A vision for computer science - the system perspective.
Central Europ. J. Computer Science, 2011

Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems.
Proceedings of the Software Composition - 10th International Conference, SC 2011, Zurich, 2011

D-Finder 2: Towards Efficient Correctness of Incremental Design.
Proceedings of the NASA Formal Methods, 2011

Rigorous system level modeling and analysis of mixed HW/SW systems.
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

Rigorous System Design: The BIP Approach.
Proceedings of the Mathematical and Engineering Methods in Computer Science, 2011

Component Assemblies in the Context of Manycore.
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011

Time-predictable and composable architectures for dependable embedded systems.
Proceedings of the 11th International Conference on Embedded Software, 2011

Methods and tools for component-based system design.
Proceedings of the Design, Automation and Test in Europe, 2011

2010
Source-to-Source Architecture Transformation for Performance Optimization in BIP.
IEEE Trans. Industrial Informatics, 2010

Compositional verification for component-based systems and application.
IET Software, 2010

2009 CAV award announcement.
Formal Methods in System Design, 2010

Causal semantics for the algebra of connectors.
Formal Methods in System Design, 2010

Incremental Invariant Generation for Compositional Design.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Embedded Systems Design - Scientific Challenges and Work Directions.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010

Systematic Correct Construction of Self-stabilizing Systems: A Case Study.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

Compositional Translation of Simulink Models into Synchronous BIP.
Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010

Automated Conflict-free distributed implementation of component-based models.
Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010

Embedded systems design - Scientific challenges and work directions.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

Incremental component-based construction and verification using invariants.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

From high-level component-based models to distributed implementations.
Proceedings of the 10th International conference on Embedded software, 2010

Model-based implementation of real-time applications.
Proceedings of the 10th International conference on Embedded software, 2010

Component-based Construction of Heterogeneous Real-time Systems in BIP.
Proceedings of the Future of Software Engineering., 2010

Knowledge Based Scheduling of Distributed Systems.
Proceedings of the Time for Verification, 2010

2009
Model checking: algorithmic verification and debugging.
Commun. ACM, 2009

Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset.
Proceedings of the Distributed Computing, 23rd International Symposium, 2009

The Quest for Correctness-Beyond a Posteriori Verification.
Proceedings of the Model Checking Software, 2009

Source-to-source architecture transformation for performance optimization in BIP.
Proceedings of the IEEE Fourth International Symposium on Industrial Embedded Systems, 2009

Modeling synchronous systems in BIP.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

Embedded systems design - Scientific challenges and work directions.
Proceedings of the Design, Automation and Test in Europe, 2009

Component-Based Construction of Real-Time Systems in BIP.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

D-Finder: A Tool for Compositional Deadlock Detection and Verification.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

Priority Scheduling of Distributed Systems Based on Model Checking.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009

Component-Based Construction of Heterogeneous Real-Time Systems in Bip.
Proceedings of the Applications and Theory of Petri Nets, 2009

2008
The Algebra of Connectors - Structuring Interaction in BIP.
IEEE Trans. Computers, 2008

Symbolic quality control for multimedia applications.
Real-Time Systems, 2008

Specification and Verification of Conurrent Systems in Cesar.
Proceedings of the 25 Years of Model Checking - History, Achievements, Perspectives, 2008

Translating AADL into BIP - Application to the Verification of Real-Time Systems.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

Distributed Semantics and Implementation for Systems with Interaction and Priority.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

Incremental Component-Based Construction and Verification of a Robotic System.
Proceedings of the ECAI 2008, 2008

Modeling Heterogeneous Real-time Components in BIP.
Proceedings of the Perspectives Workshop: Model Engineering of Complex Systems (MECS), 10.08., 2008

A Notion of Glue Expressiveness for Component-Based Systems.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

Compositional Verification for Component-Based Systems and Application.
Proceedings of the Automated Technology for Verification and Analysis, 2008

2007
The Discipline of Embedded Systems Design.
IEEE Computer, 2007

An Approach to Modelling and Verification of Component Based Systems.
Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks.
Proceedings of the Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12, 2007

Using Speed Diagrams for Symbolic Quality Management.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Causal Semantics for the Algebra of Connectors.
Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

The algebra of connectors: structuring interaction in BIP.
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

2006
Modeling Heterogeneous Real-time Components in BIP.
Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems.
Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006

WPDRTS keynote: component-based construction of embedded systems.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

The Embedded Systems Design Challenge.
Proceedings of the FM 2006: Formal Methods, 2006

Ensuring Properties of Interaction Systems.
Proceedings of the Program Analysis and Compilation, 2006

2005
Guidelines for a graduate curriculum on embedded software and systems.
ACM Trans. Embedded Comput. Syst., 2005

Composition for component-based modeling.
Sci. Comput. Program., 2005

A Framework for Component-based Construction Extended Abstract.
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

QoS control for optimality and safety.
Proceedings of the EMSOFT 2005, 2005

Fine Grain QoS Control for Multimedia Application Software.
Proceedings of the 2005 Design, 2005

Embedded Systems Design: The ARTIST Roadmap for Research and Development
Lecture Notes in Computer Science 3436, Springer, ISBN: 3-540-25107-3, 2005

2004
The IF Toolset.
Proceedings of the Formal Methods for the Design of Real-Time Systems, 2004

Modeling Real-Time Systems.
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Embedded Systems - Challenges and Work Directions.
Proceedings of the Principles of Distributed Systems, 8th International Conference, 2004

2003
Building models of real-time systems from application software.
Proceedings of the IEEE, 2003

Component-Based Construction of Deadlock-Free Systems: Extended Abstract.
Proceedings of the FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science, 2003

Priority Systems.
Proceedings of the Formal Methods for Components and Objects, 2003

2002
Scheduler Modeling Based on the Controller Synthesis Paradigm.
Real-Time Systems, 2002

Abstracts of Invited Talks.
Electr. Notes Theor. Comput. Sci., 2002

Scheduler Modeling Based on the Controller Synthesis Paradigm.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

Composition for Component-Based Modeling.
Proceedings of the Formal Methods for Components and Objects, 2002

2001
Modeling Real-Time Systems-Challenges and Work Directions.
Proceedings of the Embedded Software, First International Workshop, 2001

TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000
An Algebraic Framework for Urgency.
Inf. Comput., 2000

On the Construction of Live Timed Systems.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

A Methodology for the Construction of Scheduled Systems.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

Towards validated real-time software.
Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

1999
Decidable Integration Graphs.
Inf. Comput., 1999

IF: An intermediate representation for SDL and its applications.
SDL Forum, 1999

A Framework for Scheduler Synthesis.
Proceedings of the 20th IEEE Real-Time Systems Symposium, 1999

Integration, the Price of Success.
Proceedings of the FM'99 - Formal Methods, 1999

The Compositional Specification of Timed Systems - A Tutorial.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998
On the Composition of Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998

A General Framework for the Composition of Timed Systems Extended Abstract.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

1997
Relating Time Progress and Deadlines in Hybrid Systems.
Proceedings of the Hybrid and Real-Time Systems, 1997

Modeling Urgency in Timed Systems.
Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

On the Composition of Timed Systems.
Proceedings of the Application and Theory of Petri Nets 1997, 1997

1996
Research Directions for Formal Methods.
ACM Comput. Surv., 1996

Research Directions for Concurrency.
ACM Comput. Surv., 1996

Compositional Specification of Timed Systems (Extended Abstract).
Proceedings of the STACS 96, 1996

Formal Methods for the Validation of Fault Tolerance in Autonomous Spacecraft.
Proceedings of the Digest of Papers: FTCS-26, 1996

1995
The Algorithmic Analysis of Hybrid Systems.
Theor. Comput. Sci., 1995

Property Preserving Abstractions for the Verification of Concurrent Systems.
Formal Methods in System Design, 1995

On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract).
STACS, 1995

Real-time systems specification and verification.
Proceedings of the 8th International Symposium on System Synthesis (ISSS 1995), 1995

Specification and Verification of Timed Systems.
Proceedings of the Formal Description Techniques VIII, 1995

1994
The Algebra of Timed Processes, ATP: Theory and Application
Inf. Comput., October, 1994

Symbolic Model Checking for Real-Time Systems
Inf. Comput., June, 1994

Model-Based Verification Methods and Tools (Abstract).
Proceedings of the CONCUR '94, 1994

Using Abstractions for the Verification of Linear Hybrid Systems.
Proceedings of the Computer Aided Verification, 6th International Conference, 1994

1993
From ATP to Timed Graphs and Hybrid Systems.
Acta Inf., 1993

On Model Checking for Real-Time Properties with Durations
Proceedings of the Eighth Annual Symposium on Logic in Computer Science (LICS '93), 1993

1992
Compiling Real-Time Specifications into Extended Automata.
IEEE Trans. Software Eng., 1992

Symbolic Model Checking for Real-time Systems
Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

A Toolbox for the Verification of LOTOS Programs.
Proceedings of the 14th International Conference on Software Engineering, 1992

An Approach to the Description and Analysis of Hybrid Systems.
Proceedings of the Hybrid Systems, 1992

Integration Graphs: A Class of Decidable Hybrid Systems.
Proceedings of the Hybrid Systems, 1992

Property Preserving Simulations.
Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992

1991
Verification for Finite Systems (Extended Abstract).
Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

From ATP to Timed Graphs and Hybrid Systems.
Proceedings of the Real-Time: Theory in Practice, 1991

An Overview and Synthesis on Timed Process Algebras.
Proceedings of the Real-Time: Theory in Practice, 1991

Safety for Branching Time Semantics.
Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991

An Overview and Synthesis on Timed Process Algebras.
Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

An Algebra of Boolean Processes.
Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990
Compilation and verification of LOTOS specifications.
Proceedings of the Protocol Specification, 1990

1988
A logig for the description of behaviours and properties of concurrent systems.
Proceedings of the Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30, 1988

1987
An Expressive Logic for a Process Algebra with Silent Actions.
Proceedings of the Temporal Logic in Specification, 1987

Verification in XESAR of the Sliding Window Protocol.
Proceedings of the Protocol Specification, 1987

Readiness Semantics for Regular Processes with Silent Actions.
Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987

1986
A Logic for the Description of Non-deterministic Programs and Their Properties
Information and Control, 1986

A Modal Characterization of Observational Congruence on Finite Terms of CCS
Information and Control, 1986

A Logic for the Specification and Proof of Regular Controllable Processes of CCS.
Acta Inf., 1986

Specification and Development of Reactive Systems - Response.
IFIP Congress, 1986

1985
Frm Synchronization Tree Logic to Acceptance Model Logic.
Proceedings of the Logics of Programs, 1985

1984
A Modal Characterization of Observational Congruence on Finite Terms of CCS.
Proceedings of the Automata, 1984

1983
Fairness and Related Properties in Transition Systems - A Temporal Logic to Deal with Fairness.
Acta Inf., 1983

Property Preserving Homomorphisms of Transition Systems.
Proceedings of the Logics of Programs, 1983

An Example of Specification and Verification in Cesar.
Proceedings of the Analysis of Concurrent Systems, 1983

1982
A Unified Approach for Studying the Properties of Transition Systems.
Theor. Comput. Sci., 1982

Global and Local Invariants in Transition Systems
Information and Control, 1982

Specification and verification of concurrent systems in CESAR.
Proceedings of the International Symposium on Programming, 1982

Comments on Schiffers.
International Working Conference on Model Realism, 1982

Global and Local Invariants in Transition Systems.
Proceedings of the Automata, 1982

A Temporal Logic to Deal with Fairness in Transition Systems
Proceedings of the 23rd Annual Symposium on Foundations of Computer Science, 1982

1981
Iterative Methods for the Analysis of Petri Nets.
Proceedings of the Application and Theory of Petri Nets, 1981

1980
Deadlocks and Livelocks in Transition Systems.
Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

1979
Le contrôle des systèmes asynchrones : concepts, propriétés, analyse statique. (The control of asynchronous systems: concepts, properties, static analysis).
PhD thesis, 1979

Use of Petri nets for performance evaluation.
Acta Cybern., 1979

Performance Evaluation of Systems Using Nets.
Proceedings of the Net Theory and Applications, 1979

Survey of French Research and Applications Based on Petri Nets.
Proceedings of the Net Theory and Applications, 1979

1978
Structural Properties of Petri Nets.
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems.
Proceedings of the Mathematical Foundations of Computer Science 1978, 1978

1977
Use of Petri Nets for Performance Evaluation.
Proceedings of the Measuring, Modelling and Evaluating Computer Systems, 1977

1976
A Design Tool for the Multilevel Description and Simulation of Systems of Interconnected Modules.
Proceedings of the 3rd Annual Symposium on Computer Architecture, January 1976, 1976

1974
Modèles temporels des systèmes logiques. (temporal Models of logic systems).
PhD thesis, 1974


  Loading...