Menu

Stefan Ciobaca

Member Status: Permanent

Institution: Faculty of Computer Science@Alexandru Ioan Cuza, University of Iasi

E-mail: stefan.ciobaca@info.uaic.ro

Web Address

Program Analysis and Verification

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

Sidebar