Susanna Donatelli
Orcid: 0000-0002-0911-8457Affiliations:
- University of Turin, Italy
According to our database1,
Susanna Donatelli
authored at least 115 papers
between 1986 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on di.unito.it
On csauthors.net:
Bibliography
2022
Special issue on the Workshop on TOols for Stochastic Modeling and Evaluation (TOSME 2021).
SIGMETRICS Perform. Evaluation Rev., 2022
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022
2021
2020
Int. J. Softw. Tools Technol. Transf., 2020
Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models.
Proceedings of the Language and Automata Theory and Applications, 2020
Guarded Autonomous Transitions Increase Conciseness and Expressiveness of Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2020
2019
Markov regenerative processes solution and stochastic model checking: an on-the-fly approach.
Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
<i>Great-Nsolve</i>: A Tool Integration for (Markov Regenerative) Stochastic Petri Nets.
Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019
Proceedings of the Systems Modeling: Methodologies and Tools, 2019
2018
Trans. Petri Nets Other Model. Concurr., 2018
Perform. Evaluation, 2018
Bioinform., 2018
Adaptive Artificial Co-pilot as Enabler for Autonomous Vehicles and Intelligent Transportation Systems.
Proceedings of the Tenth International Workshop on Agents in Traffic and Transportation (ATT 2018) co-located with with the Federated Artificial Intelligence Meeting, 2018
On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper.
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018
2017
Proceedings of the New Frontiers in Quantitative Methods in Informatics, 2017
alphaFactory: A Tool for Generating the Alpha Factors of General Distributions - (Tool Paper).
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017
Gradient-Based Variable Ordering of Decision Diagrams for Systems with Structural Units.
Proceedings of the Automated Technology for Verification and Analysis, 2017
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2017
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017
2016
Proceedings of the 10th EAI International Conference on Performance Evaluation Methodologies and Tools, 2016
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016
2015
Alternative splicing detection workflow needs a careful combination of sample prep and bioinformatics analysis.
BMC Bioinform., 2015
Proceedings of the Computer Performance Engineering - 12th European Workshop, 2015
2014
Bioinform., 2014
Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014
Proceedings of the ICINCO 2014 - Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics, Volume 2, Vienna, Austria, 1, 2014
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2014
2013
Perform. Evaluation, 2013
State of art fusion-finder algorithms are suitable to detect transcription-induced chimeras in normal tissues?
BMC Bioinform., 2013
Simulation-based verification of hybrid automata stochastic logic formulas for stochastic symmetric nets.
Proceedings of the SIGSIM Principles of Advanced Discrete Simulation, 2013
Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013
Proceedings of the Communicating Embedded Systems, 2013
2012
Int. J. Crit. Infrastructure Prot., 2012
Backward Solution of Markov Chains and Markov Regenerative Processes: Formalization and Applications.
Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012
2011
Numer. Linear Algebra Appl., 2011
Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011
2010
Proceedings of the QEST 2010, 2010
Proceedings of the QEST 2010, 2010
Proceedings of the Computer Performance Engineering, 2010
Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010
Proceedings of the Applications and Theory of Petri Nets, 2010
2009
IEEE Trans. Software Eng., 2009
2008
Proceedings of the Critical Information Infrastructure Security, 2008
2007
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007
Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007
Proceedings of the Critical Information Infrastructures Security, 2007
2006
IEEE Trans. Software Eng., 2006
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006
2004
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004
Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST 2004), 2004
Proceedings of the 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 2004
A class Diagram framework for collecting dependability requirements in automation systems.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004
Proceedings of the Computer and Information Sciences, 2004
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004
Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems.
Proceedings of the Formal Techniques, 2004
Student Forum.
Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004
2003
Proceedings of the 10th International Workshop on Petri Nets and Performance Models, 2003
Proceedings of the Lectures on Concurrency and Petri Nets, 2003
2002
Proceedings of the Third International Workshop on Software and Performance, 2002
Flexible Development of Dependability Services: An Experience Derived from Energy Automation Systems.
Proceedings of the 9th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2002), 2002
Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization.
Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002
Proceedings of the Computer Performance Evaluation, 2002
2001
Int. J. Softw. Tools Technol. Transf., 2001
Perform. Evaluation, 2001
Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001
Proceedings of the Application and Theory of Petri Nets 2001, 2001
2000
Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models.
INFORMS J. Comput., 2000
Using the exact state space of a Markov model to compute approximate stationary measures.
Proceedings of the 2000 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 2000
Proceedings of the Eight Euromicro Workshop on Parallel and Distributed Processing, 2000
Toward a Contextual Information Service supporting adaptability and awareness promotion in CSCW systems.
Proceedings of the 4th International Conference on Designing Cooperative Systems, 2000
Proceedings of the Application and Theory of Petri Nets 2000, 2000
1999
IEEE Trans. Software Eng., 1999
TIRAN: Flexible and Portable Fault Tolerance Solutions for Cost Effective Dependable Applications.
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999
1998
SIGMETRICS Perform. Evaluation Rev., 1998
Proceedings of the Computer Performance Evaluation: Modelling Techniques and Tools, 1998
1997
Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997
Performance prediction of a reconfigurable high voltage substation simulator: a case study using SWN.
Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, 1997
1996
Distributed Syst. Eng., 1996
EPOCA: status and prospects.
Proceedings of the Software Engineering for Parallel and Distributed Systems, 1996
Proceedings of the Application and Theory of Petri Nets 1996, 1996
Assessing the Performance of Multiprocessor Architectures through SWN Models Simulation: A Case Study in the Field of Plant Automation Systems.
Proceedings of the Proceedings 29st Annual Simulation Symposium (SS '96), 1996
Proceedings of the Lectures on Petri Nets I: Basic Models, 1996
Proceedings of the Lectures on Petri Nets II: Applications, 1996
1995
State Space Reductions Using Stochastic Well-Formed Net Simplifications: An Application to Random Polling Systems.
Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, 1995
A comparison of performance evaluation process algebra and generalized stochastic Petri nets.
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, 1995
1994
On the Computation of Performance Characteristics of Concurrent Programs Using GSPNs.
Perform. Evaluation, 1994
Proceedings of the Computer Performance Evaluation, 1994
Proceedings of the Application and Theory of Petri Nets 1994, 1994
1993
Superposed Stochastic Automata: A Class of Stochastic Petri Nets with Parallel Solution and Distributed State Space.
Perform. Evaluation, 1993
Parallel architectures with regular structure: A case study in modelling using stochastic well-formed coloured Petri nets.
Proceedings of the 5th International Workshop on Petri Nets and Performance Models, 1993
Proceedings of the 1993 Euromicro Workshop on Parallel and Distributed Processing, 1993
Good and Bad Dynamic Polling Orders in Symmetric Single Buffer Markovian Multiserver Multiqueue Systems.
Proceedings of the Proceedings IEEE INFOCOM '93, The Conference on Computer Communications, Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies, Networking: Foundation for the Future, San Francisco, CA, USA, March 28, 1993
1992
J. Parallel Distributed Comput., 1992
Cycles and Waiting Times in Symmetric Exhaustive and Gated Multiserver Multiqueue Systems.
Proceedings of the Proceedings IEEE INFOCOM '92, 1992
Proceedings of the Application and Theory of Petri Nets 1992, 1992
1991
Proceedings of the Conference on Communications Architecture & Protocols, 1991
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991
Superposed Stochastic Automata: A Class of Stochastic Petri Nets Amenable to Parallel Solution.
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, 1991
Proceedings of the Proceedings IEEE INFOCOM '91, 1991
1990
Proceedings of the Proceedings IEEE INFOCOM '90, 1990
1989
Proceedings of the Third International Workshop on Petri Nets and Performance Models, 1989
1986
On the product-form solution of a class of multiple-bus multiprocessor system models.
J. Syst. Softw., 1986