Modeling and verification of randomized distributed real-time systems

  title={Modeling and verification of randomized distributed real-time systems},
  author={Roberto Segala},
Highly Influential
This paper has highly influenced 94 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 833 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 504 extracted citations

Automated reliability estimation over partial systematic explorations

2013 35th International Conference on Software Engineering (ICSE) • 2013
View 18 Excerpts
Highly Influenced

Incremental Bisimulation Abstraction Refinement

2013 13th International Conference on Application of Concurrency to System Design • 2013
View 17 Excerpts
Highly Influenced

Partial Order Reduction for Probabilistic Branching Time

Electr. Notes Theor. Comput. Sci. • 2006
View 15 Excerpts
Highly Influenced

Formal Modeling and Analysis of Timed Systems

Lecture Notes in Computer Science • 2018
View 6 Excerpts
Highly Influenced

834 Citations

Citations per Year
Semantic Scholar estimates that this publication has 834 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…