Simona Bernardi

Phone: 
(+34) 976739616
Fax: 
(+34) 976 739 824
Email: 
simonabatunizar [dot] es
Homepage: 
http://cud.unizar.es/bernardi
Office: 
AGM-CUD - Edificio Félix de Azara - despacho n.60
Position: 
Ph.D. Member

Contact data

Centro Universitario de la Defensa

Academia General Militar

Ctra de Huesca s/n

50090 Zaragoza (Spain)

 

 

 

 

Education

 

  • Diploma of accountant programmer (1991), I.T.C ``F.A. Bonelli'' of Cuneo (Italy).
  • Degree in Mathematics (1997), Dept. of Mathematics of the University of Turin (Italy)
  • PhD in Computer Science (2003), Dept. of Computer Science of the University of Turin (Italy). 

Short bio 
I am  professor at the Centro Universitario de la Defensa, Academia General Militar. 
My  research interests include software performance and dependability engineering, meta-modeling and UML profiling, software verification via formal modelling (i.e., Petri nets, queueing networks).

Publications

2014
[1515] Bernardi, S, Albareda J, Colom JM, Mahulea C.  2014.  A model-based approach for the specification and verification of clinical guidelines. Workshop on Models and Methods for Hospital Management and Planning, at 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014).
2013
[1431] Bernardi, S, Flammini F, Marrone S, Mazzocca N, Merseguer J, Nardone R, Vittorini V.  2013.  Enabling the Usage of UML in the Verification of Railway Systems: The DAM-Rail Approach. Reliability Engineering and System Safety. 120:112-126.
application/pdf icon
ress12_dam.pdf
[BC-TSMC-13] Bernardi, S, Campos J.  2013.  A min-max problem for the computation of the cycle time lower bound in interval-based Time Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics: Systems. 43(5):1167-1181.
2012
[1430] Bernardi, S, Merseguer J, Petriu DC.  2012.  Dependability modeling and assessment in UML-based software development. The Scientific World Journal. 2012
application/pdf icon
BMP12.pdf
[1383] Bernardi, S, Merseguer J, Petriu DC.  2012.  Dependability modeling and analysis of software systems specified with UML. ACM Computing Surveys. 45(1)
application/pdf icon
bmp11-cs.pdf
2011
[BCM-TII-11] Bernardi, S, Campos J, Merseguer J.  2011.  Timing-failure risk assessment of UML design using Time Petri Net bound techniques. IEEE Transactions on Industrial Informatics. 7(1):90-104.
application/pdf icon
11_BCM_TII.pdf
[BMP-SOSYM09] Bernardi, S, Merseguer J, Petriu D.  2011.  A Dependability Profile within MARTE. Journal of Software and Systems Modeling. 10(3):24.
application/postscript icon
BMP-09.ps
[1382] Bernardi, S, Francesco F, Marrone S, Merseguer J, Papa C, Vittorini V.  2011.  Model-driven availability evaluation of railway control systems. 30th International Conference on Computer Safety, Reliability and Security (Safecomp'11).
2010
[BML-EDCC-10] Bernardi, S, Merseguer J, Lutz RR.  2010.  Reliability and availability requirements engineering within the Unified Process using a Dependability Analysis and Modeling profile. Eighth European Dependable Computing Conference (EDCC'10). :95-104.
application/postscript icon
BML-EDCC10.ps
[PMB-ICPE10] Perez-Palacin, D, Merseguer J, Bernardi S.  2010.  Performance aware open-world software in a 3-layer architecture. First Joint WOSP/SIPEW International Conference on Performance Engineering.
application/pdf icon
wosp50-perezpalacin.pdf
[RMB_SERENE10] Rodríguez, RJ, Merseguer J, Bernardi S.  2010.  Modelling and Analysing Resilience as a Security Issue within UML. 2nd International Workshop on Software Engineering for Resilient Systems.
application/pdf icon
serene2010_camera_ready.pdf
2009
[BC09] Bernardi, S, Campos J.  2009.  Computation of Performance Bounds for Real-time systems using Time Petri Nets. IEEE Transactions on Industrial Informatics. 5(2):168-180.
application/pdf icon
09_BC_TII.pdf
[BBCM-09] Berardinelli, L, Bernardi S, Cortellessa V, Merseguer J.  2009.  UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance. 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009). 553
application/pdf icon
paper3.pdf
2008
[BMP-Models-08] Bernardi, S, Merseguer J, Petriu D.  2008.  Adding Dependability Analysis capabilities to the MARTE profile. LNCS. 5301:736-750.
0 icon
BMP08-MODELS-CR.pdf
[BMP-RR-08] Bernardi, S, Merseguer J, Petriu D.  2008.  An UML profile for dependability analysis and modeling of software systems. :47.
0 icon
DAMreportV2.pdf
2007
[BM-WOSP-07] Bernardi, S, Merseguer J.  2007.  A UML Profile for Dependability Analysis of Real-Time Embedded Systems. :115-124.
0 icon
BM-07.pdf
[BM-JSS-07] Bernardi, S, Merseguer J.  2007.  Performance evaluation of UML design with Stochastic Well-formed Nets. Journal of Systems and Software. 80:1843-1865.
0 icon
BM-JSS-07.pdf
2006
[BM-IC-06] Bernardi, S, Merseguer J.  2006.  QoS assessment via stochastic analysis. IEEE Internet Computing. 10:32-42.
0 icon
BM-IC-06.pdf
2005
[BDM-Tutorial] Bernardi, S, Donatelli S, Merseguer J.  2005.  On derivation of Petri net quantitative models from UML software system specifications.
2004
[BC-QEST-04] Bernardi, S, Campos J.  2004.  On Performance Bounds for Interval Time Petri Nets. :50-59.
0 icon
CameraReady.pdf
[BCDM-TSE] Bernardi, S, Campos J, Donatelli S, Merseguer J.  2004.  GSPN Compositional Semantics for UML Statecharts and Sequence Diagrams.
2002
[BDM-WOSP-02] Bernardi, S, Donatelli S, Merseguer J.  2002.  From UML Sequence Diagrams and Statecharts to analysable Petri Net models. :35-45.
0 icon
02_BDM_WOSP.ps
[MBCD-wodes02] Merseguer, J, Bernardi S, Campos J, Donatelli S.  2002.  A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
0 icon
02_MBCD_WODES.pdf