CATALOGO DEI PRODOTTI DELLA RICERCA

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 48
Titolo Data di pubblicazione Autore(i) File
Proving Time Bounds for Randomized Distributed Algorithms 1-gen-1994 Lynch, N.; Saias, I.; Segala, Roberto
Hybrid I/O Automata 1-gen-1995 N., Lynch; Segala, Roberto; F., Vaandrager; Hb, Weinberg
A Comparison of Simulation Techniques and Algebraic Techniques for Verifying Concurrent Systems 1-gen-1995 Lynch, N.; Segala, Roberto
A Compositional Trace-Based Semantics for Probabilistic Automata 1-gen-1995 Segala, Roberto
Formal Verification of Timed Properties for Randomized Distributed Algorithms 1-gen-1995 Pogosyants, A.; Segala, Roberto
Testing Probabilistic Automata 1-gen-1996 Segala, Roberto
Compositional Verification of Randomized Distributed Algorithms 1-gen-1997 Segala, Roberto
System Support for Partition-Aware Network Applications 1-gen-1998 O., Babaoglu; R., Davoli; A., Montresor; Segala, Roberto
The Essence of Coin Lemmas 1-gen-1998 Segala, Roberto
Symbolic Model Checking of Concurrent Probabilistic Processes Using MTBDDs and the Kronecker Representation 1-gen-2000 L., DE ALFARO; M., Kwiatkowska; G., Norman; D., Parker; Segala, Roberto
A New Definition of Multilevel Security 1-gen-2000 R., Focardi; R., Gorrieri; Segala, Roberto
Verifying Quantitative Properties of Continuous Probabilistic Real-Time Graphs 1-gen-2000 M., Kwiatkowska; G., Norman; Segala, Roberto; J., Sproston
Verifying Soft Deadlines with Probabilistic Timed Automata 1-gen-2000 M., Kwiatkowska; G., Norman; Segala, Roberto; J., Sproston
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM 1-gen-2001 M., Kwiatkowska; G., Norman; Segala, Roberto
Axiomatizations for Probabilistic Bisimulation 1-gen-2001 E., Bandini; Segala, Roberto
Coin Lemmas with Random Variables 1-gen-2001 K., Folegati; Segala, Roberto
Hybrid I/O Automata Revisited 1-gen-2001 N., Lynch; Segala, Roberto; F., Vaandrager
Automatic Verification of Real-Time Systems With Discrete Probability Distributions 1-gen-2002 Kwiatkowska, M.; Normann, G.; Segala, Roberto; Sproston, J.
Decision Algorithms for Probabilistic Bisimulation 1-gen-2002 S., Cattani; Segala, Roberto
Proceedings of the Second Joint Workshop on Process Algebra and Performance Modelling, Probabilistic Methods in Verification 1-gen-2002 H., Hermanns; Segala, Roberto
Mostrati risultati da 1 a 20 di 48
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile