Emailandreistef@gmail.comStatusCollaboratorPublications2016Language definitions as rewrite theoriesVlad Rusu, Dorel Lucanu, Traian Serbanuta, Andrei Arusoaie, Andrei Stefanescu, Grigore Rosu Journal2014All-Path Reachability LogicAndrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon Moore, Traian Serbanuta, Grigore Rosu ConferenceLanguage Definitions as Rewrite TheoriesAndrei Arusoaie, Dorel Lucanu, Vlad Rusu, Traian Serbanuta, Andrei Stefanescu, Grigore Rosu Conference2013One-Path Reachability LogicGrigore Rosu, Andrei Stefanescu, Stefan Ciobaca, Brandon Moore ConferenceOne-Path Reachability LogicGrigore Rosu, Andrei Stefanescu, Stefan Ciobaca, Brandon Moore Conference2012From Hoare Logic to Matching Logic ReachabilityGrigore Rosu, Andrei Stefanescu ConferenceTowards a Unified Theory of Operational and Axiomatic SemanticsGrigore Rosu, Andrei Stefanescu ConferenceChecking Reachability using Matching LogicGrigore Rosu, Andrei Stefanescu Conference