42 citations · 48 across the 3 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2023
Type-Based Verification of Delegated Control in Hybrid~Systems (Full Version)
Eduard Kamburjan, Michael Lienhardt
We present a post-region-based verification system for distributed hybrid systems modeled with Hybrid Active Objects. The post-region of a class method is the region of the state s…
cs.PL2015★ 42 cited
A framework for deadlock detection in core ABS
Elena Giachino, Cosimo Laneve, Michael Lienhardt
We present a framework for statically detecting deadlocks in a concurrent object-oriented language with asynchronous method calls and cooperative scheduling of method activations.…