Search - IFIP Open Digital Library Access content directly

Filter your results

16 results
authFullName_s : Rocco De Nicola
authFullName_s : Michele Loreti
Page :
sorted by
Image document

Network-Aware Evaluation Environment for Reputation Systems

 Alessandro Celestini , Rocco De Nicola , Francesco Tiezzi
7th Trust Management (TM), Jun 2013, Malaga, Spain. pp.231-238, ⟨10.1007/978-3-642-38323-6_17⟩
Conference papers hal-01468174v1
Image document

Replica-Based High-Performance Tuple Space Computing

 Marina Andrić , Rocco De Nicola , Alberto Lluch Lafuente
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.3-18, ⟨10.1007/978-3-319-19282-6_1⟩
Conference papers hal-01774936v1
Image document

ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication

 Rocco De Nicola , Tan Duong , Michele Loreti
21th International Conference on Coordination Languages and Models (COORDINATION), Jun 2019, Kongens Lyngby, Denmark. pp.111-128, ⟨10.1007/978-3-030-22397-7_7⟩
Conference papers hal-02365500v1
Image document

A Fixpoint-Based Calculus for Graph-Shaped Computational Fields

 Alberto Lluch Lafuente , Michele Loreti , Ugo Montanari
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.101-116, ⟨10.1007/978-3-319-19282-6_7⟩
Conference papers hal-01774933v1
Image document

A Distributed Coordination Infrastructure for Attribute-Based Interaction

 Yehia Abd Alrahman , Rocco De Nicola , Giulio Garbi , Michele Loreti
38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2018, Madrid, Spain. pp.1-20, ⟨10.1007/978-3-319-92612-4_1⟩
Conference papers hal-01824810v1
Image document

Specifying and Verifying Properties of Space

 Vincenzo Ciancia , Diego Latella , Michele Loreti , Mieke Massink
8th IFIP International Conference on Theoretical Computer Science (TCS), Sep 2014, Rome, Italy. pp.222-235, ⟨10.1007/978-3-662-44602-7_18⟩
Conference papers hal-01402045v1
Image document

How Adaptive and Reliable is Your Program?

 Valentina Castiglioni , Michele Loreti , Simone Tini
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.60-79, ⟨10.1007/978-3-030-78089-0_4⟩
Conference papers hal-03740265v1

Coordination Models and Languages

 Giovanna Di Marzo Serugendo , Michele Loreti
Springer International Publishing, LNCS-10852, 2018, Lecture Notes in Computer Science, 978-3-319-92407-6. ⟨10.1007/978-3-319-92408-3⟩
Books hal-01821496v1
Image document

Tuple Spaces Implementations and Their Efficiency

 Vitaly Buravlev , Rocco De Nicola , Claudio Antares Mezzina
18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.51-66, ⟨10.1007/978-3-319-39519-7_4⟩
Conference papers hal-01631715v1
Image document

Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction

 Rocco De Nicola , Giulio Iacobelli , Mirco Tribastone
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.216-231, ⟨10.1007/978-3-662-43613-4_14⟩
Conference papers hal-01398017v1

Coordination Models and Languages

 Rocco De Nicola , Christine Julien
Springer, LNCS-7890, 2013, Lecture Notes in Computer Science, 978-3-642-38492-9. ⟨10.1007/978-3-642-38493-6⟩
Books hal-01486134v1
Image document

Linear-Time and May-Testing in a Probabilistic Reactive Setting

 Lucia Acciai , Michele Boreale , Rocco De Nicola
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.29-43, ⟨10.1007/978-3-642-21461-5_2⟩
Conference papers hal-01583326v1
Image document

Simulation and Analysis of Distributed Systems in Klaim

 Francesco Calzolai , Michele Loreti
12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.122-136, ⟨10.1007/978-3-642-13414-2_9⟩
Conference papers hal-01054619v1
Image document

Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems

 Diego Latella , Michele Loreti , Mieke Massink
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.19-34, ⟨10.1007/978-3-319-19282-6_2⟩
Conference papers hal-01774942v1
Image document

On the Power of Attribute-Based Communication

 Yehia Abd Alrahman , Rocco de Nicola , Michele Loreti
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.1-18, ⟨10.1007/978-3-319-39570-8_1⟩
Conference papers hal-01432924v1
Image document

A Formal Approach to the Engineering of Domain-Specific Distributed Systems

 Rocco De Nicola , Gianluigi Ferrari , Rosario Pugliese , Francesco Tiezzi
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.110-141, ⟨10.1007/978-3-319-92408-3_5⟩
Conference papers hal-01821499v1
Page :