42 citations · 48 across the 3 of their papers we have counts for
4 papers
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…
Lazy Product Discovery in Huge Configuration Spaces
Michael Lienhardt, Ferruccio Damiani, Einar Broch Johnsen +1
Highly-configurable software systems can have thousands of interdependent configuration options across different subsystems. In the resulting configuration space, discovering a val…
Refactoring Delta-Oriented Product Lines to achieve Monotonicity
Ferruccio Damiani, Michael Lienhardt
Delta-oriented programming (DOP) is a flexible transformational approach to implement software product lines. In delta-oriented product lines, variants are generated by applying op…
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.…