Följ
Traian Florin Șerbănuță
Traian Florin Șerbănuță
University of Bucharest
Verifierad e-postadress på unibuc.ro - Startsida
Titel
Citeras av
Citeras av
År
An overview of the K semantic framework
G Roșu, TF Șerbănuță
Journal of Logic and Algebraic Programming 79 (6), 397-434, 2010
5192010
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
1492008
A rewriting logic approach to operational semantics
TF Șerbănuță, G Roșu, J Meseguer
Information and Computation 207 (2), 305-340, 2009
125*2009
All-Path Reachability Logic
G Rosu, TF Serbanuta, B Moore, R Mereuta, S Ciobaca, A Stefanescu
Logical Methods in Computer Science 15, 2019
88*2019
Maximal causal models for sequentially consistent systems
TF Şerbănuţă, F Chen, G Roşu
Runtime Verification: Third International Conference, RV 2012, Istanbul …, 2013
87*2013
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
852014
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
65*2010
Injectivity of the Parikh matrix mappings revisited
VN Șerbănuță, TF Șerbănuță
Fundamenta Informaticae 73 (1), 265-283, 2006
602006
K Overview and SIMPLE Case Study
G Roşu, TF Şerbănuţă
Electronic Notes in Theoretical Computer Science 304, 3-56, 2014
592014
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
57*2014
Extending Parikh matrices.
TF Serbanuta
Theor. Comput. Sci. 310 (1-3), 233-246, 2004
57*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
56*2009
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
38*2019
Computationally Equivalent Elimination of Conditions
TF Serbanuta, G Rosu
RTA, Lecture Notes in Computer Science 4098, 19-34, 2006
38*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
322009
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
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
272008
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
272007
The K Framework Distilled
D Lucanu, TF Șerbănuță, G Roșu
9th International Workshop on Rewriting Logic and its Applications (WRLA'12 …, 2012
252012
A Rewriting Approach to Concurrent Programming Language Design and Semantics
TF Şerbănuţă
PhD thesis, University of Illinois at Urbana-Champaign (December 2010 …, 2010
25*2010
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20