CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 50
Titolo Data di pubblicazione Autore(i) File
Automatic Verification of Real-time Systems with Discrete Probability Distributions 1999 M. KWIATKOWSKA; G. NORMAN; R. SEGALA; J. SPROSTON
Decidable Model Checking of Probabilistic Hybrid Automata 2000 J. SPROSTON
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata 2000 M. KWIATKOWSKA; G. NORMAN; R. SEGALA; J. SPROSTON
Symbolic Computation of Maximal Probabilistic Reachability 2001 M. KWIATKOWSKA; G. NORMAN; J. SPROSTON
Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol 2002 M. KWIATKOWSKA; G. NORMAN; J. SPROSTON
Automatic Verification of Real-time Systems with Discrete Probability Distributions 2002 M. KWIATKOWSKA; G. NORMAN; R. SEGALA; J. SPROSTON
Performance Analysis of Probabilistic Timed Automata using Digital Clocks 2003 M. KWIATKOWSKA; G. NORMAN G; P. PARKER; J. SPROSTON
Probabilistic Model Checking of Deadline Properties in the IEEE1394 FireWire Root Contention Procotol 2003 M. KWIATKOWSKA; G. NORMAN; J. SPROSTON
Symbolic model checking for probabilistic timed automata 2004 M. KWIATKOWSKA; G. NORMAN; J. SPROSTON; F. WANG
Backward Stochastic Bisimulation in CSL Model Checking 2004 J. SPROSTON; S. DONATELLI
Model Checking for Probabilistic Timed Systems 2004 J. SPROSTON
CSL Model Checking for the GreatSPN Tool 2004 S. DONATELLI; D. D'APRILE; J. SPROSTON
Model Checking Durational Probabilistic Systems 2005 F. LAROUSSINIE; J. SPROSTON
Backward Bisimulation in Markov Chain Model Checking 2006 J. SPROSTON; S. DONATELLI
Performance Analysis of Probabilistic Timed Automata using Digital Clocks 2006 M. KWIATKOWSKA; G. NORMAN; D. PARKER; J. SPROSTON
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools 2006 D. CEROTTI; D. D'APRILE; S. DONATELLI; J. SPROSTON
CSL Model Checking for Generalized Stochastic Petri Nets 2006 D. CEROTTI; S. DONATELLI; A. HORVATH; J. SPROSTON
From Time Petri Nets to Timed Automata: an Untimed Approach 2007 D. D'APRILE; S. DONATELLI; A. SANGNIER; J. SPROSTON
Symbolic Model Checking for Probabilistic Timed Automata 2007 M. KWIATKOWSKA; G. NORMAN; J. SPROSTON; F. WANG
CSLTA: an Expressive Logic for Continuous-Time Markov Chains 2007 S. DONATELLI; S. HADDAD; J. SPROSTON
Mostrati risultati da 1 a 20 di 50
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