Joseph Sifakis | Academic Influence

Joseph Sifakis's AcademicInfluence.com Rankings

Joseph Sifakis

Computer Science

#612

World Rank

#632

Historical Rank

Parallel Computing

#23

World Rank

#23

Historical Rank

Database

#1621

World Rank

#1700

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Joseph Sifakis's Degrees

PhD Computer Science University of Pennsylvania
Masters Computer Science University of Pennsylvania
Bachelors Computer Science University of Crete

Similar Degrees You Can Earn

Why Is Joseph Sifakis Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Joseph Sifakis is a Greek-French computer scientist. He received the 2007 Turing Award, along with Edmund M. Clarke and E. Allen Emerson, for his work on model checking. Biography Joseph Sifakis was born in Heraklion, Crete in 1946 and lives in France. He studied Electrical Engineering at the National Technical University of Athens and Computer Science at the University of Grenoble under a French scholarship. He received his engineering doctorate in 1974 from the University of Grenoble, where he also received a state doctorate in 1979.

(See a Problem?)

Joseph Sifakis's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The Algorithmic Analysis of Hybrid Systems (1995) (2184)
Specification and verification of concurrent systems in CESAR (1982) (1604)
On the Synthesis of Discrete Controllers for Timed Systems (An Extended Abstract) (1995) (632)
Modeling Heterogeneous Real-time Components in BIP (2006) (598)
Symbolic model checking for real-time systems (1992) (470)
Property preserving abstractions for the verification of concurrent systems (1995) (446)
An Overview and Synthesis on Timed Process Algebras (1991) (406)
Automatic Verification Methods for Finite State Systems (1989) (377)
The Embedded Systems Design Challenge (2006) (376)
Use of Petri nets for performance evaluation (1977) (352)
The Algebra of Timed Processes, ATP: Theory and Application (1994) (316)
Composition for component-based modeling (2002) (285)
Rigorous Component-Based System Design Using the BIP Framework (2011) (282)
Controller Synthesis for Timed Automata 1 (1998) (264)
CONTROLLER SYNTHESIS FOR TIMED AUTOMATA (2006) (263)
An Approach to the Description and Analysis of Hybrid Systems (1992) (241)
Modeling Urgency in Timed Systems (1997) (204)
The Discipline of Embedded Systems Design (2007) (204)
The IF Toolset (2004) (195)
Tools and Applications II: The IF Toolset (2004) (191)
Compiling Real-Time Specifications into Extended Automata (1992) (179)
The Algebra of Connectors—Structuring Interaction in BIP (2007) (164)
Integration Graphs: A Class of Decidable Hybrid Systems (1992) (161)
Compositional Verification for Component-Based Systems and Application (2008) (159)
Performance Evaluation of Systems Using Nets (1979) (143)
Compilation and verification of LOTOS specifications (1990) (133)
A framework for component-based construction (2005) (130)
D-Finder: A Tool for Compositional Deadlock Detection and Verification (2009) (129)
Scheduler Modeling Based on the Controller Synthesis Paradigm (2002) (128)
A framework for scheduler synthesis (1999) (127)
A Notion of Glue Expressiveness for Component-Based Systems (2008) (124)
Translating AADL into BIP - Application to the Verification of Real-Time Systems (2009) (120)
Embedded Systems Design: The ARTIST Roadmap for Research and Development (2005) (120)
Property Preserving Simulations (1992) (119)
ATP: an Algebra for Timed Processes (1990) (116)
A Unified Approach for Studying the Properties of Transition Systems (1982) (113)
A Toolbox For The Verification Of LOTOS Programs (1992) (107)
Compositional Specification of Timed Systems (Extended Abstract) (1996) (102)
Safety for Branching Time Semantics (1991) (101)
An Algebraic Framework for Urgency (2000) (96)
Verification in XESAR of the Sliding Window Protocol (1987) (88)
Guidelines for a graduate curriculum on embedded software and systems (2005) (86)
A Modal Characterization of Observational Congruence on Finite Terms of CCS (1984) (83)
Model-based implementation of real-time applications (2010) (82)
Structural Properties of Petri Nets (1978) (81)
Fairness and related properties in transition systems — a temporal logic to deal with fairness (1983) (81)
The Algebra of Connectors - Structuring Interaction in BIP (2008) (80)
IF: An intermediate representation for SDL and its applications (1999) (79)
Building models of real-time systems from application software (2003) (72)
TAXYS: A Tool for the Development and Verification of Real-Time Embedded Systems (2001) (70)
A framework for automated distributed implementation of component-based models (2012) (67)
Incremental Component-Based Construction and Verification of a Robotic System (2008) (67)
Modeling Dynamic Architectures Using Dy-BIP (2012) (64)
Source-to-source architecture transformation for performance optimization in BIP (2009) (61)
From high-level component-based models to distributed implementations (2010) (61)
Distributed Semantics and Implementation for Systems with Interaction and Priority (2008) (60)
Decidable Integration Graphs (1999) (59)
Causal semantics for the algebra of connectors (2008) (59)
Incremental component-based construction and verification using invariants (2010) (59)
Component-Based Construction of Deadlock-Free Systems: Extended Abstract (2003) (59)
Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks (2007) (57)
Modeling Real-Time Systems-Challenges and Work Directions (2001) (57)
Property Preserving Homomorphisms of Transition Systems (1983) (57)
Synchronized Petri Nets: A Model for the Description of Non-Autonomous Systems (1978) (56)
Using Abstractions for the Verification of Linear Hybrid Systems (1994) (55)
An Approach to Modelling and Verification of Component Based Systems (2007) (55)
TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems (2001) (54)
Rigorous system design (2013) (54)
On the Composition of Hybrid Systems (1998) (52)
A Logic for the Description of Non-deterministic Programs and Their Properties (1986) (51)
D-Finder 2: Towards Efficient Correctness of Incremental Design (2011) (51)
Priority scheduling of distributed systems based on model checking (2009) (46)
A general framework for architecture composability (2014) (46)
A vision for computer science — the system perspective (2011) (44)
Priority Systems (2003) (44)
From ATP to timed graphs and hybrid systems (1991) (43)
Partial-order Methods for the Veriication of Concurrent Systems an Approach to the State-explosion Problem Th Ese Pr Esent Ee Par (1995) (43)
A Methodology for the Construction of Scheduled Systems (2000) (42)
Modeling synchronous systems in BIP (2009) (40)
On model checking for real-time properties with durations (1993) (39)
On the Construction of Live Timed Systems (2000) (39)
Towards validated real-time software (2000) (36)
Configuration logics: Modeling architecture styles (2017) (35)
Autonomics: In search of a foundation for next-generation autonomous systems (2019) (34)
Relating Time Progress and Deadlines in Hybrid Systems (1997) (33)
Architecture-Based Design: A Satellite On-Board Software Case Study (2016) (32)
Specification and Development of Reactive Systems - Response (1986) (32)
Compositional translation of simulink models into synchronous BIP (2010) (32)
Model-Based Implementation of Parallel Real-Time Systems (2013) (31)
Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems (2011) (30)
Automated conflict-free distributed implementation of component-based models (2010) (30)
Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems (1989) (29)
Parameterized Systems in BIP: Design and Model Checking (2016) (29)
Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (1990) (29)
Tools for verification and validation (2005) (29)
Autonomous Systems - An Architectural Characterization (2018) (27)
Early validation of system requirements and design through correctness-by-construction (2018) (26)
Ensuring Properties of Interaction Systems (2006) (26)
Embedded systems design — Scientific challenges and work directions (2009) (26)
Deadlocks and Livelocks in Transition Systems (1980) (25)
Rigorous system level modeling and analysis of mixed HW/SW systems (2011) (24)
A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems (2006) (24)
Configuration Logics: Modelling Architecture Styles (2015) (24)
Checking Deadlock-Freedom of Parametric Component-Based Systems (2018) (23)
Real-Time scheduling (2005) (22)
Symbolic quality control for multimedia applications (2008) (22)
Other issues (2005) (22)
QoS control for optimality and safety (2005) (21)
Formal methods for the validation of fault tolerance in autonomous spacecraft (1996) (21)
Rigorous implementation of real-time systems – from theory to application (2013) (20)
Rigorous design of cyber-physical systems (2012) (20)
System Design Automation: Challenges and Limitations (2015) (20)
Programming dynamic reconfigurable systems (2018) (19)
Component-based verification using incremental design and invariants (2016) (19)
Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP (2018) (18)
Iterative Methods for the Analysis of Petri Nets (1980) (18)
Component Assemblies in the Context of Manycore (2011) (18)
Rigorous System Design: The BIP Approach (2011) (18)
The Compositional Specification of Timed Systems - A Tutorial (1999) (18)
A temporal logic to deal with fairness in transition systems (1982) (18)
Incremental Invariant Generation for Compositional Design (2010) (17)
Fine grain QoS control for multimedia application software (2005) (17)
Architecture internalisation in BIP (2014) (16)
Architecture Diagrams: A Graphical Language for Architecture Style Specification (2016) (16)
Autonomous Robot Software Design Challenge (2008) (16)
An Abstract Framework for Deadlock Prevention in BIP (2013) (16)
Modeling Real-Time Systems (2004) (14)
Structural Invariants for the Verification of Systems with Parameterized Architectures (2020) (13)
Embedded Systems - Challenges and Work Directions (2004) (12)
Readiness Semantics for Regular Processes with Silent Actions (1987) (12)
Frm Synchronization Tree Logic to Acceptance Model Logic (1985) (11)
Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures (2019) (11)
Component-based Construction of Heterogeneous Real-time Systems in BIP (2009) (10)
A Logic for the Specification and Proof of Controllable Processes of CCS (1989) (10)
Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities (2012) (10)
System Design in the Era of IoT - Meeting the Autonomy Challenge (2018) (10)
Ensuring Properties of Interaction Systems by Construction (2007) (10)
Enhancement of the Enzymatic Biosensor Response through Targeted Electrode Surface Roughness (2018) (10)
DReAM: Dynamic Reconfigurable Architecture Modeling (2018) (9)
A temporal configuration logic for dynamic reconfigurable systems (2021) (9)
Source-to-Source Architecture Transformation for Performance Optimization in BIP (2010) (9)
Time-predictable and composable architectures for dependable embedded systems (2011) (8)
Knowledge Based Scheduling of Distributed Systems (2010) (8)
Using Speed Diagrams for Symbolic Quality Management (2007) (7)
A design tool for the multilevel description and simulation of systems of interconnected modules (1976) (7)
Functional BIP: Embedding connectors in functional programming languages (2017) (7)
Components and contracts (2005) (7)
A logig for the description of behaviours and properties of concurrent systems (1988) (7)
QoS management (2005) (7)
Component-Based Construction of Real-Time Systems in BIP (2009) (7)
A Theory Agenda for Component-Based Design (2015) (7)
Specification and Verification of Conurrent Systems in Cesar (2008) (6)
The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications (2020) (6)
An Algebra of Boolean Processes (1991) (6)
Survey of French Research and Applications Based on Petri Nets (1979) (5)
Optimized distributed implementation of multiparty interactions with Restriction (2015) (5)
A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis (2020) (5)
Standardization efforts (2005) (5)
Research directions for concurrency (1996) (5)
An Example of Specification and Verification in Cesar (1983) (5)
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP (2018) (4)
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework (2021) (4)
Global and Local Deadlock Freedom in BIP (2018) (4)
Programming dynamic reconfigurable systems (2021) (4)
Can We Trust Autonomous Systems? Boundaries and Risks (2019) (4)
Optimized distributed implementation of multiparty interactions with observation (2012) (4)
A logic for the specification and proof of regular controllable processes of CCS (1986) (4)
Global and Local Invariants in Transition Systems (1982) (4)
Local Reasoning about Parametric and Reconfigurable Component-based Systems (2019) (4)
Systematic Correct Construction of Self-stabilizing Systems: A Case Study (2010) (4)
Research Directions for Formal Methods (1996) (3)
Integrating Architectural Constraints in Application Software by Source-to-Source Transformation in BIP (2011) (3)
The Quest for Correctness Beyond Verification (2007) (3)
Real-time systems specification and verification (1995) (3)
Verification of Component-based Systems with Recursive Architectures (2021) (3)
Specification and Verification of Timed Systems (1995) (3)
Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles (2021) (3)
An Expressive Logic for a Process Algebra with Silent Actions (1987) (3)
Integration, the Price of Success (1999) (3)
DR-BIP-Programming Dynamic Reconfigurable Systems (2018) (3)
Safety, security and quality (1996) (3)
Priority systems [deadlock-free systems] (2004) (2)
Current design practice and needs in selected industrial sectors (2005) (2)
Real-Time middleware (2005) (2)
Proceedings of the Second International Conference on Embedded Software (2002) (2)
Rigorous Component-Based System Design - (Invited Paper) (2012) (2)
DReAM: Dynamic Reconfigurable Architecture Modeling (full paper) (2018) (2)
Safe and efficient collision avoidance control for autonomous vehicles (2020) (2)
Creating a Foundation for Next-Generation Autonomous Systems (2021) (2)
Methods and tools for component-based system design (2011) (2)
What perceptron neural networks are (not) good for? (2022) (2)
Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset (2009) (1)
Compositional Speciication of Timed Systems (extended Abstract) (1996) (1)
Programming languages for real-time systems (2005) (1)
GATA4 regionalizes intestinal metabolism and barrier function to prevent immunopathology (2021) (1)
The Quest for Correctness-Beyond a Posteriori Verification (2009) (1)
WPDRTS keynote: component-based construction of embedded systems (2006) (1)
Modeling Synchronous Systems in (2009) (1)
Component models and integration platforms: landscape (2005) (1)
Component-Based system development (2005) (1)
Position Statement for Panel on Grand Challenges in Embedded Software (2007) (1)
Incremental Component-based Construction and Deadlock Checking (2009) (1)
A general framework for architecture composability (2015) (1)
Integration, the price of success : Extended abstract (1999) (1)
Real-Time operating systems (2005) (1)
Formal methods and tools for the development of distributed and real time systems : Esprit Project 3096 (SPEC) (1990) (1)
A hybrid controller for safe and efficient collision avoidance control (2021) (1)
Trustworthy Autonomous System Development (2022) (1)
2 A Dialogue with Professor Joseph Sifakis about Concurrent Systems Specification and Verification (2011) (1)
2010 CAV award announcement (2012) (1)
On the Composition of Timed Systems (1997) (0)
Current design practice and needs in selected sectors (2005) (0)
Position paper on Usable Verification (2010) (0)
Executive overview on component-based design and integration platforms (2005) (0)
Foundations of Hybrid and Embedded Software Systems (2003) (0)
Session details: Session 12 (2014) (0)
Tools for requirements capture and exploration (2005) (0)
Embedded Systems - New scientific challenges for computer science (2007) (0)
Executive overview on hard real-time development environments (2005) (0)
Component-based verification using incremental design and invariants (2014) (0)
Tools for architecture design and capture (2005) (0)
Simulation-based Validation for Autonomous Driving Systems (2023) (0)
Systems Architecture, Design, Engineering, and Verification — The Practice in Research and Research in Practice (2012) (0)
Verification methods for finite systems (extended abstract) (1991) (0)
Understanding and Changing the World: From Information to Knowledge and Intelligence (2022) (0)
A framework for the specification and validation of dynamic reconfigurable systems (2021) (0)
Toward a System Design Science (2014) (0)
Trustworthy Computing Systems (2012) (0)
T AXYS: A Tool for the Development and Veri(cid:12)cation of Real-Time Embedded Systems ? (2001) (0)
Why is it so hard to make self-driving cars? (Trustworthy autonomous systems) (2021) (0)
Adaptive real-time system development (2005) (0)
Architecture Internalisation in BIP EPFL IC IIF RiSD (2014) (0)
Session details: Formal languages (2004) (0)
Keynote speaker - turing award 2007: embedded systems - scientific challenges and work directions (2008) (0)
Comments on Schiffers (1982) (0)
Executive overview on adaptive real-time systems for quality of service management (2005) (0)
Figure 15: a Run of the Bouncing-ball Automaton Automatic Veriication of Nite-state Con- Current Systems Using Temporal-logic Speciications. Acm Transactions on Programming Figure 13: Two-pass Approximative Analysis down up Y 0 Z 0 (1994) (0)
Executive overview on execution platforms (2005) (0)
Rigorous design of cyber-physical systems (2017) (0)
Introduction to the special section on rigorous embedded systems design (2013) (0)
A framework for automated distributed implementation of component-based models (2012) (0)
Computing platforms (2005) (0)
Model-Based Verification Methods and Tools (Abstract) (1994) (0)
2009 CAV award announcement (2010) (0)
A Logic-Inspired Approach to Reconfigurable System Modelling (2019) (0)
Abstracts of Invited Talks (2002) (0)
On the nature of computing (2017) (0)
Rigorous Component-Based (2011) (0)
A General Framework for the Composition of Timed Systems Extended Abstract (1998) (0)
Correct by Design Coordination of Autonomous Driving Systems (2022) (0)
Component Based Design for Embedded Systems (2006) (0)
Embedded software : Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002 : proceedings (2002) (0)
Scheduling of Distributed Systems with Priorities Based on Knowledge (2010) (0)
KronosA tool for verifying real-time properties of embeddedsystems 1 2 (2007) (0)
Middleware for implementing hard real-time systems (2005) (0)
Verification for Finite Systems (Extended Abstract) (1991) (0)
A Design Methodology for Complex Logical Systems (1977) (0)
Invited Talk Real-Time Systems Specification and Verification (2001) (0)
A hybrid controller for safe and efficient longitudinal collision avoidance control (2022) (0)
Verification methods for finite systems (1991) (0)
Hard real-time system development (2005) (0)
2010 CAV award announcement (2011) (0)
Fonnal Methods and Tools for the Development of Distributed and Real Time Systems Computing Science Notes Formal Methods and Tools for the Development of Distributed and Real Time Systems * Spec -esprit Project 3096 (2001) (0)
Review of some advanced methodologies (2005) (0)
A Methodology for Construction of Composable Formal Models from SystemC in BIP (2009) (0)
Tools for programming, code generation, and design (2005) (0)
Keynote talk III: A framework for modeling architectures and their properties (2014) (0)
Low power engineering (2005) (0)

This paper list is powered by the following services:

Other Resources About Joseph Sifakis

What Schools Are Affiliated With Joseph Sifakis?

Joseph Sifakis is affiliated with the following schools:

Image Attributions

Image Source for Joseph Sifakis