Följ
Alexandre Vernotte
Alexandre Vernotte
Postdoctoral Researcher, Femto-ST Institute, Besanįon, France
Verifierad e-postadress på femto-st.fr - Startsida
Titel
Citeras av
Citeras av
År
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
2582013
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
692016
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
61*2016
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
252018
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
242017
CAE: Contextual auto-encoder for multivariate time-series anomaly detection in air transportation
A Chevrot, A Vernotte, B Legeard
Computers & Security 116, 102652, 2022
232022
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
232014
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
182018
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
162017
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
152014
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
142020
Research questions for model-based vulnerability testing of web applications
A Vernotte
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
112013
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
82017
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
72015
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
52022
A pattern-driven and model-based vulnerability testing for web applications
A Vernotte
Université de Franche-Comté, 2015
42015
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
32020
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
22023
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
22012
Active testing techniques
B Legeard, A Vernotte
2013
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20