 | Monter d'un niveau |
Feng, N., Marsso, L., Kholodetska, Y., & Chechik, M. (2025). Bounded satisfiability checking of FOL* formulas with aggregations. Formal Methods in System Design, 67(3), 282-315. Lien externe
Quan, J., Marsso, L., Alrajeh, D., & Chechik, M. (avril 2025). Untangling Shared Phenomena for Improving Analysis of Normative Requirements [Communication écrite]. Workshop on Multi-disciplinary, Open, and RElevant Requirements Engineering (MO2RE 2025), Ottawa, ON, Canada. Lien externe
