LIENHARDT, MICHAEL

LIENHARDT, MICHAEL  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Personale esterno ed autonomi  

Mostra records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.032 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
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 -
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.pdfVM-elsevier.pdf
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.pdfSoSyM-Giachino-Laneve-Lienhardt.pdf
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 -
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 -
SRA - Static Resource Analyzer for ABS Garcia, Abel; Giachino, Elena; Laneve, Cosimo; Lienhardt, Michael 2015-01-01 - - 7.04 Software -
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 -
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 -
SDA - Static Deadlock Analyzer for ABS Elena Giachino; Carlo A. Grazia; Cosimo Laneve; Michael Lienhardt 2013-01-01 - - 7.04 Software -
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 -