7 citations · 15 across the 7 of their papers we have counts for
8 papers
Quantitative Types for the Functional Machine Calculus
Willem Heijltjes
The Functional Machine Calculus (FMC, Heijltjes 2022) extends the lambda-calculus with the computational effects of global mutable store, input/output, and probabilistic choice whi…
SmartML: Towards a Modeling Language for Smart Contracts
Adele Veschetti, Richard Bubel, Reiner Hähnle
Smart contracts codify real-world transactions and automatically execute the terms of the contract when predefined conditions are met. This paper proposes SmartML, a modeling langu…
Provably Fair Cooperative Scheduling
Reiner Hähnle, Ludovic Henrio
The context of this work is cooperative scheduling, a concurrency paradigm, where task execution is not arbitrarily preempted. Instead, language constructs exist that let a task vo…
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…