research
∙
08/03/2023
Improving Requirements Completeness: Automated Assistance through Large Language Models
Natural language (NL) is arguably the most prevalent medium for expressi...
share
research
∙
06/01/2023
Using Genetic Programming to Build Self-Adaptivity into Software-Defined Networks
Self-adaptation solutions need to periodically monitor, reason about, an...
research
∙
03/16/2023
Measuring Improvement of F_1-Scores in Detection of Self-Admitted Technical Debt
Artificial Intelligence and Machine Learning have witnessed rapid, signi...
research
∙
02/09/2023
AI-based Question Answering Assistance for Analyzing Natural-language Requirements
By virtue of being prevalently written in natural language (NL), require...
research
∙
02/09/2023
Using Language Models for Enhancing the Completeness of Natural-language Requirements
[Context and motivation] Incompleteness in natural-language requirements...
research
∙
12/16/2022
Learning Non-robustness using Simulation-based Testing: a Network Traffic-shaping Case Study
An input to a system reveals a non-robust behaviour when, by making a sm...
research
∙
09/08/2022
Bounded Satisfiability Checking of Metric First-order Temporal Logic
Legal properties involve reasoning about data values and time. Metric fi...
research
∙
08/15/2022
A Domain-Specific Language for Simulation-Based Testing of IoT Edge-to-Cloud Solutions
The Internet of things (IoT) is increasingly prevalent in domains such a...
research
∙
06/21/2022
TAPHSIR: Towards AnaPHoric Ambiguity Detection and ReSolution In Requirements
We introduce TAPHSIR, a tool for anaphoric ambiguity detection and anaph...
research
∙
06/21/2022
WikiDoMiner: Wikipedia Domain-specific Miner
We introduce WikiDoMiner, a tool for automatically generating domain-spe...
research
∙
05/09/2022
Learning Self-adaptations for IoT Networks: A Genetic Programming Approach
Internet of Things (IoT) is a pivotal technology in application domains ...
research
∙
06/10/2021
AI-enabled Automation for Completeness Checking of Privacy Policies
Technological advances in information sharing have raised concerns about...
research
∙
07/23/2020
Model Driven Engineering for Data Protection and Privacy: Application and Experience with GDPR
In Europe and indeed worldwide, the General Data Protection Regulation (...
research
∙
05/04/2020
On Systematically Building a Controlled Natural Language for Functional Requirements
[Context] Natural language (NL) is pervasive in software requirements sp...
research
∙
01/30/2020
An Automated Framework for the Extraction of Semantic Legal Metadata from Legal Texts
Semantic legal metadata provides information that helps with understandi...
research
∙
05/29/2019
Dynamic Adaptive Network Configuration for IoT Systems: A Search-based Approach
The concept of Internet of Things (IoT) has led to the development of ma...
research
∙
02/01/2019