Jean Quilbeuf

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