×
Author ID: segala.roberto Recent zbMATH articles by "Segala, Roberto"
Published as: Segala, Roberto

Publications by Year

Citations contained in zbMATH Open

36 Publications have been cited 632 times in 419 Documents Cited by Year
Probabilistic simulations for probabilistic processes. Zbl 0839.68067
Segala, Roberto; Lynch, Nancy
137
1995
Automatic verification of real-time systems with discrete probability distributions. Zbl 1050.68094
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto; Sproston, Jeremy
55
2002
Hybrid I/O automata. Zbl 1069.68067
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
54
2003
Decision algorithms for probabilistic bisimulation. Zbl 1012.68127
Cattani, Stefano; Segala, Roberto
33
2002
Logical characterizations of bisimulations for discrete probabilistic systems. Zbl 1195.68072
Parma, Augusto; Segala, Roberto
26
2007
Probabilistic logical characterization. Zbl 1210.68072
Hermanns, Holger; Parma, Augusto; Segala, Roberto; Wachter, Björn; Zhang, Lijun
24
2011
Axiomatizations for probabilistic bisimulation. Zbl 0986.68073
Bandini, Emanuele; Segala, Roberto
24
2001
Formal verification of timed properties of randomized distributed algorithms. Zbl 1374.68296
Pogosyants, Anna; Segala, Roberto
23
1995
Liveness in timed and untimed systems. Zbl 0917.68152
Segala, Roberto; Gawlick, Rainer; Søgaard-Andersen, Jørgen; Lynch, Nancy
18
1998
Symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation. Zbl 0960.68109
de Alfaro, Luca; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Segala, Roberto
17
2000
Probability and nondeterminism in operational models of concurrency. Zbl 1151.68553
Segala, Roberto
17
2006
The theory of timed I/O automata. 2nd ed. Zbl 1226.68004
Kaynar, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
16
2011
Observing branching structure through probabilistic contexts. Zbl 1156.68020
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
16
2007
Time-Bounded Task-PIOAs: A framework for analyzing security protocols. Zbl 1155.68326
Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto
16
2007
The theory of timed I/O automata. Zbl 1250.68005
Kaynar, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
14
2010
Analyzing security protocols using time-bounded task-PIOAs. Zbl 1161.93320
Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto
14
2008
Stochastic transition systems for continuous state spaces and non-determinism. Zbl 1118.68568
Cattani, Stefano; Segala, Roberto; Kwiatkowska, Marta; Norman, Gethin
13
2005
Testing probabilistic automata. Zbl 1514.68112
Segala, Roberto
13
1996
A process algebraic view of input/output automata. Zbl 0874.68209
De Nicola, Rocco; Segala, Roberto
11
1995
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study. Zbl 1448.68156
Pogosyants, Anna; Segala, Roberto; Lynch, Nancy
11
2000
Verifying quantitative properties of continuous probabilistic timed automata. Zbl 0999.68125
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto; Sproston, Jeremy
10
2000
Switched PIOA: parallel composition via distributed scheduling. Zbl 1118.68038
Cheung, Ling; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
10
2006
Automated verification of a randomized distributed consensus protocol using cadence SMV and PRISM. Zbl 0991.68503
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto
8
2001
Quiescence, fairness, testing, and the notion of implementation. Zbl 0889.68057
Segala, Roberto
8
1997
Compositionality for probabilistic automata. Zbl 1274.68161
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
7
2003
Proving time bounds for randomized distributed algorithms. Zbl 1373.68448
Lynch, Nancy; Saias, Isaac; Segala, Roberto
7
1994
Task-structured probabilistic I/O automata. Zbl 1390.68382
Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto
6
2018
Dynamic load balancing with group communication. Zbl 1140.68070
Dolev, Shlomi; Segala, Roberto; Shvartsman, Alexander
5
2006
Liveness in timed and untimed systems. Zbl 1418.68139
Gawlick, Rainer; Segala, Roberto; Søgaard-Andersen, Jørgen; Lynch, Nancy
4
1994
Hybrid I/O automata revisited. Zbl 0991.93006
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
3
2002
Switched probabilistic I/O automata. Zbl 1109.68053
Cheung, Ling; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
3
2005
A computable and compositional semantics for hybrid automata. Zbl 07300859
Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Živanović Gonzalez, Sanja
3
2020
A quantitative doxastic logic for probabilistic processes and applications to information-hiding. Zbl 1186.68325
Kramer, Simon; Palamidessi, Catuscia; Segala, Roberto; Turrini, Andrea; Braun, Christelle
2
2009
Random measurable selections. Zbl 1407.68255
Goubault-Larrecq, Jean; Segala, Roberto
2
2014
Verification of randomized distributed algorithms. Zbl 0990.68640
Segala, Roberto
1
2001
Modelling implicit communication in multi-agent systems with hybrid input/output automata. Zbl 1459.68214
Capiluppi, Marta; Segala, Roberto
1
2012
A computable and compositional semantics for hybrid automata. Zbl 07300859
Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Živanović Gonzalez, Sanja
3
2020
Task-structured probabilistic I/O automata. Zbl 1390.68382
Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto
6
2018
Random measurable selections. Zbl 1407.68255
Goubault-Larrecq, Jean; Segala, Roberto
2
2014
Modelling implicit communication in multi-agent systems with hybrid input/output automata. Zbl 1459.68214
Capiluppi, Marta; Segala, Roberto
1
2012
Probabilistic logical characterization. Zbl 1210.68072
Hermanns, Holger; Parma, Augusto; Segala, Roberto; Wachter, Björn; Zhang, Lijun
24
2011
The theory of timed I/O automata. 2nd ed. Zbl 1226.68004
Kaynar, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
16
2011
The theory of timed I/O automata. Zbl 1250.68005
Kaynar, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
14
2010
A quantitative doxastic logic for probabilistic processes and applications to information-hiding. Zbl 1186.68325
Kramer, Simon; Palamidessi, Catuscia; Segala, Roberto; Turrini, Andrea; Braun, Christelle
2
2009
Analyzing security protocols using time-bounded task-PIOAs. Zbl 1161.93320
Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto
14
2008
Logical characterizations of bisimulations for discrete probabilistic systems. Zbl 1195.68072
Parma, Augusto; Segala, Roberto
26
2007
Observing branching structure through probabilistic contexts. Zbl 1156.68020
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
16
2007
Time-Bounded Task-PIOAs: A framework for analyzing security protocols. Zbl 1155.68326
Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto
16
2007
Probability and nondeterminism in operational models of concurrency. Zbl 1151.68553
Segala, Roberto
17
2006
Switched PIOA: parallel composition via distributed scheduling. Zbl 1118.68038
Cheung, Ling; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
10
2006
Dynamic load balancing with group communication. Zbl 1140.68070
Dolev, Shlomi; Segala, Roberto; Shvartsman, Alexander
5
2006
Stochastic transition systems for continuous state spaces and non-determinism. Zbl 1118.68568
Cattani, Stefano; Segala, Roberto; Kwiatkowska, Marta; Norman, Gethin
13
2005
Switched probabilistic I/O automata. Zbl 1109.68053
Cheung, Ling; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
3
2005
Hybrid I/O automata. Zbl 1069.68067
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
54
2003
Compositionality for probabilistic automata. Zbl 1274.68161
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
7
2003
Automatic verification of real-time systems with discrete probability distributions. Zbl 1050.68094
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto; Sproston, Jeremy
55
2002
Decision algorithms for probabilistic bisimulation. Zbl 1012.68127
Cattani, Stefano; Segala, Roberto
33
2002
Hybrid I/O automata revisited. Zbl 0991.93006
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
3
2002
Axiomatizations for probabilistic bisimulation. Zbl 0986.68073
Bandini, Emanuele; Segala, Roberto
24
2001
Automated verification of a randomized distributed consensus protocol using cadence SMV and PRISM. Zbl 0991.68503
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto
8
2001
Verification of randomized distributed algorithms. Zbl 0990.68640
Segala, Roberto
1
2001
Symbolic model checking of probabilistic processes using MTBDDs and the Kronecker representation. Zbl 0960.68109
de Alfaro, Luca; Kwiatkowska, Marta; Norman, Gethin; Parker, David; Segala, Roberto
17
2000
Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study. Zbl 1448.68156
Pogosyants, Anna; Segala, Roberto; Lynch, Nancy
11
2000
Verifying quantitative properties of continuous probabilistic timed automata. Zbl 0999.68125
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto; Sproston, Jeremy
10
2000
Liveness in timed and untimed systems. Zbl 0917.68152
Segala, Roberto; Gawlick, Rainer; Søgaard-Andersen, Jørgen; Lynch, Nancy
18
1998
Quiescence, fairness, testing, and the notion of implementation. Zbl 0889.68057
Segala, Roberto
8
1997
Testing probabilistic automata. Zbl 1514.68112
Segala, Roberto
13
1996
Probabilistic simulations for probabilistic processes. Zbl 0839.68067
Segala, Roberto; Lynch, Nancy
137
1995
Formal verification of timed properties of randomized distributed algorithms. Zbl 1374.68296
Pogosyants, Anna; Segala, Roberto
23
1995
A process algebraic view of input/output automata. Zbl 0874.68209
De Nicola, Rocco; Segala, Roberto
11
1995
Proving time bounds for randomized distributed algorithms. Zbl 1373.68448
Lynch, Nancy; Saias, Isaac; Segala, Roberto
7
1994
Liveness in timed and untimed systems. Zbl 1418.68139
Gawlick, Rainer; Segala, Roberto; Søgaard-Andersen, Jørgen; Lynch, Nancy
4
1994
all top 5

