L'institut
FEMTO-ST
Annuaire

Vous êtes ici

Fabien Peureux

Publications de Fabien Peureux

2020 (2)

  • inproceedings - A Case-based Approach for introducing Testing Tools and Principles
    International Conference on Software Testing, Verification and Validation (ICST 2020) / Porto, Portugal (2020)
    Dadeau, Frédéric | Gros, Jean Philippe | Peureux, Fabien
    pdf | bibtex
  • inproceedings - Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance
    International Conference on Software Testing, Verification and Validation (ICST 2020) / Porto, Portugal (2020)
    Cretin, Aymeric | Vernotte, Alexandre | Chevrot, Antoine | Peureux, Fabien | Legeard, Bruno
    pdf | bibtex

2018 (2)

  • article - Assessing SMT and CLP approaches for workflow nets verification
    International Journal on Software Tools for Technology Transfer (STTT) (Volume 20, Issue (1), aug 2018, Pages :467 - 491)
    Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien
    pdf | doi | bibtex
  • inproceedings - Increasing the Resilience of ATC systems against False Data Injection Attacks using DSL-based Testing
    8th International Conference on Research in Air Transportation (ICRAT 2018) / Castelldefels, Spain (2018)
    Cretin, Aymeric | Legeard, Bruno | Peureux, Fabien | Vernotte, Alexandre
    pdf | bibtex

2017 (1)

  • inproceedings - Reduction of Workflow Nets for Generalised Soundness Verification
    18th International Conference on Verification, Model-Checking, and Abstract Interpretation (VMCAI 2017) / Paris, France (Publisher : Springer, Volume 10145, Series Lecture Notes in Computer Science (LNCS), 2017, Pages pages 91 - 111)
    Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien
    pdf | doi | bibtex

2016 (5)

  • inproceedings - Workflow Nets Verification: SMT or CLP?
    International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2016) / Pisa, Italy (Publisher : Springer, Volume 9933, Series Lecture Notes in Computer Science (LNCS), 2016, Pages pages 39 - 55)
    Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien | Voiron, Guillaume
    pdf | doi | bibtex
  • inproceedings - Comparing CLP(FD) and SMT Approaches Applied to Workflow Nets Verification
    15èmes Journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016) / Besançon, France (Publisher : FEMTO-ST, 2016, Pages pages 11 - 12)
    Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien | Voiron, Guillaume
    pdf | bibtex
  • article - Achieving SCA Conformance Testing with Model-Based Testing
    Journal of Signal Processing Systems for Signal Image and Video Technology (Volume 83, Issue (1), apr 2016, Pages :113 - 128)
    Botella, Julien | Delahaye, Jean-Philippe | Jaffuel, Eddie | Legeard, Bruno | Peureux, Fabien
    doi | bibtex
  • incollection - Advances in Computers
    Recent Advances in Model-Based Testing (Publisher : Elsevier, Editor : Atif Memon, Volume 101, Edition : 1st, Series Advances in Computers, Chapter 2, mar 2016, Pages 53 - 120)
    Utting, Mark | Legeard, Bruno | Bouquet, Fabrice | Fourneret, Elizabeta | Peureux, Fabien | Vernotte, Alexandre
    bibtex
  • misc - Model-Based Testing for Internet of Things and Cyber-Physical Systems
    Présentation faite le 26/01/2016 à Workshop: Software and System Engineering for Cyber-Physical Systems disponible sur http://www.cpse-labs.eu/downloads/ToulouseJan16/2016-01-26_Toulouse_11_MBT4.pdf (jan 2016)
    Peureux, Fabien
    bibtex

