Concepedia

Susanna Donatelli

SD

2

Publications

123

Citations

2

H-Index

1986

Active since

Affiliations

University of Turin(Current)

Susanna Donatelli is an author at University of Turin specializing in computer science, systems engineering, and computer engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringComputer EngineeringVerificationMarkov ChainsFormal MethodsProcess ControlParallel ComputingAutomated Reasoning

Publications per year

1986–2008

2

Publications

2

Model Checking Timed and Stochastic Properties with CSL^{TA}

Susanna Donatelli, Serge Haddad, Jeremy Sproston · IEEE Transactions on Software Engineering · 2008 · 97 citations

Model Checking Timed, Markov Chains, Logical Automaton +15

On the product-form solution of a class of multiple-bus multiprocessor system models

Marco Ajmone Marsan, Gianfranco Balbo, Giovanni Chiola et al. · Journal of Systems and Software · 1986 · 26 citations

Hardware Modeling, Model-based System Engineering, Product-form Solution +12

Rows per page

1–2 of 2