Jean Quilbeuf
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2010–2018
Best venue rank
C
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | FMICS | A Modeling Language for Security Threats of IoT Systems. | Delphine Beaulaton, Ioana Cristescu, Axel Legay, Jean Quilbeuf |
| 2018 | ISoLA | Tutorial: An Overview of Malware Detection and Evasion Techniques. | Fabrizio Biondi, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf |
| 2018 | ISSRE | Detection of Mirai by Syntactic and Behavioral Analysis. | Najah Ben Said, Fabrizio Biondi, Vesselin Bontchev, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Jean Quilbeuf |
| 2018 | VMCAI | Scalable Approximation of Quantitative Information Flow in Programs. | Fabrizio Biondi, Michael A. Enescu, Annelie Heuser, Axel Legay, Kuldeep S. Meel, Jean Quilbeuf |
| 2016 | ECSA | Statistical Model Checking of Dynamic Software Architectures. | Everton Cavalcante, Jean Quilbeuf, Louis-Marie Traonouez, Flvio Oquendo, Thas Batista, Axel Legay |
| 2016 | ECSA | The sosADL studio: an architecture development environment for software-intensive systems-of-systems. | Flvio Oquendo, Jrmy Buisson, Elena Leroux, Gersan Mogurou, Jean Quilbeuf |
| 2016 | ISoLA | A Logic for the Statistical Model Checking of Dynamic Software Architectures. | Jean Quilbeuf, Everton Cavalcante, Louis-Marie Traonouez, Flvio Oquendo, Thas Batista, Axel Legay |
| 2012 | FORTE | Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities. | Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis |
| 2011 | EMSOFT | Automated distributed implementation of component-based models with priorities. | Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf |
| 2010 | EMSOFT | From high-level component-based models to distributed implementations. | Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis |