On the product-form solution of a class of multiple-bus multiprocessor system models. - Marco Ajmone Marsan; Gianfranco Balbo; Giovanni Chiola; Susanna Donatelli (J. Syst. Softw., 1986)

GSPN Models of Multiserver Multiqueue Systems. - Marco Ajmone Marsan; Susanna Donatelli; Fabio Neri (PNPM, 1989)

Analysis of Symmetric Nonexhaustive Polling with Multiple Servers. - Marco Ajmone Marsan; Luís F. M. de Moraes; Susanna Donatelli; Fabio Neri (INFOCOM, 1990)

GSPN Models of Markovian Multiserver Multiqueue Systems. - Marco Ajmone Marsan; Susanna Donatelli; Fabio Neri (Perform. Evaluation, 1990)

Multiserver Multiqueue Systems with Limited Service and Zero Walk Time. - Marco Ajmone Marsan; Fabio Neri; Susanna Donatelli (INFOCOM, 1991)

GSPNs versus SPNs: What is the Actual Role of Immediate Transitions? - Giovanni Chiola; Susanna Donatelli; Giuliana Franceschinis (PNPM, 1991)

Superposed Stochastic Automata: A Class of Stochastic Petri Nets Amenable to Parallel Solution. - Susanna Donatelli (PNPM, 1991)

On the Construction of Abstract GSPNS: An Exercise in Modeling. - Marco Ajmone Marsan; Susanna Donatelli; Fabio Neri; U. Rubino (PNPM, 1991)

GSPN Models of Random, Cyclic, and Optimal 1-Limited Multiserver Multiqueue Systems. - Marco Ajmone Marsan; Susanna Donatelli; U. Rubino; Fabio Neri (SIGCOMM, 1991)

On the Product Form Solution for Stochastic Petri Nets. - Susanna Donatelli; Matteo Sereno (Application and Theory of Petri Nets, 1992)

Cycles and Waiting Times in Symmetric Exhaustive and Gated Multiserver Multiqueue Systems. - Marco Ajmone Marsan; Luís F. M. de Moraes; Susanna Donatelli; Fabio Neri (INFOCOM, 1992)

Understanding Parallel Program Behavior through Petri Net Models. - Gianfranco Balbo; Susanna Donatelli; Giuliana Franceschinis (J. Parallel Distributed Comput., 1992)

Good and Bad Dynamic Polling Orders in Symmetric Single Buffer Markovian Multiserver Multiqueue Systems. - Marco Ajmone Marsan; Susanna Donatelli; Fabio Neri; U. Rubino (INFOCOM, 1993)

On the use of communication graphs in automatic mapping. - Susanna Donatelli; Cosimo Anglano (PDP, 1993)

Parallel architectures with regular structure: A case study in modelling using stochastic well-formed coloured Petri nets. - Cosimo Anglano; Susanna Donatelli; Rossano Gaeta (PNPM, 1993)

Superposed Stochastic Automata: A Class of Stochastic Petri Nets with Parallel Solution and Distributed State Space. - Susanna Donatelli (Perform. Evaluation, 1993)

Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution. - Susanna Donatelli (Application and Theory of Petri Nets, 1994)

Software Architecture of the EPOCA Integrated Environment. - Susanna Donatelli; Giuliana Franceschinis; Nicola Mazzocca; Stefano Russo 001 (Computer Performance Evaluation, 1994)

Use of GSPNs for concurrent software validation in EPOCA. - Susanna Donatelli; Giuliana Franceschinis; Marina Ribaudo; Stefano Russo 001 (Inf. Softw. Technol., 1994)

On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs. - Gianfranco Balbo; Susanna Donatelli; Giuliana Franceschinis; Antonino Mazzeo; Nicola Mazzocca; Marina Ribaudo (Perform. Evaluation, 1994)

A comparison of performance evaluation process algebra and generalized stochastic Petri nets. - Susanna Donatelli; Marina Ribaudo; Jane Hillston (PNPM, 1995)

State Space Reductions Using Stochastic Well-Formed Net Simplifications: An Application to Random Polling Systems. - Susanna Donatelli; Giuliana Franceschinis (SIGMETRICS, 1995)

Modelling and Analysis of Distributed Software Using GSPNs. - Susanna Donatelli; Giuliana Franceschinis (Petri Nets (2), 1996)

Petri Nets in Performance Analysis: An Introduction. - Marco Ajmone Marsan; Andrea Bobbio; Susanna Donatelli (Petri Nets, 1996)

Assessing the Performance of Multiprocessor Architectures through SWN Models Simulation: A Case Study in the Field of Plant Automation Systems. - Oliver Botti; Susanna Donatelli; Giuliana Franceschinis (Annual Simulation Symposium, 1996)

The PSR Methodology: Integrating Hardware and Software Models. - Susanna Donatelli; Giuliana Franceschinis (Application and Theory of Petri Nets, 1996)

EPOCA: status and prospects. - Susanna Donatelli; Nicola Mazzocca; Stefano Russo 001 (Software Engineering for Parallel and Distributed Systems, 1996)

Client - server programs analysis in the EPOCA environment. - Susanna Donatelli; Nicola Mazzocca; Stefano Russo 001 (Distributed Syst. Eng., 1996)

Performance prediction of a reconfigurable high voltage substation simulator: a case study using SWN. - Cosimo Anglano; Susanna Donatelli; Giuliana Franceschinis; Oliver Botti (PNPM, 1997)

Structured solution of stochastic DSSP systems. - Javier Campos; Manuel Silva Suárez; Susanna Donatelli (PNPM, 1997)

Structured Characterization of the Markov Chain of Phase-Type SPN. - Susanna Donatelli; Serge Haddad; Patrice Moreaux (Computer Performance Evaluation (Tools), 1998)

Modelling with Generalized Stochastic Petri Nets. - Marco Ajmone Marsan; Gianfranco Balbo; Gianni Conte; Susanna Donatelli; Giuliana Franceschinis (SIGMETRICS Perform. Evaluation Rev., 1998)

TIRAN: Flexible and Portable Fault Tolerance Solutions for Cost Effective Dependable Applications. - Oliver Botti; Vincenzo De Florio; Geert Deconinck; Flavio Cassinari; Susanna Donatelli; Andrea Bobbio; Axel Klein; Holger Küfner; Rudy Lauwereins; Erwin M. Thurner; Eric Verhulst (Euro-Par, 1999)

Structured Solution of Asynchronously Communicating Stochastic Modules. - Javier Campos; Susanna Donatelli; Manuel Silva Suárez (IEEE Trans. Software Eng., 1999)

Parametric Stochastic Well-Formed Nets and Compositional Modelling. - Paolo Ballarini; Susanna Donatelli; Giuliana Franceschinis (ICATPN, 2000)

Toward a Contextual Information Service supporting adaptability and awareness promotion in CSCW systems. - Susanna Donatelli; Marcello Sarini; Carla Simone (COOP, 2000)

The TIRAN approach to reusing software implemented fault tolerance. - Oliver Botti; Vincenzo De Florio; Geert Deconinck; Rudy Lauwereins; Flavio Cassinari; Susanna Donatelli; Andrea Bobbio; Axel Klein; Holger Küfner; Erwin M. Thurner; Eric Verhulst (PDP, 2000)

Using the exact state space of a Markov model to compute approximate stationary measures. - Andrew S. Miner; Gianfranco Ciardo; Susanna Donatelli (SIGMETRICS, 2000)

Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models. - Peter Buchholz 001; Gianfranco Ciardo; Susanna Donatelli; Peter Kemper (INFORMS J. Comput., 2000)

Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort? - Susanna Donatelli (ICATPN, 2001)

Performance Validation of Fault-Tolerance Software: A Compositional Approach. - Simona Bernardi 001; Susanna Donatelli (DSN, 2001)

Integrating synchronization with priority into a Kronecker representation. - Susanna Donatelli; Peter Kemper (Perform. Evaluation, 2001)

Implementing compositionality for stochastic Petri nets. - Simona Bernardi 001; Susanna Donatelli; András Horváth (Int. J. Softw. Tools Technol. Transf., 2001)

Validation of GSPN and SWN Models through the PROD Tool. - Susanna Donatelli; Liliana Ferro (Computer Performance Evaluation / TOOLS, 2002)

Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization. - Paolo Ballarini; Simona Bernardi 001; Susanna Donatelli (DSN, 2002)

Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems. - Vincenzo De Florio; Susanna Donatelli; Giovanna Dondossola (ECBS, 2002)

From UML sequence diagrams and statecharts to analysable petrinet models. - Simona Bernardi 001; Susanna Donatelli; José Merseguer (Workshop on Software and Performance, 2002)

Petri Nets and Dependability. - Simona Bernardi 001; Andrea Bobbio; Susanna Donatelli (Lectures on Concurrency and Petri Nets, 2003)

Building Petri net scenarios for dependable automation systems. - Simona Bernardi 001; Susanna Donatelli (PNPM, 2003)

Student Forum. - Susanna Donatelli (DSN, 2004)

Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems. - Simona Bernardi 001; Susanna Donatelli; Giovanna Dondossola (FORMATS/FTRTFT, 2004)

A Comparison of Structural Formalisms for Modeling Large Markov Models. - Ming-Ying Chung; Gianfranco Ciardo; Susanna Donatelli; N. He; Brigitte Plateau; William J. Stewart 001; E. Sulaiman; Andy Jinqing Yu (IPDPS Next Generation Software Program - NSFNGS - PI Workshop, 2004)

CSL Model Checking for the GreatSPN Tool. - Davide D'Aprile; Susanna Donatelli; Jeremy Sproston (ISCIS, 2004)

A class Diagram framework for collecting dependability requirements in automation systems. - Simona Bernardi 001; Susanna Donatelli; Giovanna Dondossola (ISoLA (Preliminary proceedings), 2004)

Stochastic Petri Nets and Inheritance for Dependability Modelling. - Simona Bernardi 001; Susanna Donatelli (PRDC, 2004)

Extended SWN Solvers in GreatSPN. - Jean-Michel Ilié; Souheib Baarir; Marco Beccuti; Clément Delamare; Susanna Donatelli; Claude Dutheillet; Giuliana Franceschinis; Rossano Gaeta; Patrice Moreaux (QEST, 2004)

Backward Stochastic Bisimulation in CSL Model Checking. - Jeremy Sproston; Susanna Donatelli (QEST, 2004)

Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. - Davide Cerotti; Davide D'Aprile; Susanna Donatelli; Jeremy Sproston (ACSD, 2006)

CSL Model Checking for Generalized Stochastic Petri Nets. - Davide Cerotti; Susanna Donatelli; András Horváth; Jeremy Sproston (QEST, 2006)

Backward Bisimulation in Markov Chain Model Checking. - Jeremy Sproston; Susanna Donatelli (IEEE Trans. Software Eng., 2006)

UML Diagrams Supporting Domain Specification Inside the CRUTIAL Project. - Davide Cerotti; Daniele Codetta Raiteri; Susanna Donatelli; Claudio Brasca; Giovanna Dondossola; Fabrizio Garrone (CRITIS, 2007)

CSLTA: an Expressive Logic for Continuous-Time Markov Chains. - Susanna Donatelli; Serge Haddad; Jeremy Sproston (QEST, 2007)

From Time Petri Nets to Timed Automata: An Untimed Approach. - Davide D'Aprile; Susanna Donatelli; Arnaud Sangnier; Jeremy Sproston (TACAS, 2007)

Dependent Automata for the Modelling of Dependencies. - Susanna Donatelli (CRITIS, 2008)

The GreatSPN tool: recent enhancements. - Souheib Baarir; Marco Beccuti; Davide Cerotti; Massimiliano De Pierro; Susanna Donatelli; Giuliana Franceschinis (SIGMETRICS Perform. Evaluation Rev., 2009)

Model Checking Timed and Stochastic Properties with CSL^{TA}. - Susanna Donatelli; Serge Haddad; Jeremy Sproston (IEEE Trans. Software Eng., 2009)

GreatSPN Enhanced with Decision Diagram Data Structures. - Junaid Babar; Marco Beccuti; Susanna Donatelli; Andrew S. Miner (Petri Nets, 2010)

Model checking CSLTA with Deterministic and Stochastic Petri Nets. - Elvio Gilberto Amparore; Susanna Donatelli (DSN, 2010)

A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes. - Elvio Gilberto Amparore; Susanna Donatelli (EPEW, 2010)

DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN. - Elvio Gilberto Amparore; Susanna Donatelli (QEST, 2010)

MC4CSLTA: An Efficient Model Checking Tool for CSLTA. - Elvio Gilberto Amparore; Susanna Donatelli (QEST, 2010)

Special Issue on "Quantitative Evaluation of Systems". - Susanna Donatelli; Prakash Panangaden; Gerardo Rubino (Perform. Evaluation, 2010)

Probe Automata for Passage Time Specification. - Elvio Gilberto Amparore; Marco Beccuti; Susanna Donatelli; Giuliana Franceschinis (QEST, 2011)

Revisiting the matrix-free solution of Markov regenerative processes. - Elvio Gilberto Amparore; Susanna Donatelli (Numer. Linear Algebra Appl., 2011)

Critical Utility Infrastructural Resilience - Giovanna Dondossola; Geert Deconinck; Felicita Di Giandomenico; Susanna Donatelli; Mohamed Kaâniche; Paulo Veríssimo (CoRR, 2012)

Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications. - Elvio Gilberto Amparore; Susanna Donatelli (PASM/PDMC, 2012)

Quantification of dependencies between electrical and information infrastructures. - Marco Beccuti; Silvano Chiaradonna; Felicita Di Giandomenico; Susanna Donatelli; Giovanna Dondossola; Giuliana Franceschinis (Int. J. Crit. Infrastructure Prot., 2012)

Quantitative Verification of Markov Chains. - Susanna Donatelli; Serge Haddad (Communicating Embedded Systems, 2013)

Expressing and Computing Passage Time Measures of GSPN Models with HASL. - Elvio Gilberto Amparore; Paolo Ballarini; Marco Beccuti; Susanna Donatelli; Giuliana Franceschinis (Petri Nets, 2013)

Improving and Assessing the Efficiency of the MC4CSLTA Model Checker. - Elvio Gilberto Amparore; Susanna Donatelli (EPEW, 2013)

Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets. - Elvio Gilberto Amparore; Benoît Barbot; Marco Beccuti; Susanna Donatelli; Giuliana Franceschinis (SIGSIM-PADS, 2013)

State of art fusion-finder algorithms are suitable to detect transcription-induced chimeras in normal tissues? - Matteo Carrara; Marco Beccuti; Federica Cavallo; Susanna Donatelli; Fulvio Lazzarato; Francesca Cordero; Raffaele A. Calogero (BMC Bioinform., 2013)

A component-based solution for reducible Markov regenerative processes. - Elvio Gilberto Amparore; Susanna Donatelli (Perform. Evaluation, 2013)

(Stochastic) Model Checking in GreatSPN. - Elvio Gilberto Amparore; Marco Beccuti; Susanna Donatelli (Petri Nets, 2014)

Cognitive Systems in Intelligent Vehicles - A New Frontier for Autonomous Driving. - Elvio Gilberto Amparore; Marco Beccuti; Simona Collina; Flavia De Simone; Susanna Donatelli; Fabio Tango (ICINCO (2), 2014)

A Structured Solution Approach for Markov Regenerative Processes. - Elvio Gilberto Amparore; Peter Buchholz 001; Susanna Donatelli (QEST, 2014)

Chimera: a Bioconductor package for secondary analysis of fusion products. - Marco Beccuti; Matteo Carrara; Francesca Cordero; Fulvio Lazzarato; Susanna Donatelli; Francesca Nadalin; Alberto Policriti; Raffaele A. Calogero (Bioinform., 2014)

Markov Decision Petri Nets with Uncertainty. - Marco Beccuti; Elvio Gilberto Amparore; Susanna Donatelli; Dimitri Scheftelowitsch; Peter Buchholz 001; Giuliana Franceschinis (EPEW, 2015)

Alternative splicing detection workflow needs a careful combination of sample prep and bioinformatics analysis. - Matteo Carrara; Josephine Lum; Francesca Cordero; Marco Beccuti; Michael Poidinger; Susanna Donatelli; Raffaele A. Calogero; Francesca Zolezzi (BMC Bioinform., 2015)

Optimal Aggregation of Components for the Solution of Markov Regenerative Processes. - Elvio Gilberto Amparore; Susanna Donatelli (QEST, 2016)

Efficient solution of extended Multiple-Phased Systems. - Elvio Gilberto Amparore; Susanna Donatelli (VALUETOOLS, 2016)

Decision Diagrams for Petri Nets: Which Variable Ordering? - Elvio Gilberto Amparore; Susanna Donatelli; Marco Beccuti; Giulio Garbi; Andrew S. Miner (PNSE @ Petri Nets, 2017)

Modelling and Evaluation of a Control Room Application. - Elvio Gilberto Amparore; Susanna Donatelli; Elisa Landini (Petri Nets, 2017)

Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units. - Elvio Gilberto Amparore; Marco Beccuti; Susanna Donatelli (ATVA, 2017)

alphaFactory: A Tool for Generating the Alpha Factors of General Distributions - (Tool Paper). - Elvio Gilberto Amparore; Susanna Donatelli (QEST, 2017)

Analysis of Non-Markovian Systems in GreatSPN. - Elvio Gilberto Amparore; Susanna Donatelli (InfQ@VALUETOOLS, 2017)

GreatTeach: A Tool for Teaching (Stochastic) Petri Nets. - Elvio Gilberto Amparore; Susanna Donatelli (Petri Nets, 2018)

On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper. - Mohamad Gharib; Paolo Lollini; Marco Botta; Elvio Gilberto Amparore; Susanna Donatelli; Andrea Bondavalli (DSN Workshops, 2018)

Adaptive Artificial Co-pilot as Enabler for Autonomous Vehicles and Intelligent Transportation Systems. - Elvio Gilberto Amparore; Marco Beccuti; Marco Botta; Susanna Donatelli; Fabio Tango (ATT@IJCAI, 2018)

SeqBox: RNAseq/ChIPseq reproducible analysis on a consumer game computer. - Marco Beccuti; Francesca Cordero; Maddalena Arigoni; Riccardo Panero; Elvio Gilberto Amparore; Susanna Donatelli; Raffaele A. Calogero (Bioinform., 2018)

Efficient model checking of the stochastic logic CSLTA. - Elvio Gilberto Amparore; Susanna Donatelli (Perform. Evaluation, 2018)

Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms. - Elvio Gilberto Amparore; Susanna Donatelli; Marco Beccuti; Giulio Garbi; Andrew S. Miner (Trans. Petri Nets Other Model. Concurr., 2018)

Modelling and Efficient Solution of Multiple-Phased Systems. - Elvio Gilberto Amparore; Susanna Donatelli (Systems Modeling: Methodologies and Tools, 2019)

Great-Nsolve: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets. - Elvio Gilberto Amparore; Peter Buchholz 001; Susanna Donatelli (QEST, 2019)

i _ mathrm Rank : A Variable Order Metric for DEDS Subject to Linear Invariants. - Elvio Gilberto Amparore; Gianfranco Ciardo; Susanna Donatelli; Andrew S. Miner (TACAS (2), 2019)

Markov regenerative processes solution and stochastic model checking: an on-the-fly approach. - Susanna Donatelli (VALUETOOLS, 2019)

A CTL* Model Checker for Petri Nets. - Elvio Gilberto Amparore; Susanna Donatelli; Francesco Gallà (Petri Nets, 2020)

Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata. - Susanna Donatelli; Serge Haddad (FORMATS, 2020)

Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models. - Susanna Donatelli; Serge Haddad (LATA, 2020)

Variable order metrics for decision diagrams in system verification. - Elvio Gilberto Amparore; Susanna Donatelli; Gianfranco Ciardo (Int. J. Softw. Tools Technol. Transf., 2020)

Preface. - Susanna Donatelli; Stefan Haar; Slawomir Lasota 001 (Fundam. Informaticae, 2021)

The Ins and Outs of Petri Net Composition. - Elvio G. Amparore; Susanna Donatelli (Petri Nets, 2022)

Challenges for Driver Action Recognition with Face Masks. - Elvio G. Amparore; Marco Botta; Idilio Drago; Susanna Donatelli; Giuseppe Mazzone (ITSC, 2022)

starMC: an automata based CTL* model checker. - Elvio Gilberto Amparore; Susanna Donatelli; Francesco Gallà (PeerJ Comput. Sci., 2022)

Special issue on the Workshop on TOols for Stochastic Modeling and Evaluation (TOSME 2021). - Susanna Donatelli; Giuliana Franceschinis (SIGMETRICS Perform. Evaluation Rev., 2022)

Hilbert Composition of Multilabelled Events. - Elvio G. Amparore; Susanna Donatelli; Lea Terracini (Petri Nets, 2024)