Sfoglia per Serie
CARMA Eclipse plug-in: A tool supporting design and analysis of collective adaptive systems
2016-01-01 Hillston, Jane; Loreti, Michele
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces
2009-01-01 Bravetti, Mario; Latella, Diego; Loreti, Michele; Massink, Mieke; Zavattaro, Gianluigi
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
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
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.
How Adaptive and Reliable is Your Program?
2021-01-01 Castiglioni, V.; Loreti, M.; Tini, S.
How Grossone Can Be Helpful to Iteratively Compute Negative Curvature Directions
2019-01-01 De Leone, Renato; Fasano, Giovanni; Roma, Massimo; Sergeyev, Yaroslav D.
Implementing a CTL Model Checker with μG, a Language for Programming Graph Neural Networks
2023-01-01 Belenchia, M.; Corradini, F.; Quadrini, M.; Loreti, M.
Implementing Session Centered Calculi
2008-01-01 Bettini, Lorenzo; DE NICOLA, Rocco; Loreti, Michele
Interactive Editing of MathML Markup Using TeX Syntax
2004-01-01 Padovani, Luca
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 | |
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 | |
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 | |
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 | |
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 | |
How Adaptive and Reliable is Your Program? | 1-gen-2021 | Castiglioni, V.; Loreti, M.; Tini, S. | Capitolo di libro o voce di enciclopedia | |
How Grossone Can Be Helpful to Iteratively Compute Negative Curvature Directions | 1-gen-2019 | De Leone, Renato; Fasano, Giovanni; Roma, Massimo; Sergeyev, Yaroslav D. | Contributo in atto di convegno su volume | |
Implementing a CTL Model Checker with μG, a Language for Programming Graph Neural Networks | 1-gen-2023 | Belenchia, M.; Corradini, F.; Quadrini, M.; Loreti, M. | Capitolo di libro o voce di enciclopedia | |
Implementing Session Centered Calculi | 1-gen-2008 | Bettini, Lorenzo; DE NICOLA, Rocco; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
Interactive Editing of MathML Markup Using TeX Syntax | 1-gen-2004 | Padovani, Luca | Contributo in atto di convegno su volume |
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