Benoît Caillaud

Available identifiers

zbMath Open caillaud.benoitMaRDI QIDQ439950

List of research outcomes

Publication	Date of Publication	Type
From hybrid automata to DAE-based modeling	2023-08-10	Paper
Measuring concurrency of regular distributed computations	2022-08-18	Paper
Multi-mode DAE models -- challenges, theory and implementation	2022-02-16	Paper
On the kinematics of a concave sidecut line deformed on a flat surface	2021-12-16	Paper
Implicit structural analysis of multimode DAE systems	2021-01-25	Paper
Synchronous Interfaces and Assume/Guarantee Contracts	2020-02-24	Paper
A type-based analysis of causality loops in hybrid systems modelers	2017-11-16	Paper
Structural Analysis of Multi-Mode DAE Systems	2017-07-11	Paper
A type-based analysis of causality loops in hybrid systems modelers	2017-05-16	Paper
Ensuring Reachability by Design	2012-09-21	Paper
Non-standard semantics of hybrid systems modelers	2012-08-17	Paper
A modal interface theory for component-based design	2012-07-04	Paper
Mind the gap: expanding communication options in decentralized discrete-event control	2011-11-17	Paper
Constraint Markov chains	2011-07-29	Paper
Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects	2011-03-31	Paper
Modular System Development with Pullbacks	2010-03-31	Paper
Multiple Viewpoint Contract-Based Specification and Design	2009-02-12	Paper
Concurrent secrets	2008-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q5295514	2007-07-30	Paper
Concurrency in synchronous systems	2006-09-28	Paper
Formal Methods for Components and Objects	2005-08-22	Paper
An event structure based semantics for high-level message sequence charts	2003-04-06	Paper
Compositionality in dataflow synchronous languages: Specification and distributed code generation	2003-01-14	Paper
Distributing finite automata through Petri net synthesis	2002-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q4532079	2002-05-28	Paper
https://portal.mardi4nfdi.de/entity/Q4270056	1999-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4028634	1993-03-28	Paper

Research outcomes over time

This page was built for person: Benoît Caillaud