ResearcherID.com
ResearcherID Thomson Reuters  

Serbanuta, Traian F
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: D-6967-2011
URL: http://www.researcherid.com/rid/D-6967-2011
Subject: Computer Science
Keywords: formal methods; software verification; programming language foundations, design and implementation; logic in computer science; rewriting
ORCID: http://orcid.org/0000-0002-5532-4753
My Institutions (more details)
Primary Institution:
Sub-org/Dept: Department of Computer Science
Role:
Joint Affiliation:
Sub-org/Dept:
Past Institutions: University Alexandru Ioan Cuza - UAIC; University of Illinios at Urbana-Champaign, UIUC; University of Illinois at Champaign-Urbana, UIUC; University of Bucharest
My URLs: http://fsl.cs.uiuc.edu/~tserban2
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  3  Go Next Page Last Page
  Sort by:    Results per page: 
1. Title: Language definitions as rewrite theories
Author(s): Rusu, Vlad; Lucanu, Dorel; Serbanuta, Traian-Florin; et al.
Source: Journal of Logical and Algebraic Methods in Programming Volume: 85 Issue: 1 Pages: 98-120 Published: JAN 2016
Times Cited: 3
DOI: 10.1016/j.jlamp.2015.09.001
added
02-Feb-16
2. Title: Maximally Parallel Contextual String Rewriting
Author(s): Serbanuta, Traian Florin; Dinu, Liviu P.; Lucanu, D
Source: Rewriting Logic and Its Applications, Wrla 2016 Volume: 9942 Pages: 152-166 Published: 2016
Times Cited: 0
DOI: 10.1007/978-3-319-44802-2_9
added
08-Mar-17
3. Title: An Institutional Foundation for the K Semantic Framework
Author(s): Chirita, Claudia Elena; Serbanuta, Traian Florin; Codescu, M; et al.
Source: Recent Trends in Algebraic Development Techniques (Wadt 2014) Volume: 9463 Pages: 9-29 Published: 2015
Times Cited: 1
DOI: 10.1007/978-3-319-28114-8_2
added
04-Jan-17
4. Title: RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial
Author(s): Daian, Philip; Falcone, Ylies; Meredith, Patrick; et al.
Source: Runtime Verification, Rv 2015 Volume: 9333 Pages: 342-357 Published: 2015
Times Cited: 1
DOI: 10.1007/978-3-319-23820-3_24
added
04-Jan-17
5. Title: Language Definitions as Rewrite Theories
Author(s): Arusoaie, Andrei; Lucanu, Dorel; Rusu, Vlad; et al.
Source: Rewriting Logic and Its Applications, Wrla 2014 Volume: 8663 Pages: 97-112 Published: 2014
Times Cited: 5
DOI: 10.1007/978-3-319-12904-4_5
added
02-Feb-16
6. Title: RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties
Author(s): Luo, Qingzhou; Zhang, Yi; Lee, Choonghwan; et al.
Source: Runtime Verification, Rv 2014 Volume: 8734 Pages: 285-300 Published: 2014
Times Cited: 8
added
02-Feb-16
7. Title: Self-organising assembly systems formally specified in Maude
Author(s): Frei, Regina; Serbanuta, Traian Florin; Serugendo, Giovanna Di Marzo
Source: Journal of Ambient Intelligence and Humanized Computing Volume: 5 Issue: 4 Pages: 491-510 Published: AUG 2014
Times Cited: 0
DOI: 10.1007/s12652-012-0159-2
added
02-Feb-16
8. Title: Ambient intelligence in self-organising assembly systems using the chemical reaction model
Author(s): Frei, Regina; Serugendo, Giovanna Di Marzo; Serbanuta, Traian Florin
Source: Journal of Ambient Intelligence and Humanized Computing Volume: 1 Issue: 3 Pages: 163-184 Published: SEP 2010
Times Cited: 8
DOI: 10.1007/s12652-010-0016-0
added
02-Feb-16
9. Title: An overview of the K semantic framework
Author(s): Rosu, G; Serbanuta, TF
Source: Journal of Logic and Algebraic Programming Volume: 79 Issue: 6 Pages: 397-434 Published: AUG 2010
Times Cited: 61
DOI: 10.1016/j.jlap.2010.03.012
added
12-Jul-11
10. Title: K-Maude: A Rewriting Based Tool for Semantics of Programming Languages
Author(s): Serbanuta, Traian Florin; Rosu, Grigore; Olveczky, PC
Source: Rewriting Logic and Its Applications Volume: 6381 Pages: 104-122 Published: 2010
Times Cited: 13
added
27-Apr-12
publication(s)  
First Page Previous Page Page   of  3  Go Next Page Last Page
  Sort by:    Results per page: