Neil Boudette (2021):
``It Happened So Fast'': Inside a Fatal Tesla Autopilot Accident.
https://www.nytimes.com/2021/08/17/business/tesla-autopilot-accident.html.
Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay & Zheng Wang (2012):
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata.
In: Herbert Wiklicky & Mieke Massink: Proceedings of the 10th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'2012), Tallinn, Estonia,
EPTCS 85,
pp. 1–16,
doi:10.4204/EPTCS.85.1.
David Champelovier, Xavier Clerc, Hubert Garavel, Yves Guerte, Christine McKinty, Vincent Powazny, Frédéric Lang, Wendelin Serwe & Gideon Smeding (2021):
Reference Manual of the LNT to LOTOS Translator (Version 7.0).
INRIA, Grenoble, France.
Biao Chen & TengFei Li (2021):
Formal Modeling and Verification of Autonomous Driving Scenario.
In: Proceedings of the International Information Communication and Software Engineering (ICICSE'2021).
IEEE,
pp. 313–321,
doi:10.1109/ICICSE52190.2021.9404128.
Alexey Dosovitskiy, German Ros, Felipe Codevilla, Antonio Lopez & Vladlen Koltun (2017):
CARLA: An Open Urban Driving Simulator.
In: 1st Annual Conference on Robot Learning,
pp. 1–16.
Available at https://arxiv.org/abs/1711.03938.
Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli & Sanjit A. Seshia (2019):
Scenic: A Language for Scenario Specification and Scene Generation.
In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation.
Association for Computing Machinery,
New York, NY, USA,
pp. 63–78,
doi:10.1145/3314221.3314633.
Hubert Garavel, Frédéric Lang, Radu Mateescu & Wendelin Serwe (2013):
CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes.
Springer International Journal on Software Tools for Technology Transfer (STTT) 15(2),
pp. 89–107,
doi:10.1007/s10009-012-0244-z.
Hubert Garavel, Frédéric Lang & Wendelin Serwe (2017):
From LOTOS to LNT.
In: ModelEd, TestEd, TrustEd – Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday,
Lecture Notes in Computer Science 10500.
Springer,
pp. 3–26,
doi:10.1007/978-3-319-68270-9_1.
Jean-Baptiste Horel, Christian Laugier, Lina Marsso, Radu Mateescu, Lucie Muller, Anshul Paigwar, Alessandro Renzaglia & Wendelin Serwe (2022):
Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles.
In: Proceedings of the 25th International Conference on Design, Automation & Test in Europe: Autonomous Systems Design DATE ASD'2022,
IEEE 000.
Springer,
pp. 06.
Félix Ingrand (2019):
Recent Trends in Formal Validation and Verification of Autonomous Robots Software.
In: Proceedings of the 3rd International Conference on Robotic Computing (IRC'19), Naples, Italy.
IEEE,
pp. 321–328,
doi:10.1109/IRC.2019.00059.
Fatma Jebali (2016):
Formal Framework for Modelling and Verifying Globally Asynchronous Locally Synchronous Systems.
Grenoble Alpes University, France.
Available at https://tel.archives-ouvertes.fr/tel-01679311.
Fatma Jebali, Frédéric Lang & Radu Mateescu (2016):
Formal Modelling and Verification of GALS systems using GRL and CADP.
Formal Aspects of Computing 28(5),
pp. 767–804,
doi:10.1007/s00165-016-0373-3.
Lina Marsso (2019):
On Model-based Testing of GALS Systems. (Etude de génération de tests à partir d'un modèle pour les systèmes GALS).
Grenoble Alpes University, France.
Available at https://tel.archives-ouvertes.fr/tel-02948083.
Lina Marsso, Radu Mateescu, Ioannis Parissis & Wendelin Serwe (2019):
Asynchronous Testing of Synchronous Components in GALS Systems.
In: Wolfgang Ahrendt & Silvia Lizeth Tapia Tarifa: Proceedings of the 15th International Conference on Integrated Formal Methods (IFM'2019), Bergen, Norway,
LNS 11918.
Springer,
pp. 360–378,
doi:10.1007/978-3-030-34968-4_20.
Lina Marsso, Radu Mateescu & Wendelin Serwe (2018):
TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation.
In: Dirk Beyer & Marieke Huisman: Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'18), Thessaloniki, Greece,
Lecture Notes in Computer Science 10806.
Springer,
pp. 211–228,
doi:10.1007/978-3-319-89963-3_13.
Lina Marsso, Radu Mateescu & Wendelin Serwe (2020):
Automated Transition Coverage in Behavioural Conformance Testing.
In: 32nd IFIP Int. Conference on Testing Software and Systems (ICTSS'20),
pp. 219–235,
doi:10.1007/978-3-030-64881-7_14.
Radu Mateescu & Damien Thivolle (2008):
A Model Checking Language for Concurrent Value-Passing Systems.
In: Jorge Cuéllar, T. S. E. Maibaum & Kaisa Sere: Proceedings of the 15th International Symposium on Formal Methods (FM'08), Turku, Finland,
Lecture Notes in Computer Science 5014.
Springer,
pp. 148–164,
doi:10.1007/978-3-540-68237-0_12.
Stefan Riedmaier, Thomas Ponn, Dieter Ludwig, Bernhard Schick & Frank Diermeyer (2020):
Survey on Scenario-Based Safety Assessment of Automated Vehicles.
IEEE Access 8,
pp. 87456–87477,
doi:10.1109/ACCESS.2020.2993730.