Andrei Arusoaie

According to our database, Andrei Arusoaie authored at least 32 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Towards Trusted Smart Contracts: A Comprehensive Test Suite For Vulnerability Detection.

Andrei Arusoaie, Stefan-Claudiu Susan

Empir. Softw. Eng., September, 2024

Proof-carrying parameters in certified symbolic execution.

Andrei Arusoaie, Dorel Lucanu

Log. J. IGPL, 2024

2023

Identifying Vulnerabilities in Smart Contracts using Interval Analysis.

Stefan-Claudiu Susan, Andrei Arusoaie

Proceedings of the Proceedings 7th Symposium on Working Formal Methods, 2023

AIM-RL: A New Framework Supporting Reinforcement Learning Experiments.

Ionut Cristian Pistol, Andrei Arusoaie

Proceedings of the 18th International Conference on Software Technologies, 2023

2022

Proof-Carrying Parameters in Certified Symbolic Execution: The Case Study of Antiunification.

Andrei Arusoaie, Dorel Lucanu

Proceedings of the Sixth Working Formal Methods Symposium, 2022

2021

Certifying Findel derivatives for blockchain.

Andrei Arusoaie

J. Log. Algebraic Methods Program., 2021

Analysing State-based Models for AI Problems.

Ionut Cristian Pistol, Andrei Arusoaie

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 25th International Conference KES-2021, 2021

Decentralized Application for Rating Internet Resources.

Andreea Buterchi, Andrei Arusoaie

Proceedings of the 16th International Conference on Software Technologies, 2021

2020

DApp for Rating.

Andreea Buterchi, Andrei Arusoaie

CoRR, 2020

2019

A Formal Semantics of Findel in Coq (Short Paper).

Andrei Arusoaie

CoRR, 2019

Using SMT Solvers to Validate Models for AI Problems.

Andrei Arusoaie, Ionut Pistol

CoRR, 2019

AIM: Designing a language for AI models.

Ionut Cristian Pistol, Andrei Arusoaie

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 23rd International Conference KES-2019, 2019

Unification in Matching Logic.

Andrei Arusoaie, Dorel Lucanu

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Unification in Matching Logic - Extended Version.

Andrei Arusoaie, Dorel Lucanu

CoRR, 2018

Unification Modulo Builtins.

Stefan Ciobaca, Andrei Arusoaie, Dorel Lucanu

Proceedings of the Logic, Language, Information, and Computation, 2018

2017

A generic framework for symbolic execution: A coinductive approach.

Dorel Lucanu, Vlad Rusu, Andrei Arusoaie

J. Symb. Comput., 2017

Executing and verifying higher-order functional-imperative programs in Maude.

Vlad Rusu, Andrei Arusoaie

J. Log. Algebraic Methods Program., 2017

A Certified Procedure for RL Verification.

Andrei Arusoaie, David Nowak, Vlad Rusu, Dorel Lucanu

Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

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

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

Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

2016

Language definitions as rewrite theories.

Vlad Rusu, Dorel Lucanu, Traian-Florin Serbanuta, Andrei Arusoaie, Andrei Stefanescu, Grigore Rosu

J. Log. Algebraic Methods Program., 2016

Proving Reachability-Logic Formulas Incrementally.

Vlad Rusu, Andrei Arusoaie

Proceedings of the Rewriting Logic and Its Applications - 11th International Workshop, 2016

2015

Symbolic execution based on language transformation.

Andrei Arusoaie, Dorel Lucanu, Vlad Rusu

Comput. Lang. Syst. Struct., 2015

Verifying Reachability-Logic Properties on Rewriting-Logic Specifications.

Dorel Lucanu, Vlad Rusu, Andrei Arusoaie, David Nowak

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

A Generic Framework for Symbolic Execution:Theory and Applications : Theory and Applications. (Un cadre générique pour exécution symbolique / Un cadre générique pour exécution symbolique : Theorie et Applications).

Andrei Arusoaie

PhD thesis, 2014

2013

Engineering Hoare Logic-Based Program Verification in K Framework.

Andrei Arusoaie

Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

A Generic Framework for Symbolic Execution.

Andrei Arusoaie, Dorel Lucanu, Vlad Rusu

Proceedings of the Software Language Engineering - 6th International Conference, 2013

2012

Making Maude Definitions More Interactive.

Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Grigore Rosu

Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

Automating Abstract Syntax Tree Construction for Context Free Grammars.

Andrei Arusoaie, Daniel Ionut Vicol

Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

Executing Formal Semantics with the K Tool.

David Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu

Proceedings of the FM 2012: Formal Methods, 2012

2011

The K Primer (version 3.3).

Traian-Florin Serbanuta, Andrei Arusoaie, David Lazar, Chucky Ellison, Dorel Lucanu, Grigore Rosu

Proceedings of the Second International Workshop on the K Framework and its Applications, 2011

Towards a K Semantics for OCL.

Andrei Arusoaie, Dorel Lucanu, Vlad Rusu

Proceedings of the Second International Workshop on the K Framework and its Applications, 2011

2010

Augmented Reality.

Andrei Arusoaie, Alexandru Ionut Cristei, Cristian Chircu, Mihai Andrei Livadariu, Vlad Manea, Adrian Iftene

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010