Sfoglia per Serie
CARMA Eclipse plug-in: A tool supporting design and analysis of collective adaptive systems
2016-01-01 Hillston, Jane; Loreti, Michele
CATANA: Replay Testing for the Ethereum Blockchain
2023-01-01 Barboni, M.; Angelis, G. D.; Morichetta, A.; Polini, A.
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces
2009-01-01 Bravetti, Mario; Latella, Diego; Loreti, Michele; Massink, Mieke; Zavattaro, Gianluigi
The Concurrent Calculi Formalisation Benchmark
2024-01-01 Carbone, Marco; Castro-Perez, David; Ferreira, Francisco; Gheri, Lorenzo; Jacobsen, Frederik Krogsdal; Momigliano, Alberto; Padovani, Luca; Scalas, Alceste; Tirore, Dawit; Vassor, Martin; Yoshida, Nobuko; Zackon, Daniel
Context Aware Specification and Verification of Distributed Systems
2012-01-01 D’Errico, Liliana; Loreti, Michele
Correctness of Service Components and Service Component Ensembles
2015-01-01 Combaz, Jacques; Bensalem, Saddek; Tiezzi, Francesco; Margheri, Andrea; Pugliese, Rosario; Kofroň, Jan
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing
2016-01-01 Aceto, Luca; Larsen, Kim G.; Morichetta, Andrea; Tiezzi, Francesco
DISPAS: An Agent-Based Tool for the Management of Fishing Effort
2014-01-01 Penna, Pierluigi; Paoletti, Nicola; Scarcella, Giuseppe; Tesei, Luca; Marini, Mauro; Merelli, Emanuela
Encoding Timed Models as Uniform Labeled Transition Systems
2013-01-01 Bernardo, Marco; Tesei, Luca
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations
2024-01-01 Castiglioni, V.; Lanotte, R.; Loreti, M.; Tini, S.
An experimental spatio-temporal model checker
2015-01-01 Ciancia, Vincenzo; Grilletti, Gianluca; Latella, Diego; Loreti, Michele; Massink, Mieke
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields
2015-01-01 Lafuente Alberto, Lluch; Loreti, Michele; Montanari, Ugo
A Fluid Flow Approach to Usability Analysis of Multi-user Systems
2008-01-01 Massink, Mieke; Latella, Diego; Ter, Maurice H.; Harrison, Michael D.; Loreti, Michele
Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT
2019-01-01 Fortino, Giancarlo; Re, Barbara; Viroli, Mirko; Zambonelli, Franco
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation
2017-01-01 Latella, Diego; Loreti, Michele; Massink, Mieke
Formal Approaches for Modeling and Analysis of Business Process Collaborations
2024-01-01 Corradini, Flavio; Fornari, Fabrizio; Re, Barbara; Rossi, Lorenzo; Polini, Andrea; Tiezzi, Francesco; Vandin, Andrea
Formalizing properties of mobile agent systems
2002-01-01 Bettini, Lorenzo; De Nicola, Rocco; Loreti, Michele
Group-by-group probabilistic bisimilarities and their logical characterizations
2014-01-01 Bernardo, Marco; De Nicola, Rocco; Loreti, Michele
HELM and the Semantic Math-Web
2001-01-01 Asperti, A; Padovani, Luca; SACERDOTI COEN, C; Schena, I.
Hierarchical Representation and Graph Convolutional Networks for the Prediction of Protein–Protein Interaction Sites
2020-01-01 Quadrini, M.; Daberdaku, S.; Ferrari, C.
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
CARMA Eclipse plug-in: A tool supporting design and analysis of collective adaptive systems | 1-gen-2016 | Hillston, Jane; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
CATANA: Replay Testing for the Ethereum Blockchain | 1-gen-2023 | Barboni, M.; Angelis, G. D.; Morichetta, A.; Polini, A. | Contributo in atto di convegno su volume | |
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces | 1-gen-2009 | Bravetti, Mario; Latella, Diego; Loreti, Michele; Massink, Mieke; Zavattaro, Gianluigi | Capitolo di libro o voce di enciclopedia | |
The Concurrent Calculi Formalisation Benchmark | 1-gen-2024 | Carbone, Marco; Castro-Perez, David; Ferreira, Francisco; Gheri, Lorenzo; Jacobsen, Frederik Krogsdal; Momigliano, Alberto; Padovani, Luca; Scalas, Alceste; Tirore, Dawit; Vassor, Martin; Yoshida, Nobuko; Zackon, Daniel | Contributo in atto di convegno su volume | |
Context Aware Specification and Verification of Distributed Systems | 1-gen-2012 | D’Errico, Liliana; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
Correctness of Service Components and Service Component Ensembles | 1-gen-2015 | Combaz, Jacques; Bensalem, Saddek; Tiezzi, Francesco; Margheri, Andrea; Pugliese, Rosario; Kofroň, Jan | Capitolo di libro o voce di enciclopedia | |
A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing | 1-gen-2016 | Aceto, Luca; Larsen, Kim G.; Morichetta, Andrea; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
DISPAS: An Agent-Based Tool for the Management of Fishing Effort | 1-gen-2014 | Penna, Pierluigi; Paoletti, Nicola; Scarcella, Giuseppe; Tesei, Luca; Marini, Mauro; Merelli, Emanuela | Contributo in atto di convegno su volume | |
Encoding Timed Models as Uniform Labeled Transition Systems | 1-gen-2013 | Bernardo, Marco; Tesei, Luca | Contributo in atto di convegno su volume | |
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations | 1-gen-2024 | Castiglioni, V.; Lanotte, R.; Loreti, M.; Tini, S. | Capitolo di libro o voce di enciclopedia | |
An experimental spatio-temporal model checker | 1-gen-2015 | Ciancia, Vincenzo; Grilletti, Gianluca; Latella, Diego; Loreti, Michele; Massink, Mieke | Capitolo di libro o voce di enciclopedia | |
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields | 1-gen-2015 | Lafuente Alberto, Lluch; Loreti, Michele; Montanari, Ugo | Capitolo di libro o voce di enciclopedia | |
A Fluid Flow Approach to Usability Analysis of Multi-user Systems | 1-gen-2008 | Massink, Mieke; Latella, Diego; Ter, Maurice H.; Harrison, Michael D.; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
Fluidware: An Approach Towards Adaptive and Scalable Programming of the IoT | 1-gen-2019 | Fortino, Giancarlo; Re, Barbara; Viroli, Mirko; Zambonelli, Franco | Contributo in atto di convegno su volume | |
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation | 1-gen-2017 | Latella, Diego; Loreti, Michele; Massink, Mieke | Capitolo di libro o voce di enciclopedia | |
Formal Approaches for Modeling and Analysis of Business Process Collaborations | 1-gen-2024 | Corradini, Flavio; Fornari, Fabrizio; Re, Barbara; Rossi, Lorenzo; Polini, Andrea; Tiezzi, Francesco; Vandin, Andrea | Contributo in atto di convegno su volume | |
Formalizing properties of mobile agent systems | 1-gen-2002 | Bettini, Lorenzo; De Nicola, Rocco; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
Group-by-group probabilistic bisimilarities and their logical characterizations | 1-gen-2014 | Bernardo, Marco; De Nicola, Rocco; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
HELM and the Semantic Math-Web | 1-gen-2001 | Asperti, A; Padovani, Luca; SACERDOTI COEN, C; Schena, I. | Contributo in atto di convegno su volume | |
Hierarchical Representation and Graph Convolutional Networks for the Prediction of Protein–Protein Interaction Sites | 1-gen-2020 | Quadrini, M.; Daberdaku, S.; Ferrari, C. | Capitolo di libro o voce di enciclopedia |
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