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

Automated reasoning framework for traceability management of system of systems., and . Sci. Comput. Program., (2020)A tool for automated reasoning about traces based on configurable formal semantics., , , and . ESEC/SIGSOFT FSE, page 959-963. ACM, (2017)Integrating Static Code Analysis Toolchains., , , , , , and . CoRR, (2024)Modeling traceability in system of systems., and . SAC, page 1799-1802. ACM, (2017)Design of Quantum Computer Antivirus., , , , , , , and . HOST, page 260-270. IEEE, (2023)Model-Based Test Adaptation for Smart TVs., , , , and . AST@ICSE, page 52-53. ACM/IEEE, (2022)AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning., , , and . CoRR, (2024)A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics., , , and . CoRR, (2024)ETAP: Energy-aware Timing Analysis of Intermittent Programs., , , , , , and . ACM Trans. Embed. Comput. Syst., 22 (2): 23:1-23:31 (March 2023)Exploration of Power Side-Channel Vulnerabilities in Quantum Computer Controllers., , and . CCS, page 579-593. ACM, (2023)