The institute
FEMTO-ST
Directory
You are here
Fabrice Ambert
Fabrice Ambert's publications
2024 (2)
- inproceedings - Detecting Ghost Aircraft Flooding in the Surveillance of Low-Flying Civil and Military Aircraft
4th IEEE International Conference on Computer, Control and Robotics (ICCCR 2024) / Shanghai, China (2024, Pages pages 328 - 332)
Pirolley, Melvyn | Couturier, Raphael | Ambert, Fabrice | Salomon, Michel - inproceedings - Détection d'anomalies ADS-B dans le contexte d'aéronefs basse altitude
Congrès National de la Recherche des IUT (CNRIUT 2024) / Mulhouse, France (2024, Pages pages 3)
Pirolley, Melvyn | Couturier, Raphael | Salomon, Michel | Ambert, Fabrice
2023 (1)
- inproceedings - ADS-B anomaly detection in the surveillance of low-altitude aircrafts
11th OpenSky Symposium (2023) / Toulouse, France (Publisher : TU Delft, Delft University of Technology, Volume 1, Issue 2, 2023, Pages pages 5)
Pirolley, Melvyn | Couturier, Raphael | Salomon, Michel | Ambert, Fabrice
2020 (2)
- inproceedings - Supporting efficient test automation using lightweight MBT
13th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2020) / Porto, Portugal (2020, Pages pages 84 - 94)
Bernard, Elodie | Ambert, Fabrice | Legeard, Bruno - inproceedings - Tool Support for Refactoring Manual Tests
International Conference on Software Testing, Verification and Validation (ICST 2020) / Porto, Portugal (2020, Pages pages 332 - 342)
Bernard, Elodie | Botella, Julien | Ambert, Fabrice | Legeard, Bruno | Utting, Mark
2019 (1)
- inproceedings - A Lightweight MBT approach for Visual Acceptance-Test Driven Development
19th International Conference on Software Quality, Reliability and Security (QRS 2019) / Sofia, Bulgaria (2019)
Bernard, Elodie | Ambert, Fabrice | Legeard, Bruno
2018 (1)
- inproceedings - Lightweight Model-Based Testing for Enterprise IT
11th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2018) / Vasteras, Sweden (2018, Pages pages 224 - 230)
Bernard, Elodie | Ambert, Fabrice | Legeard, Bruno | Bouzy, Arnaud
2014 (3)
- 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 - article - Test generation with SMT solvers in Model Based Testing
Software Testing, Verification and Reliability (Volume 24, Issue (7), may 2014, Pages :499 - 531)
Cantenot, Jérôme | Ambert, Fabrice | Bouquet, Fabrice - incollection - Foundations of Security Analysis and Design VII
Model-Based Testing for Functional and Security Test Generation (Publisher : Springer, Volume 8604, Series Lecture Notes in Computer Science (LNCS), jan 2014, Pages 1 - 33)
Bouquet, Fabrice | Peureux, Fabien | Ambert, Fabrice
2013 (4)
- 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 - 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 - 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 - inproceedings - Strategies Comparison of Test Generation from UML Using SMT Solver
CSTVA 2013, 5-th Int. Workshop on Constraints in Software Testing Verification and Analysis. Held in conjunction with ICST 2013 / Luxemburg, Luxemburg (Publisher : IEEE, 2013, Pages pages 224--229)
Cantenot, Jérôme | Ambert, Fabrice | Bouquet, Fabrice
2012 (3)
- 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 - inproceedings - Transformation rules from UML4MBT meta-model to SMT meta-model for model animation
OCL 2012, 12th Workshop on OCL and Textual Modelling. In conjunction with Models'2012 / Innsbruck, Austria (2012, Pages pages 55--60)
Cantenot, Jérôme | Bouquet, Fabrice | Ambert, Fabrice - misc - Hydra MBT-onFly
(mar 2012)
Bouquet, Fabrice | Ambert, Fabrice | Peureux, Fabien | Lorrain, Julien | Sermier, Thomas
2011 (1)
- misc - Using Topcased for Model-Based Testing
First TopCased Days, Toulouse, France (feb 2011)
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
2010 (2)
- article - VETESS : IDM, Test et SysML
Génie Logiciel (Volume 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 - 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