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

Understanding and improving cyber-physical system models and development tools.. ICSE (Companion Volume), page 452-453. ACM, (2018)EvoSL: A Large Open-Source Corpus of Changes in Simulink Models & Projects., , , , and . MODELS, page 273-284. IEEE, (2023)SLEMI: finding simulink compiler bugs through equivalence modulo input (EMI)., , , and . ICSE (Companion Volume), page 1-4. ACM, (2020)A curated corpus of simulink models for model-based empirical studies., , , , and . SEsCPS@ICSE, page 45-48. ACM, (2018)Replicability Study: Corpora For Understanding Simulink Models & Projects., , and . ESEM, page 1-12. IEEE, (2023)SLEMI: equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink., , , and . ICSE, page 335-346. ACM, (2020)SLNET: A Redistributable Corpus of 3rd-party Simulink Models., , and . MSR, page 1-5. ACM, (2022)Software Engineering for Smart Cyber-Physical Systems (SEsCPS 2018) - Workshop Report., , , , , , , , , and 11 other author(s). ACM SIGSOFT Softw. Eng. Notes, 44 (4): 11-13 (2019)Automatically finding bugs in commercial cyber-physical system development tool chains.. ICSE (Companion Volume), page 506-508. ACM, (2018)