28 citations · 38 across the 6 of their papers we have counts for
9 papers
Towards a Taxonomy of Sustainability Requirements for Software Design
Mandira Roy, Novarun Deb, Nabendu Chaki +1
Software systems are a significant contributor to global sustainability concerns, demanding that environmental, social, technical, and economic factors be systematically addressed…
SEER: Sustainability Enhanced Engineering of Software Requirements
Mandira Roy, Novarun Deb, Nabendu Chaki +1
The rapid expansion of software development has significant environmental, technical, social, and economic impacts. Achieving the United Nations Sustainable Development Goals by 20…
Helping LLMs Improve Code Generation Using Feedback from Testing and Static Analysis
Greta Dolcetti, Vincenzo Arceri, Eleonora Iotti +3
Large Language Models (LLMs) are one of the most promising developments in the field of artificial intelligence, and the software engineering community has readily noticed their po…
An Annexure to the Paper "Driving the Technology Value Stream by Analyzing App Reviews"
Souvick Das, Novarun Deb, Agostino Cortesi +1
This paper presents a novel framework that utilizes Natural Language Processing (NLP) techniques to understand user feedback on mobile applications. The framework allows software c…
Twinning automata and regular expressions for string static analysis
Luca Negrini, Vincenzo Arceri, Pietro Ferrara +1
In this paper we formalize and prove the soundness of Tarsis, a new abstract domain based on the abstract interpretation theory that approximates string values through finite state…
Network Reconnaissance and Vulnerability Excavation of Secure DDS Systems
Ruffin White, Gianluca Caiazza, Chenxu Jiang +4
Distribution Service (DDS) is a realtime peer-to-peer protocol that serves as a scalable middleware between distributed networked systems found in many Industrial IoT domains such…
Procedurally Provisioned Access Control for Robotic Systems
Ruffin White, Gianluca Caiazza, Henrik I. Christensen +1
Security of robotics systems, as well as of the related middleware infrastructures, is a critical issue for industrial and domestic IoT, and it needs to be continuously assessed th…
A Survey on Product Operators in Abstract Interpretation
Agostino Cortesi, Giulia Costantini, Pietro Ferrara
The aim of this paper is to provide a general overview of the product operators introduced in the literature as a tool to enhance the analysis accuracy in the Abstract Interpretati…
A New Scale for Attribute Dependency in Large Database Systems
Soumya Sen, Anjan Dutta, Agostino Cortesi +1
Large, data centric applications are characterized by its different attributes. In modern day, a huge majority of the large data centric applications are based on relational model.…