Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

AltaRica 3.0 in ten modelling patterns., , and . Int. J. Crit. Comput. Based Syst., 9 (1/2): 133-165 (2019)Synchronization of System Architecture, Multi-physics and Safety Models., , , , , , and . CSDM, page 37-48. Springer, (2019)Performance Assessment of an Offshore Windmill Farm with AltaRica 3.0., , and . IMBSA, volume 13525 of Lecture Notes in Computer Science, page 130-145. Springer, (2022)Abstract executions of stochastic discrete event systems., , and . Int. J. Crit. Comput. Based Syst., 10 (3): 202-226 (2022)Reliability Assessment of Phased-Mission Systems with AltaRica 3.0., , , and . ICSRS, page 400-407. IEEE, (2018)Synchronization of System Architecture and Safety Models: a Proof of Concept., , , , and . ISSE, page 1-8. IEEE, (2019)Model Synchronization: A Formal Framework for the Management of Heterogeneous Models., , and . IMBSA, volume 11842 of Lecture Notes in Computer Science, page 157-172. Springer, (2019)Strategies for Modelling Failure Propagation in Dynamic Systems with AltaRica., , , , , , , and . IMBSA, volume 13525 of Lecture Notes in Computer Science, page 101-115. Springer, (2022)Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica., , , , and . Reliab. Eng. Syst. Saf., (2015)The AltaRica 3.0 Project for Model-Based Safety Assessment, , , , , , and . 4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS 2013, York, United Kingdom, (September 2013)