Traian Florin Șerbănuță

Cited by

	All	Since 2019
Citations	1943	656
h-index	22	11
i10-index	27	13

180

135

200620072008200920102011201220132014201520162017201820192020202120222023202417 25 31 43 91 90 124 103 165 164 129 122 153 141 130 122 97 93 72

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

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 freefour.com
Andrei StefanescuResearch Engineer, Galois IncVerified email at stefanescu.io
Radu MereutaVerified 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
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
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 FreiUniversity of the Arts LondonVerified email at arts.ac.uk
Vlad RusuInriaVerified email at inria.fr
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	578	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	153	2008
A rewriting logic approach to operational semantics TF Șerbănuță, G Roșu, J Meseguer Information and Computation 207 (2), 305-340, 2009	126*	2009
Maximal causal models for sequentially consistent systems TF Şerbănuţă, F Chen, G Roşu Runtime Verification: Third International Conference, RV 2012, Istanbul …, 2013	99*	2013
All-Path Reachability Logic G Rosu, TF Serbanuta, B Moore, R Mereuta, S Ciobaca, A Stefanescu Logical Methods in Computer Science 15, 2019	95*	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 Runtime Verification: 5th International Conference, RV 2014, Toronto, ON …, 2014	90	2014
Injectivity of the Parikh matrix mappings revisited VN Șerbănuță, TF Șerbănuță Fundamenta Informaticae 73 (1), 265-283, 2006	64	2006
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	63*	2010
Extending Parikh matrices. TF Serbanuta Theor. Comput. Sci. 310 (1-3), 233-246, 2004	61*	2004
K Overview and SIMPLE Case Study G Roşu, TF Şerbănuţă Electronic Notes in Theoretical Computer Science 304, 3-56, 2014	60	2014
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	55*	2009
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	53*	2014
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	43*	2019
Computationally Equivalent Elimination of Conditions TF Serbanuta, G Rosu RTA, Lecture Notes in Computer Science 4098, 19-34, 2006	37*	2006
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	30*	2016
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial P Daian, Y Falcone, P Meredith, TF Serbanuta, AI Shin’ichi Shiriashi, ... Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015	28	2015
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	28	2009
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	27	2008
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
The K Framework Distilled D Lucanu, TF Șerbănuță, G Roșu 9th International Workshop on Rewriting Logic and its Applications (WRLA'12 …, 2012	25	2012

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

Follow

Cited by

Co-authors