CRIS Current Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 74
Titolo Autore(i) Anno Periodico Editore Tipo File
Towards the Typing of Resource Deployment E. Giachino;C. Laneve 2014-01-01 - Springer 4.01 Contributo in Atti di convegno -
Deadlock Analysis of Unbounded Process Networks Elena Giachino;Naoki Kobayashi;Cosimo Laneve 2014-01-01 - - 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 -
An algebraic theory for web service contracts Laneve, Cosimo; Padovani, Luca 2015-01-01 FORMAL ASPECTS OF COMPUTING - 1.01 Articolo in rivista ifm2013full.pdf
Static analysis of cloud elasticity Garcia, Abel; Laneve, Cosimo; Lienhardt, Michael 2015-01-01 - Association for Computing Machinery, Inc 4.01 Contributo in Atti di convegno -
Statically and dynamically verifiable SLA metrics Giachino, Elena; de Gouw, Stijn; Laneve, Cosimo; Nobakht, Behrooz 2016-01-01 - Springer Verlag 2.01 Capitolo / saggio in libro -
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
Actors may synchronize, safely! Giachino, Elena; Henrio, Ludovic; Laneve, Cosimo; Mastandrea, Vincenzo 2016-01-01 - Association for Computing Machinery, Inc 4.01 Contributo in Atti di convegno -
Time complexity of concurrent programs – A technique based on behavioural types Giachino, Elena; Johnsen, Einar Broch; Laneve, Cosimo; Pun, Ka I. 2016-01-01 - Springer Verlag 4.01 Contributo in Atti di convegno -
JaDA - A Static Java Deadlock Analizer Abel Garcia; Cosimo Laneve 2017-01-01 - - 7.04 Software -
JaDA -- the Java Deadlock Analyzer Abel Garcia; Cosimo Laneve 2017-01-01 - River Publishers 2.01 Capitolo / saggio in libro -
Deadlock analysis of unbounded process networks Kobayashi, Naoki; Laneve, Cosimo 2017-01-01 INFORMATION AND COMPUTATION - 1.01 Articolo in rivista concur2014.pdf
Analysis of synchronisations in stateful active objects Henrio, Ludovic; Laneve, Cosimo; Mastandrea, Vincenzo 2017-01-01 - Springer 4.01 Contributo in Atti di convegno -
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
A lightweight deadlock analysis for programs with threads and reentrant locks Laneve, Cosimo* 2018-01-01 LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Springer Verlag 4.01 Contributo in Atti di convegno -
Deadlock detection of java bytecode Laneve, Cosimo*; Garcia, Abel 2018-01-01 LECTURE NOTES IN ARTIFICIAL INTELLIGENCE Springer Verlag 4.01 Contributo in Atti di convegno -
A lightweight deadlock analysis for programs with threads and reentrant locks Laneve C. 2019-01-01 SCIENCE OF COMPUTER PROGRAMMING - 1.01 Articolo in rivista -
Analysis of SLA compliance in the cloud: An automated, model-based approach de Boer F.S.; Giachino E.; de Gouw S.; Hahnle R.; Johnsen E.B.; Laneve C.; Pun K.I.; Zavattaro G. 2019-01-01 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE Open Publishing Association 4.01 Contributo in Atti di convegno 1908.10040v1.pdf
On the Prediction of Smart Contracts’ Behaviours Laneve, Cosimo; Coen, Claudio Sacerdoti; Veschetti, Adele 2019-01-01 - Springer Verlag 4.01 Contributo in Atti di convegno accepted_manuscript.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 -
Mostrati risultati da 41 a 60 di 74
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile