Traian Serbanuta Member Status: Former Institution: University of Bucharest Web Address Publications 2016 Language definitions as rewrite theories Andrei Stefanescu and Vlad Rusu and Traian Serbanuta and Grigore Rosu and Andrei Arusoaie and Dorel Lucanu Elsevier BIB 2014 Language Definitions as Rewrite Theories Andrei Stefanescu and Vlad Rusu and Traian Serbanuta and Grigore Rosu and Andrei Arusoaie and Dorel Lucanu WRLA14 BIB All-Path Reachability Logic Andrei Stefanescu and Brandon Moore and Stefan Ciobaca and Radu Mereuta and Traian Serbanuta and Grigore Rosu PDF BIB 2013 K: Overview and SIMPLE Case Study Traian Serbanuta and Grigore Rosu K11 BIB The K Primer (version 3.2) Chucky Ellison and Traian Serbanuta and Grigore Rosu and Andrei Arusoaie and Dorel Lucanu K11 BIB Rewriting Semantics and Analysis of Concurrency Features for a C-like Language Traian Serbanuta K11 BIB Maximal Causal Models for Sequentially Consistent Systems Feng Chen and Traian Serbanuta and Grigore Rosu PDF RV BIB Programming Language Semantics using K — true concurrency through term-graph rewriting — Traian Serbanuta TERMGRAPH BIB CinK – an exercise on how to think in K Traian Serbanuta and Dorel Lucanu TR 12-03 BIB 2012 The K Framework Distilled Traian Serbanuta and Grigore Rosu and Dorel Lucanu PDF WRLA2012 BIB K Tutorial Traian Serbanuta and Dorel Lucanu SYNASC12 BIB Executing Formal Semantics with the K Tool Chucky Ellison and Radu Mereuta and Traian Serbanuta and Grigore Rosu and Andrei Arusoaie and Dorel Lucanu FM12 BIB A Truly Concurrent Semantics for the K Framework Based on Graph Transformations Traian Serbanuta and Grigore Rosu PDF ICGT BIB Making Maude Definitions more Interactive Chucky Ellison and Traian Serbanuta and Grigore Rosu and Andrei Arusoaie PDF WRLA2012 BIB 2011 Context transformers in K Framework Traian Serbanuta and Andrei Arusoaie PDF K11 BIB
Language definitions as rewrite theories Andrei Stefanescu and Vlad Rusu and Traian Serbanuta and Grigore Rosu and Andrei Arusoaie and Dorel Lucanu Elsevier BIB
Language Definitions as Rewrite Theories Andrei Stefanescu and Vlad Rusu and Traian Serbanuta and Grigore Rosu and Andrei Arusoaie and Dorel Lucanu WRLA14 BIB
All-Path Reachability Logic Andrei Stefanescu and Brandon Moore and Stefan Ciobaca and Radu Mereuta and Traian Serbanuta and Grigore Rosu PDF BIB
The K Primer (version 3.2) Chucky Ellison and Traian Serbanuta and Grigore Rosu and Andrei Arusoaie and Dorel Lucanu K11 BIB
Rewriting Semantics and Analysis of Concurrency Features for a C-like Language Traian Serbanuta K11 BIB
Maximal Causal Models for Sequentially Consistent Systems Feng Chen and Traian Serbanuta and Grigore Rosu PDF RV BIB
Programming Language Semantics using K — true concurrency through term-graph rewriting — Traian Serbanuta TERMGRAPH BIB
Executing Formal Semantics with the K Tool Chucky Ellison and Radu Mereuta and Traian Serbanuta and Grigore Rosu and Andrei Arusoaie and Dorel Lucanu FM12 BIB
A Truly Concurrent Semantics for the K Framework Based on Graph Transformations Traian Serbanuta and Grigore Rosu PDF ICGT BIB
Making Maude Definitions more Interactive Chucky Ellison and Traian Serbanuta and Grigore Rosu and Andrei Arusoaie PDF WRLA2012 BIB
