Publications

Export 23 results:
Sort by: Author Title Type [ Year (Asc)]
Filters: Author is S. Bernardi  [Clear All Filters]
2002
2004
2005
2006
2007
2008
2009
[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
[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.
2010
2011
[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).
[BMP-SOSYM09] Bernardi, S, Merseguer J, Petriu D.  2011.  A Dependability Profile within MARTE. Journal of Software and Systems Modeling. 10(3):24.
[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.
2012
2013
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).