Search - IFIP Open Digital Library Access content directly

Filter your results

18 results
authFullName_s : Rocco De Nicola
authFullName_s : Alberto Lluch Lafuente
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

Klaim-DB: A Modeling Language for Distributed Database Applications

 Xi Wu , Ximeng Li , Alberto Lluch Lafuente , Flemming Nielson , Hanne Riis Nielson
17th International Conference on Coordination Languages and Models (COORDINATION), Jun 2015, Grenoble, France. pp.197-212, ⟨10.1007/978-3-319-19282-6_13⟩
Conference papers hal-01774934v1
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

Quality Criteria for Cyber Security MOOCs

 Simone Fischer-Hübner , Matthias Beckerle , Alberto Lluch Lafuente , Antonio Ruiz Martínez , Karo Saharinen , et al.
13th IFIP World Conference on Information Security Education (WISE), Sep 2020, Maribor, Slovenia. pp.46-60, ⟨10.1007/978-3-030-59291-2_4⟩
Conference papers hal-03380695v1
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

Adaptable Transition Systems

 Roberto Bruni , Andrea Corradini , Fabio Gadducci , Alberto Lluch Lafuente , Andrea Vandin
21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. pp.95-110, ⟨10.1007/978-3-642-37635-1_6⟩
Conference papers hal-01485980v1
Image document

Reputation-Based Cooperation in the Clouds

 Alessandro Celestini , Alberto Lluch Lafuente , Philip Mayer , Stefano Sebastio , Francesco Tiezzi
8th IFIP International Conference on Trust Management (IFIPTM), Jul 2014, Singapore, Singapore. pp.213-220, ⟨10.1007/978-3-662-43813-8_15⟩
Conference papers hal-01381690v1
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

Aggregation Policies for Tuple Spaces

 Linas Kaminskas , Alberto Lluch Lafuente
20th International Conference on Coordination Languages and Models (COORDINATION), Jun 2018, Madrid, Spain. pp.181-199, ⟨10.1007/978-3-319-92408-3_8⟩
Conference papers hal-01821494v1
Image document

Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning

 Artur Boronat , Roberto Bruni , Alberto Lluch Lafuente , Ugo Montanari , Generoso Paolillo
Joint 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 30th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2010, Amsterdam, Netherlands. pp.2-16, ⟨10.1007/978-3-642-13464-7_2⟩
Conference papers hal-01055150v1
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

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
Image document

Many-to-Many Information Flow Policies

 Paolo Baldan , Alessandro Beggiato , Alberto Lluch Lafuente
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.159-177, ⟨10.1007/978-3-319-59746-1_9⟩
Conference papers hal-01657347v1

Coordination Models and Languages

 Alberto Lluch Lafuente , José Proença
Springer International Publishing, LNCS-9686, 2016, Lecture Notes in Computer Science, 978-3-319-39518-0. ⟨10.1007/978-3-319-39519-7⟩
Books hal-01631711v1
Page :