Mihail Asavoae

According to our database, Mihail Asavoae authored at least 33 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults.

Simon Tollec, Vedad Hadzic, Pascal Nasahl, Mihail Asavoae, Roderick Bloem, Damien Couroussé, Karine Heydemann, Mathieu Jan, Stefan Mangard

IACR Cryptol. ePrint Arch., 2024

2023

A formal framework to design and prove trustworthy memory controllers.

Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner

Real Time Syst., December, 2023

From the Standards to Silicon: Formally Proved Memory Controllers.

Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

μARCHIFI: Formal Modeling and Verification Strategies for Microarchitectural Fault Injections.

Simon Tollec, Mihail Asavoae, Damien Couroussé, Karine Heydemann, Mathieu Jan

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2022

Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture.

Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan

Int. J. Softw. Tools Technol. Transf., 2022

A Coq Framework for More Trustworthy DRAM Controllers.

Felipe Lisboa Malaquias, Mihail Asavoae, Florian Brandner

Proceedings of the RTNS 2022: The 30th International Conference on Real-Time Networks and Systems, Paris, France, June 7, 2022

The Role of Causality in a Formal Definition of Timing Anomalies.

Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan

Proceedings of the 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2022

Work in Progress: Automatic Construction of Pipeline Datapaths from High-Level HDL Code.

Samira Ait Bensaid, Mihail Asavoae, Farhat Thabet, Mathieu Jan

Proceedings of the 28th IEEE Real-Time and Embedded Technology and Applications Symposium, 2022

Deriving Pipeline Models for Timing Analysis from High-Level HDL Processor Designs.

Samira Ait Bensaid, Mihail Asavoae, Farhat Thabet, Mathieu Jan

Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022

A memory interference analysis using a formal timing analyzer (WIP).

Mihail Asavoae, Oumaima Matoussi, Asmae Bouachtala, Hai-Dang Vu, Mathieu Jan

Proceedings of the LCTES '22: 23rd ACM SIGPLAN/SIGBED International Conference on Languages, 2022

Exploration of Fault Effects on Formal RISC-V Microarchitecture Models.

Simon Tollec, Mihail Asavoae, Damien Couroussé, Karine Heydemann, Mathieu Jan

Proceedings of the Workshop on Fault Detection and Tolerance in Cryptography, 2022

2021

Is This Still Normal? Putting Definitions of Timing Anomalies to the Test.

Benjamin Binder, Mihail Asavoae, Belgacem Ben Hedia, Florian Brandner, Mathieu Jan

Proceedings of the 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2021

2020

Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture.

Benjamin Binder, Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, Mathieu Jan

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

Formal Semantics of Predictable Pipelines: a Comparative Study.

Mathieu Jan, Mihail Asavoae, Martin Schoeberl, Edward A. Lee

Proceedings of the 25th Asia and South Pacific Design Automation Conference, 2020

2019

Improving WCET Evaluation using Linear Relation Analysis.

Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, Rémy Boutonnet

Leibniz Trans. Embed. Syst., 2019

Towards Formal Co-validation of Hardware and Software Timing Models of CPSs.

Mihail Asavoae, Imane Haur, Mathieu Jan, Belgacem Ben Hedia, Martin Schoeberl

Proceedings of the Cyber Physical Systems. Model-Based Design - 9th International Workshop, 2019

2018

Slicing from formal semantics: Chisel - a tool for generic program slicing.

Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco

Int. J. Softw. Tools Technol. Transf., 2018

Formal Executable Models for Automatic Detection of Timing Anomalies.

Mihail Asavoae, Belgacem Ben Hedia, Mathieu Jan

Proceedings of the 18th International Workshop on Worst-Case Execution Time Analysis, 2018

Context-Updates Analysis and Refinement in Chisel.

Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco

Proceedings of the Model Checking Software - 25th International Symposium, 2018

2017

Reproducibility and representativity: mandatory properties for the compositionality of measurement-based WCET estimation approaches.

Cristian Maxim, Adriana Gogonel, Irina Mariuca Asavoae, Mihail Asavoae, Liliana Cucu-Grosjean

SIGBED Rev., 2017

Slicing from Formal Semantics: Chisel.

Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae

Proceedings of the Fundamental Approaches to Software Engineering, 2017

2015

Timing analysis enhancement for synchronous program.

Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier, Mihail Asavoae

Real Time Syst., 2015

Memory Policy Analysis for Semantics Specifications in Maude.

Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae

Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

2014

How to compute worst-case execution time by optimization modulo theory and a clever encoding of program semantics.

Julien Henry, Mihail Asavoae, David Monniaux, Claire Maiza

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2014

Towards a Formal Semantics-Based Technique for Interprocedural Slicing.

Irina Mariuca Asavoae, Mihail Asavoae, Adrián Riesco

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

2013

Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective.

Mihail Asavoae, Claire Maiza, Pascal Raymond

Proceedings of the 13th International Workshop on Worst-Case Execution Time Analysis, 2013

On the Modular Integration of Abstract Semantics for WCET Analysis.

Mihail Asavoae, Irina Mariuca Asavoae

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

2012

A Generic Program Slicing Technique Based on Language Definitions.

Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

2011

K Semantics for Assembly Languages: A Case Study.

Mihail Asavoae

Proceedings of the Second International Workshop on the K Framework and its Applications, 2011

Using the Executable Semantics for CFG Extraction and Unfolding.

Mihail Asavoae, Irina Mariuca Asavoae

Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011

On Abstractions for Timing Analysis in the $\mathbb{K}$ Framework.

Mihail Asavoae, Irina Mariuca Asavoae, Dorel Lucanu

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2011

2010

Collecting Semantics under Predicate Abstraction in the K Framework.

Irina Mariuca Asavoae, Mihail Asavoae

Proceedings of the Rewriting Logic and Its Applications - 8th International Workshop, 2010

Path Directed Symbolic Execution in the K Framework.

Irina Mariuca Asavoae, Mihail Asavoae, Dorel Lucanu

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010