Posts by Collection

portfolio

publications

Analyzing and Debugging Normative Requirements via Satisfiability Checking

ACM SIGSOFT Distinguished Paper Award
Proceedings of the 46th International Conference on Software Engineering (ICSE’24)
Nick Feng, Lina Marsso, Sinem Getir Yaman, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Beverley Townsend, Isobel Standen, Ioannis Stefanakos, Calum Imrie, Genaína Nunes Rodrigues, Ana Cavalcanti, Radu Calinescu, Marsha Chechik

Normative Requirements Operationalization with Large Language Models

Proceedings of the IEEE 32nd International Requirements Engineering Conference (RE’), 2024
Nick Feng, Lina Marsso, S. Getir Yaman, Isobel Standen, Yesugen Baatartogtokh, Reem Ayad, Victória Oldemburgo de Mello, Bev Townsend, Hanne Bartels, Ana Cavalcanti, Radu Calinescu, Marsha Chechik

talks

teaching

Teaching experience 1

This is a description of a teaching experience. You can use markdown like any other post.

Teaching experience 2

This is a description of a teaching experience. You can use markdown like any other post.