( en | de | ru )

 

Disambiguation of "Asavoae, Mihail"

Author of the publication

copydeleteadd this publication to your clipboard
The Role of Causality in a Formal Definition of Timing Anomalies.

, , , , and . RTCSA, page 91-102. IEEE, (2022)

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.

Mihail Niculescu

Mihail Lungu

Mihail Cosoiu

Mihail Musceleanu

Mihail Petrov

 

Other publications of authors with the same name

Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults., , , , , , , , and . IACR Cryptol. ePrint Arch., (2024)K Semantics for Assembly Languages: A Case Study.. K, volume 304 of Electronic Notes in Theoretical Computer Science, page 111-125. Elsevier, (2011)Towards Formal Co-validation of Hardware and Software Timing Models of CPSs., , , , and . CyPhy/WESE, volume 11971 of Lecture Notes in Computer Science, page 203-227. Springer, (2019)Work in Progress: Automatic Construction of Pipeline Datapaths from High-Level HDL Code., , , and . RTAS, page 305-308. IEEE, (2022)μARCHIFI: Formal Modeling and Verification Strategies for Microarchitectural Fault Injections., , , , and . FMCAD, page 101-109. IEEE, (2023)On Abstractions for Timing Analysis in the $K$ Framework., , and . FOPARA, volume 7177 of Lecture Notes in Computer Science, page 90-107. Springer, (2011)Memory Policy Analysis for Semantics Specifications in Maude., , and . LOPSTR, volume 9527 of Lecture Notes in Computer Science, page 293-310. Springer, (2015)The Role of Causality in a Formal Definition of Timing Anomalies., , , , and . RTCSA, page 91-102. IEEE, (2022)Using the Executable Semantics for CFG Extraction and Unfolding., and . SYNASC, page 123-127. IEEE Computer Society, (2011)Improving WCET Evaluation using Linear Relation Analysis., , , , , , , and . Leibniz Trans. Embed. Syst., 6 (1): 02:1-02:28 (2019)