Jean Quilbeuf

A framework for automated distributed implementation of component-based models

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber et al. · Distributed Computing · 2012 · 65 citations · Full text

Computing, Computer Engineering, Computer Science +14

From high-level component-based models to distributed implementations

Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber et al. · 2010 · 53 citations · Full text

Computing, Computer Engineering, Computer Science +17

Optimizing symbolic execution for malware behavior classification

Stefano Sebastio, Eduard Baranov, Fabrizio Biondi et al. · Computers & Security · 2020 · 37 citations · Full text

Computing, Computer Science, Cybersecurity +14

Verification of Interlocking Systems Using Statistical Model Checking

Quentin Cappart, Christophe Limbrée, Pierre Schaus et al. · 2017 · 31 citations · Full text

Engineering, Computer Science, Systems Engineering +17

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

Mathieu Barbier, Alessandro Renzaglia, Jean Quilbeuf et al. · 2019 · 26 citations · Full text

Engineering, Autonomous Systems, Systems Engineering +17