Mihail Asavoae

发表

Improving WCET Evaluation using Linear Relation Analysis

Nicolas Halbwachs, Pascal Raymond, Claire Maiza, 2019, Leibniz Trans. Embed. Syst..

A Generic Program Slicing Technique Based on Language Definitions

Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae, 2012, WADT.

Memory Policy Analysis for Semantics Specifications in Maude

Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae, 2015, LOPSTR.

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

Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae, 2018, International Journal on Software Tools for Technology Transfer.

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

Liliana Cucu-Grosjean, Irina Mariuca Asavoae, Mihail Asavoae, 2016, SIGBED.

Timing analysis enhancement for synchronous program

Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, 2013, RTNS '13.

On the Modular Integration of Abstract Semantics for WCET Analysis

Irina Mariuca Asavoae, Mihail Asavoae, I. Asavoae, 2013, FOPARA.

Context-Updates Analysis and Refinement in Chisel pdf

Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae, 2017, SPIN.

Scalable Detection of Amplification Timing Anomalies for the Superscalar TriCore Architecture

Mihail Asavoae, Florian Brandner, Belgacem Ben Hedia, 2020, FMICS.

Using the Executable Semantics for CFG Extraction and Unfolding

Irina Mariuca Asavoae, Mihail Asavoae, 2011, 2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.

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

Pascal Raymond, Claire Maiza, Mihail Asavoae, 2013, WCET.

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

Martin Schoeberl, Mihail Asavoae, Belgacem Ben Hedia, 2019, CyPhy/WESE.

K Semantics for Assembly Languages: A Case Study

Mihail Asavoae, 2014, Electron. Notes Theor. Comput. Sci..

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

David Monniaux, Mihail Asavoae, Julien Henry, 2014, LCTES '14.

Slicing from Formal Semantics: Chisel

Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae, 2017, FASE.

Collecting Semantics under Predicate Abstraction in the K Framework

Irina Mariuca Asavoae, Mihail Asavoae, 2010, WRLA.

Towards a Formal Semantics-Based Technique for Interprocedural Slicing

Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae, 2014, IFM.

Towards semantics-based WCET analysis

Grigore Rosu, Dorel Lucanu, Mihail Asavoae, 2011, ECRTS 2011.

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

Irina Mariuca Asavoae, Dorel Lucanu, Mihail Asavoae, 2011, FOPARA.

Formal Semantics of Predictable Pipelines: a Comparative Study

Edward A. Lee, Martin Schoeberl, Mihail Asavoae, 2020, 2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC).

Formal Executable Models for Automatic Detection of Timing Anomalies

Mathieu Jan, Mihail Asavoae, Belgacem Ben Hedia, 2018, WCET.

Path Directed Symbolic Execution in the K Framework

Irina Mariuca Asavoae, Dorel Lucanu, Mihail Asavoae, 2010, 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.

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

Mathieu Jan, Mihail Asavoae, Florian Brandner, 2021, 2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).