Jean Quilbeuf

According to our database, Jean Quilbeuf authored at least 32 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A YANG Data Model for Service Assurance.

Benoit Claise, Jean Quilbeuf, Paolo Lucente, Paolo Fasano, Thangavelu Arumugam

RFC, July, 2023

Service Assurance for Intent-Based Networking Architecture.

Benoit Claise, Jean Quilbeuf, Diego R. López, Dan Voyer, Thangavelu Arumugam

RFC, July, 2023

2020

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

2019

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

Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

2018

Scalable Approximation of Quantitative Information Flow in Programs.

Fabrizio Biondi, Michael A. Enescu, Annelie Heuser, Axel Legay, Kuldeep S. Meel, Jean Quilbeuf

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 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

Proceedings of the 13th Annual Conference on System of Systems Engineering, 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

Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

Tutorial: An Overview of Malware Detection and Evasion Techniques.

Fabrizio Biondi, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

A Modeling Language for Security Threats of IoT Systems.

Delphine Beaulaton, Ioana Cristescu, Axel Legay, Jean Quilbeuf

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

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

Verification of Interlocking Systems Using Statistical Model Checking.

Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, Axel Legay

Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering, 2017

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Statistical Model Checking for SystemC Models.

Van Chan Ngo, Axel Legay, Jean Quilbeuf

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 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

Proceedings of the International Colloquium on Software-intensive Systems-of-Systems at 10th European Conference on Software Architecture, 2016

Statistical Model Checking of Dynamic Software Architectures.

Everton Cavalcante, Jean Quilbeuf, Louis-Marie Traonouez, Flávio Oquendo, Thaís Batista, Axel Legay

Proceedings of the Software Architecture - 10th European Conference, 2016

2015

Optimized distributed implementation of multiparty interactions with Restriction.

Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis

Sci. Comput. Program., 2015

Verifying Systems-of-Systems with Statistical Model Checking.

Axel Legay, Jean Quilbeuf, Flávio Oquendo

ERCIM News, 2015

Dependability Analysis of Control Systems using SystemC and Statistical Model Checking.

Van Chan Ngo, Axel Legay, Jean Quilbeuf

CoRR, 2015

Comparative Analysis of Leakage Tools on Scalable Case Studies.

Fabrizio Biondi, Axel Legay, Jean Quilbeuf

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

2014

Dynamic Verification of SystemC with Statistical Model Checking.

Van Chan Ngo, Axel Legay, Jean Quilbeuf

CoRR, 2014

Distributed MILS Architectural Approach for Secure Smart Grids.

Denis Bytschkow, Jean Quilbeuf, Georgeta Igna, Harald Ruess

Proceedings of the Smart Grid Security - Second International Workshop, 2014

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

PhD thesis, 2013

Model-based implementation of distributed systems with priorities.

Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf

Des. Autom. Embed. Syst., 2013

Security policies for distributed systems.

Jean Quilbeuf, Georgeta Igna, Denis Bytschkow, Harald Ruess

CoRR, 2013

Performance Evaluation of Process Partitioning Using Probabilistic Model Checking.

Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron A. Peled, Jean Quilbeuf

Proceedings of the Hardware and Software: Verification and Testing, 2013

2012

A framework for automated distributed implementation of component-based models.

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis

Distributed Comput., 2012

Knowledge Based Transactional Behavior.

Saddek Bensalem, Marius Bozga, Doron A. Peled, Jean Quilbeuf

Proceedings of the Hardware and Software: Verification and Testing, 2012

Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities.

Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis

Proceedings of the Formal Techniques for Distributed Systems, 2012

Optimized distributed implementation of multiparty interactions with observation.

Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis

Proceedings of the 2nd edition on Programming systems, 2012

2011

Automated distributed implementation of component-based models with priorities.

Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf

Proceedings of the 11th International Conference on Embedded Software, 2011

2010

Automated Conflict-free distributed implementation of component-based models.

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis

Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010

From high-level component-based models to distributed implementations.

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis

Proceedings of the 10th International conference on Embedded software, 2010