Documents publiés en "2023"

C

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

F

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

H

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

W

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