Author of the publication

Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems.

, , , , , and . FM, volume 9995 of Lecture Notes in Computer Science, page 748-756. (2016)

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

Reassessing the Pattern-Based Approach for Formalizing Requirements in the Automotive Domain, , and . Proceedings of the 22nd IEEE International Requirements Engineering Conference (RE'14), (2014)Bounded Invariant Checking for Stateflow., , , and . FMAS/ASYDE@SEFM, volume 371 of EPTCS, page 38-52. (2022)Service Realizability Check as a Technique to Support a Service Security Assurance Case., , and . ICIT, page 973-980. IEEE, (2020)Automated Approaches for Formal Verification of Embedded Systems Artifacts.. Mälardalen University College, Västerås, Eskilstuna, Sweden, (2019)base-search.net (ftmaelardalensho:oai:DiVA.org:mdh-43408).Reassessing the pattern-based approach for formalizing requirements in the automotive domain., , and . RE, page 444-450. IEEE Computer Society, (2014)Bounded invariance checking of simulink models., , and . SAC, page 2168-2177. ACM, (2019)An Energy-aware Mutation Testing Framework for EAST-ADL Architectural Models., , , , and . CoRR, (2018)SMT-based consistency analysis of industrial systems requirements., , , and . SAC, page 1272-1279. ACM, (2017)Specifying Industrial System Requirements using Specification Patterns: A Case Study of Evaluation with Practitioners., and . ENASE, page 92-103. SciTePress, (2019)Identifying Redundancies and Gaps Across Testing Levels During Verification of Automotive Software., , , and . ICSTW, page 131-139. IEEE, (2023)