From high-level component-based models to distributed implementations. - Borzoo Bonakdarpour; Marius Bozga; Mohamad Jaber 001; Jean Quilbeuf; Joseph Sifakis (EMSOFT, 2010)

Automated Conflict-free distributed implementation of component-based models. - Borzoo Bonakdarpour; Marius Bozga; Mohamad Jaber 001; Jean Quilbeuf; Joseph Sifakis (SIES, 2010)

Automated distributed implementation of component-based models with priorities. - Borzoo Bonakdarpour; Marius Bozga; Jean Quilbeuf (EMSOFT, 2011)

Optimized distributed implementation of multiparty interactions with observation. - Saddek Bensalem; Marius Bozga; Jean Quilbeuf; Joseph Sifakis (AGERE!@SPLASH, 2012)

Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. - Saddek Bensalem; Marius Bozga; Jean Quilbeuf; Joseph Sifakis (FMOODS/FORTE, 2012)

Knowledge Based Transactional Behavior. - Saddek Bensalem; Marius Bozga; Doron A. Peled; Jean Quilbeuf (Haifa Verification Conference, 2012)

A framework for automated distributed implementation of component-based models. - Borzoo Bonakdarpour; Marius Bozga; Mohamad Jaber 001; Jean Quilbeuf; Joseph Sifakis (Distributed Comput., 2012)

Performance Evaluation of Process Partitioning Using Probabilistic Model Checking. - Saddek Bensalem; Borzoo Bonakdarpour; Marius Bozga; Doron A. Peled; Jean Quilbeuf (Haifa Verification Conference, 2013)

Security policies for distributed systems. - Jean Quilbeuf; Georgeta Igna; Denis Bytschkow; Harald Ruess (CoRR, 2013)

Model-based implementation of distributed systems with priorities. - Borzoo Bonakdarpour; Marius Bozga; Jean Quilbeuf (Des. Autom. Embed. Syst., 2013)

Implantations distribuées de modèles à base de composants communicants par interactions multiparties avec priorités : application au langage BIP. (Distributed Implementations of Component-based Systems with Prioritized Multiparty Interactions : Application to the BIP Framework.). - Jean Quilbeuf (2013)

Distributed MILS Architectural Approach for Secure Smart Grids. - Denis Bytschkow; Jean Quilbeuf; Georgeta Igna; Harald Ruess (SmartGridSec, 2014)

Dynamic Verification of SystemC with Statistical Model Checking. - Van Chan Ngo; Axel Legay; Jean Quilbeuf (CoRR, 2014)

Comparative Analysis of Leakage Tools on Scalable Case Studies. - Fabrizio Biondi; Axel Legay; Jean Quilbeuf (SPIN, 2015)

Dependability Analysis of Control Systems using SystemC and Statistical Model Checking. - Van Chan Ngo; Axel Legay; Jean Quilbeuf (CoRR, 2015)

Verifying Systems-of-Systems with Statistical Model Checking. - Axel Legay; Jean Quilbeuf; Flávio Oquendo (ERCIM News, 2015)

Optimized distributed implementation of multiparty interactions with Restriction. - Saddek Bensalem; Marius Bozga; Jean Quilbeuf; Joseph Sifakis (Sci. Comput. Program., 2015)

Statistical Model Checking of Dynamic Software Architectures. - Everton Cavalcante; Jean Quilbeuf; Louis-Marie Traonouez; Flávio Oquendo; Thaís Batista; Axel Legay (ECSA, 2016)

The sosADL studio: an architecture development environment for software-intensive systems-of-systems. - Flávio Oquendo; Jérémy Buisson; Elena Leroux; Gersan Moguérou; Jean Quilbeuf (SiSoS@ECSA, 2016)

Statistical Model Checking for SystemC Models. - Van Chan Ngo; Axel Legay; Jean Quilbeuf (HASE, 2016)

A Logic for the Statistical Model Checking of Dynamic Software Architectures. - Jean Quilbeuf; Everton Cavalcante; Louis-Marie Traonouez; Flávio Oquendo; Thaís Batista; Axel Legay (ISoLA (1), 2016)

Verification of Interlocking Systems Using Statistical Model Checking. - Quentin Cappart; Christophe Limbrée; Pierre Schaus; Jean Quilbeuf; Louis-Marie Traonouez; Axel Legay (HASE, 2017)

An Application of SMC to continuous validation of heterogeneous systems. - Alexandre Arnold; Massimo Baleani; Alberto Ferrari; Marco Marazza; Valerio Senni; Axel Legay; Jean Quilbeuf; Christoph Etzien (EAI Endorsed Trans. Ind. Networks Intell. Syst., 2017)

A Modeling Language for Security Threats of IoT Systems. - Delphine Beaulaton; Ioana Cristescu; Axel Legay; Jean Quilbeuf (FMICS, 2018)

Tutorial: An Overview of Malware Detection and Evasion Techniques. - Fabrizio Biondi; Thomas Given-Wilson; Axel Legay; Cassius Puodzius; Jean Quilbeuf (ISoLA (1), 2018)

Detection of Mirai by Syntactic and Behavioral Analysis. - Najah Ben Said; Fabrizio Biondi; Vesselin Bontchev; Olivier Decourbe; Thomas Given-Wilson; Axel Legay; Jean Quilbeuf (ISSRE, 2018)

A Language for Analyzing Security of IOT Systems. - Delphine Beaulaton; Najah Ben Said; Ioana Cristescu; Régis Fleurquin; Axel Legay; Jean Quilbeuf; Salah Sadou (SoSE, 2018)

Scalable Approximation of Quantitative Information Flow in Programs. - Fabrizio Biondi; Michael A. Enescu; Annelie Heuser; Axel Legay; Kuldeep S. Meel; Jean Quilbeuf (VMCAI, 2018)

Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking. - Mathieu Barbier; Alessandro Renzaglia; Jean Quilbeuf; Lukas Rummelhard; Anshul Paigwar; Christian Laugier; Axel Legay; Javier Ibañez-Guzmán; Olivier Simonin 001 (IV, 2019)

Optimizing symbolic execution for malware behavior classification. - Stefano Sebastio; Eduard Baranov; Fabrizio Biondi; Olivier Decourbe; Thomas Given-Wilson; Axel Legay; Cassius Puodzius; Jean Quilbeuf (Comput. Secur., 2020)

Service Assurance for Intent-Based Networking Architecture. - Benoit Claise; Jean Quilbeuf; Diego R. López; Dan Voyer; Thangavelu Arumugam (RFC, 2023)

A YANG Data Model for Service Assurance. - Benoit Claise; Jean Quilbeuf; Paolo Lucente; Paolo Fasano; Thangavelu Arumugam (RFC, 2023)