Design, vérification et implémentation de systèmes à composants

Sophie Fantoni Quinton · 2011

Explore this paper's citation graph

Type: dissertation
Published: 2011-01-21
Cited by: 1
References: 133
Access: Open access
DOI: https://doi.org/10.70675/78ad0a11z9f8bz45caz8f05z7f7a2fdbb2cd
OpenAlex: https://openalex.org/W37903741
Semantic Scholar: https://api.semanticscholar.org/CorpusID:287010252

Keywords

Humanities, Philosophy

References

Component-Based Construction of Deadlock-Free Systems: Extended AbstractGregor Gößler, Joseph Sifakis — 2003
Reo: A Channel-based Coordination Model for Component CompositionAbbas Heydarnoori — 2005
Causality Interfaces and Compositional Causality Analysis 1Edward A. Lee, Haiyang Zheng, Ye Zhou — 2005
Ready simulation, bisimulation, and the semantics of CCS-like languagesBard Bloom — 1989
Communication and concurrencyRobin Milner — 1989
The Temporal Logic of Reactive and Concurrent SystemsZohar Manna, Amir Pnueli — 1991
A Set-Theoretic Framework for Assume-Guarantee ReasoningPatrick Maier — 2001
A Generic Model of Contracts for Embedded SystemsAlbert Benveniste, Benoı̂t Caillaud, Roberto Passerone — 2007
LUSTRE: A declarative language for programming synchronous systems*Paul Caspi, D. Pilaud, Nicolas Halbwachs — 1987
Distributed reactive systems are hard to synthesizeA. Pneuli, Roni Rosner — 1990
Proof Rules for Automated Compositional Verification through LearningHoward Barringer, Dimitra Giannakopolou, Corina S. Păsăreanu — 2003
Hierarchical concurrent finite state machines in PtolemyBilung Lee, Edward A. Lee — 1998
A framework for component-based constructionJoseph Sifakis — 2005
Supervisory control of a class of discrete event processesPeter J. Ramadge, W.M. Wonham — 1987
Web service interfacesDirk Beyer, Arindam Chakrabarti, Thomas A. Henzinger — 2005
Property preserving abstractions for the verification of concurrent systemsClaire Loiseaux, Susanne Graf, Joseph Sifakis — 1995
Compositional minimisation of finite state systems using interface specificationsSusanne Graf, Bernhard Steffen, Gerald Lüttgen — 1996
A behavioral notion of subtypingBarbara Liskov, Jeannette M. Wing — 1994
Petri nets: Properties, analysis and applicationsT. Murata — 1989
System Modelling with High-Level Petri NetsHartmann J. Genrich, Kurt Lautenbach — 1981

Cited by

Safety Contracts for Timed Reactive Components in SysMLI. Dragomir, Iulian Ober, C. Percebois — 2014

Related papers

No related papers recorded.