Search - IFIP Open Digital Library Access content directly

Filter your results

9 results
Author: personID (integer) : 993626
Page :
sorted by
Image document

AErlang: Empowering Erlang with Attribute-Based Communication

 Rocco de Nicola , Tan Duong , Omar Inverso , Catia Trubiani
19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.21-39, ⟨10.1007/978-3-319-59746-1_2⟩
Conference papers hal-01657341v1
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

Dynamic SLAs for Clouds

 Rafael Brundo Uriarte , Francesco Tiezzi , Rocco de Nicola
5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.34-49, ⟨10.1007/978-3-319-44482-6_3⟩
Conference papers hal-01638588v1
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

Automated Replication of Tuple Spaces via Static Analysis

 Aline Uwimbabazi , Omar Inverso , Rocco de Nicola
9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.18-34, ⟨10.1007/978-3-030-89247-0_2⟩
Conference papers hal-04074522v1
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

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

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 :