Alexandre Vernotte

According to our database, Alexandre Vernotte authored at least 17 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Regression Test Generation by Usage Coverage Driven Clustering on User Traces.

Frédéric Tamagnan, Fabrice Bouquet, Alexandre Vernotte, Bruno Legeard

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

2022

A domain-specific language to design false data injection tests for air traffic control systems.

Alexandre Vernotte, Aymeric Cretin, Bruno Legeard, Fabien Peureux

Int. J. Softw. Tools Technol. Transf., 2022

CAE: Contextual auto-encoder for multivariate time-series anomaly detection in air transportation.

Antoine Chevrot, Alexandre Vernotte, Bruno Legeard

Comput. Secur., 2022

2021

DAE : Discriminatory Auto-Encoder for multivariate time-series anomaly detection in air transportation.

Antoine Chevrot, Alexandre Vernotte, Bruno Legeard

CoRR, 2021

2020

Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance.

Aymeric Cretin, Alexandre Vernotte, Antoine Chevrot, Fabien Peureux, Bruno Legeard

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2018

Load balancing of renewable energy: a cyber security analysis.

Alexandre Vernotte, Margus Välja, Matus Korman, Gunnar Björkman, Mathias Ekstedt, Robert Lagerström

Energy Inform., 2018

2017

In-Depth Modeling of the UNIX Operating System for Architectural Cyber Security Analysis.

Alexandre Vernotte, Pontus Johnson, Mathias Ekstedt, Robert Lagerström

Proceedings of the 21st IEEE International Enterprise Distributed Object Computing Workshop, 2017

Analyzing the Effectiveness of Attack Countermeasures in a SCADA System.

Matus Korman, Margus Välja, Gunnar Björkman, Mathias Ekstedt, Alexandre Vernotte, Robert Lagerström

Proceedings of the 2nd Workshop on Cyber-Physical Security and Resilience in Smart Grids, 2017

2016

Recent Advances in Model-Based Testing.

Mark Utting, Bruno Legeard, Fabrice Bouquet, Elizabeta Fourneret, Fabien Peureux, Alexandre Vernotte

Adv. Comput., 2016

Quantitative Information Security Risk Estimation Using Probabilistic Attack Graphs.

Pontus Johnson, Alexandre Vernotte, Dan Gorton, Mathias Ekstedt, Robert Lagerström

Proceedings of the Risk Assessment and Risk-Driven Quality Assurance, 2016

pwnPr3d: An Attack-Graph-Driven Probabilistic Threat-Modeling Approach.

Pontus Johnson, Alexandre Vernotte, Mathias Ekstedt, Robert Lagerström

Proceedings of the 11th International Conference on Availability, Reliability and Security, 2016

2015

A pattern-driven and model-based vulnerability testing for Web applications. (Une approche à base de modèles et de patterns pour le test de vulnérabilités d'applications Web).

Alexandre Vernotte

PhD thesis, 2015

Risk-Driven Vulnerability Testing: Results from eHealth Experiments Using Patterns and Model-Based Approach.

Alexandre Vernotte, Cornel Botea, Bruno Legeard, Arthur Molnar, Fabien Peureux

Proceedings of the Risk Assessment and Risk-Driven Testing - Third International Workshop, 2015

2014

Risk-Based Vulnerability Testing Using Security Test Patterns.

Julien Botella, Bruno Legeard, Fabien Peureux, Alexandre Vernotte

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Efficient Detection of Multi-step Cross-Site Scripting Vulnerabilities.

Alexandre Vernotte, Frédéric Dadeau, Franck Lebeau, Bruno Legeard, Fabien Peureux, François Piat

Proceedings of the Information Systems Security - 10th International Conference, 2014

2013

Research Questions for Model-Based Vulnerability Testing of Web Applications.

Alexandre Vernotte

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Model-Based Vulnerability Testing for Web Applications.

Franck Lebeau, Bruno Legeard, Fabien Peureux, Alexandre Vernotte

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013