DONATELLI, Susanna
DONATELLI, Susanna
INFORMATICA
(Stochastic) Model Checking in GreatSPN
2014-01-01 E. Amparore;M. Beccuti;S. Donatelli
A class diagram framework for collecting dependability requirements in automation systems
2004-01-01 S. DONATELLI; S. BERNARDI; G. DONDOSSOLA
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
A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes
2010-01-01 Elvio Gilberto Amparore; Susanna Donatelli
A compositional semantics for UML State Machines aimed at performance evaluation
2002-01-01 MERSEGUER J.; S. BERNARDI; CAMPOS J.; DONATELLI S.
A CTL* Model Checker for Petri Nets
2020-01-01 Elvio Gilberto Amparore and Susanna Donatelli and Francesco Gall{`{a}}
A Structured Solution Approach for Markov Regenerative Processes
2014-01-01 E. Amparore;P. Buchholz;S. Donatelli
Adaptive artificial co-pilot as enabler for autonomous vehicles and intelligent transportation systems
2018-01-01 Amparore E.G.; Beccuti M.; Botta M.; Donatelli S.; Tango F.
alphaFactory: A Tool for Generating the Alpha Factors of General Distributions
2017-01-01 Amparore Elvio Gilberto ; Donatelli Susanna
Backward solution of Markov chains and Markov Renewal Processes: formalization and applications
2012-01-01 Elvio Gilberto Amparore; Susanna Donatelli
Building Petri net scenarios for dependable automation systems
2003-01-01 S. BERNARDI; DONATELLI S.
Challenges for Driver Action Recognition with Face Masks
2022-01-01 Amparore E.G.; Botta Marco; Drago I.; Donatelli S.; Mazzone Giuseppe
Cognitive systems in intelligent vehicles: A new frontier for autonomous driving
2014-01-01 Amparore, Elvio; Beccuti, Marco; Collina, Simona; De Simone, Flavia; Donatelli, Susanna; Tango, Fabio
Compositionality in the GreatSPN tool and its application to the modelling of industrial applications
2000-01-01 BERNARDI S.; DONATELLI S.; HORVATH A.
Critical Utiliy Infrastructural Resilience
2006-01-01 G. DONDOSSOLA; G. DECONINCK; F. DI GIANDOMENICO; S. DONATELLI; M. KANICHE; P. VERISSIMO;
Decision diagrams for Petri nets: a comparison of variable ordering algorithms
2018-01-01 Amparore E.G.; Donatelli S.; Beccuti M.; Garbi G.; Miner A.
Decision diagrams for Petri nets: which variable ordering?
2017-01-01 Amparore, E. G., Donatelli, S., Beccuti, M., Garbi, G., Miner Andrew
Dependent Automata for the Modelling of Dependencies
2008-01-01 Susanna Donatelli
DISC-GreatSPN: an Integrated System for Distributed Software Development and Validation
1993-01-01 G. Balbo; S. Donatelli; G. Franceschinis; A. Mazzeo; N. Mazzocca; M. Ribaudo; S. Russo
DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN
2010-01-01 Elvio Gilberto Amparore; Susanna Donatelli