Mihail Asavoae

From K Framework
Jump to: navigation, search

Mihail Asavoaie is a PhD student at University Al. I. Cuza of Iași, working with prof. Dorel Lucanu.

Role in the K Framework Project

Working on the definition of a low-level language in K
Working on resource modeling and analysis techniques for embedded software, using Matching Logic

Publications Related to the K Framework

Path Directed Symbolic Execution in the K Framework 
Irina Asavoae, Mihail Asavoae and Dorel Lucanu
SYNACS'10, pp 133-141. 2010
PDF, SYNACS'10, BIB
Collecting Semantics under Predicate Abstraction in the K Framework 
Irina Asavoae and Mihail Asavoae
WRLA'10, LNCS 6381, pp 123-139, 2010
DOI, BIB

Personal tools
Namespaces

Variants
Actions
Navigation