Mihail Asavoae

39 papers A 1B 8C 5Misc 4Journal 10Unranked 11

Year	Rank	Type	Title / Venue / Authors
2025	Misc	`conf`	Exploring and Optimizing Moving Target Defense Strategies Using Reinforcement Learning. UCC Kods Trabelsi, Paul-Tiberiu Iordache, Nadir Tahir, Mihail Asavoae
2025	B	`conf`	Revisiting Timing Anomalies in Predictable In-Order Pipelines. ECRTS Lilia Rouizi, Mihail Asavoae, Benjamin Binder, Lionel Rieg, Florian Brandner
2024	J	`jnl`	Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults. IACR Cryptol. ePrint Arch. Simon Tollec, Vedad Hadzic, Pascal Nasahl, Mihail Asavoae, Roderick Bloem, Damien Couroussé, Karine Heydemann, Mathieu Jan, Stefan Mangard
2024	J	`jnl`	Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults. IACR Trans. Cryptogr. Hardw. Embed. Syst. Simon Tollec, Vedad Hadzic, Pascal Nasahl, Mihail Asavoae, Roderick Bloem, Damien Couroussé, Karine Heydemann, Mathieu Jan, Stefan Mangard
2024	C	`conf`	Leveraging Reusable Code and Proofs to Design Complex DRAM Controllers - A Case Study. DSD Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner
2023	J	`jnl`	A formal framework to design and prove trustworthy memory controllers. Real Time Syst. Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner
2023	—	`conf`	From the Standards to Silicon: Formally Proved Memory Controllers. NFM Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner
2023	B	`conf`	μARCHIFI: Formal Modeling and Verification Strategies for Microarchitectural Fault Injections. FMCAD Simon Tollec, Mihail Asavoae, Damien Couroussé, Karine Heydemann, Mathieu Jan
2022	Misc	`conf`	A Coq Framework for More Trustworthy DRAM Controllers. RTNS Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner
2022	B	`conf`	A memory interference analysis using a formal timing analyzer (WIP). LCTES Mihail Asavoae, Oumaima Matoussi, Asmae Bouachtala, Hai-Dang Vu, Mathieu Jan
2022	C	`conf`	Deriving Pipeline Models for Timing Analysis from High-Level HDL Processor Designs. MEMOCODE Samira Ait Bensaid, Mihail Asavoae, Farhat Thabet, Mathieu Jan
2022	C	`conf`	Exploration of Fault Effects on Formal RISC-V Microarchitecture Models. FDTC Simon Tollec, Mihail Asavoae, Damien Couroussé, Karine Heydemann, Mathieu Jan
2022	J	`jnl`	Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture. Int. J. Softw. Tools Technol. Transf. Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan
2022	B	`conf`	The Role of Causality in a Formal Definition of Timing Anomalies. RTCSA Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan
2022	A	`conf`	Work in Progress: Automatic Construction of Pipeline Datapaths from High-Level HDL Code. RTAS Samira Ait Bensaid, Mihail Asavoae, Farhat Thabet, Mathieu Jan
2021	B	`conf`	Is This Still Normal? Putting Definitions of Timing Anomalies to the Test. RTCSA Benjamin Binder, Mihail Asavoae, Belgacem Ben Hedia, Florian Brandner, Mathieu Jan
2020	—	`conf`	Formal Semantics of Predictable Pipelines: a Comparative Study. ASP-DAC Mathieu Jan, Mihail Asavoae, Martin Schoeberl, Edward A. Lee
2020	C	`conf`	Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture. FMICS Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan
2019	J	`jnl`	Improving WCET Evaluation using Linear Relation Analysis. Leibniz Trans. Embed. Syst. Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, Rémy Boutonnet
2019	—	`conf`	Towards Formal Co-validation of Hardware and Software Timing Models of CPSs. CyPhy/WESE Mihail Asavoae, Imane Haur, Mathieu Jan, Belgacem Ben Hedia, Martin Schoeberl
2018	—	`conf`	Context-Updates Analysis and Refinement in Chisel. SPIN Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco
2018	—	`conf`	Formal Executable Models for Automatic Detection of Timing Anomalies. WCET Mihail Asavoae, Belgacem Ben Hedia, Mathieu Jan
2018	J	`jnl`	Slicing from formal semantics: Chisel - a tool for generic program slicing. Int. J. Softw. Tools Technol. Transf. Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco
2017	J	`jnl`	Context-Updates Analysis and Refinement in Chisel. CoRR Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco
2017	J	`jnl`	Reproducibility and representativity: mandatory properties for the compositionality of measurement-based WCET estimation approaches. SIGBED Rev. Cristian Maxim, Adriana Gogonel, Irina Mariuca Asavoae, Mihail Asavoae, Liliana Cucu-Grosjean
2017	B	`conf`	Slicing from Formal Semantics: Chisel. FASE Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae
2015	C	`conf`	Memory Policy Analysis for Semantics Specifications in Maude. LOPSTR Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae
2015	J	`jnl`	Timing analysis enhancement for synchronous program. Real Time Syst. Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier, Mihail Asavoae
2014	J	`jnl`	How to Compute Worst-Case Execution Time by Optimization Modulo Theory and a Clever Encoding of Program Semantics. CoRR Julien Henry, Mihail Asavoae, David Monniaux, Claire Maïza
2014	B	`conf`	How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics. LCTES Julien Henry, Mihail Asavoae, David Monniaux, Claire Maiza
2014	B	`conf`	Towards a Formal Semantics-Based Technique for Interprocedural Slicing. IFM Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco
2013	—	`conf`	On the Modular Integration of Abstract Semantics for WCET Analysis. FOPARA Mihail Asavoae, Irina Mariuca Asavoae
2013	—	`conf`	Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective. WCET Mihail Asavoae, Claire Maiza, Pascal Raymond
2012	—	`conf`	A Generic Program Slicing Technique Based on Language Definitions. WADT Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae
2011	—	`conf`	K Semantics for Assembly Languages: A Case Study. K Mihail Asavoae
2011	—	`conf`	On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework. FOPARA Mihail Asavoae, Irina Mariuca Asavoae, Dorel Lucanu
2011	Misc	`conf`	Using the Executable Semantics for CFG Extraction and Unfolding. SYNASC Mihail Asavoae, Irina Mariuca Asavoae
2010	—	`conf`	Collecting Semantics under Predicate Abstraction in the K Framework. WRLA Irina Mariuca Asavoae, Mihail Asavoae
2010	Misc	`conf`	Path Directed Symbolic Execution in the K Framework. SYNASC Irina Mariuca Asavoae, Mihail Asavoae, Dorel Lucanu