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: Serbanuta:Traian=Florin
Contributed to:
2014
2014
2012
201220122010
200820062007Wrote 10 papers:
- RTA-TLCA-2014-StefanescuCMMSR #logic #reachability
- All-Path Reachability Logic (AS, SC, RM, BMM, TFS, GR), pp. 425–440.
- WRLA-2014-ArusoaieLRSSR
- 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.
- RTA-2006-SerbanutaR
- 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.