Sfoglia per Serie LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
A Sound Up-to-$$n,\delta $$ Bisimilarity for PCTL
2022-01-01 Bartoletti, Massimo; Murgia, Maurizio; Zunino, Roberto
Stochastic analysis of energy consumption in pool depletion systems
2016-01-01 Cerotti, D.; Gribaudo, M.; Pinciroli, R.; Serazzi, G.
Towards Choreographic-Based Monitoring
2020-01-01 Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio
Towards Probabilistic Session-Type Monitoring
2021-01-01 Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste; Trubiani, Catia; Tuosto, Emilio
A True Concurrent Model of Smart Contracts Executions
2020-01-01 Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio
Verifying AbC Specifications via Emulation
2020-01-01 De Nicola, Rocco; Duong, Tan; Inverso, Omar
VisArch: Visualisation of Performance-based Architectural Refactorings
2020-01-01 Trubiani, Catia; Aleti, Aldeida; Goodwin, Sarah; Jamshidi, Pooyan; van Hoorn, Andre; Gratzl, Samuel
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Sound Up-to-$$n,\delta $$ Bisimilarity for PCTL | 1-gen-2022 | Bartoletti, Massimo; Murgia, Maurizio; Zunino, Roberto | |
Stochastic analysis of energy consumption in pool depletion systems | 1-gen-2016 | Cerotti, D.; Gribaudo, M.; Pinciroli, R.; Serazzi, G. | |
Towards Choreographic-Based Monitoring | 1-gen-2020 | Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio | |
Towards Probabilistic Session-Type Monitoring | 1-gen-2021 | Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste; Trubiani, Catia; Tuosto, Emilio | |
A True Concurrent Model of Smart Contracts Executions | 1-gen-2020 | Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio | |
Verifying AbC Specifications via Emulation | 1-gen-2020 | De Nicola, Rocco; Duong, Tan; Inverso, Omar | |
VisArch: Visualisation of Performance-based Architectural Refactorings | 1-gen-2020 | Trubiani, Catia; Aleti, Aldeida; Goodwin, Sarah; Jamshidi, Pooyan; van Hoorn, Andre; Gratzl, Samuel |
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