Travelled to:1 × France
1 × Germany
1 × Greece
1 × Israel
1 × Portugal
1 × United Kingdom
Collaborated with:M.Z.Kwiatkowska G.Norman A.Parma E.Bandini S.Cattani R.Gawlick J.F.Søgaard-Andersen N.A.Lynch L.d.Alfaro D.Parker
Talks about:probabilist (3) system (3) bisimul (2) use (2) represent (1) distribut (1) consensus (1) character (1) stochast (1) protocol (1)
Person: Roberto Segala
DBLP: Segala:Roberto
Contributed to:
20072005
2001
2001
20001994Wrote 6 papers:
- FoSSaCS-2007-ParmaS #bisimulation #logic #probability
- Logical Characterizations of Bisimulations for Discrete Probabilistic Systems (AP, RS), pp. 287–301.
- FoSSaCS-2005-CattaniSKN #nondeterminism #probability
- Stochastic Transition Systems for Continuous State Spaces and Non-determinism (SC, RS, MZK, GN), pp. 125–139.
- CAV-2001-KwiatkowskaNS #automation #distributed #protocol #random #using #verification
- Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM (MZK, GN, RS), pp. 194–206.
- ICALP-2001-BandiniS #axiom #bisimulation #probability
- Axiomatizations for Probabilistic Bisimulation (EB, RS), pp. 370–381.
- TACAS-2000-AlfaroKNPS #model checking #probability #process #representation #using
- Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation (LdA, MZK, GN, DP, RS), pp. 395–410.
- ICALP-1994-GawlickSSL #liveness
- Liveness in Timed and Untimed Systems (RG, RS, JFSA, NAL), pp. 166–177.