3 citations · 5 across the 4 of their papers we have counts for
5 papers
Towards Trace-based Deductive Verification (Tech Report)
Richard Bubel, Dilian Gurov, Reiner Hähnle +1
Contracts specifying a procedure's behavior in terms of pre- and postconditions are essential for scalable software verification, but cannot express any constraints on the events o…
LAGC Semantics of Concurrent Programming Languages
Crystal Chang Din, Reiner Hähnle, Ludovic Henrio +3
Formal, mathematically rigorous programming language semantics are the essential prerequisite for the design of logics and calculi that permit automated reasoning about concurrent…
Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approach
Frank S. de Boer, Elena Giachino, Stijn de Gouw +5
Service Level Agreements (SLA) are commonly used to specify the quality attributes between cloud service providers and the customers. A violation of SLAs can result in high penalti…
Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects
Eduard Kamburjan, Stefan Mitsch, Martina Kettenbach +1
Formal modeling of cyber-physical systems (CPS) is hard, because they pose the double challenge of combined discrete-continuous dynamics and concurrent behavior. Existing formal sp…
Prototyping Formal System Models with Active Objects
Eduard Kamburjan, Reiner Hähnle
We propose active object languages as a development tool for formal system models of distributed systems. Additionally to a formalization based on a term rewriting system, we use e…