Showing 1 - 20 results of 22 for search 'Segala, Roberto', query time: 0.05s Refine Results
  1. 1
    A Process Algebraic View of I/O Automata

    A Process Algebraic View of I/O Automata by Segala, Roberto

    Published 2023
    Get full text
  2. 2
    Modeling and Verification of Randomized Distributed Real -Time Systems

    Modeling and Verification of Randomized Distributed Real -Time Systems by Segala, Roberto

    Published 2023
    Get full text
  3. 3
    Modeling and verification of randomized distributed real-time systems

    Modeling and verification of randomized distributed real-time systems by Segala, Roberto

    Published 2007
    Get full text
    Thesis
  4. 4
    A Comparison of Simulation Techniques and Algebraic Techniques for Verifying Concurrent Systems

    A Comparison of Simulation Techniques and Algebraic Techniques for Verifying Concurrent Systems by Lynch, Nancy A., Segala, Roberto

    Published 2023
    Get full text
  5. 5
    Verification of the Randomized Consensus Algorithm of Aspnes and Herlihy: a Case Study*

    Verification of the Randomized Consensus Algorithm of Aspnes and Herlihy: a Case Study* by Pogosyants, Anna, Segala, Roberto, Lynch, Nancy A.

    Published 2023
    Get full text
  6. 6
    Dynamic Load Balancing with Group Communication

    Dynamic Load Balancing with Group Communication by Dolev, Shlomi, Segala, Roberto, Shvartsman, Alexander A.

    Published 2023
    Get full text
  7. 7
    Hybrid I/O Automata

    Hybrid I/O Automata by Lynch, Nancy A., Segala, Roberto, Vaandrager, Frits

    Published 2023
    Get full text
  8. 8
    Hybrid I/O Automata*

    Hybrid I/O Automata* by Lynch, Nancy A., Segala, Roberto, Vaandrager, Frits

    Published 2023
    Get full text
  9. 9
    Compositionality for Probabilistic Automata

    Compositionality for Probabilistic Automata by Lynch, Nancy A., Segala, Roberto, Vaandrager, Frits

    Published 2023
    Get full text
  10. 10
    The Theory of Timed I/O Automata

    The Theory of Timed I/O Automata by Kaynar, Dilsun K., Lynch, Nancy, Segala, Roberto, Vaandrager, Frits

    Published 2005
    Get full text
  11. 11
    The Theory of Timed I/O Automata

    The Theory of Timed I/O Automata by Kaynor, Dilsun K., Lynch, Nancy, Segala, Roberto, Vaandrager, Frits

    Published 2005
    Get full text
  12. 12
    Hybrid I/O Automata

    Hybrid I/O Automata by Lynch, Nancy A., Segala, Roberto, Vaandrager, Frits, Weinberg, H. B.

    Published 2023
    Get full text
  13. 13
    Liveness in Timed and Untimed Systems

    Liveness in Timed and Untimed Systems by Gawlick, Rainer, Segala, Roberto, Søgaard-Andersen, Jørgen, Lynch, Nancy A.

    Published 2023
    Get full text
  14. 14
    Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol

    Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol by Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Olivier, Segala, Roberto

    Published 2005
    Get full text
  15. 15
    Task-structured probabilistic I/O automata

    Task-structured probabilistic I/O automata by Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto

    Published 2021
    Get full text
    Article
  16. 16
    Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol

    Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol by Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto

    Published 2006
    Get full text
  17. 17
    Task-Structured Probabilistic I/O Automata

    Task-Structured Probabilistic I/O Automata by Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto

    Published 2006
    Get full text
  18. 18
    Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol

    Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol by Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto

    Published 2006
    Get full text
  19. 19
    Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol

    Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol by Canetti, Ran, Cheung, Ling, Kaynar, Dilsun, Liskov, Moses, Lynch, Nancy, Pereira, Olivier, Segala, Roberto

    Published 2006
    Get full text
  20. 20
    Task-Structured Probabilistic I/O Automata

    Task-Structured Probabilistic I/O Automata by Canetti,, Ran, Cheung,, Ling, Kaynar,, Dilsun, Liskov,, Moses, Lynch,, Nancy, Pereira,, Olivier, Segala, Roberto

    Published 2006
    Get full text

Search Tools: