Formal Methods in Software Engineering

Stefan Ciobaca

Institution: Faculty of Computer Science, Alexandru Ioan Cuza, University of Iasi
Email: stefan.ciobaca@info.uaic.ro
Web: https://profs.info.uaic.ro/~stefan.ciobaca/
Status: Permanent

Program Analysis and Verification

Publications

2018

Unification Modulo Builtins

Stefan Ciobaca, Andrei Arusoaie, Dorel Lucanu

Conference

Unification Modulo Builtins

Stefan Ciobaca, Andrei Arusoaie, Dorel Lucanu

Conference

A Coinductive Approach to Proving Reachability Properties in Logically Constrained Term Rewriting Systems

Stefan Ciobaca, Dorel Lucanu

Conference

A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code (SYNASC 2017 post-proceedings, to appear)

Andrei Arusoaie, Stefan Ciobaca, Vlad Craciun, Dragos Gavrilut, Dorel Lucanu

Conference

Semantics-Parametric Program Equivalence (work-in-progress) - talk

Talk

2017

A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code (SYNASC 2017 pre-proceedings)

Andrei Arusoaie, Stefan Ciobaca, Vlad Craciun, Dragos Gavrilut, Dorel Lucanu

Conference

2014

All-Path Reachability Logic

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

Conference

A Language-Independent Proof System for Mutual Program Equivalence

Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu

Conference

2013

From Small-step Semantics to Big-step Semantics, Automatically

Conference

One-Path Reachability Logic

Grigore Rosu, Andrei Stefanescu, Stefan Ciobaca, Brandon Moore

Conference

One-Path Reachability Logic

Grigore Rosu, Andrei Stefanescu, Stefan Ciobaca, Brandon Moore

Conference

From Small-step Semantics to Big-step Semantics, Automatically

Conference

Projects

Grants