Andrei Arusoaie

From K Framework
Jump to: navigation, search

Andrei Arusoaie is a PhD student at the Alexandru Ioan-Cuza University in Iasi, Romania, under the supervision of Prof. Dorel Lucanu.

Role in the K Framework Project

Main maintainer of the User Interface
Enhancing the pre- and post- processing capabilities of the tool
Involved in developing and designing of K 3.0.

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
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
Making Maude Definitions more Interactive 
Andrei Arusoaie, Traian Florin Serbanuta, Chucky Ellison and Grigore Rosu
WRLA'12, LNCS 7571. 2012
PDF, Slides (PDF), WRLA'12, BIB
Context Transformers in the K Framework 
Andrei Arusoaie and Traian Florin Serbanuta
K'11. 2011. To appear
PDF, Slides (PDF), K'11, BIB

Personal tools