Traian Florin Serbanuta

From FSL

Graduate student

Contact information

Curriculum Vitae

On Pronouncing Traian Serbanuta

Research interests

• Logics and their applications to computing
• Algebraic specification, formal methods for software engineering
• Algorithms, Programming using logics, Term Rewriting and Rewriting Logic
• Parikh Matrices

Projects

K-Maude

An K-based language design platform developed on top of Maude rewrite engine.

MProlog

A Maude executable specification of the core of the Prolog standard. Joint work with Musab Al'Turki and Ralf Sasse.

M-PICT

A Maude executable specification of the core of the language PICT (an implementation of pi-calculus). Joint work with Marcelo d'Amorim

DUPLEX

A Maude META-LEVEL specification of an algorithm for testing whether an (executable) partial specification can be treated as a total one.

Publications

Runtime Verification of C Memory Safety 

Grigore Rosu, Wolfram Schulte and Traian Florin Serbanuta
RV'09, LNCS 5779, pp 132-151. 2009
PDF, RV slides, RV'09, LNCS, BIB

A Semantic Approach to Interpolation 

Andrei Popescu, Traian Florin Serbanuta and Grigore Rosu
J. of TCS, Volume 410(12-13), pp 1109-1128. 2009
PDF, DOI, BIB

A Rewriting Logic Approach to Operational Semantics 

Traian Florin Serbanuta, Grigore Rosu and Jose Meseguer
Information and Computation, Volume 207(2), pp 305-340. 2009
PDF, Experiments, DOI, BIB

Maximal Causal Models for Multithreaded Systems 

Traian Florin Serbanuta, Feng Chen and Grigore Rosu
Technical report UIUCDCS-R-2008-3017, December 2008
PDF, TR@UIUC, 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, Experiments, WMC'08 Slides, WMC'08, DOI, BIB

A Rewriting Logic Approach to Type Inference 

Chucky Ellison, Traian Florin Serbanuta and Grigore Rosu
WADT'08 Abstract
PDF, WADT'08 Slides PDF, BIB

Monitoring IVHM Systems using a Monitor-Oriented Programming Framework 

Sudipto Ghoshal, Solaiappan Manimaran, Grigore Rosu, Traian Florin Serbanuta, and Gheorghe Stefanescu
LFM 2008
PDF, LFM'08 Slides, LFM'08, BIB

jPredictor: A Predictive Runtime Analysis Tool for Java 

Feng Chen and Traian Florin Serbanuta and Grigore Rosu
ICSE'08, ACM, pp. 221-230. 2008
PDF, ICSE'08 slides, DOI, ICSE'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

Effective Predictive Runtime Analysis Using Sliced Causality and Atomicity 

Feng Chen, Traian Florin Serbanuta and Grigore Rosu
Technical report UIUCDCS-R-2007-2905, October 2007
PDF, TR@UIUC, BIB

A Rewriting Logic Approach to Operational Semantics -- Extended Abstract 

Traian Florin Serbanuta, Grigore Rosu and Jose Meseguer
SOS'07, ENTCS 192(1), pp 125-141. 2007
PDF, SOS'07 Slides, ENTCS, SOS'07, 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

Computationally Equivalent Elimination of Conditions - extended abstract 

Traian Florin Serbanuta and Grigore Rosu
RTA'06, LNCS 4098, pp 19-34. 2006
PDF, Experiments, RTA'06 Slides, LNCS, RTA'06, DBLP, BIB

Injectivity of the Parikh matrix mappings revisited 

Virgil Nicolae Șerbănuță and Traian Florin Serbanuta
Fundamenta Informaticae, Volume 73(1-2), pp. 265-283. 2006
PDF, IOSPRESS, BIB

A Semantic Approach to Interpolation 

Andrei Popescu, Traian Florin Serbanuta and Grigore Rosu
FOSSACS'06, LNCS 3921, pp 307-321. 2006
PDF, FOSSACS'06 slides, LNCS, FOSSACS '06, DBLP, BIB

Extending Parikh Matrices 

Traian Florin Serbanuta
J. of TCS, Volume 310(1), pp 233-246. 2004
PDF, J.TCS, DBLP, BIB

Hybrid natural language processing in a customer-care environment 

David Reitter, Stefan Covaci, Florin Oltean, Catalin Bacanu and Traian Florin Serbanuta
TaCoS'01. 2001.
PDF, citeseer, BIB