research
∙
11/17/2022
Towards Trace-based Deductive Verification (Tech Report)
Contracts specifying a procedure's behavior in terms of pre- and postcon...
share
research
∙
02/24/2022
LAGC Semantics of Concurrent Programming Languages
Formal, mathematically rigorous programming language semantics are the e...
research
∙
08/27/2019
Analysis of SLA Compliance in the Cloud – An Automated, Model-based Approach
Service Level Agreements (SLA) are commonly used to specify the quality ...
research
∙
06/13/2019
Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects
Formal modeling of cyber-physical systems (CPS) is hard, because they po...
research
∙
10/05/2018
