Author of the publication

A tool for automated reasoning about traces based on configurable formal semantics.

, , , and . ESEC/SIGSOFT FSE, page 959-963. ACM, (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

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)ETAP: Energy-aware Timing Analysis of Intermittent Programs., , , , , , and . ACM Trans. Embed. Comput. Syst., 22 (2): 23:1-23:31 (March 2023)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)Model-Based Test Adaptation for Smart TVs., , , , and . AST@ICSE, page 52-53. ACM/IEEE, (2022)Deep Freezing Attacks on Capacitors and Electronic Circuits., , , , and . SPACE, volume 13162 of Lecture Notes in Computer Science, page 188-203. Springer, (2021)