Jean Quilbeuf

发表

Optimizing symbolic execution for malware behavior classification

Axel Legay, Fabrizio Biondi, Thomas Given-Wilson, 2020, Comput. Secur..

Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking

Lukas Rummelhard, Axel Legay, Olivier Simonin, 2019, 2019 IEEE Intelligent Vehicles Symposium (IV).

Statistical Model Checking Applied on Perception and Decision-making Systems for Autonomous Driving

Lukas Rummelhard, Axel Legay, Olivier Simonin, 2018 .

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, Jean Quilbeuf, J. Quilbeuf, 2013 .

Distributed Implementations of Component-based Systems with Prioritized Multiparty Interactions.

Jean Quilbeuf, Jean Quilbeuf, J. Quilbeuf, 2013 .

A framework for automated distributed implementation of component-based models

Joseph Sifakis, Borzoo Bonakdarpour, Marius Bozga, 2012, Distributed Computing.

From high-level component-based models to distributed implementations

Joseph Sifakis, Borzoo Bonakdarpour, Marius Bozga, 2010, EMSOFT '10.

Statistical Model Checking for SystemC Models

Axel Legay, Jean Quilbeuf, Van Chan Ngo, 2016, 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE).

Dynamic Verification of SystemC with Statistical Model Checking pdf

Axel Legay, Jean Quilbeuf, Van Chan Ngo, 2014, ArXiv.

A Logic for the Statistical Model Checking of Dynamic Software Architectures

Axel Legay, Flávio Oquendo, Everton Cavalcante, 2016, ISoLA.

Security policies for distributed systems pdf

Georgeta Igna, Harald Ruess, Denis Bytschkow, 2013, ArXiv.

1 4 O ct 2 01 3 Security policies for distributed systems

H. Ruess, Jean Quilbeuf, Georgeta Igna Denis Bytschkow, 2021 .