Concepedia

Roberto Segala

RS

28

Publications

1.4K

Citations

18

H-Index

1994

Active since

Affiliations

University of Verona(Current)

Massachusetts Institute of Technology

University of Bologna

Radboud University Nijmegen

UCLouvain

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

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationVerificationAutomated ReasoningProbabilitySystems EngineeringSystem SoftwareSemantics

Publications per year

1994–2020

28

Publications

28

Automatic verification of real-time systems with discrete probability distributions

Marta Kwiatkowska, Gethin Norman, Roberto Segala et al. · Theoretical Computer Science · 2002 · 327 citations

Engineering, Probabilistic Verification, Verification +8

The Theory of Timed I/O Automata

Dilsun Kaynar, Nancy Lynch, Roberto Segala et al. · Synthesis lectures on computer science · 2006 · 181 citations

Timed I/O automata: a mathematical framework for modeling and analyzing real-time systems

Dilsun Kaynar, Nancy Lynch, Roberto Segala et al. · 2004 · 115 citations

Engineering, Tioa Framework, Formal Verification +16

Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study

Anna Pogosyants, Roberto Segala, Nancy Lynch · Distributed Computing · 2000 · 62 citations

Engineering, Verification, Formal Methods +6

Probabilistic Logical Characterization

Holger Hermanns, Augusto Parma, Roberto Segala et al. · Information and Computation · 2010 · 60 citations

Probabilistic Ontology, Probability Logic, Engineering +6

Rows per page

1–5 of 28