Andrei Arusoaie

A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code

Andrei Arusoaie, Ştefan Ciobâcă, Vlad Constantin Crăciun et al. · 2017 · 47 citations

Software Maintenance, Engineering, Verification +21

A generic framework for symbolic execution: A coinductive approach

Dorel Lucanu, Vlad Rusu, Andrei Arusoaie · Journal of Symbolic Computation · 2016 · 27 citations · Full text

Coinductive Approach, Engineering, Operational Semantics +9

The <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="double-struck">K</mml:mi></mml:math> Primer (version 3.3)

Traian Florin Şerbănuţă, Andrei Arusoaie, David Lazar et al. · Electronic Notes in Theoretical Computer Science · 2014 · 22 citations · Full text

Engineering, Verification, Software Engineering +20

Augmented Reality

Andrei Arusoaie, Alexandru Ionut Cristei, Cristian Chircu et al. · 2010 · 15 citations

Ar Api, Engineering, Virtual Worlds +8

Language definitions as rewrite theories

Vlad Rusu, Dorel Lucanu, Traian-Florin Şerbănuţă et al. · Journal of Logical and Algebraic Methods in Programming · 2015 · 14 citations · Full text

Language Construct, Philosophy Of Language, Syntax +7