Michael Lienhardt
University of Bologna
43 Papers
81 Citations
Michael Lienhardt is an academic researcher from University of Bologna. The author has contributed to research in topics: Computer science & Model checking. The author has an hindex of 9, co-authored 32 publications. Previous affiliations of Michael Lienhardt include University of Turin.
Chat about Author
Papers
A framework for deadlock detection in core ABS
TL;DR: A framework for statically detecting deadlocks in a concurrent object-oriented language with asynchronous method calls and cooperative scheduling of method activations is presented and a modular framework that allows several techniques to be combined is proposed to augment precision and scalability.
49
A framework for deadlock detection in core ABS
TL;DR: In this paper, a front-end inference algorithm that extracts abstract behavioral descriptions of methods, called contracts, which retain resource dependency information is integrated with a number of possible different back-ends that analyze contracts and derive deadlock information.
Static Analysis of Featured Transition Systems
Maurice H. ter Beek,Ferruccio Damiani,Michael Lienhardt,Franco Mazzanti,Luca Paolini +4 more
- 09 Sep 2019
TL;DR: Algorithms are provided to analyse an FTS for such ambiguities and to transform an ambiguous FTS into an unambiguous FTS, which paves the way for efficient family-based model checking.
Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper).
Roberto Di Cosmo,Michael Lienhardt,Jacopo Mauro,Stefano Zacchiroli,Gianluigi Zavattaro,Jakub Zwolakowski +5 more
- 01 Sep 2015
TL;DR: This paper investigates the possibility to address a relaxed version of the deployment of a complex software application without limiting the expressiveness of the component model.
Efficient static analysis and verification of featured transition systems
TL;DR: In this paper, the authors provide an algorithm to analyse an FTS for ambiguities and a means to transform an ambiguous FTS into an unambiguous one, which facilitates a kind of family-based model checking of a wide range of properties on FTSs.