 | 2012 |
|---|
| 22 |       | José Merseguer,
Simona Bernardi:
Dependability analysis of DES based on MARTE and UML state machines models.
Discrete Event Dynamic Systems 22(2): 163-178 (2012) |
| 2011 |
|---|
| 21 | | Simona Bernardi,
Francesco Flammini,
Stefano Marrone,
José Merseguer,
Camilla Papa,
Valeria Vittorini:
Model-Driven Availability Evaluation of Railway Control Systems.
SAFECOMP 2011: 15-28 |
| 20 | | Simona Bernardi,
Javier Campos,
José Merseguer:
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques.
IEEE Trans. Industrial Informatics 7(1): 90-104 (2011) |
| 19 | | Simona Bernardi,
José Merseguer,
Dorina C. Petriu:
A dependability profile within MARTE.
Software and System Modeling 10(3): 313-336 (2011) |
| 2010 |
|---|
| 18 | | Simona Bernardi,
José Merseguer,
Robyn R. Lutz:
Reliability and Availability Requirements Engineering within the Unified Process Using a Dependability Analysis and Modeling Profile.
EDCC 2010: 95-104 |
| 17 | | Diego Perez-Palacin,
José Merseguer,
Simona Bernardi:
Performance aware open-world software in a 3-layer architecture.
WOSP/SIPEW 2010: 49-56 |
| 2009 |
|---|
| 16 | | Elina Pacini Naumovich,
Simona Bernardi:
Integrating TPNs and Performance Bound Techniques in ITPN-PerfBound: A New Import Functionality.
QEST 2009: 285-286 |
| 15 | | Elina Pacini Naumovich,
Simona Bernardi,
Marco Gribaudo:
ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets.
TACAS 2009: 50-53 |
| 14 | | Simona Bernardi,
Javier Campos:
Computation of Performance Bounds for Real-Time systems using Time Petri Nets.
IEEE Trans. Industrial Informatics 5(2): 168-180 (2009) |
| 2008 |
|---|
| 13 | | Simona Bernardi,
José Merseguer,
Dorina C. Petriu:
Adding Dependability Analysis Capabilities to the MARTE Profile.
MoDELS 2008: 736-750 |
| 2007 |
|---|
| 12 | | Simona Bernardi,
José Merseguer:
A UML profile for dependability analysis of real-time embedded systems.
WOSP 2007: 115-124 |
| 11 | | 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 | | Simona Bernardi,
José Merseguer:
QoS Assessment via Stochastic Analysis.
IEEE Internet Computing 10(3): 32-42 (2006) |
| 2004 |
|---|
| 9 | | 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 | | Simona Bernardi,
Susanna Donatelli:
Stochastic Petri Nets and Inheritance for Dependability Modelling.
PRDC 2004: 363-372 |
| 6 | | Simona Bernardi,
Javier Campos:
On Performance Bounds for Interval Time Petri Nets.
QEST 2004: 50-59 |
| 2003 |
|---|
| 5 | | Simona Bernardi,
Andrea Bobbio,
Susanna Donatelli:
Petri Nets and Dependability.
Lectures on Concurrency and Petri Nets 2003: 125-179 |
| 2002 |
|---|
| 4 | | Paolo Ballarini,
Simona Bernardi,
Susanna Donatelli:
Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization.
DSN 2002: 773-784 |
| 3 | | 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 | | Simona Bernardi,
Susanna Donatelli:
Performance Validation of Fault-Tolerance Software: A Compositional Approach.
DSN 2001: 379-388 |
| 1 | | Simona Bernardi,
Susanna Donatelli,
András Horváth:
Implementing compositionality for stochastic Petri nets.
STTT 3(4): 417-430 (2001) |
Data released under the ODC-BY 1.0 license — See also our legal information page