Research output per year
Research output per year
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Analyzing and Debugging Normative Requirements via Satisfiability Checking
Feng, N., Marsso, L., Getir Yaman, S., Townsend, B., Baatartogtokh, Y., Ayad, R., Oldemburgo de Mello, V., Standen, I., Stefanakos, I., Imrie, C. C., Nunes Rodrigues, G., Cavalcanti, A. L. C., Calinescu, R. & Chechik, M., 12 Apr 2024, 46th International Conference on Software Engineering (ICSE 2024). IEEE Computer Society, p. 2643-2654 12 p. 214. (Proceedings - International Conference on Software Engineering).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Normative Requirements Operationalization with Large Language Models
Feng, N., Marsso, L., Getir Yaman, S., Standen, I., Baatartogtokh, Y., Ayad, R., De Mello, V. O., Townsend, B., Bartels, H., Cavalcanti, A., Calinescu, R. & Chechik, M., 21 Aug 2024, Proceedings - 32nd IEEE International Requirements Engineering Conference, RE 2024. Liebel, G., Hadar, I. & Spoletini, P. (eds.). IEEE Computer Society, p. 129-141 13 p. (Proceedings of the IEEE International Conference on Requirements Engineering).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Predicting Nonfunctional Requirement Violations in Autonomous Systems
Fang, X., Getir Yaman, S., Calinescu, R., Wilson, J. C. & Paterson, C., 14 Feb 2024, In: ACM Transactions on Autonomous and Adaptive Systems. 19, 1, 25 p., 6.Research output: Contribution to journal › Article › peer-review
Open AccessFile
Projects
- 1 Active
-
DOMINOS: Disruption Mitigation for Responsible AI
Calinescu, R., Cavalcanti, A. L. C., Getir Yaman, S. & Townsend, B.
15/01/24 → 1/07/25
Project: Research project (funded) › Research
Datasets
-
Online material for Predicting Nonfunctional Requirement Violations in Autonomous Systems
Fang, X. (Creator), Getir Yaman, S. (Creator), Calinescu, R. (Creator), Wilson, J. C. (Creator) & Paterson, C. (Creator), GitHub, 2023
https://github.com/xinwei2124/TAAS
Dataset