Menu

Irina Asavoae

Member Status: Former

E-mail: mariuca.asavoae@info.uaic.ro

Web Address

Address: Berthelot 16, 700483

Publications

2015

Model checking recursive programs interacting via the heap

Frank de Boer and Jurriann Rot and Marcello Bonsangue and Irina Asavoae and Dorel Lucanu

Elsevier BIB

2012

Interacting via the Heap in the Presence of Recursion

Frank de Boer and Jurriann Rot and Marcello Bonsangue and Irina Asavoae and Dorel Lucanu

ICE2012 BIB

Bounded Model Checking of Recursive Programs with Pointers in K

Frank de Boer and Jurriann Rot and Marcello Bonsangue and Irina Asavoae and Dorel Lucanu

WADT2012 BIB

K Semantics for Abstractions

Irina Asavoae

PDF BIB

2011

Using the Executable Semantics for CFG Extraction and Unfolding

Mihail Asavoae and Irina Asavoae

PDF aa-synasc11 BIB

2010

Collecting Semantics under Predicate Abstraction in the K Framework

Mihail Asavoae and Irina Asavoae

PDF aaWRLA10 BIB

Path Directed Symbolic Execution in the K Framework

Mihail Asavoae and Irina Asavoae and Dorel Lucanu

PDF SYNASC BIB

Sidebar