Dorel Lucanu

From K Framework

Dorel Lucanu is a professor in the Faculty of Computer Science of the "A. I. Cuza" University of Iasi, Romania.

Role in the K Framework Project

Lead the K group at University of Iasi

[edit] Publications Related to the K Framework

The K Framework Distilled 

Dorel Lucanu, Grigore Rosu and Traian Florin Serbanuta
WRLA'12 invited paper, LNCS, to appear
Slides (PDF), WRLA'12, BIB

The K Primer (version 2.5) 

Traian Florin Serbanuta, Andrei Arusoaie, David Lazar, Chucky Ellison, Dorel Lucanu and Grigore Rosu
Technical Report, January 2012
PDF, K 2.5, BIB

A K-Based Formal Framework for Domain-Specific Modelling Languages 

Vlad Rusu and Dorel Lucanu
FoVeOOS'11, to appear
PDF, FoVeOOS'11, BIB

K Semantics for OCL — a Proposal for a Formal Definition for OCL 

Vlad Rusu and Dorel Lucanu
K'11. 2011. To appear
PDF, Slides (PDF), K'11, BIB

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