Traian Florin Serbanuta
From FSL
- Graduate student
- Contact information
- Curriculum Vitae
Research interests
-
Projects
- 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
- 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, PPT, 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, DOI, ICSE'08, ICSE'08 slides, BIB
- Defining and Executing P-systems with Structured Data in K
- Traian Florin Serbanuta, Gheorghe Stefanescu and Grigore Rosu
WMC'08, to appear. 
PDF, Experiments, 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, 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, BIB
- A Rewriting Logic Approach to Operational Semantics
- Traian Florin Serbanuta, Grigore Rosu and Jose Meseguer
Information&Computation, to appear
PDF, Experiments, BIB
- A Rewriting Logic Approach to Operational Semantics -- Extended Abstract
- Traian Florin Serbanuta, Grigore Rosu and Jose Meseguer
SOS'07, ENTCS, vol. 192(1), pp. 125-141, 2007
PDF, SOS'07 Slides, 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, WRLA'06, BIB
- Computationally Equivalent Elimination of Conditions
- 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 Serbanuta 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
