13 citations · 19 across the 11 of their papers we have counts for
11 papers
Social, Legal, Ethical, Empathetic and Cultural Norm Operationalisation for AI Agents
Radu Calinescu, Ana Cavalcanti, Marsha Chechik +2
As AI agents are increasingly used in high-stakes domains like healthcare and law enforcement, aligning their behaviour with social, legal, ethical, empathetic, and cultural (SLEEC…
Operationalizing Human Values in the Requirements Engineering Process of Ethics-Aware Autonomous Systems
Everaldo Silva Júnior, Lina Marsso, Ricardo Caldas +2
Operationalizing human values alongside functional and adaptation requirements remains challenging due to their ambiguous, pluralistic, and context-dependent nature. Explicit repre…
Future of Software Engineering Research: The SIGSOFT Perspective
Massimiliano Di Penta, Kelly Blincoe, Marsha Chechik +4
As software engineering conferences grow in size, rising costs and outdated formats are creating barriers to participation for many researchers. These barriers threaten the inclusi…
Solving Set Constraints with Comprehensions and Bounded Quantifiers
Mudathir Mohamed, Nick Feng, Andrew Reynolds +3
Many real applications problems can be encoded easily as quantified formulas in SMT. However, this simplicity comes at the cost of difficulty during solving by SMT solvers. Differe…
Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins
Marsha Chechik, Arianna Fedeli, Gianluca Filippone +4
This volume contains the proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins (ASQAP 2025), which was held in H…
LEGOS-SLEEC: Tool for Formalizing and Analyzing Normative Requirements
Kevin Kolyakov, Lina Marsso, Nick Feng +2
Systems interacting with humans, such as assistive robots or chatbots, are increasingly integrated into our society. To prevent these systems from causing social, legal, ethical, e…
Diagnosis via Proofs of Unsatisfiability for First-Order Logic with Relational Objects
Nick Feng, Lina Marsso, Marsha Chechik
Satisfiability-based automated reasoning is an approach that is being successfully used in software engineering to validate complex software, including for safety-critical systems.…
A Software Engineering Perspective on Testing Large Language Models: Research, Practice, Tools and Benchmarks
Sinclair Hudson, Sophia Jit, Boyue Caroline Hu +1
Large Language Models (LLMs) are rapidly becoming ubiquitous both as stand-alone tools and as components of current and future software systems. To enable usage of LLMs in the high…
Normative Requirements Operationalization with Large Language Models
Nick Feng, Lina Marsso, S. Getir Yaman +9
Normative non-functional requirements specify constraints that a system must observe in order to avoid violations of social, legal, ethical, empathetic, and cultural norms. As thes…
Assessing Visually-Continuous Corruption Robustness of Neural Networks Relative to Human Performance
Huakun Shen, Boyue Caroline Hu, Krzysztof Czarnecki +2
While Neural Networks (NNs) have surpassed human accuracy in image classification on ImageNet, they often lack robustness against image corruption, i.e., corruption robustness. Yet…
Analyzing and Debugging Normative Requirements via Satisfiability Checking
Nick Feng, Lina Marsso, Sinem Getir Yaman +11
As software systems increasingly interact with humans in application domains such as transportation and healthcare, they raise concerns related to the social, legal, ethical, empat…