Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarRocco De Nicola
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2018
[j63]Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina:
Evaluating the efficiency of Linda implementations. Concurrency and Computation: Practice and Experience 30(8) (2018)- [j62]Rafael Brundo Uriarte, Rocco De Nicola:
Blockchain-Based Decentralized Cloud/Fog Solutions: Challenges, Opportunities, and Standards. IEEE Communications Standards Magazine 2(3): 22-28 (2018) - [j61]Rocco De Nicola, Luca Di Stefano, Omar Inverso:
Toward Formal Models and Languages for Verifiable Multi-Robot Systems. Front. Robotics and AI 2018 (2018) - [j60]Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani:
AErlang: Empowering Erlang with attribute-based communication. Sci. Comput. Program. 168: 71-93 (2018) - [c125]Vincenzo Scoca, Atakan Aral, Ivona Brandic, Rocco De Nicola, Rafael Brundo Uriarte:
Scheduling Latency-Sensitive Applications in Edge Computing. CLOSER 2018: 158-168 - [c124]Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi:
A Formal Approach to the Engineering of Domain-Specific Distributed Systems. COORDINATION 2018: 110-141 - [c123]Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti:
A Distributed Coordination Infrastructure for Attribute-Based Interaction. FORTE 2018: 1-20 - [c122]Rocco De Nicola, Stefan Jähnichen, Martin Wirsing:
Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition. ISoLA (3) 2018: 3-12 - [c121]Rocco De Nicola, Alessandro Maggi, Joseph Sifakis:
DReAM: Dynamic Reconfigurable Architecture Modeling. ISoLA (3) 2018: 13-31 - [c120]Stefan Jähnichen, Rocco De Nicola, Martin Wirsing:
The Meaning of Adaptation: Mastering the Unforeseen? ISoLA (3) 2018: 109-117 - [c119]Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi:
GoAt: Attribute-Based Interaction in Google Go. ISoLA (3) 2018: 288-303 - [c118]Michelangelo Puliga, Guido Caldarelli, Alessandro Chessa, Rocco De Nicola:
Understanding the Twitter User Networks of Viruses and Ransomware Attacks. ITASEC 2018 - [c117]Vitaly Buravlev, Rocco De Nicola, Alberto Lluch-Lafuente, Claudio Antares Mezzina:
Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies. PDP 2018: 302-305 - [c116]Irfan Khan Tanoli, Marinella Petrocchi, Rocco De Nicola:
Towards automatic translation of social network policies into controlled natural language. RCIS 2018: 1-12 - [c115]Rocco De Nicola, Luca Di Stefano, Omar Inverso:
Multi-agent Systems with Virtual Stigmergy. STAF Workshops 2018: 351-366 - [i8]Rocco De Nicola, Luca Di Stefano, Omar Inverso:
Towards formal models and languages for verifiable Multi-Robot Systems. CoRR abs/1804.08091 (2018) - [i7]Rocco De Nicola, Alessandro Maggi, Joseph Sifakis:
DReAM: Dynamic Reconfigurable Architecture Modeling (full paper). CoRR abs/1805.03724 (2018) - 2017
- [j59]Anna Labella, Rocco De Nicola:
Initial Algebra for a System of Right-Linear Functors. Acta Cybern. 23(1): 191-201 (2017) - [c114]Vincenzo Scoca, Rafael Brundo Uriarte, Rocco De Nicola:
Smart Contract Negotiation in Cloud Computing. CLOUD 2017: 592-599 - [c113]Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti:
Verifying Properties of Systems Relying on Attribute-Based Communication. ModelEd, TestEd, TrustEd 2017: 169-190 - [c112]Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani:
AErlang: Empowering Erlang with Attribute-Based Communication. COORDINATION 2017: 21-39 - [c111]
- [i6]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication. CoRR abs/1711.06092 (2017) - [i5]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
A Behavioural Theory for Interactions in Collective-Adaptive Systems. CoRR abs/1711.09762 (2017) - 2016
- [c110]Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente:
Replicating Data for Better Performances in X10. Semantics, Logics, and Calculi 2016: 236-251 - [c109]Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina:
Tuple Spaces Implementations and Their Efficiency. COORDINATION 2016: 51-66 - [c108]Rafael Brundo Uriarte, Francesco Tiezzi, Rocco De Nicola:
Dynamic SLAs for Clouds. ESOCC 2016: 34-49 - [c107]Van Tien Hoang, Vittoria Cozza, Marinella Petrocchi, Rocco De Nicola:
Online User Behavioural Modeling with Applications to Price Steering. FINREC 2016: 16-21 - [c106]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
On the Power of Attribute-Based Communication. FORTE 2016: 1-18 - [c105]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
Programming of CAS Systems by Relying on Attribute-Based Communication. ISoLA (1) 2016: 539-553 - [e8]Rocco De Nicola, eva Kühn:
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings. Lecture Notes in Computer Science 9763, Springer 2016, ISBN 978-3-319-41590-1 [contents] - [e7]Marco Bernardo, Rocco De Nicola, Jane Hillston:
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures. Lecture Notes in Computer Science 9700, Springer 2016, ISBN 978-3-319-34095-1 [contents] - [i4]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
On the Power of Attribute-based Communication. CoRR abs/1602.05635 (2016) - [i3]Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina:
Tuple spaces implementations and their efficiency. CoRR abs/1612.02979 (2016) - [i2]
- 2015
- [j58]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Acta Inf. 52(1): 61-106 (2015) - [j57]
- [j56]Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti:
CaSPiS: a calculus of sessions, pipelines and services. Mathematical Structures in Computer Science 25(3): 666-709 (2015) - [c104]Rocco De Nicola, Rolf Hennicker:
A Homage to Martin Wirsing. Software, Services, and Systems 2015: 1-12 - [c103]Rocco De Nicola, Claudio Antares Mezzina, Hugo Torres Vieira:
Global Protocol Implementations via Attribute-Based Communication. Programming Languages with Applications to Biology and Security 2015: 219-237 - [c102]Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente:
Replica-Based High-Performance Tuple Space Computing. COORDINATION 2015: 3-18 - [c101]Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo:
A calculus for attribute-based communication. SAC 2015: 1840-1845 - [c100]Farshad Shams, Antonio Cerone, Rocco De Nicola:
On Integrating Social and Sensor Networks for Emergency Management. SEFM Workshops 2015: 145-160 - [c99]Rocco De Nicola, Alessandro Maggi, Marinella Petrocchi, Angelo Spognardi, Francesco Tiezzi:
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. SEFM 2015: 327-343 - [c98]
- [c97]Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink:
CARMA: Collective Adaptive Resource-sharing Markovian Agents. QAPL 2015: 16-31 - [c96]Van Tien Hoang, Angelo Spognardi, Francesco Tiezzi, Marinella Petrocchi, Rocco De Nicola:
Domain-specific queries and Web search personalization: some investigations. WWV 2015: 51-58 - [p3]Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin:
The SCEL Language: Design, Implementation, Verification. The ASCENS Approach 2015: 3-71 - [e6]Rocco De Nicola, Rolf Hennicker:
Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. Lecture Notes in Computer Science 8950, Springer 2015, ISBN 978-3-319-15544-9 [contents] - 2014
- [j55]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. Logical Methods in Computer Science 10(1) (2014) - [j54]
- [j53]Rocco De Nicola, Michele Loreti, Rosario Pugliese, Francesco Tiezzi:
A Formal Approach to Autonomic Systems Programming: The SCEL Language. TAAS 9(2): 7:1-7:29 (2014) - [j52]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Theor. Comput. Sci. 546: 63-92 (2014) - [c95]Alessandro Celestini, Gianpiero Costantino, Rocco De Nicola, Zakaria Maamar, Fabio Martinelli, Marinella Petrocchi, Francesco Tiezzi:
Reputation-Based Composition of Social Web Services. AINA 2014: 735-742 - [c94]Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing:
Reasoning (on) Service Component Ensembles in Rewriting Logic. Specification, Algebra, and Software 2014: 188-211 - [c93]Rocco De Nicola, Alberto Lluch-Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi:
Programming and Verifying Component Ensembles. FPS@ETAPS 2014: 69-83 - [c92]Rocco De Nicola:
A Formal Approach to Autonomic Systems Programming: The SCEL Language - (Long Abstract). FACS 2014: 24-28 - [c91]Rocco De Nicola, Giulio Iacobelli, Mirco Tribastone:
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction. FORTE 2014: 216-231 - [c90]Rocco De Nicola:
A formal approach to autonomic systems programming: the SCEL language. ICTCS 2014: 1 - [c89]Martin Wirsing, Rocco De Nicola, Matthias M. Hölzl:
Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction. ISoLA (1) 2014: 96-98 - [c88]Giacomo Cabri, Nicola Capodieci, Luca Cesari, Rocco De Nicola, Rosario Pugliese, Francesco Tiezzi, Franco Zambonelli:
Self-expression and Dynamic Attribute-Based Ensembles in SCEL. ISoLA (1) 2014: 147-163 - [c87]Roberto Vigo, Alessandro Celestini, Francesco Tiezzi, Rocco De Nicola, Flemming Nielson, Hanne Riis Nielson:
Trust-Based Enforcement of Security Policies. TGC 2014: 176-191 - [c86]Rafael Brundo Uriarte, Francesco Tiezzi, Rocco De Nicola:
SLAC: A Formal Service-Level-Agreement Language for Cloud Computing. UCC 2014: 419-426 - 2013
- [j51]Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
A uniform definition of stochastic process calculi. ACM Comput. Surv. 46(1): 5:1-5:35 (2013) - [j50]Marco Bernardo, Rocco De Nicola, Michele Loreti:
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Inf. Comput. 225: 29-82 (2013) - [c85]Luca Cesari, Rocco De Nicola, Rosario Pugliese, Mariachiara Puviani, Francesco Tiezzi, Franco Zambonelli:
Formalising Adaptation Patterns for Autonomic Ensembles. FACS 2013: 100-118 - [c84]Alessandro Celestini, Rocco De Nicola, Francesco Tiezzi:
Network-Aware Evaluation Environment for Reputation Systems. IFIPTM 2013: 231-238 - [c83]Alessandro Celestini, Rocco De Nicola, Francesco Tiezzi:
Specifying and analysing reputation systems with a coordination language. SAC 2013: 1363-1368 - [c82]Tomás Bures, Rocco De Nicola, Ilias Gerostathopoulos, Nicklas Hoch, Michal Kit, Nora Koch, Giacoma Valentina Monreale, Ugo Montanari, Rosario Pugliese, Nikola B. Serbedzija, Martin Wirsing, Franco Zambonelli:
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase. SASO Workshops 2013: 71-76 - [c81]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. TGC 2013: 315-330 - [c80]Marco Bernardo, Rocco De Nicola, Michele Loreti:
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes. QAPL 2013: 81-96 - [e5]Rocco De Nicola, Christine Julien:
Coordination Models and Languages, 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings. Lecture Notes in Computer Science 7890, Springer 2013, ISBN 978-3-642-38492-9 [contents] - [i1]Marco Bernardo, Rocco De Nicola, Michele Loreti:
A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities". CoRR abs/1305.0538 (2013) - 2012
- [c79]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. FoSSaCS 2012: 195-209 - 2011
- [c78]Rocco De Nicola, Gian Luigi Ferrari, Michele Loreti, Rosario Pugliese:
A Language-Based Approach to Autonomic Computing. FMCO 2011: 25-48 - [c77]Lucia Acciai, Michele Boreale, Rocco De Nicola:
Linear-Time and May-Testing in a Probabilistic Reactive Setting. FMOODS/FORTE 2011: 29-43 - [c76]Rocco De Nicola, Andrea Margheri, Francesco Tiezzi:
Orchestrating Tuple-Based Languages. TGC 2011: 160-178 - [c75]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi. PACO 2011: 66-75 - [p2]Luís Caires, Rocco De Nicola, Rosario Pugliese, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro:
Core Calculi for Service-Oriented Computing. Results of the SENSORIA Project 2011: 153-188 - [p1]Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
SoSL: A Service-Oriented Stochastic Logic. Results of the SENSORIA Project 2011: 447-466 - [r2]
- [r1]
- 2010
- [j49]Rocco De Nicola, Daniele Gorla, Anna Labella:
Tree-functors, determinacy and bisimulations. Mathematical Structures in Computer Science 20(3): 319-358 (2010) - [j48]Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese:
From Flow Logic to static type systems for coordination languages. Sci. Comput. Program. 75(6): 376-397 (2010) - [c74]Marco Bernardo, Rocco De Nicola, Michele Loreti:
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes. TGC 2010: 35-56
2000 – 2009
- 2009
- [j47]Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
MarCaSPiS: a Markovian Extension of a Calculus for Services. Electr. Notes Theor. Comput. Sci. 229(4): 11-26 (2009) - [c73]Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
On a Uniform Framework for the Definition of Stochastic Process Languages. FMICS 2009: 9-25 - [c72]Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink:
Rate-Based Transition Systems for Stochastic Process Calculi. ICALP (2) 2009: 435-446 - 2008
- [j46]Rocco De Nicola, Michele Loreti:
Multiple-Labelled Transition Systems for nominal calculi and their logics. Mathematical Structures in Computer Science 18(1): 107-143 (2008) - [j45]Giuseppe Castagna, Rocco De Nicola, Daniele Varacca:
Semantic subtyping for the pi-calculus. Theor. Comput. Sci. 398(1-3): 217-242 (2008) - [j44]Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi:
TAPAs: A Tool for the Analysis of Process Algebras. Trans. Petri Nets and Other Models of Concurrency 1: 54-70 (2008) - [c71]Rocco De Nicola, Pierpaolo Degano, José Meseguer:
Ugo Montanari in a Nutshell. Concurrency, Graphs and Models 2008: 1-8 - [c70]Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
Implementing Session Centered Calculi. COORDINATION 2008: 17-32 - [c69]Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese:
From Flow Logic to Static Type Systems for Coordination Languages. COORDINATION 2008: 100-116 - [c68]Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti:
Sessions and Pipelines for Structured Service Programming. FMOODS 2008: 19-38 - [c67]Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina:
Provably Correct Implementations of Services. TGC 2008: 69-86 - [e4]Pierpaolo Degano, Rocco De Nicola, José Meseguer:
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 5065, Springer 2008, ISBN 978-3-540-68676-7 [contents] - 2007
- [j43]Rocco De Nicola, Michele Loreti:
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi. Electr. Notes Theor. Comput. Sci. 169: 133-146 (2007) - [j42]Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Michele Loreti:
Implementing a Distributed Mobile Calculus Using the IMC Framework. Electr. Notes Theor. Comput. Sci. 181: 63-79 (2007) - [j41]Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
Basic observables for a calculus for global computing. Inf. Comput. 205(10): 1491-1525 (2007) - [j40]Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
Global computing in a dynamic network of tuple spaces. Sci. Comput. Program. 64(2): 187-204 (2007) - [j39]Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink:
Model checking mobile stochastic logic. Theor. Comput. Sci. 382(1): 42-70 (2007) - [c66]
- [c65]Maria Carla Palmeri, Rocco De Nicola, Mieke Massink:
Basic Observables for Probabilistic May Testing. QEST 2007: 189-200 - [e3]Rocco De Nicola:
Programming Languages and Systems, 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings. Lecture Notes in Computer Science 4421, Springer 2007, ISBN 978-3-540-71314-2 [contents] - 2006
- [j38]Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink:
Towards a Logic for Performance and Mobility. Electr. Notes Theor. Comput. Sci. 153(2): 161-175 (2006) - [j37]Rocco De Nicola:
From Process Calculi to Klaim and Back. Electr. Notes Theor. Comput. Sci. 162: 159-162 (2006) - [j36]Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
Confining data and processes in global computing applications. Sci. Comput. Program. 63(1): 57-87 (2006) - [j35]Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
Implementing Mobile and Distributed Applications in X-Klaim. Scalable Computing: Practice and Experience 7(4) (2006) - [j34]Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
On the expressive power of KLAIM-based calculi. Theor. Comput. Sci. 356(3): 387-421 (2006) - [c64]Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro:
SensoriaProcess Calculi for Service-Oriented Computing. TGC 2006: 30-50 - [c63]Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro:
SCC: A Service Centered Calculus. WS-FM 2006: 38-57 - 2005
- [j33]
- [j32]Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
On the Expressive Power of Klaim-based Calculi. Electr. Notes Theor. Comput. Sci. 128(2): 117-130 (2005) - [c62]Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto:
A Process Calculus for QoS-Aware Applications. COORDINATION 2005: 33-48 - [c61]Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
Global Computing in a Dynamic Network of Tuple Spaces. COORDINATION 2005: 157-172 - [c60]Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Michele Loreti:
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. DAIS 2005: 181-193 - [c59]Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
Pattern Matching over a Dynamic Network of Tuple Spaces. FMOODS 2005: 1-14 - [c58]Rocco De Nicola, Daniele Gorla, Rosario Pugliese:
Basic Observables for a Calculus for Global Computing. ICALP 2005: 1226-1238 - [c57]Rocco De Nicola:
Languages and Process Calculi for Network Aware Programming - Short Summary -. ICTAC 2005: 49-52 - [c56]Giuseppe Castagna, Rocco De Nicola, Daniele Varacca:
Semantic Subtyping for the p-Calculus. LICS 2005: 92-101 - [c55]Rocco De Nicola, Diego Latella, Mieke Massink:
Formal modeling and quantitative analysis of KLAIM-based mobile systems. SAC 2005: 428-435 - [c54]
- [e2]Rocco De Nicola, Davide Sangiorgi:
Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3705, Springer 2005, ISBN 3-540-30007-4 [contents] - 2004
- [j31]Lorenzo Bettini, Rocco De Nicola, Michele Loreti:
Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming. Autom. Softw. Eng. 11(3): 245-288 (2004) - [j30]Rocco De Nicola, Michele Loreti:
A modal logic for mobile agents. ACM Trans. Comput. Log. 5(1): 79-128 (2004) - [c53]Rocco De Nicola, Michele Loreti:
MoMo: A Modal Logic for Reasoning About Mobility. FMCO 2004: 95-119 - [c52]Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís M. B. Lopes, Licínio Oliveira, Hervé Paulino, Vasco Thudichum Vasconcelos:
A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. Global Computing 2004: 179-207 - [e1]Rocco De Nicola, Gian Luigi Ferrari, Greg Meredith:
Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings. Lecture Notes in Computer Science 2949, Springer 2004, ISBN 3-540-21044-X [contents] - 2003
- [j29]Rocco De Nicola, Anna Labella:
Nondeterministic regular expressions as solutions of equational systems. Theor. Comput. Sci. 302(1-3): 179-189 (2003) - [c51]