Author of the publication

Simulation-based verification for parallelization of model-based applications.

, , and . SummerSim, page 10:1-10:10. ACM, (2018)

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

Simulation as Experience to Enhance Three Types of Skills., , , , and . Body of Knowledge for Modeling and Simulation, Springer, (2023)Model integration workflow for keeping models up to date in a research simulator., , and . SIMULTECH, page 125-132. IEEE, (2014)Flight 4.0: The Changing Technology Landscape of Aeronautics.. Advances in Aeronautical Informatics, Springer, (2018)OWL ontology to Ecore metamodel transformation for designing a domain specific language to develop aviation scenarios., , and . SpringSim (Mod4Sim), page 3:1-3:11. ACM, (2017)Setting systems and simulation life cycle processes side by side., and . ISSE, page 1-7. IEEE, (2016)Design patterns for variability modeling using SES ontology., , , and . SpringSim (Mod4Sim), page 3:1-3:12. ACM, (2018)Tool support for transformation from an OWL ontology to an HLA Object Model., , and . SimuTools, page 55. ICST/ACM, (2010)System entity structure and model base framework in model based engineering of simulations for technical systems., , , and . SpringSim (Mod4Sim), page 1:1-1:10. ACM, (2017)Modeling and simulation based development of an enhanced ground proximity warning system for multicore targets., , , and . SpringSim (Mod4Sim), page 4:1-4:12. ACM, (2018)An ontology for trajectory simulation., , and . WSC, page 1160-1167. IEEE Computer Society, (2006)