


Остановите войну!
for scientists:


default search action
Roberto Gorrieri
Person information

- affiliation: University of Bologna, Italy
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [i7]Roberto Gorrieri:
The Algebra of Nondeterministic Finite Automata. CoRR abs/2301.03435 (2023) - [i6]Roberto Gorrieri:
Distributed Non-Interference. CoRR abs/2301.08570 (2023) - [i5]Roberto Gorrieri:
Branching Place Bisimilarity. CoRR abs/2305.04222 (2023) - [i4]Roberto Gorrieri:
Compositional Semantics of Finite Petri Nets. CoRR abs/2308.08983 (2023) - 2022
- [j55]Roberto Gorrieri
:
A study on team bisimulation and H-team bisimulation for BPP nets. Theor. Comput. Sci. 897: 83-113 (2022) - 2021
- [j54]Roberto Gorrieri
:
Team bisimilarity, and its associated modal logic, for BPP nets. Acta Informatica 58(5): 529-569 (2021) - [j53]Roberto Gorrieri
:
Causal Semantics for BPP Nets with Silent Moves. Fundam. Informaticae 180(3): 179-249 (2021) - [c92]Roberto Gorrieri
:
Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves. FORTE 2021: 80-99 - [c91]Arnaldo Cesco, Roberto Gorrieri:
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets (11). ICTCS 2021: 135-149 - [c90]Arnaldo Cesco
, Roberto Gorrieri
:
A Decidable Equivalence for a Turing-Complete, Distributed Model of Computation. MFCS 2021: 28:1-28:18 - [i3]Roberto Gorrieri:
Place Bisimilarity is Decidable, Indeed! CoRR abs/2104.01392 (2021) - [i2]Arnaldo Cesco
, Roberto Gorrieri:
Decidability of Two Truly Concurrent Equivalences for Finite Bounded Petri Nets. CoRR abs/2104.14856 (2021) - [i1]Arnaldo Cesco, Roberto Gorrieri:
A Decidable Equivalence for a Turing-complete, Distributed Model of Computation. CoRR abs/2104.14859 (2021) - 2020
- [j52]Roberto Gorrieri
:
Team equivalences for finite-state machines with silent moves. Inf. Comput. 275: 104603 (2020) - [c89]Roberto Gorrieri
:
Interleaving vs True Concurrency: Some Instructive Security Examples. Petri Nets 2020: 131-152 - [c88]Roberto Gorrieri
:
A Study on Team Bisimulations for BPP Nets. Petri Nets 2020: 153-175
2010 – 2019
- 2019
- [c87]Roberto Gorrieri
:
Axiomatizing Team Equivalence for Finite-State Machines. The Art of Modelling Computational Systems 2019: 14-32 - [p3]Roberto Gorrieri
:
Toward Distributed Computability Theory. Carl Adam Petri: Ideas, Personality, Impact 2019: 141-146 - 2018
- [j51]Roberto Gorrieri
:
Verification of finite-state machines: A distributed approach. J. Log. Algebraic Methods Program. 96: 65-80 (2018) - 2017
- [b2]Roberto Gorrieri
:
Process Algebras for Petri Nets - The Alphabetization of Distributed Systems. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2017, ISBN 978-3-319-55558-4, pp. 1-285 - [j50]Roberto Gorrieri
:
CCS(25, 12) is Turing-complete. Fundam. Informaticae 154(1-4): 145-166 (2017) - 2016
- [j49]Roberto Gorrieri
:
Language representability of finite place/transition Petri nets. Vietnam. J. Comput. Sci. 3(1): 15-34 (2016) - 2015
- [b1]Roberto Gorrieri
, Cristian Versari:
Introduction to Concurrency Theory - Transition Systems and CCS. Texts in Theoretical Computer Science. An EATCS Series, Springer 2015, ISBN 978-3-319-21490-0, pp. 1-321 - [c86]Roberto Gorrieri
:
Language Representability of Finite P/T Nets. Programming Languages with Applications to Biology and Security 2015: 262-282 - 2011
- [j48]Roberto Gorrieri
, Cristian Versari:
An Operational Petri Net Semantics for A2CCS. Fundam. Informaticae 109(2): 135-160 (2011) - [c85]Roberto Gorrieri
, Matteo Vernali:
On Intransitive Non-interference in Some Models of Concurrency. FOSAD 2011: 125-151 - [e13]Alessandro Aldini
, Roberto Gorrieri:
Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures. Lecture Notes in Computer Science 6858, Springer 2011, ISBN 978-3-642-23081-3 [contents] - 2010
- [c84]Eike Best, Philippe Darondeau, Roberto Gorrieri:
On the Decidability of Non Interference over Unbounded Petri Nets. SecCo 2010: 16-33 - [c83]Roberto Gorrieri, Cristian Versari:
A Process Calculus for Expressing Finite Place/Transition Petri Nets. EXPRESS 2010: 76-90
2000 – 2009
- 2009
- [j47]Nadia Busi, Roberto Gorrieri
:
Distributed semantics for the pi-calculus based on Petri nets with inhibitor arcs. J. Log. Algebraic Methods Program. 78(3): 138-162 (2009) - [j46]Nadia Busi, Roberto Gorrieri
:
Structural non-interference in elementary and trace nets. Math. Struct. Comput. Sci. 19(6): 1065-1090 (2009) - [j45]Cristian Versari, Nadia Busi, Roberto Gorrieri
:
An expressiveness study of priority in process calculi. Math. Struct. Comput. Sci. 19(6): 1161-1189 (2009) - [c82]Roland Meyer, Roberto Gorrieri:
On the Relationship between π-Calculus and Finite Place/Transition Petri Nets. CONCUR 2009: 463-480 - [c81]Roberto Gorrieri:
On Petri Net semantics for Process Calculi. ICTCS 2009: 3 - [e12]Pierpaolo Degano, Roberto Gorrieri:
Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings. Lecture Notes in Computer Science 5688, Springer 2009, ISBN 978-3-642-03844-0 [contents] - [e11]Alessandro Aldini
, Gilles Barthe
, Roberto Gorrieri
:
Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures. Lecture Notes in Computer Science 5705, Springer 2009, ISBN 978-3-642-03828-0 [contents] - 2008
- [j44]Roberto Gorrieri
, Fabio Martinelli, Marinella Petrocchi:
Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks. J. Autom. Reason. 41(3-4): 325-364 (2008) - [c80]Roberto Gorrieri
:
Ugo Montanari and Concurrency Theory. Concurrency, Graphs and Models 2008: 403-408 - [c79]Simone Frau, Roberto Gorrieri, Carlo Ferigato:
Petri Net Security Checker: Structural Non-interference at Work. Formal Aspects in Security and Trust 2008: 210-225 - [c78]Cristian Versari, Roberto Gorrieri:
pi@: A pi-Based Process Calculus for the Implementation of Compartmentalised Bio-inspired Calculi. SFM 2008: 449-506 - [c77]Roberto Gorrieri
, Fabio Martinelli, Ilaria Matteucci
:
Towards Information Flow Properties for Distributed Systems. VODCA@FOSAD 2008: 65-84 - 2007
- [j43]Roberto Gorrieri:
Obituary, Nadia Busi (1968-2007). Bull. EATCS 93: 18-19 (2007) - [c76]Cristian Versari, Nadia Busi, Roberto Gorrieri:
On the Expressive Power of Global and Local Priority in Process Calculi. CONCUR 2007: 241-255 - [e10]Alessandro Aldini
, Roberto Gorrieri
:
Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures. Lecture Notes in Computer Science 4677, Springer 2007, ISBN 978-3-540-74809-0 [contents] - 2006
- [j42]Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
Supporting Secure Coordination in SecSpaces. Fundam. Informaticae 73(4): 479-506 (2006) - [j41]Nadia Busi, Roberto Gorrieri
:
On the Computational Power of Brane Calculi. Trans. Comp. Sys. Biology 6: 16-43 (2006) - [c75]Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro:
Choreography and Orchestration Conformance for System Design. COORDINATION 2006: 63-81 - [c74]Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro:
: A Calculus for Service Oriented Computing. ICSOC 2006: 327-338 - [e9]Roberto Gorrieri
, Heike Wehrheim:
Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings. Lecture Notes in Computer Science 4037, Springer 2006, ISBN 3-540-34893-X [contents] - 2005
- [j40]Roberto Gorrieri, Fabio Martinelli:
Theoretical foundations of security analysis and design II. Theor. Comput. Sci. 340(1): 1-2 (2005) - [j39]Mario Bravetti, Roberto Gorrieri
, Roberto Lucchi, Gianluigi Zavattaro:
Quantitative information in the tuple space coordination model. Theor. Comput. Sci. 346(1): 28-57 (2005) - [c73]Roberto Gorrieri, Claudio Guidi, Roberto Lucchi:
Reasoning About Interaction Patterns in Choreography. EPEW/WS-FM 2005: 333-348 - [c72]Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro:
Choreography and Orchestration: A Synergic Approach for System Design. ICSOC 2005: 228-240 - [c71]Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro:
Towards a formal framework for Choreography. WETICE 2005: 107-112 - [c70]Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi:
A Formalization of Credit and Responsibility Within the GNDC Schema. STM 2005: 61-78 - [e8]Nadia Busi, Roberto Gorrieri, Fabio Martinelli:
Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, WISP@ICATPN 2004, Bologna, Italy, June 26, 2004. Electronic Notes in Theoretical Computer Science 121, Elsevier 2005 [contents] - [e7]Alessandro Aldini
, Roberto Gorrieri, Fabio Martinelli:
Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures. Lecture Notes in Computer Science 3655, Springer 2005, ISBN 3-540-28955-0 [contents] - 2004
- [j38]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): 168-186 (2004) - [j37]Alessandro Aldini
, Mario Bravetti, Roberto Gorrieri
:
A process-algebraic approach for the analysis of probabilistic noninterference. J. Comput. Secur. 12(2): 191-245 (2004) - [j36]Roberto Gorrieri
, Fabio Martinelli:
A simple framework for real-time cryptographic protocol analysis with compositional proof rules. Sci. Comput. Program. 50(1-3): 23-49 (2004) - [c69]Nadia Busi, Roberto Gorrieri
:
Positive Non-interference in Elementary and Trace Nets. ICATPN 2004: 1-16 - [c68]Mario Bravetti, Roberto Gorrieri
, Roberto Lucchi, Gianluigi Zavattaro:
Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. COORDINATION 2004: 55-70 - [c67]Angelo Troina, Alessandro Aldini
, Roberto Gorrieri
:
Towards a Formal Treatment of Secrecy Against Computational Adversaries. Global Computing 2004: 77-92 - [c66]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: 1-12 - [c65]Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri:
Web Services for E-commerce: guaranteeing security access and quality of service. SAC 2004: 800-806 - [c64]Vincenzo Ciaschini, Roberto Gorrieri:
Contrasting Malicious Java Applets by Modifying the Java Virtual Machine. SEC 2004: 47-64 - [c63]Nadia Busi, Roberto Gorrieri, Fabio Martinelli:
Preface. WISP@ICATPN 2004: 1-2 - [c62]Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda. SecCo 2004: 39-53 - [e6]Riccardo Focardi, Roberto Gorrieri:
Foundations of Security Analysis and Design II, FOSAD 2001/2002 Tutorial Lectures. Lecture Notes in Computer Science 2946, Springer 2004, ISBN 3-540-20955-7 [contents] - [e5]Mario Bravetti, Roberto Gorrieri:
Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, MEFISTO 2003, Pisa, Italy, November 3-5, 2003. Electronic Notes in Theoretical Computer Science 99, Elsevier 2004 [contents] - 2003
- [j35]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): 1027-1042 (2003) - [j34]Riccardo Focardi
, Roberto Gorrieri, Fabio Martinelli:
Real-time information flow analysis. IEEE J. Sel. Areas Commun. 21(1): 20-35 (2003) - [j33]Riccardo Focardi
, Roberto Gorrieri, Fabio Martinelli:
A comparison of three authentication properties. Theor. Comput. Sci. 291(3): 285-327 (2003) - [c61]Nadia Busi, Roberto Gorrieri
:
A Survey on Non-interference with Petri Nets. Lectures on Concurrency and Petri Nets 2003: 328-344 - [c60]Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli:
Compositional Verification of Integrity for Digital Stream Signature Protocols. ACSD 2003: 142-149 - [c59]Roberto Gorrieri, Enrico Locatelli, Fabio Martinelli:
A Simple Language for Real-Time Cryptographic Protocol Analysis. ESOP 2003: 114-128 - [c58]Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli:
Formal Anaylsis of Some Timed Security Properties in Wireless Protocols. FMOODS 2003: 139-154 - [c57]Alessandro Aldini
, Roberto Gorrieri:
A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism. Global Computing 2003: 203-228 - [c56]Roberto Gorrieri, Fabio Martinelli:
Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols. MFCS 2003: 46-67 - [c55]Mario Bravetti, Roberto Gorrieri:
Preface: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time. MEFISTO 2003: 1-2 - [c54]Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
Combining Partitions in SecSpaces. MEFISTO 2003: 31-47 - [c53]Mario Bravetti, Roberto Gorrieri, Roberto Lucchi:
A formal approach for checking security properties in SecSpaces. SecCo 2003: 54-70 - [c52]Angelo Troina, Alessandro Aldini
, Roberto Gorrieri
:
Approximating Imperfect Cryptography in a Formal Model. MEFISTO 2003: 183-203 - 2002
- [j32]Roberto Gorrieri, Ulrich Herzog, Jane Hillston:
Unified specification and performance evaluation using stochastic process algebras. Perform. Evaluation 50(2/3): 79-82 (2002) - [j31]Mario Bravetti, Roberto Gorrieri:
The theory of interactive generalized semi-Markov processes. Theor. Comput. Sci. 282(1): 5-32 (2002) - [j30]Roberto Gorrieri:
Editorial. Theor. Comput. Sci. 283(2): 269-270 (2002) - [j29]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): 465-520 (2002) - [c51]Alessandro Aldini
, Mario Bravetti, Alessandra Di Pierro
, Roberto Gorrieri
, Chris Hankin
, Herbert Wiklicky:
Two Formal Approaches for Approximating Noninterference Properties. FOSAD 2002: 1-43 - [c50]Riccardo Focardi, Roberto Gorrieri
, Fabio Martinelli:
Classification of Security Properties - Part II: Network Security. FOSAD 2002: 139-185 - [c49]Alessandro Aldini
, Roberto Gorrieri:
Security Analysis of a Probabilistic Non-repudiation Protocol. PAPM-PROBMIV 2002: 17-36 - [c48]Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro:
SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents. FOCLASA 2002: 310-327 - 2001
- [j28]Arend Rensink, Roberto Gorrieri:
Vertical Implementation. Inf. Comput. 170(1): 95-133 (2001) - [j27]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): 691-694 (2001) - [j26]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): 1-42 (2001) - [c47]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
Temporary Data in Shared Dataspace Coordination Languages. FoSSaCS 2001: 121-136 - [c46]Antonio Durante, Riccardo Focardi, Roberto Gorrieri:
CVS at Work: A Report on New Failures upon Some Cryptographic Protocols. MMM-ACNS 2001: 287-299 - [c45]Chiara Bodei
, Pierpaolo Degano, Riccardo Focardi
, Roberto Gorrieri, Fabio Martinelli:
Techniques for Security Checking: Non-Interference vs Control Flow Analysis. TOSCA 2001: 211-228 - [c44]Riccardo Focardi
, Roberto Gorrieri, Ruggero Lanotte
, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini
, Enrico Tronci
:
Formal Models of Timing Attacks on Web Privacy. TOSCA 2001: 229-243 - [p2]Roberto Gorrieri, Arend Rensink:
Action Refinement. Handbook of Process Algebra 2001: 1047-1147 - [p1]Nadia Busi, Paolo Ciancarini, Roberto Gorrieri, Gianluigi Zavattaro:
Coordination Models: A Guided Tour. Coordination of Internet Agents: Models, Technologies, and Applications 2001: 6-24 - [e4]Riccardo Focardi, Roberto Gorrieri:
Foundations of Security Analysis and Design, Tutorial Lectures [revised versions of lectures given during the IFIP WG 1.7 International School on Foundations of Security Analysis and Design, FOSAD 2000, Bertinoro, Italy, September 2000]. Lecture Notes in Computer Science 2171, Springer 2001, ISBN 3-540-42896-8 [contents] - 2000
- [j25]Maria Felicia Florio, Roberto Gorrieri, Gianluigi Marchetti:
Coping with denial of service due to malicious Java applets. Comput. Commun. 23(17): 1645-1654 (2000) - [j24]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
On the Expressiveness of Linda Coordination Primitives. Inf. Comput. 156(1-2): 90-121 (2000) - [j23]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
Comparing three semantics for Linda-like languages. Theor. Comput. Sci. 240(1): 49-90 (2000) - [j22]Antonio Durante, Riccardo Focardi
, Roberto Gorrieri:
A compiler for analyzing cryptographic protocols using noninterference. ACM Trans. Softw. Eng. Methodol. 9(4): 488-528 (2000) - [c43]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
Process Calculi for Coordination: From Linda to JavaSpaces. AMAST 2000: 198-212 - [c42]Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli:
Message Authentication through Non Interference. AMAST 2000: 258-272 - [c41]Riccardo Focardi
, Roberto Gorrieri, Fabio Martinelli:
Information Flow Analysis in a Discrete-Time Process Algebra. CSFW 2000: 170-184 - [c40]Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro:
On the Semantics of JavaSpaces. FMOODS 2000: 3-19 - [c39]Riccardo Focardi
, Roberto Gorrieri:
Classification of Security Properties (Part I: Information Flow). FOSAD 2000: 331-396 - [c38]Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli:
Non Interference for the Analysis of Cryptographic Protocols. ICALP 2000: 354-372 - [c37]Roberto Gorrieri:
Introduction: International Workshop on Process Algebra and Performance Modelling. ICALP Satellite Workshops 2000: 485-486 - [c36]Mario Bravetti, Roberto Gorrieri:
A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors. ICALP 2000: 744-755 - [e3]José D. P. Rolim, Andrei Z. Broder, Andrea Corradini, Roberto Gorrieri, Reiko Heckel, Juraj Hromkovic, Ugo Vaccaro, J. B. Wells:
ICALP Workshops 2000, Proceedings of the Satelite Workshops of the 27th International Colloquium on Automata, Languages and Programming, Geneva, Switzerland, July 9-15, 2000. Carleton Scientific, Waterloo, Ontario, Canada 2000, ISBN 1-894145-07-0 [contents]
1990 – 1999
- 1999
- [j21]Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela, Peter Wegner:
Computing Surveys' Electronic Symposium on the Theory of Computation. ACM Comput. Surv. 31(3): 223-226 (1999) - [c35]Antonio Durante, Riccardo Focardi
, Roberto Gorrieri:
CVS: A Compiler for the Analysis of Cryptographic Protocols. CSFW 1999: 203-212 - [c34]Riccardo Focardi
, Roberto Gorrieri, Fabio Martinelli:
Secrecy in Security Protocols as Non Interference. Workshop on Secure Architectures and Information Flow 1999: 101-112 - [c33]Mario Bravetti