Publications
] Filters: Author is S. Bernardi [Clear All Filters]
[BDM-WOSP-02] .
2002. From UML Sequence Diagrams and Statecharts to analysable Petri Net models. :35-45.
[BM-IC-06] .
2006. QoS assessment via stochastic analysis. IEEE Internet Computing. 10:32-42.
[BM-WOSP-07] .
2007. A UML Profile for Dependability Analysis of Real-Time Embedded Systems. :115-124.
[BM-JSS-07] .
2007. Performance evaluation of UML design with Stochastic Well-formed Nets. Journal of Systems and Software. 80:1843-1865.
[BDM-Tutorial] .
2005. On derivation of Petri net quantitative models from UML software system specifications.
[BMP-RR-08] .
2008. An UML profile for dependability analysis and modeling of software systems. :47.
[BMP-Models-08] .
2008. Adding Dependability Analysis capabilities to the MARTE profile. LNCS. 5301:736-750.
[BMP-SOSYM09] .
2011. A Dependability Profile within MARTE. Journal of Software and Systems Modeling. 10(3):24.
[PMB-ICPE10] .
2010. Performance aware open-world software in a 3-layer architecture. First Joint WOSP/SIPEW International Conference on Performance Engineering.
[BBCM-09] .
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
[BML-EDCC-10] .
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.
[RMB_SERENE10] .
2010. Modelling and Analysing Resilience as a Security Issue within UML. 2nd International Workshop on Software Engineering for Resilient Systems.
[1382] .
2011. Model-driven availability evaluation of railway control systems. 30th International Conference on Computer Safety, Reliability and Security (Safecomp'11).
[1383] .
2012. Dependability modeling and analysis of software systems specified with UML. ACM Computing Surveys. 45(1)
[1430] .
2012. Dependability modeling and assessment in UML-based software development. The Scientific World Journal. 2012
[1431] .
2013. Enabling the Usage of UML in the Verification of Railway Systems: The DAM-Rail Approach. Reliability Engineering and System Safety. 120:112-126.
[MBCD-wodes02] .
2002. A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
[BC-QEST-04] .
2004. On Performance Bounds for Interval Time Petri Nets. :50-59.
[BCDM-TSE] .
2004. GSPN Compositional Semantics for UML Statecharts and Sequence Diagrams.
[BC09] .
2009. Computation of Performance Bounds for Real-time systems using Time Petri Nets. IEEE Transactions on Industrial Informatics. 5(2):168-180.
[BCM-TII-11] .
2011. Timing-failure risk assessment of UML design using Time Petri Net bound techniques. IEEE Transactions on Industrial Informatics. 7(1):90-104.
[BC-TSMC-13] .
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.
[1515] .
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).
