research
∙
03/06/2023
A Systematic Approach to Automotive Security
We propose a holistic methodology for designing automotivesystems that c...
share
research
∙
01/31/2023
Property-Based Mutation Testing
Mutation testing is an established software quality assurance technique ...
research
∙
10/06/2022
Threat Repair with Optimization Modulo Theories
We propose a model-based procedure for automatically preventing security...
research
∙
02/04/2022
Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
Reinforcement learning (RL) is a popular approach for robotic path plann...
research
∙
10/06/2021
From STL Rulebooks to Rewards
The automatic synthesis of neural-network controllers for autonomous age...
research
∙
09/24/2021
Mining Shape Expressions with ShapeIt
We present ShapeIt, a tool for mining specifications of cyber-physical s...
research
∙
09/21/2021
From English to Signal Temporal Logic
Formal methods provide very powerful tools and techniques for the design...
research
∙
05/28/2021
Sampling of Shape Expressions
Cyber-physical systems (CPS) are increasingly becoming driven by data, u...
research
∙
05/05/2021
Flavours of Sequential Information Flow
Information-flow policies prescribe which information is available to a ...
research
∙
03/05/2021
Challenges of engineering safe and secure highly automated vehicles
After more than a decade of intense focus on automated vehicles, we are ...
research
∙
10/13/2020
Adaptive Testing for Specification Coverage
Ensuring correctness of cyber-physical systems (CPS) is an extremely cha...
research
∙
05/24/2020
RTAMT: Online Robustness Monitors from STL
We present RTAMT, an online monitoring library for Signal Temporal Logic...
research
∙
02/15/2020
Information-Flow Interfaces
Contract-based design is a promising methodology for taming the complexi...
research
∙
04/15/2019
Compositional Specifications for ioco Testing
Model-based testing is a promising technology for black-box software and...
research
∙
03/29/2019
Automatic Failure Explanation in CPS Models
Debugging Cyber-Physical System (CPS) models can be extremely complex. I...
research
∙
11/16/2018
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
Runtime verification is an area of formal methods that studies the dynam...
research
∙
04/09/2018
A Counting Semantics for Monitoring LTL Specifications over Finite Traces
We consider the problem of monitoring a Linear Time Logic (LTL) specific...
research
∙
02/11/2018