Andrei Arusoaie

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 24

Top Venues

CoRR

J. Log. Algebraic Methods Program.

SYNASC

ICSOFT

Alexandru Ioan Cuza University, Iași, Romania (PHD)

Education History

Alexandru Ioan Cuza University, Iași, Romania

PHD

Publications

Andrei Arusoaie, Stefan-Claudiu Susan
Towards Trusted Smart Contracts: A Comprehensive Test Suite For Vulnerability Detection. Empir. Softw. Eng. 29 (5) (2024)
Andrei Arusoaie, Dorel Lucanu
Proof-carrying parameters in certified symbolic execution. Log. J. IGPL 32 (3) (2024)
Ionut Cristian Pistol, Andrei Arusoaie
AIM-RL: A New Framework Supporting Reinforcement Learning Experiments. ICSOFT (2023)
Stefan-Claudiu Susan, Andrei Arusoaie
Identifying Vulnerabilities in Smart Contracts using Interval Analysis. FROM (2023)
Ionut Cristian Pistol, Andrei Arusoaie
Analysing State-based Models for AI Problems. KES (2021)
Andrei Arusoaie, Dorel Lucanu
Proof-Carrying Parameters in Certified Symbolic Execution: The Case Study of Antiunification. CoRR (2021)
Andrei Arusoaie
Certifying Findel derivatives for blockchain. J. Log. Algebraic Methods Program. 121 (2021)
Andreea Buterchi, Andrei Arusoaie
Decentralized Application for Rating Internet Resources. ICSOFT (2021)
Andreea Buterchi, Andrei Arusoaie
DApp for Rating. CoRR (2020)
Andrei Arusoaie
Certifying Findel Derivatives for Blockchain. CoRR (2020)
Ionut Cristian Pistol, Andrei Arusoaie
AIM: Designing a language for AI models. KES (2019)
Andrei Arusoaie, Ionut Pistol
Using SMT Solvers to Validate Models for AI Problems. CoRR (2019)
Andrei Arusoaie
A Formal Semantics of Findel in Coq (Short Paper). CoRR (2019)
Andrei Arusoaie, Dorel Lucanu
Unification in Matching Logic. FM (2019)
Stefan Ciobaca, Andrei Arusoaie, Dorel Lucanu
Unification Modulo Builtins. WoLLIC (2018)
Andrei Arusoaie, Dorel Lucanu
Unification in Matching Logic - Extended Version. CoRR (2018)
Andrei Arusoaie, Stefan Ciobaca, Vlad Craciun, Dragos Gavrilut, Dorel Lucanu
A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code. SYNASC (2017)
Dorel Lucanu, Vlad Rusu, Andrei Arusoaie
A generic framework for symbolic execution: A coinductive approach. J. Symb. Comput. 80 (2017)
Vlad Rusu, Andrei Arusoaie
Executing and verifying higher-order functional-imperative programs in Maude. J. Log. Algebraic Methods Program. 93 (2017)
Andrei Arusoaie, David Nowak, Vlad Rusu, Dorel Lucanu
A Certified Procedure for RL Verification. SYNASC (2017)
Vlad Rusu, Dorel Lucanu, Traian-Florin Serbanuta, Andrei Arusoaie, Andrei Stefanescu, Grigore Rosu
Language definitions as rewrite theories. J. Log. Algebraic Methods Program. 85 (1) (2016)
Vlad Rusu, Andrei Arusoaie
Proving Reachability-Logic Formulas Incrementally. WRLA (2016)
Dorel Lucanu, Vlad Rusu, Andrei Arusoaie, David Nowak
Verifying Reachability-Logic Properties on Rewriting-Logic Specifications. Logic, Rewriting, and Concurrency (2015)
Andrei Arusoaie, Dorel Lucanu, Vlad Rusu
Symbolic execution based on language transformation. Comput. Lang. Syst. Struct. 44 (2015)
Traian-Florin Serbanuta, Andrei Arusoaie, David Lazar, Chucky Ellison, Dorel Lucanu, Grigore Rosu
The K Primer (version 3.3). Electron. Notes Theor. Comput. Sci. 304 (2014)
Andrei Arusoaie, Dorel Lucanu, Vlad Rusu, Traian-Florin Serbanuta, Andrei Stefanescu, Grigore Rosu
Language Definitions as Rewrite Theories. WRLA (2014)
Andrei Arusoaie, Dorel Lucanu, Vlad Rusu
Towards a K Semantics for OCL. Electron. Notes Theor. Comput. Sci. 304 (2014)
Andrei Arusoaie
Engineering Hoare Logic-Based Program Verification in K Framework. SYNASC (2013)
Andrei Arusoaie, Dorel Lucanu, Vlad Rusu
A Generic Framework for Symbolic Execution. SLE (2013)
David Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu
Executing Formal Semantics with the K Tool. FM (2012)
Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Grigore Rosu
Making Maude Definitions More Interactive. WRLA (2012)
Andrei Arusoaie, Daniel Ionut Vicol
Automating Abstract Syntax Tree Construction for Context Free Grammars. SYNASC (2012)
Andrei Arusoaie, Alexandru Ionut Cristei, Cristian Chircu, Mihai Andrei Livadariu, Vlad Manea, Adrian Iftene
Augmented Reality. SYNASC (2010)

Andrei Arusoaie.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andrei Arusoaie