Cited by 643 Authors

20 Kwiatkowska, Marta Z.
17 Lynch, Nancy Ann
16 Norman, Gethin
16 Tini, Simone
15 Hermanns, Holger
15 Katoen, Joost-Pieter
13 Deng, Yuxin
13 Segala, Roberto
12 Larsen, Kim Guldstrand
12 Sproston, Jeremy
10 D’Argenio, Pedro Rubén
10 Palamidessi, Catuscia
10 Zhang, Lijun
9 Baier, Christel
9 Legay, Axel
8 Abate, Alessandro
8 Castiglioni, Valentina
8 Chatterjee, Krishnendu
7 Delahaye, Benoît
7 Gebler, Daniel E.
7 Sokolova, Ana
6 Bacci, Giorgio
6 Bernardo, Marco
6 Bonchi, Filippo
6 De Nicola, Rocco
6 Lanotte, Ruggero
6 Loreti, Michele
6 Reniers, Michel Adriaan
6 Silva, Alexandra
6 Vaandrager, Frits W.
6 van Glabbeek, Robert Jan
5 Bacci, Giovanni
5 Chatzikokolakis, Konstantinos
5 Cuijpers, Pieter J. L.
5 Hennessy, Matthew C. B.
5 Mardare, Radu
5 Schwarzmann, Alexander A.
4 Andova, Suzana
4 Bertrand, Nathalie
4 Crafa, Silvia
4 de Vink, Erik P.
4 Georgievska, Sonja
4 Grosu, Radu
4 Jovanović, Aleksandra Ž.
4 Küsters, Ralf
4 Lavaei, Abolfazl
4 Merro, Massimo
4 Mitra, Sayan
4 Morgan, Carroll C.
4 Plotkin, Gordon D.
4 Ranzato, Francesco
4 Schmid, Ulrich
4 Song, Lei
4 Soudjani, Sadegh
4 Turrini, Andrea
4 van Breugel, Franck
4 Wąsowski, Andrzej
4 Zamani, Majid
3 Bergstra, Jan A.
3 Brengos, Tomasz
3 Bresolin, Davide
3 Cao, Yongzhi
3 Cheung, Ling
3 Chmelík, Martin
3 Cleaveland, Rance
3 Desharnais, Josée
3 Doyen, Laurent
3 Eisentraut, Christian
3 Ferrer Fioriti, Luis María
3 Giese, Holger
3 Godskesen, Jens Chr.
3 Hartmanns, Arnd
3 Jansen, David N.
3 Kaynar, Dilsun Kırlı
3 Konnov, Igor V.
3 Konur, Savas
3 Maximova, Maria
3 McIver, Annabelle K.
3 Miculan, Marino
3 Nunez, Manuel A.
3 Panangaden, Prakash
3 Peressotti, Marco
3 Qu, Hongyang
3 Rausch, Daniel
3 Russell, Alexander C.
3 Schneider, Sven
3 Schröder, Lutz
3 Siegle, Markus
3 Smolka, Scott A.
3 Stoelinga, Mariëlle
3 Tang, Qiyi
3 Wang, Hanpin
3 Widder, Josef
3 Wu, Hengyang
3 Zhu, Huibiao
2 Abadi, Martín
2 Alur, Rajeev
2 André, Étienne
2 Andrés, Miguel E.
2 Attie, Paul C.
...and 543 more Authors
all top 5

