Benoît Caillaud

Sanjit A. Seshia

CoRR, 2023

2022

From Hybrid Automata to DAE-Based Modeling.

[BibT_eX]

[DOI]

Proceedings of the Principles of Systems Design, 2022

2021

Structural Analysis of Multimode DAE Systems: summary of results.

[BibT_eX]

[DOI]

CoRR, 2021

2020

Unveiling the implicit knowledge, one scenario at a time.

[BibT_eX]

[DOI]

Vis. Comput., 2020

The mathematical foundations of physical systems modeling languages.

[BibT_eX]

[DOI]

Annu. Rev. Control., 2020

Implicit structural analysis of multimode DAE systems.

[BibT_eX]

[DOI]

Joan Thibault

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

An Algebra of Deterministic Propositional Acceptance Automata (DPAA).

[BibT_eX]

[DOI]

Aurélien Lamercerie

Proceedings of the Forum for Specification and Design Languages, 2020

2019

Multi-Mode DAE Models - Challenges, Theory and Implementation.

[BibT_eX]

[DOI]

Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

2018

Building a Hybrid Systems Modeler on Synchronous Languages Principles.

[BibT_eX]

[DOI]

Proc. IEEE, 2018

Contracts for System Design.

[BibT_eX]

[DOI]

Werner Damm

Thomas A. Henzinger

Kim G. Larsen

Found. Trends Electron. Des. Autom., 2018

2017

Structural Analysis of Multi-Mode DAE Systems.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Synchronous Interfaces and Assume/Guarantee Contracts.

[BibT_eX]

[DOI]

Proceedings of the Models, Algorithms, Logics and Tools, 2017

2016

Synthesis and Simulation of Surgical Process Models.

[BibT_eX]

[DOI]

Proceedings of the Medicine Meets Virtual Reality 22 - NextMed, 2016

From Observations to Collaborative Simulation: Application to Surgical Training.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Artificial Reality and Telexistence and Eurographics Symposium on Virtual Environments, 2016

Chattering-Free Simulation for Hybrid Dynamical Systems Semantics and Prototype Implementation.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Intl Conference on Computational Science and Engineering, 2016

2015

Robust Simulation for Hybrid Systems: Chattering Path Avoidance.

[BibT_eX]

[DOI]

Ayman Aljarbouh

CoRR, 2015

2014

A type-based analysis of causality loops in hybrid systems modelers.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Domain Globalization: Using Languages to Support Technical and Social Coordination.

[BibT_eX]

[DOI]

Proceedings of the Globalizing Domain-Specific Languages, 2014

2012

Non-standard semantics of hybrid systems modelers.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2012

Ensuring Reachability by Design.

[BibT_eX]

[DOI]

Jean-Baptiste Raclet

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

Application of interface theories to the separate compilation of synchronous programs.

[BibT_eX]

[DOI]

Jean-Baptiste Raclet

Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011

Constraint Markov Chains.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

A Modal Interface Theory for Component-based Design.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects.

[BibT_eX]

[DOI]

Benoît Delahaye

Axel Legay

Formal Methods Syst. Des., 2011

Mind the gap: Expanding communication options in decentralized discrete-event control.

[BibT_eX]

[DOI]

S. Laurie Ricker

Autom., 2011

Divide and recycle: types and compilation for a hybrid synchronous language.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011

A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Embedded Software, 2011

2010

Compositional Design Methodology with Constraint Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the QEST 2010, 2010

Statistical Abstraction and Model-Checking of Large Heterogeneous Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2010

The fundamentals of hybrid systems modelers.

[BibT_eX]

[DOI]

Marc Pouzet

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems.

[BibT_eX]

[DOI]

Benoît Delahaye

Axel Legay

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009

Revisiting state-based models for synthesizing optimal communicating decentralized discrete-event controllers.

[BibT_eX]

[DOI]

S. Laurie Ricker

Proceedings of the 10th European Control Conference, 2009

Modal interfaces: unifying interface automata and modal specifications.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

Why Are Modalities Good for Interface Theories?.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008

Composing heterogeneous reactive systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2008

A Model for Probabilistic Reasoning on Assume/Guarantee Contracts

[BibT_eX]

[DOI]

Benoît Delahaye

CoRR, 2008

2007

Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2007

Concurrent Secrets.

[BibT_eX]

[DOI]

Éric Badouel

Marek A. Bednarczyk

Andrzej M. Borzyszkowski

Philippe Darondeau

Discret. Event Dyn. Syst., 2007

A Generic Model of Contracts for Embedded Systems

[BibT_eX]

[DOI]

Roberto Passerone

CoRR, 2007

Multiple Viewpoint Contract-Based Specification and Design.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

2006

Concurrency in Synchronous Systems.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2006

Communication by sampling in time-sensitive distributed systems.

[BibT_eX]

[DOI]

Stavros Tripakis

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005

Moving from Weakly Endochronous Systems to Delay-Insensitive Circuits.

[BibT_eX]

[DOI]

Sohini Dasgupta

Alexandre Yakovlev

Proceedings of the Second Workshop on Globally Asynchronous, Locally Synchronous Design, 2005

From multi-clocked synchronous processes to latency-insensitive modules.

[BibT_eX]

[DOI]

Jean-Pierre Talpin

Julien Ouy

Proceedings of the EMSOFT 2005, 2005

Tag machines.

[BibT_eX]

[DOI]

Luca P. Carloni

Proceedings of the EMSOFT 2005, 2005

2004

Merging Scenarios.

[BibT_eX]

[DOI]

Jacques Klein

Loïc Hélouët

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA).

[BibT_eX]

[DOI]

Proceedings of the EMSOFT 2004, 2004

2003

Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 2003

Modular System Development with Pullbacks.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002

An Event Structure Based Semantics for High-Level Message Sequence Charts.

[BibT_eX]

[DOI]

Loïc Hélouët

Claude Jard

Math. Struct. Comput. Sci., 2002

Distributing Finite Automata Through Petri Net Synthesis.

[BibT_eX]

[DOI]

Éric Badouel

Philippe Darondeau

Formal Aspects Comput., 2002

Preface.

[BibT_eX]

[DOI]

Anca Muscholl

Proceedings of the Validation and Implementation of Scenario-based Specifications, 2002

2000

Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation.

[BibT_eX]

[DOI]

Paul Le Guernic

Inf. Comput., 2000

HMSCs as Partial Specifications ... with PNs as Completions.

[BibT_eX]

[DOI]

Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

1999

Protocol engineering using UML.

[BibT_eX]

[DOI]

Ann. des Télécommunications, 1999

From Synchrony to Asynchrony.

[BibT_eX]

[DOI]

Paul Le Guernic

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998

BDL, A Language of Distributed Reactive Objects.

[BibT_eX]

[DOI]

Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

1995

Measuring Concurrency of Regular Distributed Computations.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

1993

Correctness of Automated Distribution of Sequential Programs.

[BibT_eX]

[DOI]

Proceedings of the PARLE '93, 1993

1991

The Superimposition of Estelle Programs: A Tool for the Specification and Implementation of Observation and Control Algorithms.

[BibT_eX]