Andrei Stefanescu Member Status: Collaborator E-mail: andreistef@gmail.com 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 One-Path Reachability Logic Andrei Stefanescu and Brandon Moore and Stefan Ciobaca and Grigore Rosu PDF BIB One-Path Reachability Logic Andrei Stefanescu and Brandon Moore and Stefan Ciobaca and Grigore Rosu One-Path Reachability Logic BIB 2012 From Hoare Logic to Matching Logic Reachability Andrei Stefanescu and Grigore Rosu See it on FSL-UIUC web page BIB Checking Reachability using Matching Logic Andrei Stefanescu and Grigore Rosu See it on FSL-UIUC web page BIB Towards a Unified Theory of Operational and Axiomatic Semantics Andrei Stefanescu and Grigore Rosu See it on FSL-UIUC web page 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
One-Path Reachability Logic Andrei Stefanescu and Brandon Moore and Stefan Ciobaca and Grigore Rosu PDF BIB
One-Path Reachability Logic Andrei Stefanescu and Brandon Moore and Stefan Ciobaca and Grigore Rosu One-Path Reachability Logic BIB
From Hoare Logic to Matching Logic Reachability Andrei Stefanescu and Grigore Rosu See it on FSL-UIUC web page BIB
Checking Reachability using Matching Logic Andrei Stefanescu and Grigore Rosu See it on FSL-UIUC web page BIB
Towards a Unified Theory of Operational and Axiomatic Semantics Andrei Stefanescu and Grigore Rosu See it on FSL-UIUC web page BIB
