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