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 computable and compositional semantics for hybrid systems
2024-01-01 Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Živanović Gonzalez, Sanja
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
Automatic Verification of Real-Time Systems With Discrete Probability Distributions
2002-01-01 Kwiatkowska, M.; Normann, G.; Segala, Roberto; Sproston, J.
Dynamic Load Balancing with Group Communication
2006-01-01 Dolev, S; Segala, Roberto; Schvartsman, A.
Observing Branching Structure through Probabilistic Contexts
2007-01-01 Lynch, N; Segala, Roberto; Vaandrager, F.
Probabilistic Logical Characterization
2011-01-01 Hermanns, H.; Parma, Augusto; Segala, Roberto; Wachter, B; Zhang, L.
Selected papers from QEST 2010
2012-01-01 Ciardo, Gianfranco; Segala, Roberto
Switched PIOA: Parallel composition via distributed scheduling
2006-01-01 Cheung, L; Lynch, N; Segala, Roberto; Vaandrager, F.
Task-structured probabilistic I/O automata
2018-01-01 Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Comparison of Simulation Techniques and Algebraic Techniques for Verifying Concurrent Systems | 1-gen-1995 | Lynch, N.; Segala, Roberto | |
| A computable and compositional semantics for hybrid systems | 1-gen-2024 | Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Živanović Gonzalez, Sanja | |
| A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding | 1-gen-2009 | Kramer, S.; Palamidessi, C.; Segala, Roberto; Turrini, Andrea; Braun, C. | |
| Analyzing Security Protocols Using Time-Bounded Task-PIOAs | 1-gen-2008 | R., Canetti; L., Cheung; D., Kaynar; M., Liskov; N., Lynch; O., Pereira; Segala, Roberto | |
| Automatic Verification of Real-Time Systems With Discrete Probability Distributions | 1-gen-2002 | Kwiatkowska, M.; Normann, G.; Segala, Roberto; Sproston, J. | |
| Dynamic Load Balancing with Group Communication | 1-gen-2006 | Dolev, S; Segala, Roberto; Schvartsman, A. | |
| Observing Branching Structure through Probabilistic Contexts | 1-gen-2007 | Lynch, N; Segala, Roberto; Vaandrager, F. | |
| Probabilistic Logical Characterization | 1-gen-2011 | Hermanns, H.; Parma, Augusto; Segala, Roberto; Wachter, B; Zhang, L. | |
| Selected papers from QEST 2010 | 1-gen-2012 | Ciardo, Gianfranco; Segala, Roberto | |
| Switched PIOA: Parallel composition via distributed scheduling | 1-gen-2006 | Cheung, L; Lynch, N; Segala, Roberto; Vaandrager, F. | |
| Task-structured probabilistic I/O automata | 1-gen-2018 | Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto |