Mihail Asavoae Member Status: Former E-mail: mihail.asavoae@info.uaic.ro Web Address Address: Berthelot 16, 700483 Publications 2012 Semantics-Based WCET Analysis Mihail Asavoae PDF BIB 2011 Using the Executable Semantics for CFG Extraction and Unfolding Mihail Asavoae and Irina Asavoae PDF aa-synasc11 BIB 2010 Path Directed Symbolic Execution in the K Framework Mihail Asavoae and Irina Asavoae and Dorel Lucanu PDF SYNASC BIB Collecting Semantics under Predicate Abstraction in the K Framework Mihail Asavoae and Irina Asavoae PDF aaWRLA10 BIB
Using the Executable Semantics for CFG Extraction and Unfolding Mihail Asavoae and Irina Asavoae PDF aa-synasc11 BIB
Path Directed Symbolic Execution in the K Framework Mihail Asavoae and Irina Asavoae and Dorel Lucanu PDF SYNASC BIB
Collecting Semantics under Predicate Abstraction in the K Framework Mihail Asavoae and Irina Asavoae PDF aaWRLA10 BIB