Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Bernardi, Simona - Dipartimento di Informatica, Università di Torino
Performance Validation of FaultTolerance Software: a Compositional Approach Simona Bernardi, Susanna Donatelli
Stochastic Petri Nets and inheritance for dependability modelling Simona Bernardi, Susanna Donatelli
Curriculum Vitae Personal data
SUBMITTED TO IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS 1 Computation of Performance Bounds for Real-Time
A Compositional Semantics for UML State Machines Aimed at Performance Evaluation
Validation and evaluation of a software solution for fault tolerant distributed synchronization
Compositionality in the GreatSPN tool and its application to the modelling of industrial applications \Lambda
Int J STTT (2001) 3: 417430 / Digital Object Identifier (DOI) 10.1007/s100090100065 Implementing compositionality for stochastic Petri nets
On performance bounds for interval Time Petri Nets Simona Bernardi
UNIVERSIT `A DEGLI STUDI DI TORINO Dipartimento di Informatica
Curriculum dell' attivit`a scientifica e didattica Dati Personali
From UML Sequence Diagrams and Statecharts to analysable Petri Net models
GreatSPN in the new Millenium S.Bernardi y , C.Bertoncello z , S. Donatelli y , G.Franceschinis z ,
Building Petri net scenarios for dependable automation systems Simona Bernardi and Susanna Donatelli
