×

zbMATH — the first resource for mathematics

Segala, Roberto

Compute Distance To:
Author ID: segala.roberto Recent zbMATH articles by "Segala, Roberto"
Published as: Segala, Roberto
Documents Indexed: 40 Publications since 1994, including 3 Books

Publications by Year

Citations contained in zbMATH Open

33 Publications have been cited 483 times in 314 Documents Cited by Year
Probabilistic simulations for probabilistic processes. Zbl 0839.68067
Segala, Roberto; Lynch, Nancy
116
1995
Automatic verification of real-time systems with discrete probability distributions. Zbl 1050.68094
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto; Sproston, Jeremy
40
2002
Hybrid I/O automata. Zbl 1069.68067
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
39
2003
Decision algorithms for probabilistic bisimulation. Zbl 1012.68127
Cattani, Stefano; Segala, Roberto
29
2002
Logical characterizations of bisimulations for discrete probabilistic systems. Zbl 1195.68072
Parma, Augusto; Segala, Roberto
24
2007
Axiomatizations for probabilistic bisimulation. Zbl 0986.68073
Bandini, Emanuele; Segala, Roberto
19
2001
Probabilistic logical characterization. Zbl 1210.68072
Hermanns, Holger; Parma, Augusto; Segala, Roberto; Wachter, Björn; Zhang, Lijun
18
2011
Formal verification of timed properties of randomized distributed algorithms. Zbl 1374.68296
Pogosyants, Anna; Segala, Roberto
17
1995
The theory of timed I/O automata. 2nd ed. Zbl 1226.68004
Kaynar, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
16
2011
Probability and nondeterminism in operational models of concurrency. Zbl 1151.68553
Segala, Roberto
15
2006
Observing branching structure through probabilistic contexts. Zbl 1156.68020
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
14
2007
Liveness in timed and untimed systems. Zbl 0917.68152
Segala, Roberto; Gawlick, Rainer; Søgaard-Andersen, Jørgen; Lynch, Nancy
14
1998
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
13
2008
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
13
2007
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
13
2000
Stochastic transition systems for continuous state spaces and non-determinism. Zbl 1118.68568
Cattani, Stefano; Segala, Roberto; Kwiatkowska, Marta; Norman, Gethin
12
2005
Switched PIOA: parallel composition via distributed scheduling. Zbl 1118.68038
Cheung, Ling; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
10
2006
A process algebraic view of input/output automata. Zbl 0874.68209
De Nicola, Rocco; Segala, Roberto
8
1995
Verifying quantitative properties of continuous probabilistic timed automata. Zbl 0999.68125
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto; Sproston, Jeremy
7
2000
The theory of timed I/O automata. Zbl 1250.68005
Kaynar, Dilsun K.; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
7
2010
Quiescence, fairness, testing, and the notion of implementation. Zbl 0889.68057
Segala, Roberto
6
1997
Proving time bounds for randomized distributed algorithms. Zbl 1373.68448
Lynch, Nancy; Saias, Isaac; Segala, Roberto
6
1994
Dynamic load balancing with group communication. Zbl 1140.68070
Dolev, Shlomi; Segala, Roberto; Shvartsman, Alexander
4
2006
Compositionality for probabilistic automata. Zbl 1274.68161
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
4
2003
Automated verification of a randomized distributed consensus protocol using cadence SMV and PRISM. Zbl 0991.68503
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto
4
2001
Hybrid I/O automata revisited. Zbl 0991.93006
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
3
2002
Task-structured probabilistic I/O automata. Zbl 1390.68382
Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto
3
2018
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
Switched probabilistic I/O automata. Zbl 1109.68053
Cheung, Ling; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
2
2005
Random measurable selections. Zbl 1407.68255
Goubault-Larrecq, Jean; Segala, Roberto
2
2014
Liveness in timed and untimed systems. Zbl 1418.68139
Gawlick, Rainer; Segala, Roberto; Søgaard-Andersen, Jørgen; Lynch, Nancy
1
1994
A computable and compositional semantics for hybrid automata. Zbl 07300859
Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Živanović Gonzalez, Sanja
1
2020
Verification of randomized distributed algorithms. Zbl 0990.68640
Segala, Roberto
1
2001
A computable and compositional semantics for hybrid automata. Zbl 07300859
Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Živanović Gonzalez, Sanja
1
2020
Task-structured probabilistic I/O automata. Zbl 1390.68382
Canetti, Ran; Cheung, Ling; Kaynar, Dilsun; Liskov, Moses; Lynch, Nancy; Pereira, Olivier; Segala, Roberto
3
2018
Random measurable selections. Zbl 1407.68255
Goubault-Larrecq, Jean; Segala, Roberto
2
2014
Probabilistic logical characterization. Zbl 1210.68072
Hermanns, Holger; Parma, Augusto; Segala, Roberto; Wachter, Björn; Zhang, Lijun
18
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
7
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
13
2008
Logical characterizations of bisimulations for discrete probabilistic systems. Zbl 1195.68072
Parma, Augusto; Segala, Roberto
24
2007
Observing branching structure through probabilistic contexts. Zbl 1156.68020
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
14
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
13
2007
Probability and nondeterminism in operational models of concurrency. Zbl 1151.68553
Segala, Roberto
15
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
4
2006
Stochastic transition systems for continuous state spaces and non-determinism. Zbl 1118.68568
Cattani, Stefano; Segala, Roberto; Kwiatkowska, Marta; Norman, Gethin
12
2005
Switched probabilistic I/O automata. Zbl 1109.68053
Cheung, Ling; Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
2
2005
Hybrid I/O automata. Zbl 1069.68067
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
39
2003
Compositionality for probabilistic automata. Zbl 1274.68161
Lynch, Nancy; Segala, Roberto; Vaandrager, Frits
4
2003
Automatic verification of real-time systems with discrete probability distributions. Zbl 1050.68094
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto; Sproston, Jeremy
40
2002
Decision algorithms for probabilistic bisimulation. Zbl 1012.68127
Cattani, Stefano; Segala, Roberto
29
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
19
2001
Automated verification of a randomized distributed consensus protocol using cadence SMV and PRISM. Zbl 0991.68503
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto
4
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
13
2000
Verifying quantitative properties of continuous probabilistic timed automata. Zbl 0999.68125
Kwiatkowska, Marta; Norman, Gethin; Segala, Roberto; Sproston, Jeremy
7
2000
Liveness in timed and untimed systems. Zbl 0917.68152
Segala, Roberto; Gawlick, Rainer; Søgaard-Andersen, Jørgen; Lynch, Nancy
14
1998
Quiescence, fairness, testing, and the notion of implementation. Zbl 0889.68057
Segala, Roberto
6
1997
Probabilistic simulations for probabilistic processes. Zbl 0839.68067
Segala, Roberto; Lynch, Nancy
116
1995
Formal verification of timed properties of randomized distributed algorithms. Zbl 1374.68296
Pogosyants, Anna; Segala, Roberto
17
1995
A process algebraic view of input/output automata. Zbl 0874.68209
De Nicola, Rocco; Segala, Roberto
8
1995
Proving time bounds for randomized distributed algorithms. Zbl 1373.68448
Lynch, Nancy; Saias, Isaac; Segala, Roberto
6
1994
Liveness in timed and untimed systems. Zbl 1418.68139
Gawlick, Rainer; Segala, Roberto; Søgaard-Andersen, Jørgen; Lynch, Nancy
1
1994
all top 5

