default search action
Andrei Arusoaie
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j7]Andrei Arusoaie
, Stefan-Claudiu Susan:
Towards Trusted Smart Contracts: A Comprehensive Test Suite For Vulnerability Detection. Empir. Softw. Eng. 29(5): 117 (2024) - [j6]Andrei Arusoaie, Dorel Lucanu:
Proof-carrying parameters in certified symbolic execution. Log. J. IGPL 32(3): 534-571 (2024) - 2023
- [c21]Ionut Cristian Pistol, Andrei Arusoaie:
AIM-RL: A New Framework Supporting Reinforcement Learning Experiments. ICSOFT 2023: 412-419 - [c20]Stefan-Claudiu Susan, Andrei Arusoaie:
Identifying Vulnerabilities in Smart Contracts using Interval Analysis. FROM 2023: 144-151 - 2022
- [c19]Andrei Arusoaie, Dorel Lucanu:
Proof-Carrying Parameters in Certified Symbolic Execution: The Case Study of Antiunification. FROM 2022: 1-16 - 2021
- [j5]Andrei Arusoaie
Certifying Findel derivatives for blockchain. J. Log. Algebraic Methods Program. 121: 100665 (2021) - [c18]Andreea Buterchi, Andrei Arusoaie:
Decentralized Application for Rating Internet Resources. ICSOFT 2021: 513-520 - [c17]Ionut Cristian Pistol
Analysing State-based Models for AI Problems. KES 2021: 736-745 - 2020
- [i5]Andrei Arusoaie:
Certifying Findel Derivatives for Blockchain. CoRR abs/2005.13602 (2020) - [i4]Andreea Buterchi, Andrei Arusoaie:
DApp for Rating. CoRR abs/2009.03253 (2020)
2010 – 2019
- 2019
- [c16]Andrei Arusoaie, Dorel Lucanu:
Unification in Matching Logic. FM 2019: 502-518 - [c15]Ionut Cristian Pistol
AIM: Designing a language for AI models. KES 2019: 202-211 - [i3]Andrei Arusoaie, Ionut Pistol:
Using SMT Solvers to Validate Models for AI Problems. CoRR abs/1903.09475 (2019) - [i2]Andrei Arusoaie:
A Formal Semantics of Findel in Coq (Short Paper). CoRR abs/1909.05464 (2019) - 2018
- [c14]Stefan Ciobaca, Andrei Arusoaie
Unification Modulo Builtins. WoLLIC 2018: 179-195 - [i1]Andrei Arusoaie, Dorel Lucanu:
Unification in Matching Logic - Extended Version. CoRR abs/1811.02835 (2018) - 2017
- [j4]Vlad Rusu, Andrei Arusoaie:
Executing and verifying higher-order functional-imperative programs in Maude. J. Log. Algebraic Methods Program. 93: 68-91 (2017) - [j3]Dorel Lucanu
A generic framework for symbolic execution: A coinductive approach. J. Symb. Comput. 80: 125-163 (2017) - [c13]Andrei Arusoaie, David Nowak, Vlad Rusu, Dorel Lucanu
A Certified Procedure for RL Verification. SYNASC 2017: 129-136 - [c12]Andrei Arusoaie, Stefan Ciobaca, Vlad Craciun
A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code. SYNASC 2017: 161-168 - 2016
- [j2]Vlad Rusu, Dorel Lucanu
Language definitions as rewrite theories. J. Log. Algebraic Methods Program. 85(1): 98-120 (2016) - [c11]Vlad Rusu, Andrei Arusoaie
Proving Reachability-Logic Formulas Incrementally. WRLA 2016: 134-151 - 2015
- [j1]Andrei Arusoaie
Symbolic execution based on language transformation. Comput. Lang. Syst. Struct. 44: 48-71 (2015) - [c10]Dorel Lucanu, Vlad Rusu, Andrei Arusoaie
Verifying Reachability-Logic Properties on Rewriting-Logic Specifications. Logic, Rewriting, and Concurrency 2015: 451-474 - 2014
- [b1]Andrei Arusoaie:
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). Alexandru Ioan Cuza University, Iași, Romania, 2014 - [c9]Andrei Arusoaie
Language Definitions as Rewrite Theories. WRLA 2014: 97-112 - 2013
- [c8]Andrei Arusoaie
A Generic Framework for Symbolic Execution. SLE 2013: 281-301 - [c7]Andrei Arusoaie
Engineering Hoare Logic-Based Program Verification in K Framework. SYNASC 2013: 177-184 - 2012
- [c6]David Lazar, Andrei Arusoaie
Executing Formal Semantics with the K Tool. FM 2012: 267-271 - [c5]Andrei Arusoaie
Automating Abstract Syntax Tree Construction for Context Free Grammars. SYNASC 2012: 152-159 - [c4]Andrei Arusoaie
Making Maude Definitions More Interactive. WRLA 2012: 83-98 - 2011
- [c3]Traian-Florin Serbanuta, Andrei Arusoaie
The K Primer (version 3.3). K 2011: 57-80 - [c2]Andrei Arusoaie
Towards a K Semantics for OCL. K 2011: 81-96 - 2010
- [c1]Andrei Arusoaie
Augmented Reality. SYNASC 2010: 502-509
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-03 20:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: