DONATELLI, Susanna

DONATELLI, Susanna  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 114 (tempo di esecuzione: 0.023 secondi).
Titolo Data di pubblicazione Autore(i) File
(Stochastic) Model Checking in GreatSPN 2014 E. Amparore;M. Beccuti;S. Donatelli
27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006 2006 S. DONATELLI; P. S. THIAGARAJAN
30 Years of GreatSPN 2016 Elvio G, Amparore; Gianfranco, Balbo; Marco, Beccuti; Susanna, Donatelli; Giuliana, Franceschinis
A class diagram framework for collecting dependability requirements in automation systems 2004 S. DONATELLI; S. BERNARDI; G. DONDOSSOLA
A Comparison of Structural Formalisms for Modeling Large Markov Models 2004 M. CHUNG; G. CIARDO; S. DONATELLI; N. HE; B. PLATEAU; J. STEWART; E. SULAIMAN; J. YU
A component-based solution for reducible Markov regenerative processes 2012 Elvio Gilberto Amparore; Susanna Donatelli
A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes 2010 Elvio Gilberto Amparore; Susanna Donatelli
A compositional semantics for UML State Machines aimed at performance evaluation 2002 MERSEGUER J.; S. BERNARDI; CAMPOS J.; DONATELLI S.
A CTL* Model Checker for Petri Nets 2020 Elvio Gilberto Amparore and Susanna Donatelli and Francesco Gall{`{a}}
A new symbolic approach for network reliability analysis. 2011 M. Beccuti; S. Donatelli; G. Franceschinis; R. Terruggia
A Structured Solution Approach for Markov Regenerative Processes 2014 E. Amparore;P. Buchholz;S. Donatelli
Adaptive artificial co-pilot as enabler for autonomous vehicles and intelligent transportation systems 2018 Amparore E.G.; Beccuti M.; Botta M.; Donatelli S.; Tango F.
alphaFactory: A Tool for Generating the Alpha Factors of General Distributions 2017 Amparore Elvio Gilberto ; Donatelli Susanna
Alternative splicing detection workflow needs a careful combination of sample prep and bioinformatics analysis 2015 Carrara, Matteo; Lum, Josephine; Cordero, Francesca; Beccuti, Marco; Poidinger, Michael; Donatelli, Susanna; Calogero, Raffaele; Zolezzi, Francesca
An Introduction to Generalized Stochastic Petri Nets 1991 M. AJMONE MARSAN; G. BALBO; G. CHIOLA; G. CONTE; S. DONATELLI; G. FRANCESCHINIS
Backward Bisimulation in Markov Chain Model Checking 2006 J. SPROSTON; S. DONATELLI
Backward solution of Markov chains and Markov Renewal Processes: formalization and applications 2012 Elvio Gilberto Amparore; Susanna Donatelli
Backward Stochastic Bisimulation in CSL Model Checking 2004 J. SPROSTON; S. DONATELLI
Building Petri net scenarios for dependable automation systems 2003 S. BERNARDI; DONATELLI S.
Challenges for Driver Action Recognition with Face Masks 2022 Amparore E.G.; Botta Marco; Drago I.; Donatelli S.; Mazzone Giuseppe