The complete list of Traian's publications

From FSL
Jump to: navigation, search

Contents

Journal Papers

Self-organising assembly systems formally specified in Maude 
Regina Frei, Traian Florin Serbanuta and Giovanna Di Marzo Serugendo
J.AIHC, to appear. 2012
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
P systems with control nuclei: The concept 
Camelia Chira, Traian Florin Serbanuta and Gheorghe Stefanescu
J.LAP, Volume 79(6), pp 326-333. 2010
An Overview of the K Semantic Framework 
Grigore Rosu and Traian Florin Serbanuta
J.LAP, Volume 79(6), pp 397-434. 2010
A Semantic Approach to Interpolation 
Andrei Popescu, Traian Florin Serbanuta and Grigore Rosu
J. of TCS, Volume 410(12-13), pp 1109-1128. 2009
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
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
Extending Parikh Matrices 
Traian Florin Serbanuta
J. of TCS, Volume 310(1), pp 233-246. 2004

Conference Proceedings

A Truly Concurrent Semantics for the K Framework Based on Graph Transformations 
Traian Florin Serbanuta and Grigore Rosu
ICGT'12, LNCS 7562, pp 294-310. 2012
Maximal Causal Models for Sequentially Consistent Systems 
Traian Florin Serbanuta, Feng Chen and Grigore Rosu
RV'12, LNCS. 7687, pp 136-150. 2013
jPredictor: A Predictive Runtime Analysis Tool for Java 
Feng Chen and Traian Florin Serbanuta and Grigore Rosu
ICSE'08, ACM, pp. 221-230. 2008
Computationally Equivalent Elimination of Conditions - extended abstract 
Traian Florin Serbanuta and Grigore Rosu
RTA'06, LNCS 4098, pp 19-34. 2006
A Semantic Approach to Interpolation 
Andrei Popescu, Traian Florin Serbanuta and Grigore Rosu
FOSSACS'06, LNCS 3921, pp 307-321. 2006

Workshop Proceedings

K Framework Distilled 
Dorel Lucanu, Traian Florin Serbanuta and Grigore Rosu
WRLA'12, LNCS 7571, pp 31-53. 2012 Invited Paper
Making Maude Definitions more Interactive 
Andrei Arusoaie, Traian Florin Serbanuta, Chucky Ellison and Grigore Rosu
WRLA'12, LNCS 7571. 2012
Context Transformers in the K Framework 
Andrei Arusoaie and Traian Florin Serbanuta
K'11. 2011. To appear
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
A Rewriting Logic Approach to Type Inference 
Chucky Ellison, Traian Florin Serbanuta and Grigore Rosu
WADT'08, LNCS 5486, pp 135-151. 2009
Runtime Verification of C Memory Safety 
Grigore Rosu, Wolfram Schulte and Traian Florin Serbanuta
RV'09, LNCS 5779, pp 132-151. 2009
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
Monitoring IVHM Systems using a Monitor-Oriented Programming Framework 
Sudipto Ghoshal, Solaiappan Manimaran, Grigore Rosu, Traian Florin Serbanuta, and Gheorghe Stefanescu
LFM 2008
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
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
Hybrid natural language processing in a customer-care environment 
David Reitter, Stefan Covaci, Florin Oltean, Catalin Bacanu and Traian Florin Serbanuta
TaCoS'01. 2001.

Technical Reports

The K Primer (version 2.5) 
Traian Florin Serbanuta, Andrei Arusoaie, David Lazar, Chucky Ellison, Dorel Lucanu and Grigore Rosu
Technical Report, January 2012
A Rewriting Logic Approach to Type Inference 
Chucky Ellison, Traian Florin Serbanuta and Grigore Rosu
Technical report UIUCDCS-R-2008-2934, March 2008
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

Maximal Causal Models for Sequentially Consistent Systems 
Traian Florin Serbanuta, Feng Chen and Grigore Rosu
Technical Report http://hdl.handle.net/2142/27708, October 2011
Maximal Causal Models for Sequentially Consistent Multithreaded Systems 
Traian Florin Serbanuta, Feng Chen and Grigore Rosu
Technical Report http://hdl.handle.net/2142/17336, September 2010
KRAM—Extended Report 
Traian Florin Serbanuta and Grigore Rosu
Technical Report http://hdl.handle.net/2142/17337, September 2010
Runtime Verification of C Memory Safety 
Grigore Rosu, Wolfram Schulte, and Traian Florin Serbanuta
Technical report UIUCDCS-R-2009-3048, March 2009
Maximal Causal Models for Multithreaded Systems 
Traian Florin Serbanuta, Feng Chen and Grigore Rosu
Technical report UIUCDCS-R-2008-3017, December 2008
A Rewriting Logic Approach to Operational Semantics 
Traian Florin Serbanuta and Grigore Rosu
Technical Report UIUCDCS-R-2006-2780, October 2006
Computationally Equivalent Elimination of Conditions 
Traian Florin Serbanuta and Grigore Rosu
Technical Report UIUCDCS-R-2006-2693, February 2006
A Semantic Approach to Interpolation 
Andrei Popescu, Traian Florin Serbanuta and Grigore Rosu
Technical Report UIUCDCS-R-2005-2643, May 2005
Towards Effectively Eliminating Conditional Rewrite Rules 
Traian Florin Serbanuta and Grigore Rosu
Technical Report UIUCDCS-R-2004-2494, December 2004

Personal tools
Namespaces

Variants
Actions
Navigation