#### Filter Results:

- Full text PDF available (27)

#### Publication Year

1970

2017

- This year (4)
- Last 5 years (16)
- Last 10 years (38)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Axel Legay, Benoît Delahaye, Saddek Bensalem
- RV
- 2010

Quantitative properties of stochastic systems are usually specified in logics that allow one to compare the measure of executions satisfying certain temporal properties with thresholds. The model… (More)

- Benoît Delahaye, Benoît Caillaud, Axel Legay
- Formal Methods in System Design
- 2011

A contract allows to distinguish hypotheses made on a system (the guarantees) from those made on its environment (the assumptions). In this paper, we focus on models of Assume/Guarantee contracts for… (More)

- Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
- 2010 Seventh International Conference on the…
- 2010

Notions of specification, implementation, satisfaction, and refinement, together with operators supporting stepwise design, constitute a {specification theory}. We construct such a theory for Markov… (More)

- Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille Jégourel, Axel Legay, Ayoub Nouri
- International Journal on Software Tools for…
- 2012

Behavior–interaction–priority (BIP) is a component-based framework supporting rigorous design of embedded systems. BIP supports incremental design of large systems from atomic components that… (More)

- Benoît Caillaud, Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski
- Theor. Comput. Sci.
- 2011

Notions of speci cation, implementation, satisfaction, and re nement, together with operators supporting stepwise design, constitute a speci cation theory. We construct such a theory for Markov… (More)

- Benoît Delahaye, Benoît Caillaud, Axel Legay
- 2010 10th International Conference on Application…
- 2010

A contract allows to distinguish hypotheses made on a system (the guarantees) from those made on its environment (the assumptions). In this paper, we focus on models of Assume/Guarantee contracts for… (More)

- Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Caillaud, Benoît Delahaye, Axel Legay
- International Journal on Software Tools for…
- 2010

We propose a new simulation-based technique for verifying applications running within a large heterogeneous system. Our technique starts by performing simulations of the system to learn the context… (More)

Until recently, there was not a strong need for networking inside aircrafts. Indeed, the communications were mainly cabled and handled by Ethernet protocols. The evolution of avionics embedded… (More)

- Nikola Benes, Benoît Delahaye, Ulrich Fahrenberg, Jan Kretínský, Axel Legay
- CONCUR
- 2013

There are two fundamentally different approaches to specifying and verifying properties of systems. The logical approach makes use of specifications given as formulae of temporal or modal logics and… (More)

- Benoît Delahaye
- SynCoP
- 2015

Interval Markov Chains (IMCs) are the base of a classic probabilistic specification theory by Larsen and Jonsson in 1991. They are also a popular abstraction for probabilistic systems. In this paper… (More)