Dorel Lucanu

From K Framework
Jump to: navigation, search

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

Publications Related to the K Framework

Executing Formal Semantics with the K Tool 
David Lazar, Andrei Arusoaie, Traian Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu and Grigore Rosu
FM'12, LNCS 7436, pp 267-271. 2012
PDF, Slides(PDF), FM'12, DBLP, BIB
K Framework Distilled 
Dorel Lucanu, Traian Florin Serbanuta and Grigore Rosu
WRLA'12, LNCS 7571, pp 31-53. 2012 Invited Paper
PDF, Slides (PDF), WRLA'12, LNCS, 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

Personal tools
Namespaces

Variants
Actions
Navigation