Traian Florin Serbanuta
From K Framework
Traian Florin Șerbănuță holds a shared Post-Doctoral fellowship in Computer Science from University of Illinois and University "Al. I. Cuza" of Iași.
Role in the K Framework Project
- Design new features, write code and unit tests.
[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 - Making Maude Definitions more Interactive
- Andrei Arusoaie, Traian Florin Serbanuta, Chucky Ellison and Grigore Rosu WRLA'12, LNCS, to appear
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 - A Rewriting Approach to Concurrent Programming Language Design and Semantics
- Traian Florin Serbanuta
PhD Thesis, University of Illinois, December 2010
PDF, Slides (PDF), K-Maude, TR@UIUC, BIB - K-Maude: A Rewriting Based Tool for Semantics of Programming Languages
- Traian Florin Serbanuta and Grigore Rosu
WRLA'10, LNCS 6381, pp 104-122. 2010
PDF, Slides (PDF), K-Maude, LNCS, WRLA'10, BIB - Ambient intelligence in self-organising assembly systems using the chemical reaction model
- Regina Frei, Giovanna Di Marzo Serugendo and Traian Florin Serbanuta
J. of Ambient Intelligence and Humanized Computing, Volume 1(3), pp 163-184. 2010
J.AIHC, BIB - KRAM—Extended Report
- Traian Florin Serbanuta and Grigore Rosu
Technical Report http://hdl.handle.net/2142/17337, September 2010
PDF, TR@UIUC, BIB - P systems with control nuclei: The concept
- Camelia Chira, Traian Florin Serbanuta and Gheorghe Stefanescu
J.LAP, Volume 79(6), pp 326-333. 2010
PDF, J.LAP, BIB - An Overview of the K Semantic Framework
- Grigore Rosu and Traian Florin Serbanuta
J.LAP, Volume 79(6), pp 397-434. 2010
PDF, Slides(PPTX), Slides(PDF), K Tool, J.LAP, BIB - A Rewriting Logic Approach to Type Inference
- Chucky Ellison, Traian Florin Serbanuta and Grigore Rosu
WADT'08, LNCS 5486, pp 135-151. 2009
PDF, Slides(PDF), LNCS, WADT'08, BIB - Runtime Verification of C Memory Safety
- Grigore Rosu, Wolfram Schulte and Traian Florin Serbanuta
RV'09, LNCS 5779, pp 132-151. 2009
PDF, Slides (PDF), LNCS, RV'09, BIB - Defining and Executing P-systems with Structured Data in K
- Traian Florin Serbanuta, Gheorghe Stefanescu and Grigore Rosu
WMC'08, LNCS 5391, pp 374-393. 2009
PDF, Slides (PDF), Experiments, LNCS, WMC'08, BIB - A Rewriting Logic Approach to Type Inference
- Chucky Ellison, Traian Florin Serbanuta and Grigore Rosu
Technical report UIUCDCS-R-2008-2934, March 2008
PDF, TR@UIUC, BIB - A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters
- Mark Hills, Traian Florin Serbanuta and Grigore Rosu
WRLA'06, ENTCS 176(4), pp. 215-231. 2007
PDF, Experiments, ENTCS, WRLA'06, BIB
