Fabien Peureux
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
14
Active years
2002–2020
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ICST | Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance. | Aymeric Cretin, Alexandre Vernotte, Antoine Chevrot, Fabien Peureux, Bruno Legeard |
| 2020 | ICST | A Case-based Approach for introducing Testing Tools and Principles. | Frdric Dadeau, Jean-Philippe Gros, Fabien Peureux |
| 2017 | VMCAI | Reduction of Workflow Nets for Generalised Soundness Verification. | Hadrien Bride, Olga Kouchnarenko, Fabien Peureux |
| 2016 | FMICS | Workflow Nets Verification: SMT or CLP? | Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron |
| 2015 | ICFEM | A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing. | Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux |
| 2014 | ICISS | Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities. | Alexandre Vernotte, Frdric Dadeau, Franck Lebeau, Bruno Legeard, Fabien Peureux, Franois Piat |
| 2014 | IFM | Verifying Modal Workflow Specifications Using Constraint Solving. | Hadrien Bride, Olga Kouchnarenko, Fabien Peureux |
| 2014 | ISoLA | Risk-Based Vulnerability Testing Using Security Test Patterns. | Julien Botella, Bruno Legeard, Fabien Peureux, Alexandre Vernotte |
| 2014 | ISSRE | MBT for Global Platform Compliance Testing: Experience Report and Lessons Learned. | Gil Bernabeu, Eddie Jaffuel, Bruno Legeard, Fabien Peureux |
| 2013 | ICST | Model-Based Vulnerability Testing for Web Applications. | Franck Lebeau, Bruno Legeard, Fabien Peureux, Alexandre Vernotte |
| 2013 | MODELSWARD | Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS. | Jean-Marie Gauthier, Fabrice Bouquet, Ahmed Hammad, Fabien Peureux |
| 2011 | ICST | Grey-Box Testing and Verification of Java/JML. | Frdric Dadeau, Fabien Peureux |
| 2008 | ICSE | A Test Generation Solution to Automate Software Testing. | Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux |
| 2006 | CaiSE | An attempt to combine UML and formal methods to model airport security. | Yves Ledru, Rgine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Vronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux |
| 2006 | GI | Model-Based Testing from UML Models. | Eddy Bernard, Fabrice Bouquet, Amandine Charbonnier, Bruno Legeard, Fabien Peureux, Mark Utting, Eric Torreborre |
| 2004 | ISSRE | Boundary Coverage Criteria for Test Generation from Formal Models. | Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting |
| 2002 | FM | Automated Boundary Testing from Z and B. | Bruno Legeard, Fabien Peureux, Mark Utting |
| 2002 | TACAS | CLPS-B - A Constraint Solver for B. | Fabrice Bouquet, Bruno Legeard, Fabien Peureux |