CATALOGO DEI PRODOTTI DELLA RICERCA

SEGALA, Roberto

SEGALA, Roberto  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 35 (tempo di esecuzione: 0.032 secondi).
Titolo Data di pubblicazione Autore(i) File
A Compositional Trace-Based Semantics for Probabilistic Automata 1-gen-1995 Segala, Roberto
A computable and compositional semantics for hybrid automata 1-gen-2020 Bresolin, Davide; Collins, Pieter; Geretti, Luca; Segala, Roberto; Villa, Tiziano; Zivanovic Gonzalez, Sanja
A Framework for Modeling Timed Systems with Restricted Hybrid Automata 1-gen-2003 D., Kaynar; N., Lynch; Segala, Roberto; F., Vaandrager
A New Definition of Multilevel Security 1-gen-2000 R., Focardi; R., Gorrieri; Segala, Roberto
Approximated Computationally Bounded Simulation Relations for Probabilistic Automata 1-gen-2007 Segala, Roberto; Turrini, Andrea
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM 1-gen-2001 M., Kwiatkowska; G., Norman; Segala, Roberto
Axiomatization of Trace Semantics for Stochastic Nondeterministic Processes 1-gen-2004 Parma, Augusto; 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
Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models 1-gen-2005 Segala, Roberto; Turrini, A.
Compositional Verification of Randomized Distributed Algorithms 1-gen-1997 Segala, Roberto
Compositionality for Probabilistic Automata 1-gen-2003 N., Lynch; Segala, Roberto; F., Vaandrager
Conditional Automata: A Tool for Safe Removal of Negligible Events 1-gen-2010 Segala, Roberto; Turrini, Andrea
Decision Algorithms for Probabilistic Bisimulation 1-gen-2002 S., Cattani; Segala, Roberto
Distributed collision avoidance for autonomous vehicles: World automata representation 1-gen-2012 N. E., Marinica; Capiluppi, Marta; J. A., Rogge; Segala, Roberto; R. K., Boel
Formal Verification of Timed Properties for Randomized Distributed Algorithms 1-gen-1995 Pogosyants, A.; Segala, Roberto
Hybrid I/O Automata 1-gen-1995 N., Lynch; Segala, Roberto; F., Vaandrager; Hb, Weinberg
Hybrid I/O Automata Revisited 1-gen-2001 N., Lynch; Segala, Roberto; F., Vaandrager
Logical Characterizations of Bisimulations for Discrete Probabilistic Systems 1-gen-2007 Parma, Augusto; Segala, Roberto
Modelling Implicit Communication in Multi-Agent Systems with Hybrid Input/Output Automata 1-gen-2012 Capiluppi, Marta; Segala, Roberto