Cited in 56 Serials

55 Theoretical Computer Science
38 Information and Computation
15 Logical Methods in Computer Science
14 Formal Aspects of Computing
13 Distributed Computing
11 The Journal of Logic and Algebraic Programming
11 Journal of Logical and Algebraic Methods in Programming
10 Formal Methods in System Design
9 Information Processing Letters
7 Journal of Computer and System Sciences
7 Nonlinear Analysis. Hybrid Systems
5 Acta Informatica
4 Automatica
4 Journal of Cryptology
3 MSCS. Mathematical Structures in Computer Science
3 Discrete Event Dynamic Systems
2 International Journal of Control
2 Fuzzy Sets and Systems
2 Journal of Automated Reasoning
2 Journal of Parallel and Distributed Computing
2 Mathematical Problems in Engineering
2 European Journal of Control
2 Theory of Computing Systems
2 Journal of the ACM
2 Sibirskie Èlektronnye Matematicheskie Izvestiya
2 Frontiers of Computer Science
1 ACM Computing Surveys
1 Artificial Intelligence
1 International Journal of General Systems
1 Journal of Computational Physics
1 Information Sciences
1 Programming and Computer Software
1 SIAM Journal on Control and Optimization
1 Science of Computer Programming
1 Annals of Pure and Applied Logic
1 Journal of Computer Science and Technology
1 International Journal of Approximate Reasoning
1 Real-Time Systems
1 International Journal of Foundations of Computer Science
1 International Journal of Robust and Nonlinear Control
1 Cybernetics and Systems Analysis
1 Applied Categorical Structures
1 Journal of Mathematical Sciences (New York)
1 The Journal of Artificial Intelligence Research (JAIR)
1 Mathematical Methods of Operations Research
1 Wuhan University Journal of Natural Sciences (WUJNS)
1 Communications in Nonlinear Science and Numerical Simulation
1 Fundamenta Informaticae
1 Journal of Applied Mathematics
1 ACM Transactions on Computational Logic
1 Journal of Shanghai Jiaotong University (Science)
1 Algorithms
1 Science China. Information Sciences
1 RAIRO. Theoretical Informatics and Applications
1 Computer Science Review
1 Journal of Membrane Computing

Citations by Year