2015 (7)

  • inproceedings - A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing
    17th International Conference on Formal Engineering Methods (ICFEM 2015 ) / Paris, France (Publisher : Springer, Volume 9407, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 134 - 152)
    Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
    pdf | bibtex
  • inproceedings - Tools to implement model-based testing in your project
    (2015)
    Peureux, Fabien
    bibtex
  • inproceedings - Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
    10th International Andrei Ershov Informatics Conference, Perspectives of System Informatics (PSI 2015) / Kazan and Innopolis, Russian Federation (Publisher : Springer, Volume 9609, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 75 - 90)
    Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien
    pdf | doi | bibtex
  • inproceedings - Risk-Driven Vulnerability Testing: Results from eHealth Experiments using Patterns and Model-Based Approach
    3rd International Workshop on Risk Assessment and Risk-driven Testing (RISK 2015) / Berlin, Germany (Publisher : Springer, Volume 9488, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 93 - 109)
    Vernotte, Alexandre | Botea, Cornel | Legeard, Bruno | Molnar, Arthur | Peureux, Fabien
    bibtex
  • inproceedings - Tooled Process for Early Validation of SysML Models using Modelica Simulation
    6th IPM International Conference on Fundamentals of Software Engineering (FSEN 2015) / Teheran, Iran, Islamic Republic Of (Publisher : Springer, Volume 9392, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 230 - 237)
    Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
    pdf | doi | bibtex
  • techreport - The PMVT approach: a RASEN innovation for security Pattern and Model-based Vulnerability Testing
    RASEN FP7 EU founded Research Project (apr 2015, White Paper)
    Legeard, Bruno | Peureux, Fabien | Schneider, Martin | Seehusen, Fredrik | Vernotte, Alexandre
    bibtex
  • inproceedings - A Pattern-driven and Model-Based Test Generation Toolchain for Web Vulnerability
    International Symposium on Engineering Secure Software and Systems / Milan, Italy (2015)
    Vernotte, Alexandre | Legeard, Bruno | Peureux, Fabien
    pdf | bibtex

2014 (9)

  • inproceedings - Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities
    ICISS'14, 10-th Int. Conf. on Information Systems Security / Hyderabad, India (Publisher : Springer, Volume 8080, Series Lecture Notes in Computer Science (LNCS), 2014, Pages pages 358-377)
    Vernotte, Alexandre | Dadeau, Frédéric | Lebeau, Franck | Legeard, Bruno | Peureux, Fabien | Piat, François
    pdf | doi | bibtex
  • inproceedings - Model-Based Testing for SCA Conformance Testing
    SDR-WInnComm-Europe'14, Wireless Innovation Forum European Conference on Communications Technology and Software Defined Radio / Rome, Italy (2014)
    Botella, Julien | Jaffuel, Eddie | Legeard, Bruno | Peureux, Fabien
    pdf | bibtex
  • inproceedings - MBT for GlobalPlatform Compliance Testing: Experience Report and Lessons Learned
    ISSRE'14, 25-th Int. Symposium on Software Reliability Engineering / Naples, Italy (Publisher : IEEE, 2014, Pages pages 66-70)
    Bernabeu, Gil | Jaffuel, Eddie | Legeard, Bruno | Peureux, Fabien
    pdf | doi | bibtex
  • inproceedings - Formation sur les méthodes de test et de validation des logiciels
    (2014)
    Ambert, Fabrice | Bouquet, Fabrice | Gauthier, Jean-Marie | Peureux, Fabien | Vernotte, Alexandre
    bibtex
  • inproceedings - Risk-Based Vulnerability Testing using Security Test Patterns
    ISoLA'14, 6-th Int. Symposium on Leveraging Applications of Formal Methods, Verification and Validation / Corfu, Greece (Publisher : Springer, Volume 8803, Series Lecture Notes in Computer Science (LNCS), 2014, Pages pages 337--352)
    Botella, Julien | Legeard, Bruno | Peureux, Fabien | Vernotte, Alexandre
    pdf | doi | bibtex
  • inproceedings - Verifying Modal Workflow Specifications using Constraint Solving
    IFM'14, 11-th Int. Conf. on Integrated Formal Methods / Bertinoro, Italy (Publisher : Springer, Volume 8739, Series Lecture Notes in Computer Science (LNCS), 2014, Pages pages 171--186)
    Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien
    pdf | doi | bibtex
  • inproceedings - Model-Based Security Testing with Test Patterns
    UCAAT 2014, 2nd User Conference on Advanced Automated Testing / Munich, Germany (2014)
    Botella, Julien | Gro{ß}mann, Jürgen | Legeard, Bruno | Peureux, Fabien | Schneider, Martin | Seehusen, Fredrik
    pdf | bibtex
  • techreport - Automated Risk-based Security Testing - Finding Vulnerabilities That Are Worth Being Found
    RASEN FP7 EU founded Research Project (jul 2014, White Paper)
    Peureux, Fabien | Schneider, Martin | Seehusen, Fredrik
    bibtex
  • inproceedings - Test de vulnérabilité Web à base de patterns et de modèles
    6-èmes journées nationales du GDR CNRS du Génie de la Programmation et du Logiciel / Paris, France (2014, Pages pages 123--124)
    Vernotte, Alexandre | Legeard, Bruno | Peureux, Fabien
    pdf | bibtex

