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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Benoît Caillaud