SEGALA, Roberto
SEGALA, Roberto
DIPARTIMENTO DI INFORMATICA
A Comparison of Simulation Techniques and Algebraic Techniques for Verifying Concurrent Systems
1995-01-01 Lynch, N.; Segala, Roberto
A Compositional Trace-Based Semantics for Probabilistic Automata
1995-01-01 Segala, Roberto
A computable and compositional semantics for hybrid automata
2020-01-01 Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Zivanovic Gonzalez, Sanja
A computable and compositional semantics for hybrid systems
2024-01-01 Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Živanović Gonzalez, Sanja
A Framework for Modeling Timed Systems with Restricted Hybrid Automata
2003-01-01 D., Kaynar; N., Lynch; Segala, Roberto; F., Vaandrager
A New Definition of Multilevel Security
2000-01-01 R., Focardi; R., Gorrieri; Segala, Roberto
A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding
2009-01-01 Kramer, S.; Palamidessi, C.; Segala, Roberto; Turrini, Andrea; Braun, C.
Analyzing Security Protocols Using Time-Bounded Task-PIOAs
2008-01-01 R., Canetti; L., Cheung; D., Kaynar; M., Liskov; N., Lynch; O., Pereira; Segala, Roberto
Approximated Computationally Bounded Simulation Relations for Probabilistic Automata
2007-01-01 Segala, Roberto; Turrini, Andrea
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM
2001-01-01 M., Kwiatkowska; G., Norman; Segala, Roberto
Automatic Verification of Real-Time Systems With Discrete Probability Distributions
2002-01-01 Kwiatkowska, M.; Normann, G.; Segala, Roberto; Sproston, J.
Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes
2004-01-01 Parma, Augusto; Segala, Roberto
Axiomatizations for Probabilistic Bisimulation
2001-01-01 E., Bandini; Segala, Roberto
Coin Lemmas with Random Variables
2001-01-01 K., Folegati; Segala, Roberto
Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models
2005-01-01 Segala, Roberto; Turrini, A.
Compositional Verification of Randomized Distributed Algorithms
1997-01-01 Segala, Roberto
Compositionality for Probabilistic Automata
2003-01-01 N., Lynch; Segala, Roberto; F., Vaandrager
Conditional Automata: A Tool for Safe Removal of Negligible Events
2010-01-01 Segala, Roberto; Turrini, Andrea
Decision Algorithms for Probabilistic Bisimulation
2002-01-01 S., Cattani; Segala, Roberto
Distributed collision avoidance for autonomous vehicles: World automata representation
2012-01-01 N. E., Marinica; Capiluppi, Marta; J. A., Rogge; Segala, Roberto; R. K., Boel