2009 |
14 | EE | Elina Pacini Naumovich,
Simona Bernardi,
Marco Gribaudo:
ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets.
TACAS 2009: 50-53 |
2008 |
13 | EE | Simona Bernardi,
José Merseguer,
Dorina C. Petriu:
Adding Dependability Analysis Capabilities to the MARTE Profile.
MoDELS 2008: 736-750 |
2007 |
12 | EE | Simona Bernardi,
José Merseguer:
A UML profile for dependability analysis of real-time embedded systems.
WOSP 2007: 115-124 |
11 | EE | Simona Bernardi,
José Merseguer:
Performance evaluation of UML design with Stochastic Well-formed Nets.
Journal of Systems and Software 80(11): 1843-1865 (2007) |
2006 |
10 | EE | Simona Bernardi,
José Merseguer:
QoS Assessment via Stochastic Analysis.
IEEE Internet Computing 10(3): 32-42 (2006) |
2004 |
9 | EE | Simona Bernardi,
Susanna Donatelli,
Giovanna Dondossola:
Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems.
FORMATS/FTRTFT 2004: 36-51 |
8 | | Simona Bernardi,
Susanna Donatelli,
Giovanna Dondossola:
A class Diagram framework for collecting dependability requirements in automation systems.
ISoLA (Preliminary proceedings) 2004: 276-283 |
7 | EE | Simona Bernardi,
Susanna Donatelli:
Stochastic Petri Nets and Inheritance for Dependability Modelling.
PRDC 2004: 363-372 |
6 | EE | Simona Bernardi,
Javier Campos:
On Performance Bounds for Interval Time Petri Nets.
QEST 2004: 50-59 |
2003 |
5 | EE | Simona Bernardi,
Andrea Bobbio,
Susanna Donatelli:
Petri Nets and Dependability.
Lectures on Concurrency and Petri Nets 2003: 125-179 |
2002 |
4 | EE | Paolo Ballarini,
Simona Bernardi,
Susanna Donatelli:
Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization.
DSN 2002: 773-784 |
3 | EE | Simona Bernardi,
Susanna Donatelli,
José Merseguer:
From UML sequence diagrams and statecharts to analysable petrinet models.
Workshop on Software and Performance 2002: 35-45 |
2001 |
2 | EE | Simona Bernardi,
Susanna Donatelli:
Performance Validation of Fault-Tolerance Software: A Compositional Approach.
DSN 2001: 379-388 |
1 | EE | Simona Bernardi,
Susanna Donatelli,
András Horváth:
Implementing compositionality for stochastic Petri nets.
STTT 3(4): 417-430 (2001) |