MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Susanna Donatelli" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

18 documents found, showing 1 through 10. Next 10 →

ATOM

CSL model checking for the GreatSPN tool
by Susanna Donatelli, Jeremy Sproston — 2004 — In Proc. ISCIS 2004, LNCS 3280
… CSL model checking for the GreatSPN tool? Davide D'Aprile, Susanna Donatelli, and Jeremy…
Cited by 8 (0 self) – Add To MetaCart

Building Petri net scenarios for dependable automation systems
by Simona Bernardi, Susanna Donatelli — 2003 — In Proc. of the 10 th International Workshop on Petri Nets and Performance Models (PNPM2003
… Building Petri net scenarios for dependable automation systems Simona Bernardi and Susanna…
Cited by 5 (3 self) – Add To MetaCart

From Time Petri Nets to Timed Automata:an Untimed Approach
by Susanna Donatelli, Arnaud Sangnier, Jeremy Sproston
… From Time Petri Nets to Timed Automata:an Untimed Approach ? Davide D'Aprile1, Susanna…
Add To MetaCart

ATION. Reports of
by Peter Buchholz, Gianfranco Ciardo, Susanna Donatelli, Peter Kemper — 1997
… of William and Mary) Susanna Donatelli (Universita di Torino, Italy) Peter Kemper (Universitat Dortmund…
Add To MetaCart

CSL model- checking for Generalized Stochastic Petri Nets
by Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston — 2006 — In Proceedings of the 3rd International Conference on Quantitative Evaluation of Systems (QEST 2006). IEEE
…CSL Model Checking for Generalized Stochastic Petri Nets ∗ Davide Cerotti, Susanna Donatelli…
Cited by 1 (0 self) – Add To MetaCart

Bounds for Rewards of Systems With Clients/servers Interaction
by Susanna Donatelli, Serge Haddad, Patrice Moreaux, Mbaye Sene — 1999
…Bounds for rewards of systems with clients/servers interaction Susanna Donatelli 1? , Serge…
Cited by 1 (1 self) – Add To MetaCart

Petri Nets and Dependability
by Simona Bernardi, Andrea Bobbio, Susanna Donatelli — 2004 — Lectures on Concurrency and Petri Nets: Advances in Petri Nets, volume 3098 of Lecture Notes in Computer Science
…Petri Nets and dependability Simona Bernardi 1 , Andrea Bobbio 2 , and Susanna Donatelli 1 1…
Cited by 1 (0 self) – Add To MetaCart

Use of GSPNs for Concurrent Software Validation in EPOCA
by Susanna Donatelli, Giuliana Franceschinis, Marina Ribaudo, Stefano Russo — 1994
… Use of GSPNs for Concurrent Software Validation in EPOCA Susanna Donatelli 1 , Giuliana…
Cited by 2 (0 self) – Add To MetaCart

Complexity of Kronecker Operations on Sparse Matrices with Applications to the Solution of Markov Models
by Peter Buchholz, Gianfranco Ciardo, Susanna Donatelli, Peter Kemper — 1997 — Institute for Computer
… (College of William and Mary) Susanna Donatelli (Universita di Torino, Italy) Peter Kemper (Universitat…
Cited by 19 (8 self) – Add To MetaCart

From UML Sequence Diagrams and Statecharts to analysable Petri Net models
by Simona Bernardi, Susanna Donatelli, José Merseguer — 2002
…Dipartimento di Informatica Universit `a di Torino, Italybernardi@(email omitted); Susanna DonatelliDipartimento di…
Cited by 51 (10 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB