Author of the publication

Automatic generation of test system instances for configurable cyber-physical systems.

, , , and . Softw. Qual. J., 25 (3): 1041-1083 (2017)

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

Semantics for an interdisciplinary computation (WIP)., and . SpringSim (TMS-DEVS), page 5. ACM, (2013)A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models., , and . MPM@MoDELS, volume 1112 of CEUR Workshop Proceedings, page 37-46. CEUR-WS.org, (2013)Technical engine for democratization of modeling, simulations, and predictions., and . WSC, page 228:1-228:14. WSC, (2012)A Heterogeneous Fleet of Vehicles for Automated Humanitarian Missions., , , , and . Comput. Sci. Eng., 16 (3): 90-95 (2014)A hyperdense semantic domain for hybrid dynamic systems to model different classes of discontinuities., , , and . HSCC, page 83-92. ACM, (2014)Three-dimensional conceptual model for service-oriented simulation, , , and . CoRR, (2009)Industry 4.0 as a Cyber-Physical System study., and . Softw. Syst. Model., 15 (1): 17-29 (2016)Automatic generation of test system instances for configurable cyber-physical systems., , , and . Softw. Qual. J., 25 (3): 1041-1083 (2017)A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains, , and . Model-based testing for embedded systems, CRC Press, Boca Raton, (2011)AdvancingModel-Based Design by Modeling Approximations of Computational Semantics., and . EOOLT, volume 56 of Linköping Electronic Conference Proceedings, page 3-7. Linköping University Electronic Press, (2011)