Alexandre Vernotte
Orcid: 0000-0002-2113-4900
According to our database1,
Alexandre Vernotte
authored at least 18 papers
between 2013 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Softw. Test. Verification Reliab., December, 2024
2023
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.
Int. J. Softw. Tools Technol. Transf., 2022
CAE: Contextual auto-encoder for multivariate time-series anomaly detection in air transportation.
Comput. Secur., 2022
2021
DAE : Discriminatory Auto-Encoder for multivariate time-series anomaly detection in air transportation.
CoRR, 2021
2020
Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020
2018
2017
In-Depth Modeling of the UNIX Operating System for Architectural Cyber Security Analysis.
Proceedings of the 21st IEEE International Enterprise Distributed Object Computing Workshop, 2017
Proceedings of the 2nd Workshop on Cyber-Physical Security and Resilience in Smart Grids, 2017
2016
Proceedings of the Risk Assessment and Risk-Driven Quality Assurance, 2016
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).
PhD thesis, 2015
Risk-Driven Vulnerability Testing: Results from eHealth Experiments Using Patterns and Model-Based Approach.
Proceedings of the Risk Assessment and Risk-Driven Testing - Third International Workshop, 2015
2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Proceedings of the Information Systems Security - 10th International Conference, 2014
2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013