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: PROGRAM LOGICS AND THEIR APPLICATIONS
 Author(s): Arusoaie, Andrei; Ciobaca, Stefan; Lucanu, Dorel; et al.
 Source: Revue Roumaine De Mathematiques Pures Et Appliquees Volume: 62 Issue: 1 Pages: 137-154 Published: 2017
 Times Cited: 0
added
05-May-17
2.  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: 5
 DOI: 10.1016/j.jlamp.2015.09.001
added
02-Feb-16
3.  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
4.  Title: Runtime Verification at Work: A Tutorial
 Author(s): Daian, Philip; Guth, Dwight; Hathhorn, Chris; et al.
 Source: Runtime Verification, (Rv 2016) Volume: 10012 Pages: 46-67 Published: 2016
 Times Cited: 0
 DOI: 10.1007/978-3-319-46982-9_5
added
05-May-17
5.  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
6.  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
7.  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
8.  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
9.  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
10.  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
publication(s)  
First Page Previous Page Page   of  3  Go Next Page Last Page
  Sort by:    Results per page: