| Model-based vulnerability testing for web applications F Lebeau, B Legeard, F Peureux, A Vernotte 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 277 | 2013 |
| pwnpr3d: an attack-graph-driven probabilistic threat-modeling approach P Johnson, A Vernotte, M Ekstedt, R Lagerström 2016 11th international conference on availability, reliability and security …, 2016 | 74 | 2016 |
| Recent advances in model-based testing M Utting, B Legeard, F Bouquet, E Fourneret, F Peureux, A Vernotte Advances in computers 101, 53-120, 2016 | 60 | 2016 |
| CAE: Contextual auto-encoder for multivariate time-series anomaly detection in air transportation A Chevrot, A Vernotte, B Legeard Computers & Security 116, 102652, 2022 | 47 | 2022 |
| Load balancing of renewable energy: a cyber security analysis A Vernotte, M Välja, M Korman, G Björkman, M Ekstedt, R Lagerström Energy Informatics 1, 1-41, 2018 | 32 | 2018 |
| Analyzing the effectiveness of attack countermeasures in a SCADA system M Korman, M Välja, G Björkman, M Ekstedt, A Vernotte, R Lagerström Proceedings of the 2nd Workshop on Cyber-Physical Security and Resilience in …, 2017 | 25 | 2017 |
| Risk-based vulnerability testing using security test patterns J Botella, B Legeard, F Peureux, A Vernotte Leveraging Applications of Formal Methods, Verification and Validation …, 2014 | 23 | 2014 |
| Increasing the resilience of ATC systems against false data injection attacks using DSL-based testing A Cretin, B Legeard, F Peureux, A Vernotte International Conference on Research in Air Transportation, 2018 | 19 | 2018 |
| Quantitative information security risk estimation using probabilistic attack graphs P Johnson, A Vernotte, D Gorton, M Ekstedt, R Lagerström Risk Assessment and Risk-Driven Quality Assurance: 4th International …, 2017 | 18 | 2017 |
| Efficient detection of multi-step cross-site scripting vulnerabilities A Vernotte, F Dadeau, F Lebeau, B Legeard, F Peureux, F Piat Information Systems Security: 10th International Conference, ICISS 2014 …, 2014 | 15 | 2014 |
| Test data generation for false data injection attack testing in air traffic surveillance A Cretin, A Vernotte, A Chevrot, F Peureux, B Legeard 2020 IEEE International Conference on Software Testing, Verification and …, 2020 | 13 | 2020 |
| Research questions for model-based vulnerability testing of web applications A Vernotte 2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013 | 13 | 2013 |
| In-depth modeling of the UNIX operating system for architectural cyber security analysis A Vernotte, P Johnson, M Ekstedt, R Lagerström 2017 IEEE 21st International Enterprise Distributed Object Computing …, 2017 | 10 | 2017 |
| Risk-driven vulnerability testing: Results from ehealth experiments using patterns and model-based approach A Vernotte, C Botea, B Legeard, A Molnar, F Peureux Risk Assessment and Risk-Driven Testing: Third International Workshop, RISK …, 2015 | 7 | 2015 |
| A domain-specific language to design false data injection tests for air traffic control systems A Vernotte, A Cretin, B Legeard, F Peureux International Journal on Software Tools for Technology Transfer, 1-32, 2022 | 6 | 2022 |
| Regression Test Generation by Usage Coverage Driven Clustering on User Traces F Tamagnan, F Bouquet, A Vernotte, B Legeard 2023 IEEE International Conference on Software Testing, Verification and …, 2023 | 5 | 2023 |
| Improved testing of AI-based anomaly detection systems using synthetic surveillance data A Chevrot, A Vernotte, P Bernabe, A Cretin, F Peureux, B Legeard Proceedings 59 (1), 9, 2020 | 4 | 2020 |
| A pattern-driven and model-based vulnerability testing for web applications A Vernotte Université de Franche-Comté, 2015 | 4 | 2015 |
| Génération automatique de tests à partir de modèles UML/ALF A Vernotte, F Bouquet, F Dadeau, F Peureux Master’s thesis, Département Informatique des Systèmes Complexes Femto-ST, 2012 | 2 | 2012 |
| Generation of Regression Tests From Logs With Clustering Guided by Usage Patterns F Tamagnan, A Vernotte, F Bouquet, B Legeard Software Testing, Verification and Reliability 34 (8), e1900, 2024 | | 2024 |
Frederic DadeauAssistant professor of Computer Science, University of Franche-ComteVerified email at univ-fcomte.fr