Roberto Gorrieri - Concepedia

Author

Roberto Gorrieri

Also Known As

GORRIERI, ROBERTO, Gianluigi Zavattaro, Goltz, U., Gorrieri, Roberto, Mario Bravetti, R Gorrieri, R. GORRIERI, R. Gorrieri, ROBERTO GORRIERI, Roberto Gorrieri

249

Publications

5.1K

Citations

H-Index

Concepts

All Affiliations

University of Bologna Ca' Foscari University of Venice Institute of Informatics and Telematics University of Pisa

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	23	35	2K
2	Language Studies	4	4	98
3	Business	3	3	203
4	Management	2	2	52
5	Public Health	1	1	19

Roberto Gorrieri

Publications

2.7K

Citations

H-Index

Page 1

	Year	Citations
A Classification of Security Properties for Process Algebras1 Riccardo Focardi, Roberto Gorrieri Journal of Computer Security EngineeringInformation SecuritySemantic DomainSoftware AnalysisFormal Verification	1995	308
A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time Marco Bernardo, Roberto Gorrieri Theoretical Computer Science EngineeringConcurrent ProgrammingConcurrency TheoryFormal MethodsSystems Engineering	1998	285
The Compositional Security Checker: a tool for the verification of information flow security properties Riccardo Focardi, Roberto Gorrieri IEEE Transactions on Software Engineering EngineeringInformation SecurityComputer Security ModelVerificationCompositional Security Checker	1997	195
The theory of interactive generalized semi-Markov processes Mario Bravetti, Roberto Gorrieri Theoretical Computer Science Process CalculusEngineeringMarkov ProcessesMarkov KernelProbability Theory	2002	93
Information flow analysis in a discrete-time process algebra Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli EngineeringVerificationComputational ComplexityModel CheckingSoftware Analysis	2002	89
On the Expressiveness of Linda Coordination Primitives Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro Information and Computation Programming Language TheoryEngineeringAutomated ReasoningFormal MethodsComputer Science	2000	88
A process algebraic view of Linda coordination primitives Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro Theoretical Computer Science Concurrency TheoryProcess ControlFormal MethodsCoordination ModelLinda Coordination Primitives	1998	77
Action Refinement Roberto Gorrieri, Arend Rensink Process AlgebrasProcess CalculusEngineeringRepresentation TheoryAction Refinement	1999	75
A process-algebraic approach for the analysis of probabilistic noninterference Alessandro Aldini, Mario Bravetti, Roberto Gorrieri Journal of Computer Security	2004	71
A theory of processes with durational actions Roberto Gorrieri, Marco Roccetti, Enrico Stancampiano Theoretical Computer Science Temporal DynamicMarkov ProcessesTemporal ComplexityProbability TheoryDurational Actions	1995	68

Page 1