19 citations · 42 across the 6 of their papers we have counts for
6 papers
A Mechanically Verified Theory of Contracts
Stéphane Kastenbaum, Benoît Boyer, Jean-Pierre Talpin
Cyber-physical systems (CPS) are assemblies of networked, heterogeneous, hardware, and software components sensing, evaluating, and actuating a physical environment. This heterogen…
Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic
Simon Lunel, Stefan Mitsch, Benoit Boyer +1
Computer-Controlled Systems (CCS) are a subclass of hybrid systems where the periodic relation of control components to time is paramount. Since they additionally are at the heart…
SoS contract verification using statistical model checking
Alessandro Mignogna, Leonardo Mangeruca, Benoît Boyer +2
Exhaustive formal verification for systems of systems (SoS) is impractical and cannot be applied on a large scale. In this paper we propose to use statistical model checking for ef…
Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach
Alexandre Arnold, Benoît Boyer, Axel Legay
This paper presents some of the results of the first year of DANSE, one of the first EU IP projects dedicated to SoS. Concretely, we offer a tool chain that allows to specify SoS a…
On the Simulation of Time-Triggered Systems on a Chip with BIP
Jan Olaf Blech, Benoit Boyer, Thanh Hung Nguyen
In this report, we present functional models for software and hardware components of Time-Triggered Systems on a Chip (TTSoC). These are modeled in the asynchronous component based…
Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems
Benoît Boyer, Thomas Genet
The tree automaton completion is an algorithm used for proving safety properties of systems that can be modeled by a term rewriting system. This representation and verification tec…