Rocco De Nicola

281 papers A* 10A 2B 21C 27Misc 6Journal 106Unranked 99
YearRankTypeTitle / Venue / Authors
2026 — conf
Deepfake Detection, Attribution, and Authentication: Insights from the FF4ALL Project.
ITASEC/SERICS
Irene Amerini, Mauro Barni, Sebastiano Battiato, Paolo Bestagini, Giulia Boato, Pietro Bongini, Vittoria Bruni, Roberto Casula, Lorenzo Cirillo, Roberto Caldelli, Giuseppe Daidone, Francesco G. B. De Natale, Rocco De Nicola, Luca Guarnera, Simone Maurizio La Cava, Sara Mandelli, Gian Luca Marcialis, Marco Micheletto, Andrea Montibeller, Viola Negroni, Giulia Orrù, Pericle Perazzo, Giovanni Puglisi, Davide Salvi, Benedetta Tondi, Stefano Tubaro, Massimo Villari, Domenico Vitulano
2025 J jnl
Deepfake Media Forensics: Status and Future Challenges.
J. Imaging
Irene Amerini, Mauro Barni, Sebastiano Battiato, Paolo Bestagini, Giulia Boato, Vittoria Bruni, Roberto Caldelli, Francesco G. B. De Natale, Rocco De Nicola, Luca Guarnera, Sara Mandelli, Taiba Majid Wani, Gian Luca Marcialis, Marco Micheletto, Andrea Montibeller, Giulia Orrù, Alessandro Ortis, Pericle Perazzo, Giovanni Puglisi, Nischay Purnekar, Davide Salvi, Stefano Tubaro, Massimo Villari, Domenico Vitulano
2025 J jnl
Model-based verification of data protection mechanisms in collaborative business processes.
Softw. Syst. Model.
Sara Belluccini, Rocco De Nicola, Marlon Dumas, Pille Pullonen-Raudvere, Barbara Re, Francesco Tiezzi
2025 J jnl
On the efficacy of old features for the detection of new bots.
CoRR
Rocco De Nicola, Marinella Petrocchi, Manuel Pratelli
2025 — conf
Reasoning on Privacy Policies.
OVERLAY
Yilian Huang, Cosimo Perini Brogi, Rocco De Nicola
2025 J jnl
Rigorous engineering of collective adaptive systems - 3rd special section: part I.
Int. J. Softw. Tools Technol. Transf.
Martin Wirsing, Rocco De Nicola, Stefan Jähnichen, Mirco Tribastone
2025 J jnl
The Beauty and the Beast: A survey on process algebras and cybersecurity.
Comput. Sci. Rev.
Gabriele Costa, Silvia de Francisci, Rocco De Nicola
2024 J jnl
CONNECTION: COvert chaNnel NEtwork attaCk Through bIt-rate mOdulatioN.
CoRR
Simone Soderi, Rocco De Nicola
2024 — conf
Deepfake Media Forensics: State of the Art and Challenges Ahead.
ASONAM (Workshops)
Irene Amerini, Mauro Barni, Sebastiano Battiato, Paolo Bestagini, Giulia Boato, Tania Sari Bonaventura, Vittoria Bruni, Roberto Caldelli, Francesco G. B. De Natale, Rocco De Nicola, Luca Guarnera, Sara Mandelli, Gian Luca Marcialis, Marco Micheletto, Andrea Montibeller, Giulia Orrù, Alessandro Ortis, Pericle Perazzo, Giovanni Puglisi, Davide Salvi, Stefano Tubaro, Claudia Melis Tonti, Massimo Villari, Domenico Vitulano
2024 J jnl
Deepfake Media Forensics: State of the Art and Challenges Ahead.
CoRR
Irene Amerini, Mauro Barni, Sebastiano Battiato, Paolo Bestagini, Giulia Boato, Tania Sari Bonaventura, Vittoria Bruni, Roberto Caldelli, Francesco G. B. De Natale, Rocco De Nicola, Luca Guarnera, Sara Mandelli, Gian Luca Marcialis, Marco Micheletto, Andrea Montibeller, Giulia Orrù, Alessandro Ortis, Pericle Perazzo, Giovanni Puglisi, Davide Salvi, Stefano Tubaro, Claudia Melis Tonti, Massimo Villari, Domenico Vitulano
2024 J jnl
Detection of Energy Consumption Cyber Attacks on Smart Devices.
CoRR
Zainab Alwaisi, Simone Soderi, Rocco De Nicola
2024 J jnl
Energy Cyber Attacks to Smart Healthcare Devices: A Testbed.
CoRR
Zainab Alwaisi, Simone Soderi, Rocco De Nicola
2024 J jnl
Mitigating and Analysis of Memory Usage Attack in IoE System.
CoRR
Zainab Alwaisi, Simone Soderi, Rocco De Nicola
2024 J jnl
Online disinformation in the 2020 U.S. Election: swing vs. safe states.
CoRR
Manuel Pratelli, Marinella Petrocchi, Fabio Saracco, Rocco De Nicola
2024 J jnl
Online disinformation in the 2020 U.S. election: swing vs. safe states.
EPJ Data Sci.
Manuel Pratelli, Marinella Petrocchi, Fabio Saracco, Rocco De Nicola
2024 — conf
Rigorous Engineering of Collective Adaptive Systems Introduction to the 5
ISoLA (2)
Martin Wirsing, Rocco De Nicola, Stefan Jähnichen, Mirco Tribastone
2024 — conf
Simpson's Proof Systems for Process Verification: A Fine-tuning (short paper).
ICTCS
Cosimo Perini Brogi, Rocco De Nicola, Omar Inverso
2023 — conf
CONNECTION: COvert chaNnel NEtwork attaCk Through bIt-rate mOdulatioN.
EISA
Simone Soderi, Rocco De Nicola
2023 — conf
Detection of Energy Consumption Cyber Attacks on Smart Devices.
FABULOUS
Zainab Alwaisi, Simone Soderi, Rocco De Nicola
2023 — conf
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants.
CMSB
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
2023 J jnl
Modelling flocks of birds and colonies of ants from the bottom up.
Int. J. Softw. Tools Technol. Transf.
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
2023 J jnl
Multiparty testing preorders.
Log. Methods Comput. Sci.
Rocco De Nicola, Hernán C. Melgratti
2023 J jnl
Rigorous engineering of collective adaptive systems - 2nd special section.
Int. J. Softw. Tools Technol. Transf.
Martin Wirsing, Stefan Jähnichen, Rocco De Nicola
2023 J jnl
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays.
Concurr. Comput. Pract. Exp.
Stefano Bistarelli, Rocco De Nicola, Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti
2023 — conf
Swinging in the States: Does disinformation on Twitter mirror the US presidential election system?
WWW (Companion Volume)
Manuel Pratelli, Marinella Petrocchi, Fabio Saracco, Rocco De Nicola
2023 J jnl
Swinging in the States: Does disinformation on Twitter mirror the US presidential election system?
CoRR
Manuel Pratelli, Marinella Petrocchi, Fabio Saracco, Rocco De Nicola
2022 J jnl
6G Networks Physical Layer Security Using RGB Visible Light Communications.
IEEE Access
Simone Soderi, Rocco De Nicola
2022 J jnl
Automated replication of tuple spaces via static analysis.
Sci. Comput. Program.
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Aline Uwimbabazi
2022 — conf
Modelling Flocks of Birds from the Bottom Up.
ISoLA (3)
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
2022 — conf
Process Algebras and Flocks of Birds.
A Journey from Process Algebra via Timed Automata to Model Learning
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
2022 — conf
Rigorous Engineering of Collective Adaptive Systems Introduction to the 4
ISoLA (3)
Martin Wirsing, Rocco De Nicola, Stefan Jähnichen
2022 J jnl
Verification of Distributed Systems via Sequential Emulation.
ACM Trans. Softw. Eng. Methodol.
Luca Di Stefano, Rocco De Nicola, Omar Inverso
2021 J jnl
A Behavioural Analysis of Credulous Twitter Users.
CoRR
Alessandro Balestrucci, Rocco De Nicola, Marinella Petrocchi, Catia Trubiani
2021 J jnl
A behavioural analysis of credulous Twitter users.
Online Soc. Networks Media
Alessandro Balestrucci, Rocco De Nicola, Marinella Petrocchi, Catia Trubiani
2021 — conf
Automated Replication of Tuple Spaces via Static Analysis.
FSEN
Aline Uwimbabazi, Omar Inverso, Rocco De Nicola
2021 J jnl
Correction to: Flow of online misinformation during the peak of the COVID-19 pandemic in Italy.
EPJ Data Sci.
Guido Caldarelli, Rocco De Nicola, Marinella Petrocchi, Manuel Pratelli, Fabio Saracco
2021 J jnl
Distributed service-level agreement management with smart contracts and blockchain.
Concurr. Comput. Pract. Exp.
Rafael Brundo Uriarte, Huan Zhou, Kyriakos Kritikos, Zeshun Shi, Zhiming Zhao, Rocco De Nicola
2021 — conf
Enhancing Malware Classification with Symbolic Features.
ITASEC
Chinmay Siwach, Gabriele Costa, Rocco De Nicola
2021 J jnl
Flow of online misinformation during the peak of the COVID-19 pandemic in Italy.
EPJ Data Sci.
Guido Caldarelli, Rocco De Nicola, Marinella Petrocchi, Manuel Pratelli, Fabio Saracco
2021 J jnl
Framework, Tools and Good Practices for Cybersecurity Curricula.
IEEE Access
Jan Hajny, Sara Ricci, Edmundas Piesarskas, Olivier Levillain, Letterio Galletta, Rocco De Nicola
2021 J jnl
On the efficacy of old features for the detection of new bots.
Inf. Process. Manag.
Rocco De Nicola, Marinella Petrocchi, Manuel Pratelli
2021 J jnl
Provably correct implementation of the
Sci. Comput. Program.
Rocco De Nicola, Tan Duong, Michele Loreti
2021 J jnl
Tribute to Anna Labella.
J. Log. Algebraic Methods Program.
Paolo Bottoni, Rocco De Nicola, Daniele Gorla
2020 J jnl
A formal approach to the engineering of domain-specific distributed systems.
J. Log. Algebraic Methods Program.
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi
2020 J jnl
Analysis of online misinformation during the peak of the COVID-19 pandemics in Italy.
CoRR
Guido Caldarelli, Rocco De Nicola, Marinella Petrocchi, Manuel Pratelli, Fabio Saracco
2020 — conf
Credulous Users and Fake News: a Real Case Study on the Propagation in Twitter.
EAIS
Alessandro Balestrucci, Rocco De Nicola
2020 J jnl
Credulous Users and Fake News: a Real Case Study on the Propagation in Twitter.
CoRR
Alessandro Balestrucci, Rocco De Nicola
2020 J jnl
Exploring the relation between festivals and host cities on Twitter: a study on the impacts of Lucca Comics & Games.
J. Inf. Technol. Tour.
Yesim Tonga Uriarte, Marinella Petrocchi, Maria Luisa Catoni, Stefano Cresci, Rocco De Nicola, Maurizio Tesconi, Rafael Brundo Uriarte
2020 J jnl
Multi-agent systems with virtual stigmergy.
Sci. Comput. Program.
Rocco De Nicola, Luca Di Stefano, Omar Inverso
2020 B conf
PALM: A Technique for Process ALgebraic Specification Mining.
IFM
Sara Belluccini, Rocco De Nicola, Barbara Re, Francesco Tiezzi
2020 J jnl
Programming interactions in collective adaptive systems by relying on attribute-based communication.
Sci. Comput. Program.
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
2020 — conf
Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition.
ISoLA (2)
Martin Wirsing, Rocco De Nicola, Stefan Jähnichen
2020 J jnl
Rigorous engineering of collective adaptive systems: special section.
Int. J. Softw. Tools Technol. Transf.
Rocco De Nicola, Stefan Jähnichen, Martin Wirsing
2020 J jnl
The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications.
Int. J. Softw. Tools Technol. Transf.
Rocco De Nicola, Alessandro Maggi, Joseph Sifakis
2020 — conf
Verification of Privacy-Enhanced Collaborations.
FormaliSE@ICSE
Sara Belluccini, Rocco De Nicola, Marlon Dumas, Pille Pullonen, Barbara Re, Francesco Tiezzi
2020 — conf
Verifying AbC Specifications via Emulation.
ISoLA (2)
Rocco De Nicola, Tan Duong, Omar Inverso
2019 J jnl
A Formal Approach to the Engineering of Domain-Specific Distributed Systems.
CoRR
Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese, Francesco Tiezzi
2019 — conf
A Logic-Inspired Approach to Reconfigurable System Modelling.
From Reactive Systems to Cyber-Physical Systems
Alessandro Maggi, Rocco De Nicola, Joseph Sifakis
2019 — conf
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems.
From Software Engineering to Formal Methods and Tools, and Back
Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti
2019 J jnl
A calculus for collective-adaptive systems and its behavioural theory.
Inf. Comput.
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
2019 C conf
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication.
COORDINATION
Rocco De Nicola, Tan Duong, Michele Loreti
2019 J jnl
Addressing Application Latency Requirements through Edge Scheduling.
J. Grid Comput.
Atakan Aral, Ivona Brandic, Rafael Brundo Uriarte, Rocco De Nicola, Vincenzo Scoca
2019 J jnl
Defining and guaranteeing dynamic service levels in clouds.
Future Gener. Comput. Syst.
Rafael Brundo Uriarte, Rocco De Nicola, Vincenzo Scoca, Francesco Tiezzi
2019 — conf
Do You Really Follow Them? Automatic Detection of Credulous Twitter Users.
IDEAL (1)
Alessandro Balestrucci, Rocco De Nicola, Marinella Petrocchi, Catia Trubiani
2019 J jnl
Do you really follow them? Automatic detection of credulous Twitter users.
CoRR
Alessandro Balestrucci, Rocco De Nicola, Marinella Petrocchi, Catia Trubiani
2019 Misc conf
Identification of credulous users on Twitter.
SAC
Alessandro Balestrucci, Rocco De Nicola, Omar Inverso, Catia Trubiani
2019 J jnl
The role of bot squads in the political propaganda on Twitter.
CoRR
Guido Caldarelli, Rocco De Nicola, Fabio Del Vigna, Marinella Petrocchi, Fabio Saracco
2019 — conf
Transparency in Keyword Faceted Search: An Investigation on Google Shopping.
IRCDL
Vittoria Cozza, Van Tien Hoang, Marinella Petrocchi, Rocco De Nicola
2018 C conf
A Distributed Coordination Infrastructure for Attribute-Based Interaction.
FORTE
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti
2018 C conf
A Formal Approach to the Engineering of Domain-Specific Distributed Systems.
COORDINATION
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi
2018 J jnl
AErlang: Empowering Erlang with attribute-based communication.
Sci. Comput. Program.
Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani
2018 J jnl
Blockchain-Based Decentralized Cloud/Fog Solutions: Challenges, Opportunities, and Standards.
IEEE Commun. Stand. Mag.
Rafael Brundo Uriarte, Rocco De Nicola
2018 J jnl
DReAM: Dynamic Reconfigurable Architecture Modeling (full paper).
CoRR
Rocco De Nicola, Alessandro Maggi, Joseph Sifakis
2018 — conf
DReAM: Dynamic Reconfigurable Architecture Modeling.
ISoLA (3)
Rocco De Nicola, Alessandro Maggi, Joseph Sifakis
2018 J jnl
Evaluating the efficiency of Linda implementations.
Concurr. Comput. Pract. Exp.
Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina
2018 C conf
Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies.
PDP
Vitaly Buravlev, Rocco De Nicola, Alberto Lluch-Lafuente, Claudio Antares Mezzina
2018 — conf
Multi-agent Systems with Virtual Stigmergy.
STAF Workshops
Rocco De Nicola, Luca Di Stefano, Omar Inverso
2018 — conf
Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition.
ISoLA (3)
Rocco De Nicola, Stefan Jähnichen, Martin Wirsing
2018 C conf
Scheduling Latency-Sensitive Applications in Edge Computing.
CLOSER
Vincenzo Scoca, Atakan Aral, Ivona Brandic, Rocco De Nicola, Rafael Brundo Uriarte
2018 — conf
The Meaning of Adaptation: Mastering the Unforeseen?
ISoLA (3)
Stefan Jähnichen, Rocco De Nicola, Martin Wirsing
2018 J jnl
Toward Formal Models and Languages for Verifiable Multi-Robot Systems.
Frontiers Robotics AI
Rocco De Nicola, Luca Di Stefano, Omar Inverso
2018 C conf
Towards Distributed SLA Management with Smart Contracts and Blockchain.
CloudCom
Rafael Brundo Uriarte, Rocco De Nicola, Kyriakos Kritikos
2018 B conf
Towards automatic translation of social network policies into controlled natural language.
RCIS
Irfan Khan Tanoli, Marinella Petrocchi, Rocco De Nicola
2018 J jnl
Towards formal models and languages for verifiable Multi-Robot Systems.
CoRR
Rocco De Nicola, Luca Di Stefano, Omar Inverso
2018 — conf
Understanding the Twitter User Networks of Viruses and Ransomware Attacks.
ITASEC
Michelangelo Puliga, Guido Caldarelli, Alessandro Chessa, Rocco De Nicola
2017 J jnl
A Behavioural Theory for Interactions in Collective-Adaptive Systems.
CoRR
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
2017 B conf
AErlang at Work.
SOFSEM
Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani
2017 C conf
AErlang: Empowering Erlang with Attribute-Based Communication.
COORDINATION
Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani
2017 J jnl
Initial Algebra for a System of Right-Linear Functors.
Acta Cybern.
Anna Labella, Rocco De Nicola
2017 J jnl
Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication.
CoRR
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
2017 B conf
Smart Contract Negotiation in Cloud Computing.
CLOUD
Vincenzo Scoca, Rafael Brundo Uriarte, Rocco De Nicola
2017 — conf
Verifying Properties of Systems Relying on Attribute-Based Communication.
ModelEd, TestEd, TrustEd
Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti
2016 — conf
Dynamic SLAs for Clouds.
ESOCC
Rafael Brundo Uriarte, Francesco Tiezzi, Rocco De Nicola
2016 — ed.
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
SFM
Marco Bernardo, Rocco De Nicola, Jane Hillston
2016 J jnl
Multiparty testing preorders.
CoRR
Rocco De Nicola, Hernán C. Melgratti
2016 C conf
On the Power of Attribute-Based Communication.
FORTE
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
2016 J jnl
On the Power of Attribute-based Communication.
CoRR
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
2016 — conf
Online User Behavioural Modeling with Applications to Price Steering.
FINREC
Van Tien Hoang, Vittoria Cozza, Marinella Petrocchi, Rocco De Nicola
2016 — conf
Programming of CAS Systems by Relying on Attribute-Based Communication.
ISoLA (1)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
2016 — conf
Replicating Data for Better Performances in X10.
Semantics, Logics, and Calculi
Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente
2016 B ed.
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings
SEFM
Rocco De Nicola, Eva Kühn
2016 C conf
Tuple Spaces Implementations and Their Efficiency.
COORDINATION
Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina
2016 J jnl
Tuple spaces implementations and their efficiency.
CoRR
Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina
2015 — conf
A Homage to Martin Wirsing.
Software, Services, and Systems
Rocco De Nicola, Rolf Hennicker
2015 Misc conf
A calculus for attribute-based communication.
SAC
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo
2015 — conf
CARMA: Collective Adaptive Resource-sharing Markovian Agents.
QAPL
Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink
2015 J jnl
CaSPiS: a calculus of sessions, pipelines and services.
Math. Struct. Comput. Sci.
Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti
2015 — conf
Domain-specific queries and Web search personalization: some investigations.
WWV
Van Tien Hoang, Angelo Spognardi, Francesco Tiezzi, Marinella Petrocchi, Rocco De Nicola
2015 J jnl
EATCS Fellows 2016 - Call for Nominations.
Bull. EATCS
Rocco De Nicola
2015 — conf
Global Protocol Implementations via Attribute-Based Communication.
Programming Languages with Applications to Biology and Security
Rocco De Nicola, Claudio Antares Mezzina, Hugo Torres Vieira
2015 — conf
Multiparty Testing Preorders.
TGC
Rocco De Nicola, Hernán C. Melgratti
2015 — conf
On Integrating Social and Sensor Networks for Emergency Management.
SEFM Workshops
Farshad Shams, Antonio Cerone, Rocco De Nicola
2015 C conf
Replica-Based High-Performance Tuple Space Computing.
COORDINATION
Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente
2015 J jnl
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes.
Acta Informatica
Marco Bernardo, Rocco De Nicola, Michele Loreti
2015 — ed.
Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
Software, Services, and Systems
Rocco De Nicola, Rolf Hennicker
2015 — ch.
The SCEL Language: Design, Implementation, Verification.
The ASCENS Approach
Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi, Andrea Vandin
2015 B conf
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter.
SEFM
Rocco De Nicola, Alessandro Maggi, Marinella Petrocchi, Angelo Spognardi, Francesco Tiezzi
2014 — conf
A Formal Approach to Autonomic Systems Programming: The SCEL Language - (Long Abstract).
FACS
Rocco De Nicola
2014 J jnl
A Formal Approach to Autonomic Systems Programming: The SCEL Language.
ACM Trans. Auton. Adapt. Syst.
Rocco De Nicola, Michele Loreti, Rosario Pugliese, Francesco Tiezzi
2014 — conf
A formal approach to autonomic systems programming: the SCEL language.
ICTCS
Rocco De Nicola
2014 C conf
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction.
FORTE
Rocco De Nicola, Giulio Iacobelli, Mirco Tribastone
2014 J jnl
Editor's Note.
J. Log. Algebraic Methods Program.
Rocco De Nicola
2014 — conf
Introduction to "Rigorous Engineering of Autonomic Ensembles"- Track Introduction.
ISoLA (1)
Martin Wirsing, Rocco De Nicola, Matthias M. Hölzl
2014 — conf
Programming and Verifying Component Ensembles.
FPS@ETAPS
Rocco De Nicola, Alberto Lluch-Lafuente, Michele Loreti, Andrea Morichetta, Rosario Pugliese, Valerio Senni, Francesco Tiezzi
2014 — conf
Reasoning (on) Service Component Ensembles in Rewriting Logic.
Specification, Algebra, and Software
Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing
2014 J jnl
Relating strong behavioral equivalences for processes with nondeterminism and probabilities.
Theor. Comput. Sci.
Marco Bernardo, Rocco De Nicola, Michele Loreti
2014 B conf
Reputation-Based Composition of Social Web Services.
AINA
Alessandro Celestini, Gianpiero Costantino, Rocco De Nicola, Zakaria Maamar, Fabio Martinelli, Marinella Petrocchi, Francesco Tiezzi
2014 J jnl
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes.
Log. Methods Comput. Sci.
Marco Bernardo, Rocco De Nicola, Michele Loreti
2014 Misc conf
SLAC: A Formal Service-Level-Agreement Language for Cloud Computing.
UCC
Rafael Brundo Uriarte, Francesco Tiezzi, Rocco De Nicola
2014 — conf
Self-expression and Dynamic Attribute-Based Ensembles in SCEL.
ISoLA (1)
Giacomo Cabri, Nicola Capodieci, Luca Cesari, Rocco De Nicola, Rosario Pugliese, Francesco Tiezzi, Franco Zambonelli
2014 — conf
Trust-Based Enforcement of Security Policies.
TGC
Roberto Vigo, Alessandro Celestini, Francesco Tiezzi, Rocco De Nicola, Flemming Nielson, Hanne Riis Nielson
2013 J jnl
A Companion of "Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities"
CoRR
Marco Bernardo, Rocco De Nicola, Michele Loreti
2013 — conf
A Life Cycle for the Development of Autonomic Systems: The E-mobility Showcase.
SASO Workshops
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
2013 J jnl
A uniform definition of stochastic process calculi.
ACM Comput. Surv.
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
2013 J jnl
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences.
Inf. Comput.
Marco Bernardo, Rocco De Nicola, Michele Loreti
2013 C ed.
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
COORDINATION
Rocco De Nicola, Christine Julien
2013 — conf
Formalising Adaptation Patterns for Autonomic Ensembles.
FACS
Luca Cesari, Rocco De Nicola, Rosario Pugliese, Mariachiara Puviani, Francesco Tiezzi, Franco Zambonelli
2013 — conf
Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations.
TGC
Marco Bernardo, Rocco De Nicola, Michele Loreti
2013 — conf
Network-Aware Evaluation Environment for Reputation Systems.
IFIPTM
Alessandro Celestini, Rocco De Nicola, Francesco Tiezzi
2013 Misc conf
Specifying and analysing reputation systems with a coordination language.
SAC
Alessandro Celestini, Rocco De Nicola, Francesco Tiezzi
2013 — conf
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes.
QAPL
Marco Bernardo, Rocco De Nicola, Michele Loreti
2012 B conf
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes.
FoSSaCS
Marco Bernardo, Rocco De Nicola, Michele Loreti
2011 — conf
A Language-Based Approach to Autonomic Computing.
FMCO
Rocco De Nicola, Gian-Luigi Ferrari, Michele Loreti, Rosario Pugliese
2011 — ch.
Behavioral Equivalences.
Encyclopedia of Parallel Computing
Rocco De Nicola
2011 — ch.
Core Calculi for Service-Oriented Computing.
Results of the SENSORIA Project
Luís Caires, Rocco De Nicola, Rosario Pugliese, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro
2011 — conf
Linear-Time and May-Testing in a Probabilistic Reactive Setting.
FMOODS/FORTE
Lucia Acciai, Michele Boreale, Rocco De Nicola
2011 — conf
Orchestrating Tuple-Based Languages.
TGC
Rocco De Nicola, Andrea Margheri, Francesco Tiezzi
2011 — ch.
Process Algebras.
Encyclopedia of Parallel Computing
Rocco De Nicola
2011 — ch.
SoSL: A Service-Oriented Stochastic Logic.
Results of the SENSORIA Project
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
2011 — conf
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
PACO
Marco Bernardo, Rocco De Nicola, Michele Loreti
2010 J jnl
From Flow Logic to static type systems for coordination languages.
Sci. Comput. Program.
Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese
2010 J jnl
Tree-functors, determinacy and bisimulations.
Math. Struct. Comput. Sci.
Rocco De Nicola, Daniele Gorla, Anna Labella
2010 — conf
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes.
TGC
Marco Bernardo, Rocco De Nicola, Michele Loreti
2009 C conf
On a Uniform Framework for the Definition of Stochastic Process Languages.
FMICS
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
2009 — conf
Rate-Based Transition Systems for Stochastic Process Calculi.
ICALP (2)
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
2008 — ed.
Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Concurrency, Graphs and Models
Pierpaolo Degano, Rocco De Nicola, José Meseguer
2008 C conf
From Flow Logic to Static Type Systems for Coordination Languages.
COORDINATION
Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese
2008 C conf
Implementing Session Centered Calculi.
COORDINATION
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
2008 — conf
MarCaSPiS: a Markovian Extension of a Calculus for Services.
SOS@ICALP
Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink
2008 J jnl
Multiple-Labelled Transition Systems for nominal calculi and their logics.
Math. Struct. Comput. Sci.
Rocco De Nicola, Michele Loreti
2008 — conf
Provably Correct Implementations of Services.
TGC
Roberto Bruni, Rocco De Nicola, Michele Loreti, Leonardo Gaetano Mezzina
2008 J jnl
Semantic subtyping for the pi-calculus.
Theor. Comput. Sci.
Giuseppe Castagna, Rocco De Nicola, Daniele Varacca
2008 — conf
Sessions and Pipelines for Structured Service Programming.
FMOODS
Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti
2008 J jnl
TAPAs: A Tool for the Analysis of Process Algebras.
Trans. Petri Nets Other Model. Concurr.
Francesco Calzolai, Rocco De Nicola, Michele Loreti, Francesco Tiezzi
2008 — conf
Ugo Montanari in a Nutshell.
Concurrency, Graphs and Models
Rocco De Nicola, Pierpaolo Degano, José Meseguer
2007 — conf
Basic Observables for Probabilistic May Testing.
QEST
Maria Carla Palmeri, Rocco De Nicola, Mieke Massink
2007 J jnl
Basic observables for a calculus for global computing.
Inf. Comput.
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
2007 J jnl
Global computing in a dynamic network of tuple spaces.
Sci. Comput. Program.
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
2007 J jnl
Model checking mobile stochastic logic.
Theor. Comput. Sci.
Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink
2007 A ed.
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
ESOP
Rocco De Nicola
2007 — conf
Session Centered Calculi for Service Oriented Computing.
ICTCS
Rocco De Nicola
2006 J jnl
Confining data and processes in global computing applications.
Sci. Comput. Program.
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
2006 J jnl
Implementing Mobile and Distributed Applications in X-Klaim.
Scalable Comput. Pract. Exp.
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
2006 — conf
Implementing a Distributed Mobile Calculus Using the IMC Framework.
CoOrg/MTCoord@COORDINATION
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Michele Loreti
2006 — conf
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi.
LMCS
Rocco De Nicola, Michele Loreti
2006 J jnl
On the expressive power of KLAIM-based calculi.
Theor. Comput. Sci.
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
2006 — conf
SCC: A Service Centered Calculus.
WS-FM
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
2006 — conf
SensoriaProcess Calculi for Service-Oriented Computing.
TGC
Martin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro
2005 C conf
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing.
DAIS
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Michele Loreti
2005 C conf
A Process Calculus for QoS-Aware Applications.
COORDINATION
Rocco De Nicola, Gian-Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto
2005 A* conf
Basic Observables for a Calculus for Global Computing.
ICALP
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
2005 Misc conf
Formal modeling and quantitative analysis of KLAIM-based mobile systems.
SAC
Rocco De Nicola, Diego Latella, Mieke Massink
2005 — conf
From Process Calculi to Klaim and Back.
APC 25
Rocco De Nicola
2005 C conf
Global Computing in a Dynamic Network of Tuple Spaces.
COORDINATION
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
2005 C conf
Languages and Process Calculi for Network Aware Programming - Short Summary -.
ICTAC
Rocco De Nicola
2005 — conf
Mobile Distributed Programming in X-Klaim.
SFM
Lorenzo Bettini, Rocco De Nicola
2005 — conf
Pattern Matching over a Dynamic Network of Tuple Spaces.
FMOODS
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
2005 A* conf
Semantic Subtyping for the p-Calculus.
LICS
Giuseppe Castagna, Rocco De Nicola, Daniele Varacca
2005 — conf
Towards a Logic for Performance and Mobility.
QAPL
Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink
2005 — ed.
Trustworthy Global Computing, International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005, Revised Selected Papers
TGC
Rocco De Nicola, Davide Sangiorgi
2005 J jnl
Types in concurrency.
Acta Informatica
Rocco De Nicola, Davide Sangiorgi
2004 — conf
A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi.
Global Computing
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís M. B. Lopes, Licínio Oliveira, Hervé Paulino, Vasco Thudichum Vasconcelos
2004 J jnl
A modal logic for mobile agents.
ACM Trans. Comput. Log.
Rocco De Nicola, Michele Loreti
2004 C ed.
Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings
COORDINATION
Rocco De Nicola, Gian-Luigi Ferrari, Greg Meredith
2004 J jnl
Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming.
Autom. Softw. Eng.
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
2004 — conf
MoMo: A Modal Logic for Reasoning About Mobility.
FMCO
Rocco De Nicola, Michele Loreti
2004 — conf
On the Expressive Power of Klaim-based Calculi.
EXPRESS
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
2003 — conf
A Formal Basis for Reasoning on Programmable QoS.
Verification: Theory and Practice
Rocco De Nicola, Gian-Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto
2003 J jnl
Nondeterministic regular expressions as solutions of equational systems.
Theor. Comput. Sci.
Rocco De Nicola, Anna Labella
2003 — conf
The Klaim Project: Theory and Practice.
Global Computing
Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian-Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri
2002 — conf
A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces.
FIDJI
Lorenzo Bettini, Rocco De Nicola
2002 — conf
AGILE: Software Architecture for Mobility.
WADT
Luís Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki
2002 J jnl
An Equational Axiomatization of Bisimulation over Regular Expressions.
J. Log. Comput.
Flavio Corradini, Rocco De Nicola, Anna Labella
2002 C conf
Formalizing Properties of Mobile Agent Systems.
COORDINATION
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
2002 J jnl
Klava: a Java package for distributed and mobile applications.
Softw. Pract. Exp.
Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese
2002 Misc conf
Software update via mobile agent based programming.
SAC
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
2002 J jnl
Trace and Testing Equivalence on Asynchronous Processes.
Inf. Comput.
Michele Boreale, Rocco De Nicola, Rosario Pugliese
2001 J jnl
Algebraic characterizations of trace and decorated trace equivalences over tree-like structures.
Theor. Comput. Sci.
Xiao Jun Chen, Rocco De Nicola
2001 J jnl
Divergence in testing and readiness semantics.
Theor. Comput. Sci.
Michele Boreale, Rocco De Nicola, Rosario Pugliese
2001 J jnl
Proof Techniques for Cryptographic Processes.
SIAM J. Comput.
Michele Boreale, Rocco De Nicola, Rosario Pugliese
2001 — conf
Translating Strong Mobility into Weak Mobility.
Mobile Agents
Lorenzo Bettini, Rocco De Nicola
2001 — conf
XKlaim and Klava: Programming Mobile Code.
TOSCA
Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese
2000 — conf
A Modal Logic for KLAIM.
AMAST
Rocco De Nicola, Michele Loreti
2000 J jnl
Linda-based applicative and imperative process algebras.
Theor. Comput. Sci.
Rocco De Nicola, Rosario Pugliese
2000 — conf
Mobile Applications in X-KLAIM.
WOA
Lorenzo Bettini, Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese
2000 C conf
Process Algebraic Analysis of Cryptographic Protocols.
FORTE
Michele Boreale, Rocco De Nicola, Rosario Pugliese
2000 B conf
Programming Access Control: The KLAIM Experience.
CONCUR
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese
2000 C conf
Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces.
COORDINATION
Rocco De Nicola, Rosario Pugliese, Antony I. T. Rowstron
2000 J jnl
Types for access control.
Theor. Comput. Sci.
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese, Betti Venneri
1999 B conf
A Theory of "May" Testing for Asynchronous Languages.
FoSSaCS
Michele Boreale, Rocco De Nicola, Rosario Pugliese
1999 J jnl
A finite axiomatization of nondeterministic regular expressions.
RAIRO Theor. Informatics Appl.
Flavio Corradini, Rocco De Nicola, Anna Labella
1999 J jnl
Basic Observables for Processes.
Inf. Comput.
Michele Boreale, Rocco De Nicola, Rosario Pugliese
1999 C conf
Coordination and Access Control of Mobile Agents.
COORDINATION
Rocco De Nicola
1999 — conf
Graded Modalities and Resource Bisimulation.
FSTTCS
Flavio Corradini, Rocco De Nicola, Anna Labella
1999 J jnl
Models of Nondeterministic Regular Expressions.
J. Comput. Syst. Sci.
Flavio Corradini, Rocco De Nicola, Anna Labella
1999 A* conf
Proof Techniques for Cryptographic Processes.
LICS
Michele Boreale, Rocco De Nicola, Rosario Pugliese
1999 — conf
Types as Specifications of Access Policies.
Secure Internet Programming
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese
1998 B conf
Asynchronous Observations of Processes.
FoSSaCS
Michele Boreale, Rocco De Nicola, Rosario Pugliese
1998 C conf
Interactive Mobile Agents in X-Klaim.
WETICE
Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese, Gian-Luigi Ferrari
1998 J jnl
KLAIM: A Kernel Language for Agents Interaction and Mobility.
IEEE Trans. Software Eng.
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese
1998 B conf
Possible Worlds for Process Algebras.
CONCUR
Simone Veglioni, Rocco De Nicola
1998 — conf
Tree Morphisms and Bisimulations.
MFCS Workshop on Concurrency
Rocco De Nicola, Anna Labella
1997 A* conf
Basic Observables for Processes.
ICALP
Michele Boreale, Rocco De Nicola, Rosario Pugliese
1997 C conf
Coordinating Mobile Agents via Blackboards and Access Rights.
COORDINATION
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese
1997 — conf
Locality Based Linda: Programming with Explicit Localities.
TAPSOFT
Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese
1997 J jnl
Locality Based Semantics for Process Algebras.
Acta Informatica
Flavio Corradini, Rocco De Nicola
1996 C conf
A Process Algebra Based on LINDA.
COORDINATION
Rocco De Nicola, Rosario Pugliese
1996 J jnl
A Symbolic Semantics for the pi-Calculus.
Inf. Comput.
Michele Boreale, Rocco De Nicola
1996 A* conf
Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures.
ICALP
Xiao Jun Chen, Rocco De Nicola
1996 J jnl
Concurrency: Theory and Practice.
ACM Comput. Surv.
Rocco De Nicola, Scott A. Smolka
1996 J jnl
On Four Partial Ordering Semantics for a Process Calculus.
Fundam. Informaticae
Flavio Corradini, Rocco De Nicola
1996 — conf
Testing Semantics of Asynchronous Distributed Programs.
LOMAPS
Rocco De Nicola, Rosario Pugliese
1995 J jnl
A Process Algebraic View of Input/Output Automata.
Theor. Comput. Sci.
Rocco De Nicola, Roberto Segala
1995 — conf
An Observational Semantics for Linda.
STRICT
Rocco De Nicola, Rosario Pugliese
1995 B conf
Fully Abstract Models for Nondeterministic Regular Expressions.
CONCUR
Flavio Corradini, Rocco De Nicola, Anna Labella
1995 J jnl
Testing Equivalence for Mobile Processes
Inf. Comput.
Michele Boreale, Rocco De Nicola
1995 J jnl
Three Logics for Branching Bisimulation.
J. ACM
Rocco De Nicola, Frits W. Vaandrager
1995 — conf
Verifying hardware components within JACK.
CHARME
Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Gioia Ristori
1994 B conf
A Completeness Theorem fro Nondeterministic Kleene Algebras.
MFCS
Rocco De Nicola, Anna Labella
1994 B conf
A Symbolic Semantics for the pi-calculus (Extended Abstract).
CONCUR
Michele Boreale, Rocco De Nicola
1994 A* conf
Distribution and Locality of Concurrent Systems.
ICALP
Flavio Corradini, Rocco De Nicola
1993 J jnl
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems.
Comput. Networks ISDN Syst.
Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori
1993 J jnl
Universal Axioms for Bisimulations.
Theor. Comput. Sci.
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
1992 — conf
Observation Trees.
NAPAW
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
1992 B conf
Testing Equivalence for Mobile Processes (Extended Abstract).
CONCUR
Michele Boreale, Rocco De Nicola
1991 B conf
Action and State-based Logics for Process Algebras.
CONCUR
Rocco De Nicola
1991 A* conf
An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems.
CAV
Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori
1991 — conf
Equational reasoning about LOTOS specifications: a rewriting approach.
IWSSD
Rocco De Nicola, Paola Inverardi, Monica Nesi
1990 J jnl
A Partial Ordering Semantics for CCS.
Theor. Comput. Sci.
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
1990 — conf
Action versus State based Logics for Transition Systems.
Semantics of Systems of Concurrent Processes
Rocco De Nicola, Frits W. Vaandrager
1990 B conf
Back and Forth Bisimulations.
CONCUR
Rocco De Nicola, Ugo Montanari, Frits W. Vaandrager
1990 — conf
Observational Logics and Concurrency Models.
FSTTCS
Rocco De Nicola, Gian-Luigi Ferrari
1990 A* conf
Three Logics for Branching Bisimulation (Extended Abstract)
LICS
Rocco De Nicola, Frits W. Vaandrager
1989 — conf
Using the Axiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications.
Automatic Verification Methods for Finite State Systems
Rocco De Nicola, Paola Inverardi, Monica Nesi
1988 J jnl
A Distributed Operational Semantics for CCS Based on Condition/Event Systems.
Acta Informatica
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
1988 A* conf
On the Consistency of "Truly Concurrent" Operational and Denotational Semantics (Extended Abstract)
LICS
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
1988 — conf
Partial orderings descriptions and observations of nondeterministic concurrent processes.
REX Workshop
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
1987 — conf
CCS without tau's.
TAPSOFT, Vol.1
Rocco De Nicola, Matthew Hennessy
1987 J jnl
Extensional Equivalences for Transition Systems.
Acta Informatica
Rocco De Nicola
1987 — conf
Observational equivalences for concurrency models.
Formal Description of Programming Concepts
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
1986 — conf
CCS is an (Augmented) Contact Free C/E System.
Mathematical Models for the Semantics of Parallelism
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
1986 — conf
Net Theory and Application - Response.
IFIP Congress
Rocco De Nicola
1986 — conf
Testing Equivalences for Event Structures.
Mathematical Models for the Semantics of Parallelism
Luca Aceto, Rocco De Nicola, Alessandro Fantechi
1986 — —
Testing equivalences and fully abstract models for communicating systems.
Rocco De Nicola
1985 B conf
Partial ordering derivations for CCS.
FCT
Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
1985 J jnl
Two Complete Axiom Systems for a Theory of Communicating Sequential Processes
Inf. Control.
Rocco De Nicola
1984 B conf
Models and Operators for Nondeterministic Processes.
MFCS
Rocco De Nicola
1984 J jnl
Testing Equivalences for Processes.
Theor. Comput. Sci.
Rocco De Nicola, Matthew Hennessy
1983 B conf
A Complete Set of Axioms for a Theory of Communicating Sequential Processes.
FCT
Rocco De Nicola
1983 A* conf
Testing Equivalence for Processes.
ICALP
Rocco De Nicola, Matthew Hennessy
1981 A conf
Communication Through Message Passing or Shared Memory: A Formal Comparison.
ICDCS
Rocco De Nicola, Alberto Martelli, Ugo Montanari