BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Cyprus
1 × Estonia
1 × USA
2 × France
2 × Germany
Collaborated with:
G.Rosu D.Lucanu A.Arusoaie C.Ellison A.Stefanescu F.Chen R.Mereuta S.Ciobaca B.M.Moore V.Rusu G.Denker C.L.Talcott M.v.d.Brand S.Eker D.Lazar
Talks about:
semant (3) rewrit (3) tool (3) framework (2) languag (2) definit (2) logic (2) maud (2) base (2) jpredictor (1)

Person: Traian-Florin Serbanuta

DBLP DBLP: Serbanuta:Traian=Florin

Contributed to:

RTA-TLCA 20142014
WRLA 20142014
FM 20122012
ICGT 20122012
WRLA 20122012
WRLA 20102010
ICSE 20082008
RTA 20062006
WRLA 20062007

Wrote 10 papers:

RTA-TLCA-2014-StefanescuCMMSR #logic #reachability
All-Path Reachability Logic (AS, SC, RM, BMM, TFS, GR), pp. 425–440.
Language Definitions as Rewrite Theories (AA, DL, VR, TFS, AS, GR), pp. 97–112.
FM-2012-LazarASEMLR #semantics
Executing Formal Semantics with the K Tool (DL, AA, TFS, CE, RM, DL, GR), pp. 267–271.
ICGT-2012-SerbanutaR #concurrent #framework #graph transformation #semantics #𝕂
A Truly Concurrent Semantics for the 𝕂 Framework Based on Graph Transformations (TFS, GR), pp. 294–310.
WRLA-2012-ArusoaieSER #interactive #maude
Making Maude Definitions More Interactive (AA, TFS, CE, GR), pp. 83–98.
WRLA-2012-LucanuSR #framework #𝕂
𝕂 Framework Distilled (DL, TFS, GR), pp. 31–53.
WRLA-2010-SerbanutaR #named #programming language #semantics
K-Maude: A Rewriting Based Tool for Semantics of Programming Languages (TFS, GR), pp. 104–122.
ICSE-2008-ChenSR #analysis #java #named #predict #runtime
jPredictor: a predictive runtime analysis tool for java (FC, TFS, GR), pp. 221–230.
Computationally Equivalent Elimination of Conditions (TFS, GR), pp. 19–34.
WRLA-2006-DenkerTRBES07 #logic
Rewriting Logic Systems (GD, CLT, GR, MvdB, SE, TFS), pp. 233–247.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.