 | Monter d'un niveau |
Feng, N., Marsso, L., & Chechik, M. (octobre 2024). Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects [Communication écrite]. 9th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024), Sacramento, California, USA. Lien externe
Feng, N., Marsso, L., Getir Yaman, S., Baatartogtokh, Y., Ayad, R., De Mello, V. O., Townsend, B., Standen, I., Stefanakos, I., Imrie, C., Rodrigues, G. N., Cavalcanti, A., Calinescu, R., & Chechik, M. (avril 2024). Analyzing and Debugging Normative Requirements via Satisfiability Checking [Communication écrite]. 46th IEEE/ACM International Conference on Software Engineering (ICSE 2024), Lisbon, Portugal (12 pages). Lien externe
Feng, N., Marsso, L., Yaman, S. G., Standen, I., Baatartogtokh, Y., Ayad, R., de Mello, V. O., Townsend, B., Bartels, H., Cavalcanti, A., Calinescu, R., & Chechik, M. (juin 2024). Normative Requirements Operationalization with Large Language Models [Communication écrite]. 32nd IEEE International Requirements Engineering Conference (RE 2024), Reykjavik, Iceland. Lien externe
