MEZZINA, CLAUDIO ANTARES
MEZZINA, CLAUDIO ANTARES
I.M.T. (Istituzioni, Mercati, Tecnologie) Alti Studi
A conceptual framework for collective adaptive systems
2013-01-01 Bucchiarone, A.; Marconi, A.; Mezzina, C.; Pistore, M.
A goal model for collective adaptive systems
2014-01-01 Bucchiarone, A.; Mezzina, C; Raik, H.
A Reversible Abstract Machine and Its Space Overhead
2012-01-01 Lienhardt, M; Lanese, I; Mezzina, C; Stefani, J-B
Block Placement Strategies for Fault-Resilient Distributed Tuple Spaces: An Experimental Study - (Practical Experience Report)
2017-01-01 Barbi, R.; Buravlev, V.; Mezzina, C; Schiavoni, V
CAptLang: a language for context-aware and adaptable business processes
2013-01-01 Bucchiarone, A.; Mezzina, C; Pistore, M
Causal-Consistent Reversibility in a Tuple-Based Language.
2015-01-01 E., Giachino; I., Lanese; Mezzina, C; F., Tiezzi
Causal-Consistent Reversible Debugging
2014-01-01 Giachino, E; Lanese, I; Mezzina, C
Causal-consistent rollback in a tuple-based language
2017-01-01 Giachino, E.; Lanese, I; Mezzina, C; Tiezzi, F.
Causally consistent reversible choreographies: A monitors-as-memories approach
2017-01-01 Mezzina, C; Pérez, J.
Collective Adaptation in Process-Based Systems
2014-01-01 Bucchiarone, A.; Mezzina, C; Pistore, M.; Raik, H.; Valetto, G.
Concurrent Flexible Reversibility
2013-01-01 Lanese, I; Lienhardt, M; Mezzina, C; Schmitt, A; Stefani, J-B
Controlled Reversibility and Compensations
2013-01-01 Lanese, I; Mezzina, C; Stefani, J-B
Controlling reversibility in higher-order Pi
2011-01-01 Lanese, I; Mezzina, C; Schmitt, A; Stefani, J-B
Evaluating the efficiency of Linda implementations
2018-01-01 Buravlev, V.; De Nicola, R.; Mezzina, C
Global protocol implementations via attribute-based communication
2015-01-01 De Nicola, R; Mezzina, CLAUDIO ANTARES; MENDES TORRES VIEIRA, H
Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies
2018-01-01 Buravlev, Vitaly; De Nicola, Rocco; Lluch Lafuente, Alberto; Mezzina, Claudio Antares
On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse
2013-01-01 Bucchiarone, A.; Marconi, A.; Mezzina, C; Pistore, M.; Raik, H.
Reliability and Fault-Tolerance by Choreographic Design
2017-01-01 Cassar, I.; Francalanza, A.; Mezzina, C; Tuosto, E.
Reversibility in session-based concurrency: A fresh look
2017-01-01 Mezzina, C; Pérez, J.
Reversibility in the higher-order {\(\pi\)}-calculus
2016-01-01 I., Lanese; Mezzina, C; J. -B., Stefani
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A conceptual framework for collective adaptive systems | 1-gen-2013 | Bucchiarone, A.; Marconi, A.; Mezzina, C.; Pistore, M. | |
| A goal model for collective adaptive systems | 1-gen-2014 | Bucchiarone, A.; Mezzina, C; Raik, H. | |
| A Reversible Abstract Machine and Its Space Overhead | 1-gen-2012 | Lienhardt, M; Lanese, I; Mezzina, C; Stefani, J-B | |
| Block Placement Strategies for Fault-Resilient Distributed Tuple Spaces: An Experimental Study - (Practical Experience Report) | 1-gen-2017 | Barbi, R.; Buravlev, V.; Mezzina, C; Schiavoni, V | |
| CAptLang: a language for context-aware and adaptable business processes | 1-gen-2013 | Bucchiarone, A.; Mezzina, C; Pistore, M | |
| Causal-Consistent Reversibility in a Tuple-Based Language. | 1-gen-2015 | E., Giachino; I., Lanese; Mezzina, C; F., Tiezzi | |
| Causal-Consistent Reversible Debugging | 1-gen-2014 | Giachino, E; Lanese, I; Mezzina, C | |
| Causal-consistent rollback in a tuple-based language | 1-gen-2017 | Giachino, E.; Lanese, I; Mezzina, C; Tiezzi, F. | |
| Causally consistent reversible choreographies: A monitors-as-memories approach | 1-gen-2017 | Mezzina, C; Pérez, J. | |
| Collective Adaptation in Process-Based Systems | 1-gen-2014 | Bucchiarone, A.; Mezzina, C; Pistore, M.; Raik, H.; Valetto, G. | |
| Concurrent Flexible Reversibility | 1-gen-2013 | Lanese, I; Lienhardt, M; Mezzina, C; Schmitt, A; Stefani, J-B | |
| Controlled Reversibility and Compensations | 1-gen-2013 | Lanese, I; Mezzina, C; Stefani, J-B | |
| Controlling reversibility in higher-order Pi | 1-gen-2011 | Lanese, I; Mezzina, C; Schmitt, A; Stefani, J-B | |
| Evaluating the efficiency of Linda implementations | 1-gen-2018 | Buravlev, V.; De Nicola, R.; Mezzina, C | |
| Global protocol implementations via attribute-based communication | 1-gen-2015 | De Nicola, R; Mezzina, CLAUDIO ANTARES; MENDES TORRES VIEIRA, H | |
| Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies | 1-gen-2018 | Buravlev, Vitaly; De Nicola, Rocco; Lluch Lafuente, Alberto; Mezzina, Claudio Antares | |
| On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse | 1-gen-2013 | Bucchiarone, A.; Marconi, A.; Mezzina, C; Pistore, M.; Raik, H. | |
| Reliability and Fault-Tolerance by Choreographic Design | 1-gen-2017 | Cassar, I.; Francalanza, A.; Mezzina, C; Tuosto, E. | |
| Reversibility in session-based concurrency: A fresh look | 1-gen-2017 | Mezzina, C; Pérez, J. | |
| Reversibility in the higher-order {\(\pi\)}-calculus | 1-gen-2016 | I., Lanese; Mezzina, C; J. -B., Stefani |