J
Jean Quilbeuf
Researcher at French Institute for Research in Computer Science and Automation
Publications - 39
Citations - 515
Jean Quilbeuf is an academic researcher from French Institute for Research in Computer Science and Automation. The author has contributed to research in topics: Model checking & Correctness. The author has an hindex of 11, co-authored 38 publications receiving 463 citations. Previous affiliations of Jean Quilbeuf include University of Rennes & Technische Universität München.
Papers
More filters
Journal ArticleDOI
A framework for automated distributed implementation of component-based models
TL;DR: A method for producing automatically efficient and correct-by-construction distributed implementations from a model of the application software in Behavior, Interaction, Priority (BIP), and the obtained Send/Receive BIP model can be used to automatically derive distributed executable code.
Proceedings ArticleDOI
From high-level component-based models to distributed implementations
TL;DR: This paper proposes a methodology for producing automatically efficient and correct-by-construction distributed implementations by starting from a high-level model of the application software in BIP, and transforms arbitrary BIP models into Send/Receive BIP model, directly implementable on distributed execution platforms.
Book ChapterDOI
Statistical Model Checking of Dynamic Software Architectures
Everton Cavalcante,Everton Cavalcante,Jean Quilbeuf,Jean Quilbeuf,Louis-Marie Traonouez,Flavio Oquendo,Thais Batista,Axel Legay +7 more
TL;DR: A novel notation to formally express architectural properties as well as an SMC-based toolchain for verifying dynamic software architectures described in \(\pi \)-ADL, a formal architecture description language are introduced.
Book ChapterDOI
A Logic for the Statistical Model Checking of Dynamic Software Architectures
Jean Quilbeuf,Everton Cavalcante,Louis-Marie Traonouez,Flavio Oquendo,Thais Batista,Axel Legay +5 more
TL;DR: The main features of DynBLTL are described and how it was implemented as a plug-in for PLASMA, a statistical model checker and using statistical model checking (SMC) to support an efficient analysis of these properties by evaluating the probability of meeting them through a number of simulations.
Proceedings ArticleDOI
Automated conflict-free distributed implementation of component-based models
TL;DR: A 2-phase transformation from global state to a partial state model (to relax atomicity) that replaces multi-party rendezvous interactions by send/receive primitives managed by a set of automatically generated distributed schedulers.