LIENHARDT, MICHAEL
LIENHARDT, MICHAEL
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Personale esterno ed autonomi
A framework for deadlock detection in core ABS
2016 Giachino, Elena; Laneve, Cosimo; Lienhardt, Michael
A Reversible Abstract Machine and Its Space Overhead
2012 M. Lienhardt; I. Lanese; C. A. Mezzina; J.-B. Stefani
Automatic application deployment in the cloud: From practice to theory and back
2015 Di Cosmo, Roberto; Lienhardt, Michael; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi; Zwolakowski, Jakub
Concurrent Flexible Reversibility
2013 Ivan Lanese;Michael Lienhardt;Claudio Antares Mezzina;Alan Schmitt;Jean-Bernard Stefani
DF4ABS - Deadlock Framework for ABS
2014 Garcia, Abel; Giachino, Elena; Laneve, Cosimo; Lienhardt, Michael
Fault Model Design Space for Cooperative Concurrency
2014 Lanese, Ivan; Lienhardt, Michael; Bravetti, Mario; Johnsen, Einar Broch; Schlatte, Rudolf; Stolz, Volker; Zavattaro, Gianluigi
On the integration of automatic deployment into the ABS modeling language
2015 De Gouw, Stijn; Lienhardt, Michael; Mauro, Jacopo; Nobakht, Behrooz; Zavattaro, Gianluigi
SDA - Static Deadlock Analyzer for ABS
2013 Elena Giachino; Carlo A. Grazia; Cosimo Laneve; Michael Lienhardt
SRA - Static Resource Analyzer for ABS
2015 Garcia, Abel; Giachino, Elena; Laneve, Cosimo; Lienhardt, Michael
Static analysis of cloud elasticity
2017 Abel, Garcia; Laneve, Cosimo; Lienhardt, Michael
Time analysis of actor programs
2019 Laneve, Cosimo; Lienhardt, Michael; Pun, Ka I; Román-Díez, Guillermo
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| A framework for deadlock detection in core ABS | Giachino, Elena; Laneve, Cosimo; Lienhardt, Michael | 2016-01-01 | SOFTWARE AND SYSTEMS MODELING | - | 1.01 Articolo in rivista | Giachino2016_Article_AFrameworkForDeadlockDetection.pdf; SoSyM-Giachino-Laneve-Lienhardt.pdf |
| A Reversible Abstract Machine and Its Space Overhead | M. Lienhardt; I. Lanese; C. A. Mezzina; J.-B. Stefani | 2012-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| Automatic application deployment in the cloud: From practice to theory and back | Di Cosmo, Roberto; Lienhardt, Michael; Mauro, Jacopo; Zacchiroli, Stefano; Zavattaro, Gianluigi; ...Zwolakowski, Jakub | 2015-01-01 | LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | - |
| Concurrent Flexible Reversibility | Ivan Lanese;Michael Lienhardt;Claudio Antares Mezzina;Alan Schmitt;Jean-Bernard Stefani | 2013-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| DF4ABS - Deadlock Framework for ABS | Garcia, Abel; Giachino, Elena; Laneve, Cosimo; Lienhardt, Michael | 2014-01-01 | - | - | 7.04 Software | - |
| Fault Model Design Space for Cooperative Concurrency | Lanese, Ivan; Lienhardt, Michael; Bravetti, Mario; Johnsen, Einar Broch; Schlatte, Rudolf; Stolz,... Volker; Zavattaro, Gianluigi | 2014-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| On the integration of automatic deployment into the ABS modeling language | De Gouw, Stijn; Lienhardt, Michael; Mauro, Jacopo; Nobakht, Behrooz; Zavattaro, Gianluigi | 2015-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| SDA - Static Deadlock Analyzer for ABS | Elena Giachino; Carlo A. Grazia; Cosimo Laneve; Michael Lienhardt | 2013-01-01 | - | - | 7.04 Software | - |
| SRA - Static Resource Analyzer for ABS | Garcia, Abel; Giachino, Elena; Laneve, Cosimo; Lienhardt, Michael | 2015-01-01 | - | - | 7.04 Software | - |
| Static analysis of cloud elasticity | Abel, Garcia; Laneve, Cosimo; Lienhardt, Michael | 2017-01-01 | SCIENCE OF COMPUTER PROGRAMMING | - | 1.01 Articolo in rivista | 1-s2.0-S0167642317300679-main.pdf; VM-elsevier.pdf |
| Time analysis of actor programs | Laneve, Cosimo; Lienhardt, Michael; Pun, Ka I; Román-Díez, Guillermo | 2019-01-01 | THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | - | 1.01 Articolo in rivista | - |