Susanna Donatelli

ORCID

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 29

Top Venues

Publications

Elvio G. Amparore, Susanna Donatelli, Lea Terracini
Hilbert Composition of Multilabelled Events. Petri Nets (2024)
Susanna Donatelli, Giuliana Franceschinis
Special issue on the Workshop on TOols for Stochastic Modeling and Evaluation (TOSME 2021). SIGMETRICS Perform. Evaluation Rev. 49 (4) (2022)
Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà
starMC: an automata based CTL* model checker. PeerJ Comput. Sci. 8 (2022)
Elvio G. Amparore, Marco Botta, Idilio Drago, Susanna Donatelli, Giuseppe Mazzone
Challenges for Driver Action Recognition with Face Masks. ITSC (2022)
Elvio G. Amparore, Susanna Donatelli
The Ins and Outs of Petri Net Composition. Petri Nets (2022)
Susanna Donatelli, Stefan Haar, Slawomir Lasota
Preface. Fundam. Informaticae 183 (1-2) (2021)
Susanna Donatelli, Serge Haddad
Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata. FORMATS (2020)
Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà
A CTL* Model Checker for Petri Nets. Petri Nets (2020)
Elvio Gilberto Amparore, Susanna Donatelli, Gianfranco Ciardo
Variable order metrics for decision diagrams in system verification. Int. J. Softw. Tools Technol. Transf. 22 (5) (2020)
Susanna Donatelli, Serge Haddad
Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models. LATA (2020)
Susanna Donatelli
Markov regenerative processes solution and stochastic model checking: an on-the-fly approach. VALUETOOLS (2019)
Elvio Gilberto Amparore, Peter Buchholz, Susanna Donatelli
: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets. QEST (2019)
Elvio Gilberto Amparore, Gianfranco Ciardo, Susanna Donatelli, Andrew S. Miner
i _\mathrm Rank : A Variable Order Metric for DEDS Subject to Linear Invariants. TACAS (2) (2019)
Vincenzo De Florio, Susanna Donatelli, Giovanna Dondossola
Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems. CoRR (2019)
Elvio Gilberto Amparore, Marco Beccuti, Marco Botta, Susanna Donatelli, Fabio Tango
Adaptive Artificial Co-pilot as Enabler for Autonomous Vehicles and Intelligent Transportation Systems. ATT@IJCAI (2018)
Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner
Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms. Trans. Petri Nets Other Model. Concurr. 13 (2018)
Mohamad Gharib, Paolo Lollini, Marco Botta, Elvio Gilberto Amparore, Susanna Donatelli, Andrea Bondavalli
On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper. DSN Workshops (2018)
Elvio Gilberto Amparore, Susanna Donatelli
GreatTeach: A Tool for Teaching (Stochastic) Petri Nets. Petri Nets (2018)
Marco Beccuti, Francesca Cordero, Maddalena Arigoni, Riccardo Panero, Elvio Gilberto Amparore, Susanna Donatelli, Raffaele A. Calogero
SeqBox: RNAseq/ChIPseq reproducible analysis on a consumer game computer. Bioinform. 34 (5) (2018)
Elvio Gilberto Amparore, Susanna Donatelli
. Perform. Evaluation (2018)
Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli
Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units. ATVA (2017)
Elvio Gilberto Amparore, Susanna Donatelli
alphaFactory: A Tool for Generating the Alpha Factors of General Distributions - (Tool Paper). QEST (2017)
Elvio Gilberto Amparore, Susanna Donatelli
Analysis of Non-Markovian Systems in GreatSPN. InfQ@VALUETOOLS (2017)
Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner
Decision Diagrams for Petri Nets: Which Variable Ordering? PNSE @ Petri Nets (2017)
Elvio Gilberto Amparore, Susanna Donatelli, Elisa Landini
Modelling and Evaluation of a Control Room Application. Petri Nets (2017)
Elvio Gilberto Amparore, Susanna Donatelli
Efficient solution of extended Multiple-Phased Systems. VALUETOOLS (2016)
Elvio Gilberto Amparore, Susanna Donatelli
Optimal Aggregation of Components for the Solution of Markov Regenerative Processes. QEST (2016)
Marco Beccuti, Elvio Gilberto Amparore, Susanna Donatelli, Dimitri Scheftelowitsch, Peter Buchholz, Giuliana Franceschinis
Markov Decision Petri Nets with Uncertainty. EPEW (2015)
Matteo Carrara, Josephine Lum, Francesca Cordero, Marco Beccuti, Michael Poidinger, Susanna Donatelli, Raffaele A. Calogero, Francesca Zolezzi
Alternative splicing detection workflow needs a careful combination of sample prep and bioinformatics analysis. BMC Bioinform. 16 (S-9) (2015)
Elvio Gilberto Amparore, Peter Buchholz, Susanna Donatelli
A Structured Solution Approach for Markov Regenerative Processes. QEST (2014)
Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli
(Stochastic) Model Checking in GreatSPN. Petri Nets (2014)
Elvio Gilberto Amparore, Marco Beccuti, Simona Collina, Flavia De Simone, Susanna Donatelli, Fabio Tango
Cognitive Systems in Intelligent Vehicles - A New Frontier for Autonomous Driving. ICINCO (2) (2014)
Marco Beccuti, Matteo Carrara, Francesca Cordero, Fulvio Lazzarato, Susanna Donatelli, Francesca Nadalin, Alberto Policriti, Raffaele A. Calogero
Chimera: a Bioconductor package for secondary analysis of fusion products. Bioinform. 30 (24) (2014)
Elvio Gilberto Amparore, Susanna Donatelli
Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications. Electron. Notes Theor. Comput. Sci. 296 (2013)
Elvio Gilberto Amparore, Susanna Donatelli
A component-based solution for reducible Markov regenerative processes. Perform. Evaluation 70 (6) (2013)
Elvio Gilberto Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
Expressing and Computing Passage Time Measures of GSPN Models with HASL. Petri Nets (2013)
Elvio Gilberto Amparore, Susanna Donatelli
Improving and Assessing the Efficiency of the MC4CSLTA Model Checker. EPEW (2013)
Matteo Carrara, Marco Beccuti, Federica Cavallo, Susanna Donatelli, Fulvio Lazzarato, Francesca Cordero, Raffaele A. Calogero
State of art fusion-finder algorithms are suitable to detect transcription-induced chimeras in normal tissues? BMC Bioinform. 14 (S-7) (2013)
Elvio Gilberto Amparore, Benoît Barbot, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets. SIGSIM-PADS (2013)
Giovanna Dondossola, Geert Deconinck, Felicita Di Giandomenico, Susanna Donatelli, Mohamed Kaâniche, Paulo Veríssimo
Critical Utility Infrastructural Resilience CoRR (2012)
Marco Beccuti, Silvano Chiaradonna, Felicita Di Giandomenico, Susanna Donatelli, Giovanna Dondossola, Giuliana Franceschinis
Quantification of dependencies between electrical and information infrastructures. Int. J. Crit. Infrastructure Prot. 5 (1) (2012)
Elvio Gilberto Amparore, Susanna Donatelli
Revisiting the matrix-free solution of Markov regenerative processes. Numer. Linear Algebra Appl. 18 (6) (2011)
Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
Probe Automata for Passage Time Specification. QEST (2011)
Elvio Gilberto Amparore, Susanna Donatelli
with Deterministic and Stochastic Petri Nets. DSN (2010)
Junaid Babar, Marco Beccuti, Susanna Donatelli, Andrew S. Miner
GreatSPN Enhanced with Decision Diagram Data Structures. Petri Nets (2010)
Elvio Gilberto Amparore, Susanna Donatelli
MC4CSLTA: An Efficient Model Checking Tool for CSLTA. QEST (2010)
Elvio Gilberto Amparore, Susanna Donatelli
A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes. EPEW (2010)
Elvio Gilberto Amparore, Susanna Donatelli
DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN. QEST (2010)
Susanna Donatelli, Prakash Panangaden, Gerardo Rubino
Special Issue on "Quantitative Evaluation of Systems". Perform. Evaluation 67 (9) (2010)
Susanna Donatelli, Serge Haddad, Jeremy Sproston
Model Checking Timed and Stochastic Properties with CSL^{TA}. IEEE Trans. Software Eng. 35 (2) (2009)
Souheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis
The GreatSPN tool: recent enhancements. SIGMETRICS Perform. Evaluation Rev. 36 (4) (2009)
Susanna Donatelli
Dependent Automata for the Modelling of Dependencies. CRITIS (2008)
Davide D'Aprile, Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston
From Time Petri Nets to Timed Automata: An Untimed Approach. TACAS (2007)
Susanna Donatelli, Serge Haddad, Jeremy Sproston
: an Expressive Logic for Continuous-Time Markov Chains. QEST (2007)
Davide Cerotti, Daniele Codetta Raiteri, Susanna Donatelli, Claudio Brasca, Giovanna Dondossola, Fabrizio Garrone
UML Diagrams Supporting Domain Specification Inside the CRUTIAL Project. CRITIS (2007)
Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston
CSL Model Checking for Generalized Stochastic Petri Nets. QEST (2006)
Davide Cerotti, Davide D'Aprile, Susanna Donatelli, Jeremy Sproston
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. ACSD (2006)
Jeremy Sproston, Susanna Donatelli
Backward Bisimulation in Markov Chain Model Checking. IEEE Trans. Software Eng. 32 (8) (2006)
Jean-Michel Ilié, Souheib Baarir, Marco Beccuti, Clément Delamare, Susanna Donatelli, Claude Dutheillet, Giuliana Franceschinis, Rossano Gaeta, Patrice Moreaux
Extended SWN Solvers in GreatSPN. QEST (2004)
Davide D'Aprile, Susanna Donatelli, Jeremy Sproston
CSL Model Checking for the GreatSPN Tool. ISCIS (2004)
Simona Bernardi, Susanna Donatelli
Stochastic Petri Nets and Inheritance for Dependability Modelling. PRDC (2004)
Simona Bernardi, Susanna Donatelli, Giovanna Dondossola
Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems. FORMATS/FTRTFT (2004)
Simona Bernardi, Susanna Donatelli, Giovanna Dondossola
A class Diagram framework for collecting dependability requirements in automation systems. ISoLA (Preliminary proceedings) (2004)
Jeremy Sproston, Susanna Donatelli
Backward Stochastic Bisimulation in CSL Model Checking. QEST (2004)
Ming-Ying Chung, Gianfranco Ciardo, Susanna Donatelli, N. He, Brigitte Plateau, William J. Stewart, E. Sulaiman, Andy Jinqing Yu
A Comparison of Structural Formalisms for Modeling Large Markov Models. IPDPS Next Generation Software Program - NSFNGS - PI Workshop (2004)
Susanna Donatelli
Student Forum. DSN (2004)
Simona Bernardi, Andrea Bobbio, Susanna Donatelli
Petri Nets and Dependability. Lectures on Concurrency and Petri Nets (2003)
Simona Bernardi, Susanna Donatelli
Building Petri net scenarios for dependable automation systems. PNPM (2003)
Simona Bernardi, Susanna Donatelli, José Merseguer
From UML sequence diagrams and statecharts to analysable petrinet models. Workshop on Software and Performance (2002)
Vincenzo De Florio, Susanna Donatelli, Giovanna Dondossola
Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems. ECBS (2002)
Paolo Ballarini, Simona Bernardi, Susanna Donatelli
Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization. DSN (2002)
Susanna Donatelli, Liliana Ferro
Validation of GSPN and SWN Models through the PROD Tool. Computer Performance Evaluation / TOOLS (2002)
Susanna Donatelli
Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort? ICATPN (2001)
Susanna Donatelli, Peter Kemper
Integrating synchronization with priority into a Kronecker representation. Perform. Evaluation 44 (1-4) (2001)
Simona Bernardi, Susanna Donatelli
Performance Validation of Fault-Tolerance Software: A Compositional Approach. DSN (2001)
Simona Bernardi, Susanna Donatelli, András Horváth
Implementing compositionality for stochastic Petri nets. Int. J. Softw. Tools Technol. Transf. 3 (4) (2001)
Susanna Donatelli, Marcello Sarini, Carla Simone
Toward a Contextual Information Service supporting adaptability and awareness promotion in CSCW systems. COOP (2000)
Susanna Donatelli, Peter Kemper
Integrating Synchronization with Priority into a Kronecker Representation. Computer Performance Evaluation / TOOLS (2000)
Andrew S. Miner, Gianfranco Ciardo, Susanna Donatelli
Using the exact state space of a Markov model to compute approximate stationary measures. SIGMETRICS (2000)
Oliver Botti, Vincenzo De Florio, Geert Deconinck, Rudy Lauwereins, Flavio Cassinari, Susanna Donatelli, Andrea Bobbio, A. Klein, Holger Küfner, Erwin M. Thurner, Eric Verhulst
The TIRAN approach to reusing software implemented fault tolerance. PDP (2000)
Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis
Parametric Stochastic Well-Formed Nets and Compositional Modelling. ICATPN (2000)
Peter Buchholz, Gianfranco Ciardo, Susanna Donatelli, Peter Kemper
Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models. INFORMS J. Comput. 12 (3) (2000)
Javier Campos, Susanna Donatelli, Manuel Silva Suárez
Structured Solution of Asynchronously Communicating Stochastic Modules. IEEE Trans. Software Eng. 25 (2) (1999)
Oliver Botti, Vincenzo De Florio, Geert Deconinck, Flavio Cassinari, Susanna Donatelli, Andrea Bobbio, A. Klein, Holger Küfner, Rudy Lauwereins, Erwin M. Thurner, Eric Verhulst
TIRAN: Flexible and Portable Fault Tolerance Solutions for Cost Effective Dependable Applications. Euro-Par (1999)
Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte, Susanna Donatelli, Giuliana Franceschinis
Modelling with Generalized Stochastic Petri Nets. SIGMETRICS Perform. Evaluation Rev. 26 (2) (1998)
Susanna Donatelli, Serge Haddad, Patrice Moreaux
Structured Characterization of the Markov Chain of Phase-Type SPN. Computer Performance Evaluation (Tools) (1998)
Cosimo Anglano, Susanna Donatelli, Giuliana Franceschinis, Oliver Botti
Performance prediction of a reconfigurable high voltage substation simulator: a case study using SWN. PNPM (1997)
Javier Campos, Manuel Silva Suárez, Susanna Donatelli
Structured solution of stochastic DSSP systems. PNPM (1997)
Susanna Donatelli, Nicola Mazzocca, Stefano Russo
EPOCA: status and prospects. Software Engineering for Parallel and Distributed Systems (1996)
Marco Ajmone Marsan, Andrea Bobbio, Susanna Donatelli
Petri Nets in Performance Analysis: An Introduction. Petri Nets (1996)
Susanna Donatelli, Nicola Mazzocca, Stefano Russo
Client - server programs analysis in the EPOCA environment. Distributed Syst. Eng. 3 (3) (1996)
Susanna Donatelli, Giuliana Franceschinis
The PSR Methodology: Integrating Hardware and Software Models. Application and Theory of Petri Nets (1996)
Oliver Botti, Susanna Donatelli, Giuliana Franceschinis
Assessing the Performance of Multiprocessor Architectures through SWN Models Simulation: A Case Study in the Field of Plant Automation Systems. Annual Simulation Symposium (1996)
Susanna Donatelli, Giuliana Franceschinis
Modelling and Analysis of Distributed Software Using GSPNs. Petri Nets (2) (1996)
Susanna Donatelli, Giuliana Franceschinis
State Space Reductions Using Stochastic Well-Formed Net Simplifications: An Application to Random Polling Systems. SIGMETRICS (1995)
Susanna Donatelli, Marina Ribaudo, Jane Hillston
A comparison of performance evaluation process algebra and generalized stochastic Petri nets. PNPM (1995)
Susanna Donatelli, Giuliana Franceschinis, Nicola Mazzocca, Stefano Russo
Software Architecture of the EPOCA Integrated Environment. Computer Performance Evaluation (1994)
Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis, Antonino Mazzeo, Nicola Mazzocca, Marina Ribaudo
On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs. Perform. Evaluation 19 (2-3) (1994)
Susanna Donatelli
Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution. Application and Theory of Petri Nets (1994)
Susanna Donatelli, Giuliana Franceschinis, Marina Ribaudo, Stefano Russo
Use of GSPNs for concurrent software validation in EPOCA. Inf. Softw. Technol. 36 (7) (1994)

Susanna Donatelli.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Susanna Donatelli