Jean Quilbeuf

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 18

Top Venues

CoRR

EAI Endorsed Trans. Ind. Networks Intell. Syst.

RFC

HASE

University of Grenoble, France (PHD)

Education History

University of Grenoble, France

PHD

Publications

Benoit Claise, Jean Quilbeuf, Diego R. López, Dan Voyer, Thangavelu Arumugam
Service Assurance for Intent-Based Networking Architecture. RFC 9417 (2023)
Benoit Claise, Jean Quilbeuf, Paolo Lucente, Paolo Fasano, Thangavelu Arumugam
A YANG Data Model for Service Assurance. RFC 9418 (2023)
Stefano Sebastio, Eduard Baranov, Fabrizio Biondi, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf
Optimizing symbolic execution for malware behavior classification. Comput. Secur. 93 (2020)
Mathieu Barbier, Alessandro Renzaglia, Jean Quilbeuf, Lukas Rummelhard, Anshul Paigwar, Christian Laugier, Axel Legay, Javier Ibañez-Guzmán, Olivier Simonin
Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking. IV (2019)
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf
Tutorial: An Overview of Malware Detection and Evasion Techniques. ISoLA (1) (2018)
Fabrizio Biondi, Michael A. Enescu, Annelie Heuser, Axel Legay, Kuldeep S. Meel, Jean Quilbeuf
Scalable Approximation of Quantitative Information Flow in Programs. VMCAI (2018)
Delphine Beaulaton, Ioana Cristescu, Axel Legay, Jean Quilbeuf
A Modeling Language for Security Threats of IoT Systems. FMICS (2018)
Najah Ben Said, Fabrizio Biondi, Vesselin Bontchev, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Jean Quilbeuf
Detection of Mirai by Syntactic and Behavioral Analysis. ISSRE (2018)
Delphine Beaulaton, Najah Ben Said, Ioana Cristescu, Régis Fleurquin, Axel Legay, Jean Quilbeuf, Salah Sadou
A Language for Analyzing Security of IOT Systems. SoSE (2018)
Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
An Application of SMC to continuous validation of heterogeneous systems. EAI Endorsed Trans. Ind. Networks Intell. Syst. 4 (10) (2017)
Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, Axel Legay
Verification of Interlocking Systems Using Statistical Model Checking. HASE (2017)
Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
An Application of SMC to continuous validation of heterogeneous systems. EAI Endorsed Trans. Ind. Networks Intell. Syst. 4 (11) (2017)
Quentin Cappart, Christophe Limbrée, Pierre Schaus, Jean Quilbeuf, Louis-Marie Traonouez, Axel Legay
Verification of interlocking systems using statistical model checking. CoRR (2016)
Van Chan Ngo, Axel Legay, Jean Quilbeuf
Statistical Model Checking for SystemC Models. HASE (2016)
Flávio Oquendo, Jérémy Buisson, Elena Leroux, Gersan Moguérou, Jean Quilbeuf
The sosADL studio: an architecture development environment for software-intensive systems-of-systems. SiSoS@ECSA (2016)
Everton Cavalcante, Jean Quilbeuf, Louis-Marie Traonouez, Flávio Oquendo, Thaís Batista, Axel Legay
Statistical Model Checking of Dynamic Software Architectures. ECSA (2016)
Jean Quilbeuf, Everton Cavalcante, Louis-Marie Traonouez, Flávio Oquendo, Thaís Batista, Axel Legay
A Logic for the Statistical Model Checking of Dynamic Software Architectures. ISoLA (1) (2016)
Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
An Application of SMC to continuous validation of heterogeneous systems. SimuTools (2016)
Fabrizio Biondi, Axel Legay, Jean Quilbeuf
Comparative Analysis of Leakage Tools on Scalable Case Studies. SPIN (2015)
Van Chan Ngo, Axel Legay, Jean Quilbeuf
Dependability Analysis of Control Systems using SystemC and Statistical Model Checking. CoRR (2015)
Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis
Optimized distributed implementation of multiparty interactions with Restriction. Sci. Comput. Program. 98 (2015)
Axel Legay, Jean Quilbeuf, Flávio Oquendo
Verifying Systems-of-Systems with Statistical Model Checking. ERCIM News 2015 (103) (2015)
Denis Bytschkow, Jean Quilbeuf, Georgeta Igna, Harald Ruess
Distributed MILS Architectural Approach for Secure Smart Grids. SmartGridSec (2014)
Van Chan Ngo, Axel Legay, Jean Quilbeuf
Dynamic Verification of SystemC with Statistical Model Checking. CoRR (2014)
Saddek Bensalem, Borzoo Bonakdarpour, Marius Bozga, Doron A. Peled, Jean Quilbeuf
Performance Evaluation of Process Partitioning Using Probabilistic Model Checking. Haifa Verification Conference (2013)
Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf
Model-based implementation of distributed systems with priorities. Des. Autom. Embed. Syst. 17 (2) (2013)
Jean Quilbeuf, Georgeta Igna, Denis Bytschkow, Harald Ruess
Security policies for distributed systems. CoRR (2013)
Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis
A framework for automated distributed implementation of component-based models. Distributed Comput. 25 (5) (2012)
Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis
Optimized distributed implementation of multiparty interactions with observation. AGERE!@SPLASH (2012)
Saddek Bensalem, Marius Bozga, Doron A. Peled, Jean Quilbeuf
Knowledge Based Transactional Behavior. Haifa Verification Conference (2012)
Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis
Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. FMOODS/FORTE (2012)
Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf
Automated distributed implementation of component-based models with priorities. EMSOFT (2011)
Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis
From high-level component-based models to distributed implementations. EMSOFT (2010)
Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis
Automated Conflict-free distributed implementation of component-based models. SIES (2010)

Jean Quilbeuf.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jean Quilbeuf