Documents publiés en "2023"

SE4SafeML 2023: Proceedings of the 1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components [Communication écrite] (décembre 2023). 1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components (SE4SafeML 2023), San Francisco, CA, USA. Lien externe

Feng, N., Marsso, L., Sabetzadeh, M., & Chechik, M. (juillet 2023). Early Verification of Legal Compliance via Bounded Satisfiability Checking [Communication écrite]. 35th International Conference on Computer Aided Verification (CAV 2023), Paris, France. Lien externe

Feng, N., Marsso, L., Yaman, S. G., Townsend, B., Cavalcanti, A., Calinescu, R., & Chechik, M. (septembre 2023). Towards a Formal Framework for Normative Requirements Elicitation [Communication écrite]. 38th IEEE/ACM International Conference on Automated Software Engineering (ASE 2023), Kirchberg, Luxembourg. Lien externe

Horel, J.-B., Ledent, P., Marsso, L., Muller, L., Laugier, C., Mateescu, R., Paigwar, A., Renzaglia, A., & Serwe, W. (2023). Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model. Journal of Intelligent & Robotic Systems, 107, 59 (28 pages). Lien externe

Hu, B. C., Marsso, L., Dvornik, N., Shen, H., & Chechik, M. (décembre 2023). DecompoVision: Reliability Analysis of Machine Vision Components through Decomposition and Reuse [Communication écrite]. 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023), San Francisco, California, USA. Lien externe

Weyns, D., Călinescu, R., Mirandola, R., Tei, K., Acosta, M., Bencomo, N., Bennaceur, A., Boltz, N., Bureš, T., Cámara, J., Diaconescu, A., Engels, G., Gerasimou, S., Gerostathopoulos, I., Getir Yaman, S., Grassi, V., Hahner, S., Inverardi, P., Van Landuyt, D., ... Zisman, A. (2023). Towards a Research Agenda for Understanding and Managing Uncertainty in Self-Adaptive Systems. ACM SIGSOFT Software Engineering Notes, 48(4), 20-36. Lien externe