Concepedia

Riccardo Sisto

RS

42

Publications

1.2K

Citations

21

H-Index

1991

Active since

Affiliations

Polytechnic University of Turin(Current)

Institute of Electronics, Computer and Telecommunication Engineering

Turin Polytechnic University

National Research Council

Riccardo Sisto is an author at Polytechnic University of Turin specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationComputer EngineeringSystems EngineeringInformation SecurityData SecuritySoftware AnalysisFormal MethodsProgram Analysis

Publications per year

1991–2022

42

Publications

42

A deadlock detection tool for concurrent Java programs

Claudio Giovanni Demartini, Radu Iosif, Riccardo Sisto · Software Practice and Experience · 1999 · 134 citations

Engineering, Software Engineering, Concurrent System +19

N. Cascarano, Pierluigi Rolando, Fulvio Risso et al. · ACM SIGCOMM Computer Communication Review · 2010 · 94 citations

Engineering, String-searching Algorithm, Data Science +14

Formal verification of security protocol implementations: a survey

Matteo Avalle, A. Pironti, Riccardo Sisto · Formal Aspects of Computing · 2012 · 65 citations · Full text

A LOTOS extension for the performance analysis of distributed systems

Marco Ajmone Marsan, Andrea Bianco, L. Ciminiera et al. · IEEE/ACM Transactions on Networking · 1994 · 58 citations · Full text

Formal Correctness Verification, Cluster Computing, Computer Communication Protocols +31

Automatic testing equivalence verification of spi calculus specifications

Luca Durante, Riccardo Sisto, Adriano Valenzano · ACM Transactions on Software Engineering and Methodology · 2003 · 54 citations

Engineering, Information Security, Equivalence Verification +18

Rows per page

1–5 of 42