Author of the publication

Automated reasoning framework for traceability management of system of systems.

, and . Sci. Comput. Program., (2020)

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)A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics., , , and . CoRR, (2024)AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning., , , 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)Model-Based Test Adaptation for Smart TVs., , , , and . AST@ICSE, page 52-53. ACM/IEEE, (2022)Exploration of Power Side-Channel Vulnerabilities in Quantum Computer Controllers., , and . CCS, page 579-593. ACM, (2023)