Sort by:

• Highly Influential Citations
• Citations
• Acceleration
• Velocity
• Recency

Learn More

Contracts for Systems Design : Theory

• Albert Benveniste, Benoı̂t Caillaud, +7 authors Kim Larsen
• 2015

Aircrafts, trains, cars, plants, distributed telecommunication military or health care systems, and more, involve systems design as a critical step. Complexity has caused system design times and… (More)

Distributing automata for asynchronous networks of processors

• Benoı̂t Caillaud, Paul Caspi, Alain Girault, Claude Jard
• 1997

This paper addresses the problem of distributed program synthesis. In the rst part, we formalize the distribution process and prove its correctness, i.e. that the initial centralized program's… (More)

Multi-Viewpoint State Machines for Rich Component Models

• Albert Benveniste, Benoı̂t Caillaud, Roberto Passerone
• 2008

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

• S. Laurie Ricker, Benoı̂t Caillaud
• 2009 European Control Conference (ECC)
• 2009

The foremost motivation for introducing communication into the decentralized discrete-event control problem is to allow controllers to distinguish between behaviors of a system that remain within a… (More)

Chattering-Free Simulation of Hybrid Dynamical Systems with the Functional Mock-Up Interface 2 . 0

• Ayman Aljarbouh, Benoı̂t Caillaud
• 2016

The numerical simulation of non-smooth hybrid systems exhibiting chattering behavior requires high computational costs. In the worst case, the simulation appears to come to a halt, since infinitely… (More)

Hybrid Systems Modeling Challenges Caused by Cyber-Physical Systems ?

• Albert Benveniste, Timothy Bourke, Benoı̂t Caillaud, Marc Pouzet
• 2013

Hybrid systems exhibit mode-dependent continuous-time dynamics. They are encountered in several phases of Cyber-Physical Systems design: physical system modeling, budgeting time over the computing… (More)

A Specification Theory for Reachability by Design

• Guillaume Verdier, Benoı̂t Caillaud, Jean-Baptiste Raclet
• 2014

Modular design aims at building complex reactive systems by assembling components, possibly taken off-the-shelf. This approach can be supported by a specification theory in which requirements… (More)

Pourquoi les modalités sont importantes pour la conception par interfaces ?

• Jean-Baptiste Raclet, Ayman A. Abd El-Kader, Albert Benveniste, Benoı̂t Caillaud, Roberto Passerone
• 2009

In this paper we revisit the fundamentals of interface theories. Methodological considerations call for supporting “aspects” and “assume/guarantee” reasoning. From these considerations, we show that,… (More)

Compositinal Reasoning for Assume / Guarantee Contracts Combining Stochastic and Nondeterministic Aspects

• Benoı̂t Delahaye, Benoı̂t Caillaud, Axel Legay
• 2012

In this paper, we present an Assume/Guarantee contract formalism for systems combining nondeterministic and stochastic aspects. Contracts dictate how component variables behave, being either… (More)

• ‹
• 1
• ›