Sfoglia per Autore
Complexity of memory-efficient Kronecker operations with applications to the solution of Markov models
2000-01-01 BUCHHOLZ; CIARDO; S. DONATELLI; KEMPER
Special session on the practical use of high-level Petri Nets: Implementing compositionality for stochastic petri nets
2001-01-01 S. BERNARDI; S. DONATELLI; A. HORVATH
Integrating Synchronization with Priority into a Kronecker Representation
2001-01-01 S. DONATELLI; KEMPER
GreatSPN in the new Millenium
2001-01-01 S. BERNARDI; BERTONCELLO C; DONATELLI S; FRANCESCHINIS G; GAETA R; GRIBAUDO M; HORVATH A
Validation and evaluation of a software solution for fault tolerant distributed synchronization
2002-01-01 BALLARINI P.; S. BERNARDI; DONATELLI S.
A compositional semantics for UML State Machines aimed at performance evaluation
2002-01-01 MERSEGUER J.; S. BERNARDI; CAMPOS J.; DONATELLI S.
From UML Sequence Diagrams and StateCharts to analysable Petri Net models
2002-01-01 S. BERNARDI; DONATELLI S.; MERSEGUER J.
Building Petri net scenarios for dependable automation systems
2003-01-01 S. BERNARDI; DONATELLI S.
A class diagram framework for collecting dependability requirements in automation systems
2004-01-01 S. DONATELLI; S. BERNARDI; G. DONDOSSOLA
Petri Nets and dependability
2004-01-01 BERNARDI S.; BOBBIO A.; DONATELLI S.
CSL Model Checking for the GreatSPN Tool
2004-01-01 S. DONATELLI; D. D'APRILE; J. SPROSTON
A Comparison of Structural Formalisms for Modeling Large Markov Models
2004-01-01 M. CHUNG; G. CIARDO; S. DONATELLI; N. HE; B. PLATEAU; J. STEWART; E. SULAIMAN; J. YU
Stochastic Petri Nets and inheritance for dependability modelling.
2004-01-01 S. BERNARDI ; S. DONATELLI
Backward Stochastic Bisimulation in CSL Model Checking
2004-01-01 J. SPROSTON; S. DONATELLI
Towards a methodological approach to specification and analysis of dependable automation systems
2004-01-01 S. BERNARDI; S. DONATELLI; G. DONDOSSOLA
Extended SWN Solvers in GreatSPN
2004-01-01 J.M. Ilie; S. Baarir; M. Beccuti; C. Delamare; S. Donatelli; C. Dutheillet; G. Franceschinis; R. Gaeta; P. Moreaux
CSL Model Checking for Generalized Stochastic Petri Nets
2006-01-01 D. CEROTTI; S. DONATELLI; A. HORVATH; J. SPROSTON
Critical Utiliy Infrastructural Resilience
2006-01-01 G. DONDOSSOLA; G. DECONINCK; F. DI GIANDOMENICO; S. DONATELLI; M. KANICHE; P. VERISSIMO;
Co-Chairman della conferenza: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency,Turku, Finland, June 26-30, 2006
2006-01-01 S. DONATELLI; P. THIAGARAJAN
27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006
2006-01-01 S. DONATELLI; P. S. THIAGARAJAN
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