Stefan Ciobaca Member Status: Permanent E-mail: stefan.ciobaca@info.uaic.com Publications 2018 Unification Modulo Builtins Stefan Ciobaca and Andrei Arusoaie and Dorel Lucanu PDF BIB Unification Modulo Builtins Stefan Ciobaca and Andrei Arusoaie and Dorel Lucanu PDF BIB A Coinductive Approach to Proving Reachability Properties in Logically Constrained Term Rewriting Systems Stefan Ciobaca and Dorel Lucanu PDF BIB A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code (SYNASC 2017 post-proceedings, to appear) Dragos Gavrilut and Vlad Craciun and Stefan Ciobaca and Andrei Arusoaie and Dorel Lucanu PDF BIB Semantics-Parametric Program Equivalence (work-in-progress) – talk Stefan Ciobaca PDF BIB 2017 A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code (SYNASC 2017 pre-proceedings) Dragos Gavrilut and Vlad Craciun and Stefan Ciobaca and Andrei Arusoaie and Dorel Lucanu PDF BIB 2014 All-Path Reachability Logic Andrei Stefanescu and Brandon Moore and Stefan Ciobaca and Radu Mereuta and Traian Serbanuta and Grigore Rosu PDF BIB A Language-Independent Proof System for Mutual Program Equivalence Stefan Ciobaca and Vlad Rusu and Grigore Rosu and Dorel Lucanu ICFEM2014 BIB 2013 From Small-step Semantics to Big-step Semantics, Automatically Stefan Ciobaca PDF BIB One-Path Reachability Logic Andrei Stefanescu and Brandon Moore and Stefan Ciobaca and Grigore Rosu One-Path Reachability Logic BIB One-Path Reachability Logic Andrei Stefanescu and Brandon Moore and Stefan Ciobaca and Grigore Rosu PDF BIB From Small-step Semantics to Big-step Semantics, Automatically Stefan Ciobaca PDF BIB
A Coinductive Approach to Proving Reachability Properties in Logically Constrained Term Rewriting Systems Stefan Ciobaca and Dorel Lucanu PDF BIB
A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code (SYNASC 2017 post-proceedings, to appear) Dragos Gavrilut and Vlad Craciun and Stefan Ciobaca and Andrei Arusoaie and Dorel Lucanu PDF BIB
A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code (SYNASC 2017 pre-proceedings) Dragos Gavrilut and Vlad Craciun and Stefan Ciobaca and Andrei Arusoaie and Dorel Lucanu PDF BIB
All-Path Reachability Logic Andrei Stefanescu and Brandon Moore and Stefan Ciobaca and Radu Mereuta and Traian Serbanuta and Grigore Rosu PDF BIB
A Language-Independent Proof System for Mutual Program Equivalence Stefan Ciobaca and Vlad Rusu and Grigore Rosu and Dorel Lucanu ICFEM2014 BIB
One-Path Reachability Logic Andrei Stefanescu and Brandon Moore and Stefan Ciobaca and Grigore Rosu One-Path Reachability Logic BIB
One-Path Reachability Logic Andrei Stefanescu and Brandon Moore and Stefan Ciobaca and Grigore Rosu PDF BIB