Traian Florin Șerbănuță
Traian Florin Șerbănuță
Verified email at - Homepage
Cited by
Cited by
An overview of the K semantic framework
G Roșu, TF Șerbănuță
Journal of Logic and Algebraic Programming 79 (6), 397-434, 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
A rewriting logic approach to operational semantics
TF Șerbănuță, G Roșu, J Meseguer
Information and Computation 207 (2), 305-340, 2009
Maximal causal models for sequentially consistent systems
TF Şerbănuţă, F Chen, G Roşu
International Conference on Runtime Verification, 136-150, 2012
All-Path Reachability Logic
G Rosu, TF Serbanuta, B Moore, R Mereuta, S Ciobaca, A Stefanescu
Logical Methods in Computer Science 15, 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
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
Injectivity of the Parikh matrix mappings revisited
VN Șerbănuță, TF Șerbănuță
Fundamenta Informaticae 73 (1), 265-283, 2006
Extending Parikh matrices.
TF Serbanuta
Theor. Comput. Sci. 310 (1-3), 233-246, 2004
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
K Overview and SIMPLE Case Study
G Roşu, TF Şerbănuţă
Electronic Notes in Theoretical Computer Science 304, 3-56, 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
Computationally Equivalent Elimination of Conditions
TF Serbanuta, G Rosu
RTA, Lecture Notes in Computer Science 4098, 19-34, 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
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
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
A Rewriting Approach to Concurrent Programming Language Design and Semantics
TF Şerbănuţă
PhD thesis, University of Illinois at Urbana-Champaign (December 2010 …, 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
The K Framework Distilled
D Lucanu, TF Șerbănuță, G Roșu
9th International Workshop on Rewriting Logic and its Applications (WRLA'12 …, 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
The system can't perform the operation now. Try again later.
Articles 1–20