BERNARDI, Simona
BERNARDI, Simona
Dip. INFORMATICA (attivo dal 01/01/1900 al 30/04/2013)
A class diagram framework for collecting dependability requirements in automation systems
2004-01-01 S. DONATELLI; S. BERNARDI; G. DONDOSSOLA
A compositional semantics for UML State Machines aimed at performance evaluation
2002-01-01 MERSEGUER J.; S. BERNARDI; CAMPOS J.; DONATELLI S.
A UML Profile for Dependability Analysis of Real Time Embedded Systems
2007-01-01 S. BERNARDI; J. MERSEGUER
Adding Dependability Analysis capabilities to the MARTE profile
2008-01-01 Simona Bernardi; José Merseguer; Dorina C. Petriu
Building Petri net scenarios for dependable automation systems
2003-01-01 S. BERNARDI; DONATELLI S.
Compositionality in the GreatSPN tool and its application to the modelling of industrial applications
2000-01-01 BERNARDI S.; DONATELLI S.; HORVATH A.
Concurrent Generalized Petri Nets: Regenerative Conditions
2001-01-01 BERNARDI S.; G. BALBO
From UML Sequence Diagrams and StateCharts to analysable Petri Net models
2002-01-01 S. BERNARDI; DONATELLI S.; MERSEGUER J.
Integrating TPNs and performance bound techniques in ITPN-PerfBound: a new import functionality
2009-01-01 E. Pacini Naumovich; S. Bernardi
ITPN-PerfBound: A performance bound tool for Interval Time Petri Nets
2009-01-01 Elina Pacini Naumovich; Simona Bernardi; Marco Gribaudo
On Performance Bounds for interval Petri nets
2004-01-01 S. BERNARDI; J. CAMPOS
Stochastic Petri Nets and inheritance for dependability modelling.
2004-01-01 S. BERNARDI ; S. DONATELLI
Towards a methodological approach to specification and analysis of dependable automation systems
2004-01-01 S. BERNARDI; S. DONATELLI; G. DONDOSSOLA
UML profiles for non-functional properties at work: analyzing reliability, availability and performance
2009-01-01 L. Berardinelli; S. Bernardi; V. Cortellessa; J. Merseguer
Validation and evaluation of a software solution for fault tolerant distributed synchronization
2002-01-01 BALLARINI P.; S. BERNARDI; DONATELLI S.