 | Monter d'un niveau |
Horel, J.-B., Laugier, C., Marsso, L., Mateescu, R., Muller, L., Paigwar, A., Renzaglia, A., & Serwe, W. (mars 2022). Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles [Communication écrite]. Design, Automation & Test in Europe Conference & Exhibition (DATE 2022), Antwerp, Belgium. Lien externe
Hu, B. C., Marsso, L., Czarnecki, K., & Chechik, M. (octobre 2022). What to Check: Systematic Selection of Transformations for Analyzing Reliability of Machine Vision Components [Communication écrite]. IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE 2022), Charlotte, North Carolina, USA. Lien externe
Hu, B. C., Marsso, L., Czarnecki, K., Salay, R., Shen, H., & Chechik, M. (mai 2022). If a Human Can See It, So Should Your System: Reliability Requirements for Machine Vision Components [Communication écrite]. 44th IEEE/ACM International Conference on Software Engineering (ICSE 2022), Pittsburgh, Pennsylvania, USA. Lien externe
Marsso, L., Mateescu, R., Muller, L., & Serwe, W. (avril 2022). Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing [Communication écrite]. 5th Workshop on Models for Formal Analysis of Real Systems (MARS 2022), Munich, Germany. Publié dans Electronic Proceedings in Theoretical Computer Science, 355. Lien externe
