default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAndrei 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, Andrei Arusoaie:
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, Andrei Arusoaie:
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, Dorel Lucanu:
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, Vlad Rusu, Andrei Arusoaie:
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, Dragos Gavrilut, Dorel Lucanu:
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, Traian-Florin Serbanuta, Andrei Arusoaie, Andrei Stefanescu, Grigore Rosu:
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, Dorel Lucanu, Vlad Rusu:
Symbolic execution based on language transformation. Comput. Lang. Syst. Struct. 44: 48-71 (2015) - [c10]Dorel Lucanu, Vlad Rusu, Andrei Arusoaie, David Nowak:
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, Dorel Lucanu, Vlad Rusu, Traian-Florin Serbanuta, Andrei Stefanescu, Grigore Rosu:
Language Definitions as Rewrite Theories. WRLA 2014: 97-112 - 2013
- [c8]Andrei Arusoaie, Dorel Lucanu, Vlad Rusu:
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, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu:
Executing Formal Semantics with the K Tool. FM 2012: 267-271 - [c5]Andrei Arusoaie, Daniel Ionut Vicol:
Automating Abstract Syntax Tree Construction for Context Free Grammars. SYNASC 2012: 152-159 - [c4]Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Grigore Rosu:
Making Maude Definitions More Interactive. WRLA 2012: 83-98 - 2011
- [c3]Traian-Florin Serbanuta, Andrei Arusoaie, David Lazar, Chucky Ellison, Dorel Lucanu, Grigore Rosu:
The K Primer (version 3.3). K 2011: 57-80 - [c2]Andrei Arusoaie, Dorel Lucanu, Vlad Rusu:
Towards a K Semantics for OCL. K 2011: 81-96 - 2010
- [c1]Andrei Arusoaie, Alexandru Ionut Cristei, Cristian Chircu, Mihai Andrei Livadariu, Vlad Manea, Adrian Iftene:
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 21: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:
