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

A semi-formal description of migrating domain-specific models with evolving domains., , , , , and . Softw. Syst. Model., 13 (2): 807-823 (2014)Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems., , , , , , , , , and . IEEE Softw., 31 (2): 62-69 (2014)Deliberative, search-based mitigation strategies for model-based software health management., , , and . Innov. Syst. Softw. Eng., 9 (4): 293-318 (2013)Applying DDDAS Principles for Realizing Optimized and Robust Deep Learning Models at the Edge., , , , and . DDDAS, volume 13984 of Lecture Notes in Computer Science, page 325-339. Springer, (2022)Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models., , , and . SC@TOOLS, volume 6708 of Lecture Notes in Computer Science, page 133-140. Springer, (2011)Syntheto: A Surface Language for APT and ACL2., , , , , and . ACL2, volume 359 of EPTCS, page 151-167. (2022)Rapid property specification and checking for model-based formalisms., , , , , , and . International Symposium on Rapid System Prototyping, page 121-127. IEEE, (2011)A Rapid Testing Framework for a Mobile Cloud., , , , , and . RSP, page 128-134. IEEE, (2014)Triggering Rowhammer Hardware Faults on ARM: A Revisit., , , , and . ASHES@CCS, page 24-33. ACM, (2018)Dynamic symbolic execution for the analysis of web server applications in Java., , , and . SAC, page 2178-2185. ACM, (2019)