Formal Methods in Software Engineering

Traian Serbanuta

Institution: University of Bucharest
Web: http://fsl.cs.uiuc.edu/~tserban2
Status: Former

Publications

2016

Language definitions as rewrite theories

Vlad Rusu, Dorel Lucanu, Traian Serbanuta, Andrei Arusoaie, Andrei Stefanescu, Grigore Rosu

Journal

2014

All-Path Reachability Logic

Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon Moore, Traian Serbanuta, Grigore Rosu

Conference

Language Definitions as Rewrite Theories

Andrei Arusoaie, Dorel Lucanu, Vlad Rusu, Traian Serbanuta, Andrei Stefanescu, Grigore Rosu

Conference

2013

Maximal Causal Models for Sequentially Consistent Systems

Traian Serbanuta, Feng Chen, Grigore Rosu

Conference

Programming Language Semantics using K --- true concurrency through term-graph rewriting ---

Traian Serbanuta

Talk

CinK - an exercise on how to think in K

Dorel Lucanu, Traian Serbanuta

Report

K: Overview and SIMPLE Case Study

Grigore Rosu, Traian Serbanuta

Conference

The K Primer (version 3.2)

Traian Serbanuta, Andrei Arusoaie, Unknown, Chucky Ellison, Dorel Lucanu, Grigore Rosu

Conference

Rewriting Semantics and Analysis of Concurrency Features for a C-like Language

Traian Serbanuta

Conference

2012

Making Maude Definitions more Interactive

Andrei Arusoaie, Traian Serbanuta, Chucky Ellison, Grigore Rosu

Conference

The K Framework Distilled

Dorel Lucanu, Grigore Rosu, Traian Serbanuta

Conference

Executing Formal Semantics with the K Tool

Unknown, Andrei Arusoaie, Traian Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu

Conference

A Truly Concurrent Semantics for the K Framework Based on Graph Transformations

Traian Serbanuta, Grigore Rosu

Conference

Dorel Lucanu, Traian Serbanuta

Talk

2011

Context transformers in K Framework

Andrei Arusoaie, Traian Serbanuta

Conference

Projects

Executable Semantic Framework (K Framework) (K)

Grants

An Executable Semantic Framework for Rigorous Design, Analysis and Testing of Systems (DAK) (DAK)