Concepedia

Roberto Gorrieri

RG

60

Publications

2.7K

Citations

29

H-Index

1990

Active since

Affiliations

University of Bologna(Current)

Ca' Foscari University of Venice

Institute of Informatics and Telematics

University of Pisa

Roberto Gorrieri is an author at University of Bologna specializing in formal methods, engineering, and computer science.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationData SecurityInformation SecurityCryptographySoftware AnalysisVerificationProgram Analysis

Publications per year

1990–2016

60

Publications

60

A Classification of Security Properties for Process Algebras1

Riccardo Focardi, Roberto Gorrieri · Journal of Computer Security · 1995 · 308 citations

Engineering, Information Security, Semantic Domain +16

A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time

Marco Bernardo, Roberto Gorrieri · Theoretical Computer Science · 1998 · 285 citations

Engineering, Concurrent Programming, Concurrency Theory +8

The Compositional Security Checker: a tool for the verification of information flow security properties

Riccardo Focardi, Roberto Gorrieri · IEEE Transactions on Software Engineering · 1997 · 195 citations

Engineering, Information Security, Computer Security Model +19

The theory of interactive generalized semi-Markov processes

Mario Bravetti, Roberto Gorrieri · Theoretical Computer Science · 2002 · 93 citations

Process Calculus, Engineering, Markov Processes +5

Information flow analysis in a discrete-time process algebra

Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli · 2002 · 89 citations

Engineering, Verification, Computational Complexity +20

Rows per page

1–5 of 60