Mihail Asavoae

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 22

Top Topics

Owl Dl Ontology

Automatic Construction

Abnormal Behavior

Formal Language

Top Venues

Int. J. Softw. Tools Technol. Transf.

Real Time Syst.

Publications

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