The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Roberto Segala: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
    Automatic Verification of Real-Time Systems with Discrete Probability Distributions. [Citation Graph (0, 0)][DBLP]
    ARTS, 1999, pp:75-95 [Conf]
  2. Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala
    Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:194-206 [Conf]
  3. Roberto Segala
    Compositional Verification of Randomized Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    COMPOS, 1997, pp:515-540 [Conf]
  4. Stefano Cattani, Roberto Segala
    Decision Algorithms for Probabilistic Bisimulation. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:371-385 [Conf]
  5. Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
    Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:123-137 [Conf]
  6. Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
    Compositionality for Probabilistic Automata. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:204-222 [Conf]
  7. Roberto Segala
    Probability and Nondeterminism in Operational Models of Concurrency. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2006, pp:64-78 [Conf]
  8. Roberto Segala
    Quiescence, Fairness, Testing, and the Notion of Implementation (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1993, pp:324-338 [Conf]
  9. Roberto Segala
    A Compositional Trace-Based Semantics for Probabilistic Automata. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:234-248 [Conf]
  10. Roberto Segala
    Testing Probabilistic Automata. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1996, pp:299-314 [Conf]
  11. Roberto Segala, Nancy A. Lynch
    Probabilistic Simulations for Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1994, pp:481-496 [Conf]
  12. Roberto Segala
    Verification of Randomized Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    European Educational Forum: School on Formal Methods and Performance Analysis, 2000, pp:232-260 [Conf]
  13. Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman
    Stochastic Transition Systems for Continuous State Spaces and Non-determinism. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:125-139 [Conf]
  14. Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
    Hybrid I/O Automata Revisited. [Citation Graph (0, 0)][DBLP]
    HSCC, 2001, pp:403-417 [Conf]
  15. Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager, Henri B. Weinberg
    Hybrid I/O Automata. [Citation Graph (0, 0)][DBLP]
    Hybrid Systems, 1995, pp:496-510 [Conf]
  16. Emanuele Bandini, Roberto Segala
    Axiomatizations for Probabilistic Bisimulation. [Citation Graph (0, 0)][DBLP]
    ICALP, 2001, pp:370-381 [Conf]
  17. Rainer Gawlick, Roberto Segala, Jørgen F. Søgaard-Andersen, Nancy A. Lynch
    Liveness in Timed and Untimed Systems. [Citation Graph (0, 0)][DBLP]
    ICALP, 1994, pp:166-177 [Conf]
  18. Özalp Babaoglu, Renzo Davoli, Alberto Montresor, Roberto Segala
    System Support for Partition-Aware Network Applications. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1998, pp:184-191 [Conf]
  19. Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
    Switched Probabilistic I/O Automata. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:494-510 [Conf]
  20. Katia Folegati, Roberto Segala
    Coin Lemmas with Random Variables. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2001, pp:71-86 [Conf]
  21. Nancy A. Lynch, Isaac Saias, Roberto Segala
    Proving Time Bounds for Randomized Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    PODC, 1994, pp:314-323 [Conf]
  22. Anna Pogosyants, Roberto Segala
    Formal Verification of Timed Properties for Randomized Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    PODC, 1995, pp:174-183 [Conf]
  23. Augusto Parma, Roberto Segala
    Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes. [Citation Graph (0, 0)][DBLP]
    QEST, 2004, pp:294-303 [Conf]
  24. Roberto Segala, Andrea Turrini
    Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:44-53 [Conf]
  25. Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
    Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    RTSS, 2003, pp:166-177 [Conf]
  26. Stefan Dobrev, Roberto Segala, Alexander A. Shvartsman
    Irreversile Dynamos in Tori. [Citation Graph (0, 0)][DBLP]
    SIROCCO, 1999, pp:111-125 [Conf]
  27. Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Roberto Segala
    Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:395-410 [Conf]
  28. Anna Pogosyants, Roberto Segala, Nancy A. Lynch
    Verification of the Randomized Consensus Algorithms of Aspnes and Herlihy: A Case Study. [Citation Graph (0, 0)][DBLP]
    WDAG, 1997, pp:22-36 [Conf]
  29. Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala
    Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols. [Citation Graph (0, 0)][DBLP]
    DISC, 2006, pp:238-253 [Conf]
  30. Anna Pogosyants, Roberto Segala, Nancy A. Lynch
    Verification of the randomized consensus algorithm of Aspnes and Herlihy: a case study. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 2000, v:13, n:3, pp:155-186 [Journal]
  31. Roberto Segala
    The Essence of Coin Lemmas. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:22, n:, pp:- [Journal]
  32. Nancy A. Lynch, Roberto Segala
    A Comparison of Simulation Techniques and Algebraic Tachniques for Verifying Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1995, v:7, n:3, pp:231-265 [Journal]
  33. Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
    Hybrid I/O automata. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2003, v:185, n:1, pp:105-157 [Journal]
  34. Roberto Segala
    Quiescence, Fairness, Testing, and the Notion of Implementation. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1997, v:138, n:2, pp:194-210 [Journal]
  35. Roberto Segala, Rainer Gawlick, Jørgen F. Søgaard-Andersen, Nancy A. Lynch
    Liveness in Timed and Untimed Systems. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1998, v:141, n:2, pp:119-171 [Journal]
  36. Roberto Segala, Nancy A. Lynch
    Probabilistic Simulations for Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 1995, v:2, n:2, pp:250-273 [Journal]
  37. Özalp Babaoglu, Renzo Davoli, Alberto Montresor, Roberto Segala
    System Support for Partition-Aware Network Applications. [Citation Graph (0, 0)][DBLP]
    Operating Systems Review, 1998, v:32, n:1, pp:41-56 [Journal]
  38. Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
    Switched PIOA: Parallel composition via distributed scheduling. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:365, n:1-2, pp:83-108 [Journal]
  39. Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
    Automatic verification of real-time systems with discrete probability distributions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:282, n:1, pp:101-150 [Journal]
  40. Rocco De Nicola, Roberto Segala
    A Process Algebraic View of Input/Output Automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:138, n:2, pp:391-423 [Journal]
  41. Shlomi Dolev, Roberto Segala, Alexander A. Shvartsman
    Dynamic load balancing with group communication. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:369, n:1-3, pp:348-360 [Journal]
  42. Augusto Parma, Roberto Segala
    Logical Characterizations of Bisimulations for Discrete Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2007, pp:287-301 [Conf]
  43. Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager
    Observing Branching Structure through Probabilistic Contexts. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 2007, v:37, n:4, pp:977-1013 [Journal]

  44. Conditional Automata: A Tool for Safe Removal of Negligible Events. [Citation Graph (, )][DBLP]


  45. Approximated Computationally Bounded Simulation Relations for Probabilistic Automata. [Citation Graph (, )][DBLP]


  46. The power of simulation relations. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002