L'institut
FEMTO-ST
Département DISC

Fabrice Ambert

Département DISC
Équipe AND
Courriel :
fambert [at] femto-st.fr
Addresse :
DISC - IUTBM - UFC (Belfort IUT-BM)

19 avenue du Maréchal Juin - BP 527
90016 BELFORT Cedex

Publications de Fabrice AMBERT

2026 (1)

  • article - Machine learning techniques for detecting anomalies in ADS-B data in the context of low altitude aviation
    Aerospace Science and Technology (Volume 168, Issue (Part F), jan 2026, Pages :111199 (12))
    Pirolley, Melvyn | Couturier, Raphael | Salomon, Michel | Ambert, Fabrice

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
    ressource | doi | bibtex
    @inproceedings{cb822dfd-ee6f-4898-a37a-3a3f0f2a7742, title = {Detecting Ghost Aircraft Flooding in the Surveillance of Low-Flying Civil and Military Aircraft}, author = {Pirolley, Melvyn and Couturier, Raphael and Ambert, Fabrice and Salomon, Michel}, year = {2024}, address = {Shanghai, China}, booktitle = {4th IEEE International Conference on Computer, Control and Robotics (ICCCR 2024)}, editor = {cb822dfd-ee6f-4898-a37a-3a3f0f2a7742-editor.pdf}, month = {apr}, pages = {328 - 332}, url = {https://publiweb.femto-st.fr/tntnet/entries/20747/documents/author/data}, doi = {https://doi.org/10.1109/ICCCR61138.2024.10585511} }
  • 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
    ressource | bibtex
    @inproceedings{041d3f50-aafb-4e79-bf23-3e9a92ca8423, title = {D\'etection d'anomalies ADS-B dans le contexte d'a\'eronefs basse altitude}, author = {Pirolley, Melvyn and Couturier, Raphael and Salomon, Michel and Ambert, Fabrice}, year = {2024}, address = {Mulhouse, France}, booktitle = {Congr\`es National de la Recherche des IUT (CNRIUT 2024)}, editor = {041d3f50-aafb-4e79-bf23-3e9a92ca8423-editor.pdf}, month = {mar}, pages = {3}, url = {https://publiweb.femto_st-st.fr/tntnet/entries/20748/documents/author/data} }

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
    ressource | doi | bibtex
    @inproceedings{9a60c4aa-f2bc-4f7f-93b2-88e74789a770, title = {ADS-B anomaly detection in the surveillance of low-altitude aircrafts}, author = {Pirolley, Melvyn and Couturier, Raphael and Salomon, Michel and Ambert, Fabrice}, year = {2023}, address = {Toulouse, France}, booktitle = {11th OpenSky Symposium (2023)}, editor = {9a60c4aa-f2bc-4f7f-93b2-88e74789a770-editor.pdf}, month = {oct}, number = {2}, pages = {5}, url = {https://publiweb.femto-st.fr/tntnet/entries/20190/documents/author/data}, volume = {1}, doi = {https://doi.org/10.59490/joas.2023.7200}, journal = {Journal of Open Aviation Science}, publisher = {TU Delft, Delft University of Technology} }

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
    ressource | doi | bibtex
    @inproceedings{d4a2ed94-314c-4b00-8a14-12799a2ba02b, title = { Supporting efficient test automation using lightweight MBT}, author = {Bernard, Elodie and Ambert, Fabrice and Legeard, Bruno}, year = {2020}, address = {Porto, Portugal}, booktitle = {13th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2020)}, editor = {d4a2ed94-314c-4b00-8a14-12799a2ba02b-editor.pdf}, month = {oct}, pages = {84 - 94}, url = {https://publiweb.femto-st.fr/tntnet/entries/16386/documents/author/data}, doi = {10.1109/ICSTW50294.2020.00028} }
  • 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
    ressource | doi | bibtex
    @inproceedings{b0b1668e-423a-4f3d-96a0-9d5be823817e, title = {Tool Support for Refactoring Manual Tests}, author = {Bernard, Elodie and Botella, Julien and Ambert, Fabrice and Legeard, Bruno and Utting, Mark}, year = {2020}, address = {Porto, Portugal}, booktitle = {International Conference on Software Testing, Verification and Validation (ICST 2020)}, editor = {b0b1668e-423a-4f3d-96a0-9d5be823817e-editor.pdf}, month = {mar}, pages = {332 - 342}, url = {https://publiweb.femto-st.fr/tntnet/entries/16242/documents/author/data}, doi = {10.1109/ICST46399.2020.00041} }

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
    ressource | bibtex
    @inproceedings{aa8ccd39-73d9-479f-bfeb-b7f314d38db5, title = {A Lightweight MBT approach for Visual Acceptance-Test Driven Development }, author = {Bernard, Elodie and Ambert, Fabrice and Legeard, Bruno}, year = {2019}, address = {Sofia, Bulgaria}, booktitle = {19th International Conference on Software Quality, Reliability and Security (QRS 2019)}, month = {jul}, url = {https://publiweb.femto-st.fr/tntnet/entries/16250/documents/author/data} }

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
    ressource | doi | bibtex
    @inproceedings{2a52611b-ed7a-4187-ba30-c8ac93618c91, title = {Lightweight Model-Based Testing for Enterprise IT}, author = {Bernard, Elodie and Ambert, Fabrice and Legeard, Bruno and Bouzy, Arnaud}, year = {2018}, address = {Vasteras, Sweden}, booktitle = {11th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2018)}, month = {apr}, pages = {224 - 230}, url = {https://publiweb.femto-st.fr/tntnet/entries/14543/documents/author/data}, doi = {10.1109/ICSTW.2018.00053} }

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
    bibtex
    @inproceedings{9ab7908b-684f-4a59-96b0-3e31755e6597, title = {Formation sur les m\'ethodes de test et de validation des logiciels}, author = {Ambert, Fabrice and Bouquet, Fabrice and Gauthier, Jean-Marie and Peureux, Fabien and Vernotte, Alexandre}, year = {2014}, month = {nov} }
  • 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
    ressource | bibtex
    @incollection{bpa14:bc, title = {Foundations of Security Analysis and Design VII}, author = {Bouquet, Fabrice and Peureux, Fabien and Ambert, Fabrice}, year = {2014}, booktitle = {Model-Based Testing for Functional and Security Test Generation}, month = {jan}, pages = {1 - 33}, url = {http://dx.doi.org/10.1007/978-3-319-10082-1_1}, volume = {8604}, doi = {10.1007/978-3-319-10082-1_1}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }

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
    bibtex
    @inproceedings{f7728078-3312-416c-8c3e-e608ed0e0f34, title = {Formation sur la d\'emarche de test en d\'eveloppement logiciel}, author = {Ambert, Fabrice and Bouquet, Fabrice and Enderlin, Ivan and Gauthier, Jean-Marie and Joffroy, C\'edric and Peureux, Fabien and Vernotte, Alexandre}, year = {2013}, month = {dec} }
  • 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{f5efe41d-2f96-4794-bb3d-78aef131b94d, title = {Journ\'ees nationales du Developpement Logiciel (JDEV'2013)}, author = {Ambert, Fabrice and Bouquet, Fabrice and Enderlin, Ivan and Gauthier, Jean-Marie and Joffroy, C\'edric and Legeard, Bruno and Peureux, Fabien and Vernotte, Alexandre}, year = {2013}, month = {sep} }
  • 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
    ressource | doi | bibtex
    @inproceedings{abll+13:ip, title = {Applying a Def-Use Approach on Signal Exchange to Implement SysML Model-Based Testing}, author = {Ambert, Fabrice and Bouquet, Fabrice and Lasalle, Jonathan and Legeard, Bruno and Peureux, Fabien}, year = {2013}, address = {Montpellier, France}, booktitle = {ECMFA'13, 9-th European Conference on Modelling Foundations and Applications}, month = {jul}, pages = {134 - 151}, url = {https://publiweb.femto-st.fr/tntnet/entries/5960/documents/author/data}, volume = {7949}, doi = {10.1007/978-3-642-39013-5_10}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
  • 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
    ressource | doi | bibtex
    @inproceedings{cab13:ip, title = {Strategies Comparison of Test Generation from UML Using SMT Solver}, author = {Cantenot, J\'er\^ome and Ambert, Fabrice and Bouquet, Fabrice}, year = {2013}, address = {Luxemburg, Luxemburg}, booktitle = {CSTVA 2013, 5-th Int. Workshop on Constraints in Software Testing Verification and Analysis. Held in conjunction with ICST 2013}, month = {mar}, pages = {224--229}, url = {http://dx.doi.org/10.1109/ICSTW.2013.71}, doi = {10.1109/ICSTW.2013.71}, publisher = {IEEE} }

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
    ressource | bibtex
    @inproceedings{abll12:ip, title = {Applying an MBT Toolchain to Automotive Embedded Systems: Case Study Reports}, author = {Ambert, Fabrice and Bouquet, Fabrice and Lasalle, Jonathan and Legeard, Bruno and Peureux, Fabien}, year = {2012}, address = {Lisbon, Portugal}, booktitle = {VALID'12, 4-th Int. Conf. on Advances in System Testing and Validation Lifecycle}, month = {nov}, pages = {139--144}, url = {https://publiweb.femto-st.fr/tntnet/entries/357/documents/author/data} }
  • 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
    doi | bibtex
    @inproceedings{cba12:ip, title = {Transformation rules from UML4MBT meta-model to SMT meta-model for model animation}, author = {Cantenot, J\'er\^ome and Bouquet, Fabrice and Ambert, Fabrice}, year = {2012}, address = {Innsbruck, Austria}, booktitle = {OCL 2012, 12th Workshop on OCL and Textual Modelling. In conjunction with Models'2012}, month = {sep}, pages = {55--60}, doi = {10.1145/2428516.2428526} }
  • misc - Hydra MBT-onFly
    (mar 2012)
    Bouquet, Fabrice | Ambert, Fabrice | Peureux, Fabien | Lorrain, Julien | Sermier, Thomas
    bibtex
    @misc{bapl+12:soft, title = {Hydra MBT-onFly}, author = {Bouquet, Fabrice and Ambert, Fabrice and Peureux, Fabien and Lorrain, Julien and Sermier, Thomas}, year = {2012}, month = {mar} }

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
    bibtex
    @misc{lasalle11:onp, title = {Using Topcased for Model-Based Testing}, author = {Fondement, Fr\'ed\'eric and Muller, Pierre-Alain and Wittman, Brice and Ambert, Fabrice and Bouquet, Fabrice and Lasalle, Jonathan and Oudot, Emilie and Peureux, Fabien and Legeard, Bruno and Alter, Marc and Scherrer, Claude}, year = {2011}, address = {Toulouse, France}, booktitle = {1st TOPCASED Days (2011)}, month = {feb}, url = {https://publiweb.femto-st.fr/tntnet/entries/554/documents/author/data} }

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
    bibtex
    @misc{fmwa+10:onp, title = {VETESS : IDM, Test et SysML}, author = {Fondement, Fr\'ed\'eric and Muller, Pierre-Alain and Wittman, Brice and Ambert, Fabrice and Bouquet, Fabrice and Lasalle, Jonathan and Oudot, Emilie and Peureux, Fabien and Legeard, Bruno and Alter, Marc and Scherrer, Claude}, year = {2010}, address = {Toulouse, France}, booktitle = {7th Nice Environment with a Process and Tools Using Norms and Example Workshop (Neptune Workshop 2010)}, month = {may}, url = {https://publiweb.femto-st.fr/tntnet/entries/552/documents/author/data} }