| 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) |
