E-LIB Suche - Ergebnisse für: Laneve, Cosimo

1

A Stochastic Analysis of the Gasper Protocol:

, In: 2024 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events (PerCom Workshops),

Laneve, Cosimo ; Solmonte, Sergio ; Veschetti, Adele - p. 518-523 , 2024

Link: https://doi.org/10.1109/..

2

Programming Contract Amending:

, In: New Frontiers in Artificial Intelligence; Lecture Notes in Computer Science,

Laneve, Cosimo ; Parenti, Alessandro ; Sartor, Giovanni - p. 19-34 , 2024

Link: https://doi.org/10.1007/..

3

Legal Contracts Amending with:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Laneve, Cosimo ; Parenti, Alessandro ; Sartor, Giovanni - p. 253-270 , 2023

Link: https://doi.org/10.1007/..

4

Liquidity analysis in resource-aware programming:

Laneve, Cosimo
Journal of Logical and Algebraic Methods in Programming. 135 (2023) - p. 100889 , 2023

Link: https://doi.org/10.1016/..

5

Pacta sunt servanda: Legal contracts in:

Crafa, Silvia ; Laneve, Cosimo ; Sartor, Giovanni.
Science of Computer Programming. 225 (2023) - p. 102911 , 2023

Link: https://doi.org/10.1016/..

6

JaDA – the Java Deadlock Analyzer:

, In: Behavioural Types,

Garcia, Abel ; Laneve, Cosimo - p. 169-192 , 2022

Link: https://doi.org/10.1201/..

7

Programming Legal Contracts: – A Beginners Guide toStipula–:

, In: The Logic of Software. A Tasting Menu of Formal Methods; Lecture Notes in Computer Science,

Crafa, Silvia ; Laneve, Cosimo - p. 129-146 , 2022

Link: https://doi.org/10.1007/..

8

Liquidity Analysis in Resource-Aware Programming:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,

Crafa, Silvia ; Laneve, Cosimo - p. 205-221 , 2022

Link: https://doi.org/10.1007/..

9

Stochastic modeling and analysis of the bitcoin protocol in..:

Bistarelli, Stefano ; De Nicola, Rocco ; Galletta, Letterio...
Concurrency and Computation: Practice and Experience. 35 (2021) 16 - p. , 2021

Link: https://doi.org/10.1002/..

10

Analysis of smart contracts balances:

Laneve, Cosimo ; Sacerdoti Coen, Claudio
Blockchain: Research and Applications. 2 (2021) 3 - p. 100020 , 2021

Link: https://doi.org/10.1016/..

11

ENSINANDO A ENSINAR: DIRETRIZES E ESTRATÉGIAS PARA MELHORAR..:

Margiotta, Rosatilde ; Laneve, Cosimo
Práxis Educacional. 16 (2020) 43 - p. 134-141 , 2020

Link: https://doi.org/10.22481..

12

Deadlock Analysis of Wait-Notify Coordination:

, In: The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy; Lecture Notes in Computer Science,

Laneve, Cosimo ; Padovani, Luca - p. 50-67 , 2019

Link: https://doi.org/10.1007/..

13

A lightweight deadlock analysis for programs with threads a..:

Laneve, Cosimo
Science of Computer Programming. 181 (2019) - p. 64-81 , 2019

Link: https://doi.org/10.1016/..

14

On the Prediction of Smart Contracts' Behaviours:

, In: From Software Engineering to Formal Methods and Tools, and Back; Lecture Notes in Computer Science,

Laneve, Cosimo ; Coen, Claudio Sacerdoti ; Veschetti, Adele - p. 397-415 , 2019

Link: https://doi.org/10.1007/..

15

Time analysis of actor programs:

Laneve, Cosimo ; Lienhardt, Michael ; Pun, Ka I.
Journal of Logical and Algebraic Methods in Programming. 105 (2019) - p. 1-27 , 2019

Link: https://doi.org/10.1016/..