LORETI, Michele

LORETI, Michele  

Scuola di Scienze e Tecnologie  

Mostra records
Risultati 1 - 20 di 120 (tempo di esecuzione: 0.122 secondi).
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
Analysis of spatio-temporal properties of stochastic systems using TSTL 1-gen-2019 Luisa Vissat, Ludovica; Loreti, Michele; Nenzi, Laura; Hillston, Jane; Marion, Glenn Articolo
Assessing CS1 Java Skills: A Three-Year Experience 1-gen-2006 Crescenzi, Pierluigi; Loreti, Michele; Pugliese, Rosario 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
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields 1-gen-2017 Lluch Lafuente, Alberto; Loreti, Michele; Montanari, Ugo Articolo
A calculus for attribute-based communication 1-gen-2015 Alrahman, Yehia Abd; De Nicola, Rocco; Loreti, Michele; Tiezzi, Francesco; Vigo, Roberto Capitolo di libro o voce di enciclopedia
A calculus for collective-adaptive systems and its behavioural theory 1-gen-2019 Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele Articolo
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
CARMA: Collective Adaptive Resource-sharing Markovian Agents 1-gen-2015 Bortolussi, Luca; De Nicola, Rocco; Galpin, Vashti; Gilmore, Stephen; Hillston, Jane; Latella, Diego; Loreti, Michele; Massink, Mieke Contributo in atto di convegno su rivista
CaSPiS: a calculus of sessions, pipelines and services 1-gen-2015 Boreale, Michele; Bruni, Roberto; DE NICOLA, Rocco; Loreti, Michele Articolo
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
Context-aware wireless mobile autonomic computing and communications: Research trends and emerging applications 1-gen-2016 Chiti, Francesco; Fantacci, Romano; Loreti, Michele; Pugliese, Rosario Articolo
Coordination Models and Languages - 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings. 1-gen-2018 Di Marzo Serugendo, Giovanna; Loreti, Michele Cura di atti, volumi e cataloghi
Data verification for collective adaptive systems: Spatial model-checking of vehicle location Data 1-gen-2014 Ciancia, Vincenzo; Gilmore, Stephen; Latella, Diego; Loreti, Michele; Massink, Mieke Capitolo di libro o voce di enciclopedia
Design of a Password-Based EAP Method 1-gen-2008 Manganaro, Andrea; Koblensky, Mingyur; Loreti, Michele Capitolo di libro o voce di enciclopedia
Editorial for the Special Issue on Open Problems in Concurrency Theory 1-gen-2015 Loreti, Michele EDITOR DI SPECIAL ISSUE
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses 1-gen-2004 Bettini, Lorenzo; Crescenzi, Pilu; Innocenti, Gaia; Loreti, Michele; Cecchi, Leonardo Contributo in atto di convegno su volume