Roberto Gorrieri

ORCID

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 24

Top Venues

CoRR

Petri Nets

Fundam. Informaticae

J. Log. Algebraic Methods Program.

Publications

Roberto Gorrieri
Axiomatizing NFAs Generated by Regular Grammars. CoRR (2024)
Roberto Gorrieri
Compositional Semantics of Finite Petri Nets. CoRR (2023)
Roberto Gorrieri
Compositional Net Semantics up to Step Net Bisimilarity. CoRR (2023)
Arnaldo Cesco, Roberto Gorrieri
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets. Log. Methods Comput. Sci. 19 (4) (2023)
Roberto Gorrieri
The Algebra of Nondeterministic Finite Automata. CoRR (2023)
Roberto Gorrieri
Branching Place Bisimilarity. CoRR (2023)
Roberto Gorrieri
Distributed Non-Interference. CoRR (2023)
Roberto Gorrieri
True Concurrency Can Be Easy. CoRR (2022)
Roberto Gorrieri
A study on team bisimulation and H-team bisimulation for BPP nets. Theor. Comput. Sci. 897 (2022)
Arnaldo Cesco, Roberto Gorrieri
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets. CoRR (2021)
Roberto Gorrieri
Team bisimilarity, and its associated modal logic, for BPP nets. Acta Informatica 58 (5) (2021)
Arnaldo Cesco, Roberto Gorrieri
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (11). ICTCS (2021)
Roberto Gorrieri
Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves. FORTE (2021)
Roberto Gorrieri
Causal Semantics for BPP Nets with Silent Moves. Fundam. Informaticae 180 (3) (2021)
Roberto Gorrieri
Place Bisimilarity is Decidable, Indeed! CoRR (2021)
Arnaldo Cesco, Roberto Gorrieri
A Decidable Equivalence for a Turing-Complete, Distributed Model of Computation. MFCS (2021)
Arnaldo Cesco, Roberto Gorrieri
A Decidable Equivalence for a Turing-complete, Distributed Model of Computation. CoRR (2021)
Roberto Gorrieri
Interleaving vs True Concurrency: Some Instructive Security Examples. Petri Nets (2020)
Roberto Gorrieri
A Study on Team Bisimulations for BPP Nets. Petri Nets (2020)
Roberto Gorrieri
Team equivalences for finite-state machines with silent moves. Inf. Comput. 275 (2020)
Roberto Gorrieri
Axiomatizing Team Equivalence for Finite-State Machines. The Art of Modelling Computational Systems (2019)
Roberto Gorrieri
Verification of finite-state machines: A distributed approach. J. Log. Algebraic Methods Program. 96 (2018)
Roberto Gorrieri
CCS(25, 12) is Turing-complete. Fundam. Informaticae 154 (1-4) (2017)
Roberto Gorrieri
Language representability of finite place/transition Petri nets. Vietnam. J. Comput. Sci. 3 (1) (2016)
Roberto Gorrieri
Language Representability of Finite P/T Nets. Programming Languages with Applications to Biology and Security (2015)
Roberto Gorrieri, Cristian Versari
CCS. Fundam. Informaticae 109 (2) (2011)
Roberto Gorrieri, Matteo Vernali
On Intransitive Non-interference in Some Models of Concurrency. FOSAD (2011)
Roberto Gorrieri, Cristian Versari
A Process Calculus for Expressing Finite Place/Transition Petri Nets EXPRESS (2010)
Eike Best, Philippe Darondeau, Roberto Gorrieri
On the Decidability of Non Interference over Unbounded Petri Nets SecCo (2010)
Roland Meyer, Roberto Gorrieri
On the Relationship between π-Calculus and Finite Place/Transition Petri Nets. CONCUR (2009)
Roberto Gorrieri
On Petri Net semantics for Process Calculi. ICTCS (2009)
Cristian Versari, Nadia Busi, Roberto Gorrieri
An expressiveness study of priority in process calculi. Math. Struct. Comput. Sci. 19 (6) (2009)
Roberto Gorrieri, Fabio Martinelli, Ilaria Matteucci
Towards Information Flow Properties for Distributed Systems. Electron. Notes Theor. Comput. Sci. 236 (2009)
Nadia Busi, Roberto Gorrieri
Distributed semantics for the pi-calculus based on Petri nets with inhibitor arcs. J. Log. Algebraic Methods Program. 78 (3) (2009)
Nadia Busi, Roberto Gorrieri
Structural non-interference in elementary and trace nets. Math. Struct. Comput. Sci. 19 (6) (2009)
Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi
Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks. J. Autom. Reason. 41 (3-4) (2008)
Cristian Versari, Roberto Gorrieri
pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. SFM (2008)
Simone Frau, Roberto Gorrieri, Carlo Ferigato
Petri Net Security Checker: Structural Non-interference at Work. Formal Aspects in Security and Trust (2008)
Roberto Gorrieri
Ugo Montanari and Concurrency Theory. Concurrency, Graphs and Models (2008)
Cristian Versari, Nadia Busi, Roberto Gorrieri
On the Expressive Power of Global and Local Priority in Process Calculi. CONCUR (2007)
Roberto Gorrieri
Obituary, Nadia Busi (1968-2007). Bull. EATCS 93 (2007)
Nadia Busi, Roberto Gorrieri
On the Computational Power of Brane Calculi. Trans. Comp. Sys. Biology 6 (2006)
Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi
A Formalization of Credit and Responsibility Within the GNDC Schema. Electron. Notes Theor. Comput. Sci. 157 (3) (2006)
Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Supporting Secure Coordination in SecSpaces. Fundam. Informaticae 73 (4) (2006)
Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro
: A Calculus for Service Oriented Computing. ICSOC (2006)
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
Choreography and Orchestration Conformance for System Design. COORDINATION (2006)
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Quantitative information in the tuple space coordination model. Theor. Comput. Sci. 346 (1) (2005)
Nadia Busi, Roberto Gorrieri, Fabio Martinelli
Preface. Electron. Notes Theor. Comput. Sci. 121 (2005)
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda. Electron. Notes Theor. Comput. Sci. 128 (5) (2005)
Roberto Gorrieri, Fabio Martinelli
Theoretical foundations of security analysis and design II. Theor. Comput. Sci. 340 (1) (2005)
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
Towards a formal framework for Choreography. WETICE (2005)
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
Choreography and Orchestration: A Synergic Approach for System Design. ICSOC (2005)
Roberto Gorrieri, Claudio Guidi, Roberto Lucchi
Reasoning About Interaction Patterns in Choreography. EPEW/WS-FM (2005)
Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri
Web Services for E-commerce: guaranteeing security access and quality of service. SAC (2004)
Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci
Automated analysis of timed security: a case study on web privacy. Int. J. Inf. Sec. 2 (3-4) (2004)
Alessandro Aldini, Mario Bravetti, Roberto Gorrieri
A process-algebraic approach for the analysis of probabilistic noninterference. J. Comput. Secur. 12 (2) (2004)
Nadia Busi, Roberto Gorrieri
Positive Non-interference in Elementary and Trace Nets. ICATPN (2004)
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Combining Partitions in SecSpaces. Electron. Notes Theor. Comput. Sci. 99 (2004)
Roberto Gorrieri, Fabio Martinelli
A simple framework for real-time cryptographic protocol analysis with compositional proof rules. Sci. Comput. Program. 50 (1-3) (2004)
Angelo Troina, Alessandro Aldini, Roberto Gorrieri
Approximating Imperfect Cryptography in a Formal Model. Electron. Notes Theor. Comput. Sci. 99 (2004)
Angelo Troina, Alessandro Aldini, Roberto Gorrieri
Towards a Formal Treatment of Secrecy Against Computational Adversaries. Global Computing (2004)
Mario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Security Issues in the Tuple-Space Coordination Model. Formal Aspects in Security and Trust (2004)
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. COORDINATION (2004)
Vincenzo Ciaschini, Roberto Gorrieri
Contrasting Malicious Java Applets by Modifying the Java Virtual Machine. SEC (2004)
Mario Bravetti, Roberto Gorrieri
Preface: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time. Electron. Notes Theor. Comput. Sci. 99 (2004)
Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
Formal Anaylsis of Some Timed Security Properties in Wireless Protocols. FMOODS (2003)
Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
A comparison of three authentication properties. Theor. Comput. Sci. 291 (3) (2003)
Roberto Gorrieri, Fabio Martinelli
Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols. MFCS (2003)
Alessandro Aldini, Roberto Gorrieri
A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism. Global Computing (2003)
Alessandro Aldini, Marco Roccetti, Roberto Gorrieri
On Securing Real-Time Speech Transmission over the Internet: An Experimental Study. EURASIP J. Adv. Signal Process. 2003 (10) (2003)
Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
Real-time information flow analysis. IEEE J. Sel. Areas Commun. 21 (1) (2003)
Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli
Compositional Verification of Integrity for Digital Stream Signature Protocols. ACSD (2003)
Mario Bravetti, Roberto Gorrieri, Roberto Lucchi
A formal approach for checking security properties in SecSpaces. Electron. Notes Theor. Comput. Sci. 85 (3) (2003)
Roberto Gorrieri, Enrico Locatelli, Fabio Martinelli
A Simple Language for Real-Time Cryptographic Protocol Analysis. ESOP (2003)
Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents. Electron. Notes Theor. Comput. Sci. 68 (3) (2003)
Nadia Busi, Roberto Gorrieri
A Survey on Non-interference with Petri Nets. Lectures on Concurrency and Petri Nets (2003)
Roberto Gorrieri
Editorial. Theor. Comput. Sci. 283 (2) (2002)
Alessandro Aldini, Roberto Gorrieri
Security Analysis of a Probabilistic Non-repudiation Protocol. PAPM-PROBMIV (2002)
Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
Classification of Security Properties - Part II: Network Security. FOSAD (2002)
Mario Bravetti, Roberto Gorrieri
The theory of interactive generalized semi-Markov processes. Theor. Comput. Sci. 282 (1) (2002)
Roberto Gorrieri, Ulrich Herzog, Jane Hillston
Unified specification and performance evaluation using stochastic process algebras. Perform. Evaluation 50 (2/3) (2002)
Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky
Two Formal Approaches for Approximating Noninterference Properties. FOSAD (2002)
Mario Bravetti, Roberto Gorrieri
Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement. ACM Trans. Comput. Log. 3 (4) (2002)
Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
Techniques for Security Checking: Non-Interference vs Control Flow Analysis. Electron. Notes Theor. Comput. Sci. 62 (2001)
Alessandro Aldini, Marco Bernardo, Roberto Gorrieri, Marco Roccetti
Comparing the QoS of Internet audio mechanisms via formal methods. ACM Trans. Model. Comput. Simul. 11 (1) (2001)
Marco Bernardo, Roberto Gorrieri
Corrigendum to "A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time" - [TCS 202 (1998) 1-54]. Theor. Comput. Sci. 254 (1-2) (2001)
Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci
Formal Models of Timing Attacks on Web Privacy. Electron. Notes Theor. Comput. Sci. 62 (2001)
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
Temporary Data in Shared Dataspace Coordination Languages. FoSSaCS (2001)
Arend Rensink, Roberto Gorrieri
Vertical Implementation. Inf. Comput. 170 (1) (2001)
Antonio Durante, Riccardo Focardi, Roberto Gorrieri
CVS at Work: A Report on New Failures upon Some Cryptographic Protocols. MMM-ACNS (2001)
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
Process Calculi for Coordination: From Linda to JavaSpaces. AMAST (2000)
Maria Felicia Florio, Roberto Gorrieri, Gianluigi Marchetti
Coping with denial of service due to malicious Java applets. Comput. Commun. 23 (17) (2000)
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
Comparing three semantics for Linda-like languages. Theor. Comput. Sci. 240 (1) (2000)
Riccardo Focardi, Roberto Gorrieri
Classification of Security Properties (Part I: Information Flow). FOSAD (2000)
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
On the Semantics of JavaSpaces. FMOODS (2000)
Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
Secrecy in Security Protocols as Non Interference. Electron. Notes Theor. Comput. Sci. 32 (2000)
Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
Information Flow Analysis in a Discrete-Time Process Algebra. CSFW (2000)
Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
Non Interference for the Analysis of Cryptographic Protocols. ICALP (2000)
Roberto Gorrieri
Introduction: International Workshop on Process Algebra and Performance Modelling. ICALP Satellite Workshops (2000)
Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
On the Expressiveness of Linda Coordination Primitives. Inf. Comput. 156 (1-2) (2000)

Roberto Gorrieri.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Roberto Gorrieri