Cited by 517 Authors

16 Kwiatkowska, Marta Z.
15 Lynch, Nancy Ann
14 Norman, Gethin
12 Deng, Yuxin
12 Hermanns, Holger
12 Katoen, Joost-Pieter
12 Segala, Roberto
12 Tini, Simone
9 D’Argenio, Pedro Rubén
9 Larsen, Kim Guldstrand
9 Legay, Axel
9 Sproston, Jeremy
8 Palamidessi, Catuscia
7 Baier, Christel
7 Delahaye, Benoît
6 Abate, Alessandro
6 Gebler, Daniel E.
6 Zhang, Lijun
5 Castiglioni, Valentina
5 Reniers, Michel Adriaan
5 Schwarzmann, Alexander A.
5 Silva, Alexandra
5 Sokolova, Ana
5 Vaandrager, Frits W.
4 Andova, Suzana
4 Chatzikokolakis, Konstantinos
4 Crafa, Silvia
4 Cuijpers, Pieter J. L.
4 De Nicola, Rocco
4 Georgievska, Sonja
4 Grosu, Radu
4 Hennessy, Matthew C. B.
4 Küsters, Ralf
4 Lanotte, Ruggero
4 Mitra, Sayan
4 Plotkin, Gordon D.
4 Ranzato, Francesco
4 Turrini, Andrea
3 Bacci, Giorgio
3 Bacci, Giovanni
3 Bernardo, Marco
3 Bertrand, Nathalie
3 Bonchi, Filippo
3 Brengos, Tomasz
3 Cao, Yongzhi
3 Chatterjee, Krishnendu
3 Cheung, Ling
3 de Vink, Erik P.
3 Desharnais, Josée
3 Ferrer Fioriti, Luis María
3 Jansen, David N.
3 Kaynar, Dilsun Kırlı
3 Konur, Savas
3 Loreti, Michele
3 McIver, Annabelle K.
3 Merro, Massimo
3 Miculan, Marino
3 Morgan, Carroll C.
3 Panangaden, Prakash
3 Peressotti, Marco
3 Qu, Hongyang
3 Rausch, Daniel
3 Russell, Alexander C.
3 Schröder, Lutz
3 Siegle, Markus
3 Song, Lei
3 van Breugel, Franck
3 van Glabbeek, Robert Jan
3 Wang, Hanpin
3 Wąsowski, Andrzej
2 Abadi, Martín
2 André, Étienne
2 Backes, Michael
2 Bartocci, Ezio
2 Bergstra, Jan A.
2 Boiten, Eerke A.
2 Bonsangue, Marcello Maria
2 Bravetti, Mario
2 Bresolin, Davide
2 Canetti, Ran
2 Capiluppi, Marta
2 Cazorla, Diego
2 Chaput, Philippe
2 Chen, Weien
2 Cleaveland, Rance
2 Corradini, Flavio
2 Cuartero, Fernando
2 Danos, Vincent
2 Datta, Anupam
2 de Alfaro, Luca
2 de Francesco Albasini, Luisa
2 Dehnert, Christian
2 Derrick, John
2 Di Berardini, Maria Rita
2 Dorsch, Ulrich
2 Eisentraut, Christian
2 Entcheva, Emilia
2 Fan, Rui
2 Feng, Yuan
2 Forejt, Vojtěch
...and 417 more Authors
all top 5

Cited in 53 Serials

48 Theoretical Computer Science
34 Information and Computation
13 Formal Aspects of Computing
13 Distributed Computing
10 The Journal of Logic and Algebraic Programming
9 Formal Methods in System Design
8 Logical Methods in Computer Science
7 Information Processing Letters
7 Journal of Logical and Algebraic Methods in Programming
5 Acta Informatica
5 Journal of Computer and System Sciences
5 Nonlinear Analysis. Hybrid Systems
4 Journal of Cryptology
3 Automatica
3 MSCS. Mathematical Structures in Computer Science
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 Journal of the ACM
2 Sibirskie Èlektronnye Matematicheskie Izvestiya
2 Frontiers of Computer Science
1 ACM Computing Surveys
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 Real-Time Systems
1 International Journal of Foundations of Computer Science
1 Discrete Event Dynamic Systems
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 Theory of Computing Systems
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