Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Joseph Sifakis

Rigorous System Design: The BIP Approach

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A General Framework for Architecture Composability

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Checking Deadlock-Freedom of Parametric Component-Based Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Rigorous Design of Cyber-Physical Systems

2012English

Optimized Distributed Implementation of Multiparty Interactions With Observation

2012English

Architecture Internalisation in BIP

2014English

The Discipline of Embedded Systems Design

Computer
Computer Science
2007English

The Quest for Correctness-Beyond a Posteriori Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

D-Finder: A Tool for Compositional Deadlock Detection and Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Distributed Semantics and Implementation for Systems With Interaction and Priority

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy