Susanna Donatelli

123 papers A* 7A 5B 11C 6Journal 31Unranked 56

Year	Rank	Type	Title / Venue / Authors
2024	B	`conf`	Hilbert Composition of Multilabelled Events. Petri Nets Elvio G. Amparore, Susanna Donatelli, Lea Terracini
2022	—	`conf`	Challenges for Driver Action Recognition with Face Masks. ITSC Elvio G. Amparore, Marco Botta, Idilio Drago, Susanna Donatelli, Giuseppe Mazzone
2022	J	`jnl`	Special issue on the Workshop on TOols for Stochastic Modeling and Evaluation (TOSME 2021). SIGMETRICS Perform. Evaluation Rev. Susanna Donatelli, Giuliana Franceschinis
2022	B	`conf`	The Ins and Outs of Petri Net Composition. Petri Nets Elvio G. Amparore, Susanna Donatelli
2022	J	`jnl`	starMC: an automata based CTL* model checker. PeerJ Comput. Sci. Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà
2021	J	`jnl`	Preface. Fundam. Informaticae Susanna Donatelli, Stefan Haar, Slawomir Lasota
2020	B	`conf`	A CTL* Model Checker for Petri Nets. Petri Nets Elvio Gilberto Amparore, Susanna Donatelli, Francesco Gallà
2020	C	`conf`	Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models. LATA Susanna Donatelli, Serge Haddad
2020	—	`conf`	Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata. FORMATS Susanna Donatelli, Serge Haddad
2020	J	`jnl`	Variable order metrics for decision diagrams in system verification. Int. J. Softw. Tools Technol. Transf. Elvio Gilberto Amparore, Susanna Donatelli, Gianfranco Ciardo
2019	B	`ed.`	Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings Petri Nets Susanna Donatelli, Stefan Haar
2019	J	`jnl`	Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems. CoRR Vincenzo De Florio, Susanna Donatelli, Giovanna Dondossola
2019	—	`conf`	Markov regenerative processes solution and stochastic model checking: an on-the-fly approach. VALUETOOLS Susanna Donatelli
2019	—	`ch.`	Modelling and Efficient Solution of Multiple-Phased Systems. Systems Modeling: Methodologies and Tools Elvio Gilberto Amparore, Susanna Donatelli
2019	—	`conf`	i _\mathrm Rank : A Variable Order Metric for DEDS Subject to Linear Invariants. TACAS (2) Elvio Gilberto Amparore, Gianfranco Ciardo, Susanna Donatelli, Andrew S. Miner
2018	—	`conf`	Adaptive Artificial Co-pilot as Enabler for Autonomous Vehicles and Intelligent Transportation Systems. ATT@IJCAI Elvio Gilberto Amparore, Marco Beccuti, Marco Botta, Susanna Donatelli, Fabio Tango
2018	J	`jnl`	Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms. Trans. Petri Nets Other Model. Concurr. Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner
2018	J	`jnl`	Efficient model checking of the stochastic logic CSL Perform. Evaluation Elvio Gilberto Amparore, Susanna Donatelli
2018	B	`conf`	GreatTeach: A Tool for Teaching (Stochastic) Petri Nets. Petri Nets Elvio Gilberto Amparore, Susanna Donatelli
2018	—	`conf`	On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper. DSN Workshops Mohamad Gharib, Paolo Lollini, Marco Botta, Elvio Gilberto Amparore, Susanna Donatelli, Andrea Bondavalli
2018	J	`jnl`	SeqBox: RNAseq/ChIPseq reproducible analysis on a consumer game computer. Bioinform. Marco Beccuti, Francesca Cordero, Maddalena Arigoni, Riccardo Panero, Elvio Gilberto Amparore, Susanna Donatelli, Raffaele A. Calogero
2017	—	`conf`	Analysis of Non-Markovian Systems in GreatSPN. InfQ@VALUETOOLS Elvio Gilberto Amparore, Susanna Donatelli
2017	—	`conf`	Decision Diagrams for Petri Nets: Which Variable Ordering? PNSE @ Petri Nets Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner
2017	B	`conf`	Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units. ATVA Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli
2017	B	`conf`	Modelling and Evaluation of a Control Room Application. Petri Nets Elvio Gilberto Amparore, Susanna Donatelli, Elisa Landini
2017	—	`conf`	alphaFactory: A Tool for Generating the Alpha Factors of General Distributions - (Tool Paper). QEST Elvio Gilberto Amparore, Susanna Donatelli
2016	—	`conf`	Efficient solution of extended Multiple-Phased Systems. VALUETOOLS Elvio Gilberto Amparore, Susanna Donatelli
2016	—	`conf`	Optimal Aggregation of Components for the Solution of Markov Regenerative Processes. QEST Elvio Gilberto Amparore, Susanna Donatelli
2015	J	`jnl`	Alternative splicing detection workflow needs a careful combination of sample prep and bioinformatics analysis. BMC Bioinform. Matteo Carrara, Josephine Lum, Francesca Cordero, Marco Beccuti, Michael Poidinger, Susanna Donatelli, Raffaele A. Calogero, Francesca Zolezzi
2015	—	`conf`	Markov Decision Petri Nets with Uncertainty. EPEW Marco Beccuti, Elvio Gilberto Amparore, Susanna Donatelli, Dimitri Scheftelowitsch, Peter Buchholz, Giuliana Franceschinis
2014	B	`conf`	(Stochastic) Model Checking in GreatSPN. Petri Nets Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli
2014	—	`conf`	A Structured Solution Approach for Markov Regenerative Processes. QEST Elvio Gilberto Amparore, Peter Buchholz, Susanna Donatelli
2014	J	`jnl`	Chimera: a Bioconductor package for secondary analysis of fusion products. Bioinform. Marco Beccuti, Matteo Carrara, Francesca Cordero, Fulvio Lazzarato, Susanna Donatelli, Francesca Nadalin, Alberto Policriti, Raffaele A. Calogero
2014	—	`conf`	Cognitive Systems in Intelligent Vehicles - A New Frontier for Autonomous Driving. ICINCO (2) Elvio Gilberto Amparore, Marco Beccuti, Simona Collina, Flavia De Simone, Susanna Donatelli, Fabio Tango
2013	J	`jnl`	A component-based solution for reducible Markov regenerative processes. Perform. Evaluation Elvio Gilberto Amparore, Susanna Donatelli
2013	B	`conf`	Expressing and Computing Passage Time Measures of GSPN Models with HASL. Petri Nets Elvio Gilberto Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
2013	—	`conf`	Improving and Assessing the Efficiency of the MC4CSLTA Model Checker. EPEW Elvio Gilberto Amparore, Susanna Donatelli
2013	—	`ch.`	Quantitative Verification of Markov Chains. Communicating Embedded Systems Susanna Donatelli, Serge Haddad
2013	—	`conf`	Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets. SIGSIM-PADS Elvio Gilberto Amparore, Benoît Barbot, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
2013	J	`jnl`	State of art fusion-finder algorithms are suitable to detect transcription-induced chimeras in normal tissues? BMC Bioinform. Matteo Carrara, Marco Beccuti, Federica Cavallo, Susanna Donatelli, Fulvio Lazzarato, Francesca Cordero, Raffaele A. Calogero
2012	—	`conf`	Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications. PASM/PDMC Elvio Gilberto Amparore, Susanna Donatelli
2012	J	`jnl`	Critical Utility Infrastructural Resilience CoRR Giovanna Dondossola, Geert Deconinck, Felicita Di Giandomenico, Susanna Donatelli, Mohamed Kaâniche, Paulo Veríssimo
2012	—	`ed.`	Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and of the 10th International Conference on Application of Concurrency to System Design (ACSD 2010), Braga, Portugal, June, 2010 ACSD/Petri Nets Workshops Susanna Donatelli, Jetty Kleijn, Ricardo Jorge Machado, João M. Fernandes
2012	J	`jnl`	Quantification of dependencies between electrical and information infrastructures. Int. J. Crit. Infrastructure Prot. Marco Beccuti, Silvano Chiaradonna, Felicita Di Giandomenico, Susanna Donatelli, Giovanna Dondossola, Giuliana Franceschinis
2012	—	`ed.`	Transactions on Petri Nets and Other Models of Concurrency V Trans. Petri Nets and Other Models of Concurrency Kurt Jensen, Susanna Donatelli, Jetty Kleijn
2011	—	`conf`	Probe Automata for Passage Time Specification. QEST Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
2011	J	`jnl`	Revisiting the matrix-free solution of Markov regenerative processes. Numer. Linear Algebra Appl. Elvio Gilberto Amparore, Susanna Donatelli
2010	—	`conf`	A Component-Based Solution Method for Non-ergodic Markov Regenerative Processes. EPEW Elvio Gilberto Amparore, Susanna Donatelli
2010	—	`conf`	DSPN-Tool: A New DSPN and GSPN Solver for GreatSPN. QEST Elvio Gilberto Amparore, Susanna Donatelli
2010	B	`conf`	GreatSPN Enhanced with Decision Diagram Data Structures. Petri Nets Junaid Babar, Marco Beccuti, Susanna Donatelli, Andrew S. Miner
2010	—	`conf`	MC4CSLTA: An Efficient Model Checking Tool for CSLTA. QEST Elvio Gilberto Amparore, Susanna Donatelli
2010	A	`conf`	Model checking CSL DSN Elvio Gilberto Amparore, Susanna Donatelli
2010	J	`jnl`	Special Issue on "Quantitative Evaluation of Systems". Perform. Evaluation Susanna Donatelli, Prakash Panangaden, Gerardo Rubino
2010	—	`ed.`	Transactions on Petri Nets and Other Models of Concurrency IV Trans. Petri Nets and Other Models of Concurrency Kurt Jensen, Susanna Donatelli, Maciej Koutny
2009	J	`jnl`	Model Checking Timed and Stochastic Properties with CSL^{TA}. IEEE Trans. Software Eng. Susanna Donatelli, Serge Haddad, Jeremy Sproston
2009	J	`jnl`	The GreatSPN tool: recent enhancements. SIGMETRICS Perform. Evaluation Rev. Souheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis
2008	C	`conf`	Dependent Automata for the Modelling of Dependencies. CRITIS Susanna Donatelli
2007	—	`conf`	CSL QEST Susanna Donatelli, Serge Haddad, Jeremy Sproston
2007	A	`conf`	From Time Petri Nets to Timed Automata: An Untimed Approach. TACAS Davide D'Aprile, Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston
2007	C	`conf`	UML Diagrams Supporting Domain Specification Inside the CRUTIAL Project. CRITIS Davide Cerotti, Daniele Codetta Raiteri, Susanna Donatelli, Claudio Brasca, Giovanna Dondossola, Fabrizio Garrone
2006	J	`jnl`	Backward Bisimulation in Markov Chain Model Checking. IEEE Trans. Software Eng. Jeremy Sproston, Susanna Donatelli
2006	—	`conf`	CSL Model Checking for Generalized Stochastic Petri Nets. QEST Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston
2006	—	`ed.`	Petri Nets and Other Models of Concurrency - ICATPN 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings ICATPN Susanna Donatelli, P. S. Thiagarajan
2006	—	`conf`	Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. ACSD Davide Cerotti, Davide D'Aprile, Susanna Donatelli, Jeremy Sproston
2004	—	`conf`	A Comparison of Structural Formalisms for Modeling Large Markov Models. IPDPS Next Generation Software Program - NSFNGS - PI Workshop Ming-Ying Chung, Gianfranco Ciardo, Susanna Donatelli, N. He, Brigitte Plateau, William J. Stewart, E. Sulaiman, Andy Jinqing Yu
2004	—	`conf`	A class Diagram framework for collecting dependability requirements in automation systems. ISoLA (Preliminary proceedings) Simona Bernardi, Susanna Donatelli, Giovanna Dondossola
2004	—	`conf`	Backward Stochastic Bisimulation in CSL Model Checking. QEST Jeremy Sproston, Susanna Donatelli
2004	—	`conf`	CSL Model Checking for the GreatSPN Tool. ISCIS Davide D'Aprile, Susanna Donatelli, Jeremy Sproston
2004	—	`conf`	Extended SWN Solvers in GreatSPN. QEST Jean-Michel Ilié, Souheib Baarir, Marco Beccuti, Clément Delamare, Susanna Donatelli, Claude Dutheillet, Giuliana Franceschinis, Rossano Gaeta, Patrice Moreaux
2004	C	`conf`	Stochastic Petri Nets and Inheritance for Dependability Modelling. PRDC Simona Bernardi, Susanna Donatelli
2004	A	`conf`	Student Forum. DSN Susanna Donatelli
2004	—	`conf`	Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems. FORMATS/FTRTFT Simona Bernardi, Susanna Donatelli, Giovanna Dondossola
2003	—	`conf`	Building Petri net scenarios for dependable automation systems. PNPM Simona Bernardi, Susanna Donatelli
2003	—	`conf`	Petri Nets and Dependability. Lectures on Concurrency and Petri Nets Simona Bernardi, Andrea Bobbio, Susanna Donatelli
2002	—	`conf`	Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems. ECBS Vincenzo De Florio, Susanna Donatelli, Giovanna Dondossola
2002	—	`conf`	From UML sequence diagrams and statecharts to analysable petrinet models. Workshop on Software and Performance Simona Bernardi, Susanna Donatelli, José Merseguer
2002	A	`conf`	Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization. DSN Paolo Ballarini, Simona Bernardi, Susanna Donatelli
2002	—	`conf`	Validation of GSPN and SWN Models through the PROD Tool. Computer Performance Evaluation / TOOLS Susanna Donatelli, Liliana Ferro
2001	J	`jnl`	Implementing compositionality for stochastic Petri nets. Int. J. Softw. Tools Technol. Transf. Simona Bernardi, Susanna Donatelli, András Horváth
2001	J	`jnl`	Integrating synchronization with priority into a Kronecker representation. Perform. Evaluation Susanna Donatelli, Peter Kemper
2001	—	`conf`	Kronecker Algebra and (Stochastic) Petri Nets: Is It Worth the Effort? ICATPN Susanna Donatelli
2001	A	`conf`	Performance Validation of Fault-Tolerance Software: A Compositional Approach. DSN Simona Bernardi, Susanna Donatelli
2000	J	`jnl`	Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models. INFORMS J. Comput. Peter Buchholz, Gianfranco Ciardo, Susanna Donatelli, Peter Kemper
2000	—	`conf`	Integrating Synchronization with Priority into a Kronecker Representation. Computer Performance Evaluation / TOOLS Susanna Donatelli, Peter Kemper
2000	—	`conf`	Parametric Stochastic Well-Formed Nets and Compositional Modelling. ICATPN Paolo Ballarini, Susanna Donatelli, Giuliana Franceschinis
2000	C	`conf`	The TIRAN approach to reusing software implemented fault tolerance. PDP 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
2000	—	`conf`	Toward a Contextual Information Service supporting adaptability and awareness promotion in CSCW systems. COOP Susanna Donatelli, Marcello Sarini, Carla Simone
2000	A*	`conf`	Using the exact state space of a Markov model to compute approximate stationary measures. SIGMETRICS Andrew S. Miner, Gianfranco Ciardo, Susanna Donatelli
1999	—	`ed.`	Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings ICATPN Susanna Donatelli, H. C. M. Kleijn
1999	J	`jnl`	Structured Solution of Asynchronously Communicating Stochastic Modules. IEEE Trans. Software Eng. Javier Campos, Susanna Donatelli, Manuel Silva Suárez
1999	—	`conf`	TIRAN: Flexible and Portable Fault Tolerance Solutions for Cost Effective Dependable Applications. Euro-Par 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
1998	J	`jnl`	Modelling with Generalized Stochastic Petri Nets. SIGMETRICS Perform. Evaluation Rev. Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte, Susanna Donatelli, Giuliana Franceschinis
1998	—	`conf`	Structured Characterization of the Markov Chain of Phase-Type SPN. Computer Performance Evaluation (Tools) Susanna Donatelli, Serge Haddad, Patrice Moreaux
1997	—	`conf`	Performance prediction of a reconfigurable high voltage substation simulator: a case study using SWN. PNPM Cosimo Anglano, Susanna Donatelli, Giuliana Franceschinis, Oliver Botti
1997	—	`conf`	Structured solution of stochastic DSSP systems. PNPM Javier Campos, Manuel Silva Suárez, Susanna Donatelli
1996	—	`conf`	Assessing the Performance of Multiprocessor Architectures through SWN Models Simulation: A Case Study in the Field of Plant Automation Systems. Annual Simulation Symposium Oliver Botti, Susanna Donatelli, Giuliana Franceschinis
1996	J	`jnl`	Client - server programs analysis in the EPOCA environment. Distributed Syst. Eng. Susanna Donatelli, Nicola Mazzocca, Stefano Russo
1996	—	`conf`	EPOCA: status and prospects. Software Engineering for Parallel and Distributed Systems Susanna Donatelli, Nicola Mazzocca, Stefano Russo
1996	—	`conf`	Modelling and Analysis of Distributed Software Using GSPNs. Petri Nets (2) Susanna Donatelli, Giuliana Franceschinis
1996	B	`conf`	Petri Nets in Performance Analysis: An Introduction. Petri Nets Marco Ajmone Marsan, Andrea Bobbio, Susanna Donatelli
1996	—	`conf`	The PSR Methodology: Integrating Hardware and Software Models. Application and Theory of Petri Nets Susanna Donatelli, Giuliana Franceschinis
1995	—	`conf`	A comparison of performance evaluation process algebra and generalized stochastic Petri nets. PNPM Susanna Donatelli, Marina Ribaudo, Jane Hillston
1995	A*	`conf`	State Space Reductions Using Stochastic Well-Formed Net Simplifications: An Application to Random Polling Systems. SIGMETRICS Susanna Donatelli, Giuliana Franceschinis
1994	J	`jnl`	On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs. Perform. Evaluation Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis, Antonino Mazzeo, Nicola Mazzocca, Marina Ribaudo
1994	—	`conf`	Software Architecture of the EPOCA Integrated Environment. Computer Performance Evaluation Susanna Donatelli, Giuliana Franceschinis, Nicola Mazzocca, Stefano Russo
1994	—	`conf`	Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution. Application and Theory of Petri Nets Susanna Donatelli
1994	J	`jnl`	Use of GSPNs for concurrent software validation in EPOCA. Inf. Softw. Technol. Susanna Donatelli, Giuliana Franceschinis, Marina Ribaudo, Stefano Russo
1993	A*	`conf`	Good and Bad Dynamic Polling Orders in Symmetric Single Buffer Markovian Multiserver Multiqueue Systems. INFOCOM Marco Ajmone Marsan, Susanna Donatelli, Fabio Neri, U. Rubino
1993	C	`conf`	On the use of communication graphs in automatic mapping. PDP Susanna Donatelli, Cosimo Anglano
1993	—	`conf`	Parallel architectures with regular structure: A case study in modelling using stochastic well-formed coloured Petri nets. PNPM Cosimo Anglano, Susanna Donatelli, Rossano Gaeta
1993	J	`jnl`	Superposed Stochastic Automata: A Class of Stochastic Petri Nets with Parallel Solution and Distributed State Space. Perform. Evaluation Susanna Donatelli
1992	A*	`conf`	Cycles and Waiting Times in Symmetric Exhaustive and Gated Multiserver Multiqueue Systems. INFOCOM Marco Ajmone Marsan, Luís F. M. de Moraes, Susanna Donatelli, Fabio Neri
1992	—	`conf`	On the Product Form Solution for Stochastic Petri Nets. Application and Theory of Petri Nets Susanna Donatelli, Matteo Sereno
1992	J	`jnl`	Understanding Parallel Program Behavior through Petri Net Models. J. Parallel Distributed Comput. Gianfranco Balbo, Susanna Donatelli, Giuliana Franceschinis
1991	A*	`conf`	GSPN Models of Random, Cyclic, and Optimal 1-Limited Multiserver Multiqueue Systems. SIGCOMM Marco Ajmone Marsan, Susanna Donatelli, U. Rubino, Fabio Neri
1991	—	`conf`	GSPNs versus SPNs: What is the Actual Role of Immediate Transitions? PNPM Giovanni Chiola, Susanna Donatelli, Giuliana Franceschinis
1991	A*	`conf`	Multiserver Multiqueue Systems with Limited Service and Zero Walk Time. INFOCOM Marco Ajmone Marsan, Fabio Neri, Susanna Donatelli
1991	—	`conf`	On the Construction of Abstract GSPNS: An Exercise in Modeling. PNPM Marco Ajmone Marsan, Susanna Donatelli, Fabio Neri, U. Rubino
1991	—	`conf`	Superposed Stochastic Automata: A Class of Stochastic Petri Nets Amenable to Parallel Solution. PNPM Susanna Donatelli
1990	A*	`conf`	Analysis of Symmetric Nonexhaustive Polling with Multiple Servers. INFOCOM Marco Ajmone Marsan, Luís F. M. de Moraes, Susanna Donatelli, Fabio Neri
1990	J	`jnl`	GSPN Models of Markovian Multiserver Multiqueue Systems. Perform. Evaluation Marco Ajmone Marsan, Susanna Donatelli, Fabio Neri
1989	—	`conf`	GSPN Models of Multiserver Multiqueue Systems. PNPM Marco Ajmone Marsan, Susanna Donatelli, Fabio Neri
1986	J	`jnl`	On the product-form solution of a class of multiple-bus multiprocessor system models. J. Syst. Softw. Marco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola, Susanna Donatelli