Sfoglia per Serie
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication.
2019-01-01 De Nicola, Rocco; Duong, Tan; Loreti, Michele
AGILE: Software Architecture for Mobility
2002-01-01 Filipe Andrade, Luis; Baldan, Paolo; Baumeister, Hubert; Bruni, Roberto; Corradini, Andrea; De Nicola, Rocco; Luiz Fiadeiro, José; Gadducci, Fabio; Gnesi, Stefania; Hoffman, Piotr; Koch, Nora; Kosiuczenko, Piotr; Lapadula, Alessandro; Latella, Diego; Lopes, Antónia; Loreti, Michele; Massink, Mieke; Mazzanti, Franco; Montanari, Ugo; Oliveira, Cristóvão; Pugliese, Rosario; Tarlecki, Andrzej; Wermelinger, Michel; Wirsing, Martin; Zawlocki, Artur
Analysing Robot Movement Using the Sensoria Methods
2011-01-01 Beek, Maurice H.; Lapadula, Alessandro; Loreti, Michele; Palasciano, Claudio
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support
2018-01-01 Corradini, Flavio; Muzi, Chiara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco
Assume-Guarantee Verification of Concurrent Systems
2009-01-01 D'Errico, Liliana; Loreti, Michele
The Autonomic Cloud
2015-01-01 Mayer, Philip; Velasco, José; Klarl, Annabelle; Hennicker, Rolf; Puviani, Mariachiara; Tiezzi, Francesco; Pugliese, Rosario; Keznikl, Jaroslav; Bureš, Tomáš
Bio-Stark: A Tool for the Time-Point Robustness Analysis of Biological Systems
2024-01-01 Castiglioni, V.; Loreti, M.; Tini, S.
BIOSHAPE: End-User Development for Simulating Biological Systems
2011-01-01 Buti, Federico; Cacciagrano, Diletta Romana; CALLISTO DE DONATO, Massimo; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca
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
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. | 1-gen-2019 | De Nicola, Rocco; Duong, Tan; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
AGILE: Software Architecture for Mobility | 1-gen-2002 | Filipe Andrade, Luis; Baldan, Paolo; Baumeister, Hubert; Bruni, Roberto; Corradini, Andrea; De Nicola, Rocco; Luiz Fiadeiro, José; Gadducci, Fabio; Gnesi, Stefania; Hoffman, Piotr; Koch, Nora; Kosiuczenko, Piotr; Lapadula, Alessandro; Latella, Diego; Lopes, Antónia; Loreti, Michele; Massink, Mieke; Mazzanti, Franco; Montanari, Ugo; Oliveira, Cristóvão; Pugliese, Rosario; Tarlecki, Andrzej; Wermelinger, Michel; Wirsing, Martin; Zawlocki, Artur | Capitolo di libro o voce di enciclopedia | |
Analysing Robot Movement Using the Sensoria Methods | 1-gen-2011 | Beek, Maurice H.; Lapadula, Alessandro; Loreti, Michele; Palasciano, Claudio | Capitolo di libro o voce di enciclopedia | |
Animating Multiple Instances in BPMN Collaborations: From Formal Semantics to Tool Support | 1-gen-2018 | Corradini, Flavio; Muzi, Chiara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco | Contributo in atto di convegno su volume | |
Assume-Guarantee Verification of Concurrent Systems | 1-gen-2009 | D'Errico, Liliana; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
The Autonomic Cloud | 1-gen-2015 | Mayer, Philip; Velasco, José; Klarl, Annabelle; Hennicker, Rolf; Puviani, Mariachiara; Tiezzi, Francesco; Pugliese, Rosario; Keznikl, Jaroslav; Bureš, Tomáš | Capitolo di libro o voce di enciclopedia | |
Bio-Stark: A Tool for the Time-Point Robustness Analysis of Biological Systems | 1-gen-2024 | Castiglioni, V.; Loreti, M.; Tini, S. | Capitolo di libro o voce di enciclopedia | |
BIOSHAPE: End-User Development for Simulating Biological Systems | 1-gen-2011 | Buti, Federico; Cacciagrano, Diletta Romana; CALLISTO DE DONATO, Massimo; Corradini, Flavio; Merelli, Emanuela; Tesei, Luca | Contributo in atto di convegno su volume | |
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 |
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