The following pages link to Benoît Caillaud (Q439950):
Displayed 28 items.
- Non-standard semantics of hybrid systems modelers (Q439952) (← links)
- Constraint Markov chains (Q554215) (← links)
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects (Q633299) (← links)
- Mind the gap: expanding communication options in decentralized discrete-event control (Q646415) (← links)
- Item:Q439950 (redirect page) (← links)
- On the kinematics of a concave sidecut line deformed on a flat surface (Q824928) (← links)
- Distributing finite automata through Petri net synthesis (Q1849592) (← links)
- Compositionality in dataflow synchronous languages: Specification and distributed code generation (Q1854388) (← links)
- Multi-mode DAE models -- challenges, theory and implementation (Q2075775) (← links)
- Concurrent secrets (Q2465424) (← links)
- Concurrency in synchronous systems (Q2505637) (← links)
- A Modal Interface Theory for Component-based Design (Q2895779) (← links)
- Ensuring Reachability by Design (Q2915108) (← links)
- Modular System Development with Pullbacks (Q3550615) (← links)
- Multiple Viewpoint Contract-Based Specification and Design (Q3602999) (← links)
- (Q4028634) (← links)
- (Q4270056) (← links)
- (Q4532079) (← links)
- An event structure based semantics for high-level message sequence charts (Q4792941) (← links)
- Measuring concurrency of regular distributed computations (Q5096760) (← links)
- Implicit structural analysis of multimode DAE systems (Q5146386) (← links)
- Synchronous Interfaces and Assume/Guarantee Contracts (Q5217305) (← links)
- Structural Analysis of Multi-Mode DAE Systems (Q5275339) (← links)
- (Q5295514) (← links)
- Formal Methods for Components and Objects (Q5311287) (← links)
- A type-based analysis of causality loops in hybrid systems modelers (Q5892442) (← links)
- A type-based analysis of causality loops in hybrid systems modelers (Q5915766) (← links)
- From hybrid automata to DAE-based modeling (Q6113968) (← links)