| 2026 | RTAS | Work in Progress: Exploring Timing Anomalies in Multi-Core Systems with Time Petri Nets. | Maha Essabyr, Florian Brandner, Mihail Asavoae, Sbastien Faucou, Jean-Luc Bchennec |
| 2026 | RTAS | A POP | Lilia Rouizi, Mihail Asavoae, Benjamin Binder, Engin Ermis, Lionel Rieg, Florian Brandner |
| 2025 | ECRTS | Revisiting Timing Anomalies in Predictable In-Order Pipelines. | Lilia Rouizi, Mihail Asavoae, Benjamin Binder, Lionel Rieg, Florian Brandner |
| 2025 | UCC | Exploring and Optimizing Moving Target Defense Strategies Using Reinforcement Learning. | Kods Trabelsi, Paul-Tiberiu Iordache, Nadir Tahir, Mihail Asavoae |
| 2024 | DSD | Leveraging Reusable Code and Proofs to Design Complex DRAM Controllers - A Case Study. | Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner |
| 2023 | FMCAD | μARCHIFI: Formal Modeling and Verification Strategies for Microarchitectural Fault Injections. | Simon Tollec, Mihail Asavoae, Damien Courouss, Karine Heydemann, Mathieu Jan |
| 2022 | FDTC | Exploration of Fault Effects on Formal RISC-V Microarchitecture Models. | Simon Tollec, Mihail Asavoae, Damien Courouss, Karine Heydemann, Mathieu Jan |
| 2022 | MEMOCODE | Deriving Pipeline Models for Timing Analysis from High-Level HDL Processor Designs. | Samira Ait Bensaid, Mihail Asavoae, Farhat Thabet, Mathieu Jan |
| 2022 | RTAS | Work in Progress: Automatic Construction of Pipeline Datapaths from High-Level HDL Code. | Samira Ait Bensaid, Mihail Asavoae, Farhat Thabet, Mathieu Jan |
| 2022 | RTCSA | The Role of Causality in a Formal Definition of Timing Anomalies. | Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan |
| 2022 | RTNS | A Coq Framework for More Trustworthy DRAM Controllers. | Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner |
| 2021 | RTCSA | Is This Still Normal? Putting Definitions of Timing Anomalies to the Test. | Benjamin Binder, Mihail Asavoae, Belgacem Ben Hedia, Florian Brandner, Mathieu Jan |
| 2020 | ASPDAC | Formal Semantics of Predictable Pipelines: a Comparative Study. | Mathieu Jan, Mihail Asavoae, Martin Schoeberl, Edward A. Lee |
| 2020 | FMICS | Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture. | Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan |
| 2017 | FASE | Slicing from Formal Semantics: Chisel. | Adrin Riesco, Irina Mariuca Asavoae, Mihail Asavoae |
| 2015 | LOPSTR | Memory Policy Analysis for Semantics Specifications in Maude. | Adrin Riesco, Irina Mariuca Asavoae, Mihail Asavoae |
| 2014 | IFM | Towards a Formal Semantics-Based Technique for Interprocedural Slicing. | Irina Mariuca Asavoae, Mihail Asavoae, Adrin Riesco |
| 2011 | SYNASC | Using the Executable Semantics for CFG Extraction and Unfolding. | Mihail Asavoae, Irina Mariuca Asavoae |
| 2010 | SYNASC | Path Directed Symbolic Execution in the K Framework. | Irina Mariuca Asavoae, Mihail Asavoae, Dorel Lucanu |