Traian Florin Șerbănuță

Cited by

	All	Since 2016
Citations	1576	672
h-index	20	13
i10-index	26	13

180

135

200620072008200920102011201220132014201520162017201820192020202116 22 32 44 78 108 124 103 168 178 119 125 154 142 128 4

Co-authors

Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Dorel LucanuProfessor of Computer Science, Alexandru Ioan Cuza University, Iasi, ROVerified email at info.uaic.ro
Andrei ArusoaieAssociate Professor at Faculty of Computer Science, Alexandru Ioan Cuza UniversityVerified email at uaic.ro
Chucky EllisonPhD Graduate from University of IllinoisVerified email at illinois.edu
Andrei StefanescuResearch Engineer, Galois IncVerified email at stefanescu.io
Radu MereutaRuntimeVerificationVerified email at info.uaic.ro
Stefan CiobacaAlexandru Ioan Cuza UniversityVerified email at info.uaic.ro
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Gheorghe StefanescuProfessor of Computer Science, University of BucharestVerified email at fmi.unibuc.ro
David LazarMIT CSAILVerified email at mit.edu
Wolfram SchultePrincipal researcher, Microsoft CorporationVerified email at microsoft.com
Vlad RusuInriaVerified email at inria.fr
Qingzhou LuoUniversity of Illinois Urbana ChampaignVerified email at illinois.edu
Dongyun JinPrincipal Engineer, Samsung Research AmericaVerified email at samsung.com
Giovanna Di Marzo SerugendoProfessor of Computer Science, University of GenevaVerified email at unige.ch
Regina FreiSouthampton Business SchoolVerified email at reginafrei.ch
Ioana LeusteanProfessor, University of BucharestVerified email at fmi.unibuc.ro
Natalia MoangaPh.D. Student, University of BucharestVerified email at drd.unibuc.ro
Philip DaianPhD Student, Cornell UniversityVerified email at cs.cornell.edu
Andrei PopescuUniversity of SheffieldVerified email at sheffield.ac.uk

Traian Florin Șerbănuță

University of Bucharest

Verified email at unibuc.ro - Homepage

Formal Methods Programming Languages Rewriting


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
An overview of the K semantic framework G Roșu, TF Șerbănuță Journal of Logic and Algebraic Programming 79 (6), 397-434, 2010	404	2010
jPredictor: A Predictive Runtime Analysis Tool for Java F Chen, TF Șerbănuță, G Roșu Software Engineering, 2008. ICSE'08. ACM/IEEE 30th International Conference …, 2008	138*	2008
A rewriting logic approach to operational semantics TF Șerbănuță, G Roșu, J Meseguer Information and Computation 207 (2), 305-340, 2009	119*	2009
Maximal causal models for sequentially consistent systems TF Şerbănuţă, F Chen, G Roşu International Conference on Runtime Verification, 136-150, 2012	73*	2012
All-Path Reachability Logic G Rosu, TF Serbanuta, B Moore, R Mereuta, S Ciobaca, A Stefanescu Logical Methods in Computer Science 15, 2019	72*	2019
RV-Monitor: Efficient parametric runtime verification with simultaneous properties Q Luo, Y Zhang, C Lee, D Jin, PON Meredith, TF Şerbănuţă, G Roşu International Conference on Runtime Verification, 285-300, 2014	68	2014
K-Maude: A rewriting based tool for semantics of programming languages TF Șerbănuță, G Roșu Rewriting Logic and its Applications. Lecture Notes in Computer Science, 104-122, 2010	59*	2010
Runtime verification of C memory safety G Roșu, W Schulte, TF Șerbănuță 9th International Workshop on Runtime Verification (RV'09), Lecture Notes in …, 2009	52*	2009
Injectivity of the Parikh matrix mappings revisited VN Șerbănuță, TF Șerbănuță Fundamenta Informaticae 73 (1), 265-283, 2006	52	2006
Extending Parikh matrices. TF Serbanuta Theor. Comput. Sci. 310 (1-3), 233-246, 2004	51*	2004
K Overview and SIMPLE Case Study G Roşu, TF Şerbănuţă Electronic Notes in Theoretical Computer Science 304, 3-56, 2014	50	2014
The K Primer (version 3.3) TF Şerbănuţă, A Arusoaie, D Lazar, C Ellison, D Lucanu, G Roşu Proceedings of International K Workshop (K'11), ENTCS 304, 57-80, 2014	47*	2014
Computationally Equivalent Elimination of Conditions TF Serbanuta, G Rosu RTA, Lecture Notes in Computer Science 4098, 19-34, 2006	36*	2006
A rewriting logic approach to type inference C Ellison, T Șerbănuță, G Roșu 19th International Workshop on Algebraic Development Techniques (WADT'08 …, 2009	31	2009
Language Definitions as Rewrite Theories V Rusu, D Lucanu, TF Șerbănuță, A Arusoaie, A Ştefănescu, G Roşu Journal of Logical and Algebraic Methods in Programming 85 (1), 98–120, 2016	28*	2016
A rewrite framework for language definitions and for generation of efficient interpreters M Hills, TF Șerbănuță, G Roșu 6th International Workshop on Rewriting Logic and its Applications (WRLA'06 …, 2007	27	2007
A Rewriting Approach to Concurrent Programming Language Design and Semantics TF Şerbănuţă PhD thesis, University of Illinois at Urbana-Champaign (December 2010 …, 2010	26*	2010
Defining and executing P systems with structured data in K T Şerbănuţă, G Ştefănescu, G Roşu International Workshop on Membrane Computing, 374-393, 2008	25	2008
The K Framework Distilled D Lucanu, TF Șerbănuță, G Roșu 9th International Workshop on Rewriting Logic and its Applications (WRLA'12 …, 2012	23*	2012
IELE: a rigorously designed language and tool ecosystem for the blockchain T Kasampalis, D Guth, B Moore, TF Șerbănuță, Y Zhang, D Filaretti, ... International Symposium on Formal Methods, 593-610, 2019	22*	2019

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors