CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 99
Titolo Data di pubblicazione Autore(i) File
The scale factor: A new degree of freedom in phase type approximation 2002 A. BOBBIO; A. HORVATH; M. TELEK
Time domain analysis of non-markovian stochastic petri nets with pri transitions 2002 A. HORVATH; M. TELEK
Fluid stochastic petri nets augmented with flush-out arcs: A transient analysis technique 2002 M. GRIBAUDO; A. HORVATH
Modeling a car safety controller using fluid stochastic Petri nets 2003 A. BOBBIO; M. GRIBAUDO; A. HORVATH
Modeling hybrid positive systems with hybrid petri nets 2003 M. GRIBAUDO; A. HORVATH
Translating hybrid Petri nets into hybrid automata 2003 M. GRIBAUDO; A. HORVATH
Analysis of inhomogeneous Markov reward models 2003 M. TELEK; A. HORVATH; G. HORVATH
Fluid petri nets and hybrid model-checking: A comparative case study 2003 M. GRIBAUDO; A. HORVATH; A. BOBBIO; E. TRONCI; E. CIANCAMERLA; M. MINICHINO
Acyclic discrete phase type distributions: Properties and a parameter estimation algorithm 2003 A. BOBBIO; A. HORVATH; M. SCARPA; M. TELEK
The scale factor: A new degree of freedom in phase type approximation 2004 A. BOBBIO; A. HORVATH; M. TELEK
Analysis of inhomogeneous Markov reward models 2004 A. HORVATH; M. TELEK; G. HORVÁTH
Proc. of 7th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS7) 2005 A. HORVATH; A. RISKA
Steady state solution for models with geometric and finite support activity duration 2005 A. HORVATH
Model checking functional and performability properties of stochastic fluid models 2005 M. GRIBAUDO; A. HORVATH
Matching three moments with minimal acyclic phase type distributions 2005 A. BOBBIO; A. HORVATH; M. TELEK
Modelling a car safety controller in road tunnels using hybrid Petri nets 2006 A. BOBBIO; M. GRIBAUDO; A. HORVATH
Lecture Notes in Computer Science, 4054, Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006 2006 A. HORVATH; M. TELEK
CSL Model Checking for Generalized Stochastic Petri Nets 2006 D. CEROTTI; S. DONATELLI; A. HORVATH; J. SPROSTON
On the properties of acyclic bilateral phase type distributions 2007 A. HORVATH; M. TELEK
Compositional model checking of product-form CTMCs. 2007 P. BALLARINI; A. HORVATH
Mostrati risultati da 21 a 40 di 99
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