Search the dblp DataBase

Publications of Author

1. Simona Bernardi, Andrea Bobbio, Susanna Donatelli
   Petri Nets and Dependability. [Citation Graph (0, 0)][DBLP]
   Lectures on Concurrency and Petri Nets, 2003, pp:125-179 [Conf]
   
2. Paolo Ballarini, Simona Bernardi, Susanna Donatelli
   Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization. [Citation Graph (0, 0)][DBLP]
   DSN, 2002, pp:773-784 [Conf]
   
3. Simona Bernardi, Susanna Donatelli
   Performance Validation of Fault-Tolerance Software: A Compositional Approach. [Citation Graph (0, 0)][DBLP]
   DSN, 2001, pp:379-388 [Conf]
   
4. Simona Bernardi, Susanna Donatelli, Giovanna Dondossola
   Towards a Methodological Approach to Specification and Analysis of Dependable Automation Systems. [Citation Graph (0, 0)][DBLP]
   FORMATS/FTRTFT, 2004, pp:36-51 [Conf]
   
5. Simona Bernardi, Susanna Donatelli
   Stochastic Petri Nets and Inheritance for Dependability Modelling. [Citation Graph (0, 0)][DBLP]
   PRDC, 2004, pp:363-372 [Conf]
   
6. Simona Bernardi, Javier Campos
   On Performance Bounds for Interval Time Petri Nets. [Citation Graph (0, 0)][DBLP]
   QEST, 2004, pp:50-59 [Conf]
   
7. Simona Bernardi, Susanna Donatelli, José Merseguer
   From UML sequence diagrams and statecharts to analysable petrinet models. [Citation Graph (0, 0)][DBLP]
   Workshop on Software and Performance, 2002, pp:35-45 [Conf]
   
8. Simona Bernardi, José Merseguer
   A UML profile for dependability analysis of real-time embedded systems. [Citation Graph (0, 0)][DBLP]
   WOSP, 2007, pp:115-124 [Conf]
   
9. Simona Bernardi, José Merseguer
   QoS Assessment via Stochastic Analysis. [Citation Graph (0, 0)][DBLP]
   IEEE Internet Computing, 2006, v:10, n:3, pp:32-42 [Journal]
   
10. Simona Bernardi, Susanna Donatelli, András Horváth
    Implementing compositionality for stochastic Petri nets. [Citation Graph (0, 0)][DBLP]
    STTT, 2001, v:3, n:4, pp:417-430 [Journal]
    
11. Simona Bernardi, José Merseguer
    Performance evaluation of UML design with Stochastic Well-formed Nets. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2007, v:80, n:11, pp:1843-1865 [Journal]
    
12. 
    Reliability and Availability Requirements Engineering within the Unified Process Using a Dependability Analysis and Modeling Profile. [Citation Graph (, )][DBLP]
    
    
13. 
    A class Diagram framework for collecting dependability requirements in automation systems. [Citation Graph (, )][DBLP]
    
    
14. 
    Adding Dependability Analysis Capabilities to the MARTE Profile. [Citation Graph (, )][DBLP]
    
    
15. 
    Integrating TPNs and Performance Bound Techniques in ITPN-PerfBound: A New Import Functionality. [Citation Graph (, )][DBLP]
    
    
16. 
    ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets. [Citation Graph (, )][DBLP]
    
    
17. 
    Performance aware open-world software in a 3-layer architecture. [Citation Graph (, )][DBLP]