research
∙
05/11/2023
Automated Smell Detection and Recommendation in Natural Language Requirements
Requirement specifications are typically written in natural language (NL...
share
research
∙
02/27/2023
Stress Testing of Design Assumptions in Cyper-Physical Systems: A Control Theory-Based Approach
Cyber-Physical Systems (CPS) are most of the time safety-critical and ex...
research
∙
02/20/2023
Probabilistic WCET Estimation for Weakly Hard Real-Time Systems
Weakly hard real-time systems can, to some degree, tolerate deadline mis...
research
∙
10/27/2022
Learning Failure-Inducing Models for Testing Software-Defined Networks
Software-defined networks (SDN) enable flexible and effective communicat...
research
∙
02/15/2021
Optimal Priority Assignment for Real-Time Systems: A Coevolution-Based Approach
In real-time systems, priorities assigned to real-time tasks determine t...
research
∙
05/29/2019