BERNARDI, Simona
BERNARDI, Simona
Dip. INFORMATICA (attivo dal 01/01/1900 al 30/04/2013)
29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2008)
2008-01-01 S. Bernardi
30th International Conference on Application and Theory of Petri Nets and other models of concurrency (ICATPN 2009)
2009-01-01 S. Bernardi
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
Automated Manufacturing Systems (track of ETFA 2009)
2009-01-01 S. Bernardi
Automated Manufacturing Systems (track of ETFA 2010)
2010-01-01 S. Bernardi
Building Petri net scenarios for dependable automation systems
2003-01-01 S. BERNARDI; DONATELLI S.
Comparing two UML Profiles for Non-functional Requirement Annotations: the SPT and QoS Profiles
2004-01-01 Simona Bernardi; Dorina C. Petriu
Compositionality in the GreatSPN tool and its application to the modelling of industrial applications
2000-01-01 BERNARDI S.; DONATELLI S.; HORVATH A.
Computation of Performance Bounds for Real-time systems using Time Petri Nets
2009-01-01 Simona Bernardi; Javier Campos
Concurrent Generalized Petri Nets: Regenerative Conditions
2001-01-01 BERNARDI S.; G. BALBO
EPEW 2010: 7th European Performance Engineering Workshop
2010-01-01 S. Bernardi
From UML Sequence Diagrams and StateCharts to analysable Petri Net models
2002-01-01 S. BERNARDI; DONATELLI S.; MERSEGUER J.
Industrial Automated Systems and Controls (track of ETFA 2008)
2008-01-01 S. Bernardi
Integrating TPNs and performance bound techniques in ITPN-PerfBound: a new import functionality
2009-01-01 E. Pacini Naumovich; S. Bernardi
International Conference on Advanced Engineering Computing and Applications in Sciences (ADVCOMP 2007)
2007-01-01 S. Bernardi
ITPN-PerfBound: A performance bound tool for Interval Time Petri Nets
2009-01-01 Elina Pacini Naumovich; Simona Bernardi; Marco Gribaudo
Modelado de Redes de Petri con Intervalos de Tiempo mediante la herramienta ITPN-PerfBound
2009-01-01 E. Pacini Naumovich; S. Bernardi