2013 (7)

  • inproceedings - Formation sur la démarche de test en développement logiciel
    (2013)
    Ambert, Fabrice | Bouquet, Fabrice | Enderlin, Ivan | Gauthier, Jean-Marie | Joffroy, Cédric | Peureux, Fabien | Vernotte, Alexandre
    bibtex
  • inproceedings - Model-Based Test Generation of Aircraft Traffic Attack Scenarios using ADS-B Standard Signals
    UCAAT 2013, 1-st User Conference on Advanced Automated Testing / Paris, France (2013)
    Botella, Julien | Cao, Phong | Civeit, Cédric | Gidoin, Daniel | Peureux, Fabien
    pdf | bibtex
  • inproceedings - Journées nationales du Developpement Logiciel (JDEV'2013)
    (2013)
    Ambert, Fabrice | Bouquet, Fabrice | Enderlin, Ivan | Gauthier, Jean-Marie | Joffroy, Cédric | Legeard, Bruno | Peureux, Fabien | Vernotte, Alexandre
    bibtex
  • inproceedings - Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing
    ECMFA'13, 9-th European Conference on Modelling Foundations and Applications / Montpellier, France (Publisher : Springer, Volume 7949, Series Lecture Notes in Computer Science (LNCS), 2013, Pages pages 134 - 151)
    Ambert, Fabrice | Bouquet, Fabrice | Lasalle, Jonathan | Legeard, Bruno | Peureux, Fabien
    pdf | doi | bibtex
  • inproceedings - Génération de tests de vulnérabilité web à partir de modèles
    AFADL'13, 12èmes journées Francophones sur les Approches Formelles dans l'Assistance Au Développement de Logiciels / Nancy, France (2013, Pages pages 49--63)
    Lebeau, Franck | Legeard, Bruno | Peureux, Fabien | Vernotte, Alexandre
    pdf | bibtex
  • inproceedings - Model-Based Vulnerability Testing for Web Applications
    SECTEST'13, 4-th Int. Workshop on Security Testing. In conjunction with ICST'13, 6-th IEEE Int. Conf. on Software Testing, Verification and Validation / Luxembourg, Luxembourg (Publisher : IEEE, 2013, Pages pages 445 - 452)
    Lebeau, Franck | Legeard, Bruno | Peureux, Fabien | Vernotte, Alexandre
    pdf | doi | bibtex
  • inproceedings - Verification and Validation of Meta-Model Based Transformation from SysML to VHDL-AMS
    MODELSWARD 2013, 1st Int. Conf. on Model-Driven Engineering and Software Development / Barcelona, Spain (2013, Pages pages 123 - 128)
    Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
    pdf | bibtex

2012 (5)

  • inproceedings - Applying an MBT Toolchain to Automotive Embedded Systems: Case Study Reports
    VALID'12, 4-th Int. Conf. on Advances in System Testing and Validation Lifecycle / Lisbon, Portugal (2012, Pages pages 139--144)
    Ambert, Fabrice | Bouquet, Fabrice | Lasalle, Jonathan | Legeard, Bruno | Peureux, Fabien
    pdf | bibtex
  • inproceedings - Model-Based Testing for Enterprise Application Software: from Business Processes and Business Rules to Tests
    (2012)
    Peureux, Fabien
    bibtex
  • inproceedings - Experiment on Using Model-Based Testing for Automatic Tests Generation on a Software Radio Protocol
    STV'12, 9-th Int. Workshop on Systems Testing and Validation. In conjunction with ICSSEA 2012 / Paris, France (2012, Pages pages 79--84)
    Li, Shuai | Bourdellès, Michel | Acebedo, Alexandre | Botella, Julien | Peureux, Fabien
    pdf | bibtex
  • inproceedings - Transformation of SysML structure diagrams to VHDL-AMS
    dMEMS 2012, Workshop on design, control and software implementation for distributed MEMS / Besançon, France (2012, Pages pages 74--81)
    Gauthier, Jean-Marie | Bouquet, Fabrice | Hammad, Ahmed | Peureux, Fabien
    pdf | doi | bibtex
  • misc - Hydra MBT-onFly
    (mar 2012)
    Bouquet, Fabrice | Ambert, Fabrice | Peureux, Fabien | Lorrain, Julien | Sermier, Thomas
    bibtex

2011 (6)

  • article - Development of an automated MBT toolchain from UML/SysML models
    Innovations in Systems and Software Engineering (Volume 7, Issue (4), dec 2011, Pages :247 - 256)
    Lasalle, Jonathan | Peureux, Fabien | Fondement, Frédéric
    pdf | doi | bibtex
  • inproceedings - Automatic test concretization to supply end-to-end MBT for automotive mecatronic systems
    ETSE 2011, 1st Int. Workshop on End-to-End Test Script Engineering. In conjuction with ISSTA 2011 / Toronto, Canada (2011, Pages pages 16--23)
    Lasalle, Jonathan | Peureux, Fabien | Guillet, Jérôme
    pdf | doi | bibtex
  • misc - Development of an automated MBT toolchain from UML/SysML models
    Presented at UML&FM 2011, the 4-th IEEE Int. Workshop on UML and Formal Methods, Limerick, Ireland. Available after revision and extension as an ISSE journal version (jun 2011)
    Lasalle, Jonathan | Peureux, Fabien | Fondement, Frédéric
    bibtex
  • inproceedings - Grey-box Testing and Verification of Java/JML
    CSTVA'11, 3rd Int. Workshop on Constraint in Software Testing Verification and Analysis - co-located with ICST'2011 / Berlin, Germany (2011, Pages pages 298--303)
    Dadeau, Frédéric | Peureux, Fabien
    pdf | doi | bibtex
  • misc - Using Topcased for Model-Based Testing
    First TopCased Days, Toulouse, France (feb 2011)
    Lasalle, Jonathan | Fondement, Frédéric | Muller, Pierre-Alain | Wittman, Brice | Ambert, Fabrice | Bouquet, Fabrice | Oudot, Emilie | Peureux, Fabien | Legeard, Bruno | Alter, Marc | Scherrer, Claude
    bibtex
  • incollection - Test Generation using Symbolic Animation of Models
    Model-Based Testing for Embedded Systems (Publisher : CRC Press, Series Series on Computational Analysis, Synthesis, and Design of Dynamic Systems, 2011, Pages 195--218)
    Dadeau, Frédéric | Peureux, Fabien | Legeard, Bruno | Tissot, Régis | Julliand, Jacques | Masson, Pierre-Alain | Bouquet, Fabrice
    pdf | bibtex

2010 (4)

  • inproceedings - SysML to UML model transformation for test generation purpose
    UML&FM'10, 3rd IEEE Int. Workshop on UML and Formal Methods / Shanghai, China (Volume 36, Issue 1, Series SIGSOFT Software Engineering Notes, 2010, Pages pages 1--8)
    Lasalle, Jonathan | Bouquet, Fabrice | Legeard, Bruno | Peureux, Fabien
    pdf | doi | bibtex
  • article - VETESS : IDM, Test et SysML
    Génie Logiciel (Issue (93), jun 2010, Pages :43--48)
    Fondement, Frédéric | Muller, Pierre-Alain | Wittman, Brice | Ambert, Fabrice | Bouquet, Fabrice | Lasalle, Jonathan | Oudot, Emilie | Peureux, Fabien | Legeard, Bruno | Alter, Marc | Scherrer, Claude
    pdf | bibtex
  • inproceedings - VETESS: MDE, Testing approaches and SysML
    Neptune workshop / Toulouse, France (2010)
    Legeard, Bruno | Peureux, Fabien | Fondement, Frédéric | Alter, Marc | Scherrer, Claude
    bibtex
  • misc - VETESS : IDM, Test et SysML
    7-th Neptune Workshop. Environment with a Process and Tools Using Norms and Example, Toulouse, France (may 2010)
    Fondement, Frédéric | Muller, Pierre-Alain | Wittman, Brice | Ambert, Fabrice | Bouquet, Fabrice | Lasalle, Jonathan | Oudot, Emilie | Peureux, Fabien | Legeard, Bruno | Alter, Marc | Scherrer, Claude
    bibtex

2008 (1)

  • inproceedings - A test generation solution to automate software testing
    AST'08, 3rd Int. workshop on Automation of Software Test / Leipzig, Germany (2008, Pages pages 45--48)
    Legeard, Bruno | Bouquet, Fabrice | Peureux, Fabien | Grandpierre, Christophe
    pdf | doi | bibtex

2007 (2)

  • inproceedings - A subset of precise UML for model-based testing
    A-MOST'07, 3rd int. Workshop on Advances in Model Based Testing / London, United Kingdom (2007, Pages pages 95--104)
    Utting, Mark | Legeard, Bruno | Bouquet, Fabrice | Peureux, Fabien | Grandpierre, Christophe | Vacelet, Nicolas
    pdf | doi | bibtex
  • inproceedings - EDEMOI: a methodology for security of air transport system
    EUCASS'10, 2nd European Conference on Aerospace Sciences (2007)
    Lemoine, Michel | R. Lopez Ruiz, Eduardo | Ledru, Yves | Bert, Didier | Laleau, Régine | Peureux, Fabien | Bouquet, Fabrice | Donzeau-Gouge, Véronique | Dubois, Catherine | Etienne, Jean-Frédéric | Vignes, Sylvie
    bibtex

2006 (3)

  • inproceedings - Model-based Testing from UML Models
    MBT'2006, Model-based Testing Workshop, INFORMATIK'06 / Dresden, Germany (Volume P-94, Series LNI, Lecture Notes in Informatics, 2006, Pages pages 223 - 230)
    Bernard, Eddy | Bouquet, Fabrice | Charbonnier, Amandine | Legeard, Bruno | Peureux, Fabien | Utting, Mark | Torreborre, Eric
    pdf | bibtex
  • article - Adopting a situational requirements engineering approach for the analysis of civil aviation security standards
    Software Process: Improvement and Practice (Volume 11, Issue (5), sep 2006, Pages :487 - 503)
    Ledru, Yves | Peureux, Fabien | Laleau, Régine | Vignes, Sylvie | Lemoine, Michel | Bert, Didier | Donzeau-Gouge, Véronique | Dubois, Catherine
    doi | bibtex
  • inproceedings - An attempt to combine UML and formal methods to model airport security
    Forum of CAISE'06, the 18th Int. Conf. on Advanced Information Systems Engineering / Luxembourg, Luxembourg (2006, Pages pages 47--50)
    Ledru, Yves | Laleau, Régine | Lemoine, Michel | Vignes, Sylvie | Bert, Didier | Donzeau-Gouge, Véronique | Dubois, Catherine | Peureux, Fabien
    bibtex