Documents publiés en "2023"

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

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