Personal information

Romania

Activities

Employment (7)

Alexandru Ioan Cuza University: Iasi, RO

2024-07-01 to present | Director (Computer Science)
Employment
Source: Self-asserted source
Andrei Arusoaie

Alexandru Ioan Cuza University: Iasi, RO

2019-10-01 to present | Associate Professor (Computer Science)
Employment
Source: Self-asserted source
Andrei Arusoaie

Universitatea Alexandru Ioan Cuza Facultatea de Informatică: Iasi, RO

2016-03-15 to 2019-09-30 | Lecturer (Computer Science)
Employment
Source: Self-asserted source
Andrei Arusoaie

Universitatea Alexandru Ioan Cuza Facultatea de Informatica: Iasi, RO

2016-11-01 to 2018-09-30 | Researcher CS3 (BG - IZA)
Employment
Source: Self-asserted source
Andrei Arusoaie

Inria Centre de recherche Lille Nord Europe: Villeneuve d'Ascq, Nord-Pas-de-Calais, FR

2014-10-03 to 2016-02-28 | Postdoctoral researcher (DREAMPAL)
Employment
Source: Self-asserted source
Andrei Arusoaie

Universitatea Alexandru Ioan Cuza Facultatea de Informatica: Iasi, RO

2013-12-16 to 2014-11-05 | Research Assistant (Research Department)
Employment
Source: Self-asserted source
Andrei Arusoaie

Universitatea Alexandru Ioan Cuza Facultatea de Informatica: Iasi, RO

2010-06-24 to 2013-12-15 | Research Assistant (DAK project)
Employment
Source: Self-asserted source
Andrei Arusoaie

Education and qualifications (3)

UAIC: IASI, IASI, RO

2011-10-01 to 2014-09-27 | Phd. (main: Computer Science Dept. Iasi, co-supervised by INRIA Lille - Nord Europe)
Education
Source: Self-asserted source
Andrei Arusoaie

UAIC: IASI, IASI, RO

2009-10-01 to 2011-07-01 | Msc. (Computer Science)
Education
Source: Self-asserted source
Andrei Arusoaie

UAIC: IASI, IASI, RO

2006-10-01 to 2009-07-01 | Bsc. (Computer Science)
Education
Source: Self-asserted source
Andrei Arusoaie

Funding (1)

Certification of computer programs using a proof assistant

2018-01 to 2019-12 | Grant
Alexandru Ioan Cuza, University of Iasi (Iasi, Iasi, RO)
GRANT_NUMBER: GI_ARUSOAIE
Source: Self-asserted source
Andrei Arusoaie

Works (17)

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

Empirical Software Engineering
2024-09 | Journal article
Contributors: Andrei Arusoaie; Ștefan-Claudiu Susan
Source: check_circle
Crossref

Certifying Findel derivatives for blockchain

Journal of Logical and Algebraic Methods in Programming
2021-06 | Journal article
Contributors: Andrei Arusoaie
Source: check_circle
Crossref

Unification modulo builtins

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2018 | Book
EID:

2-s2.0-85049646767

Contributors: Ciobâcă, Ş.; Arusoaie, A.; Lucanu, D.
Source: Self-asserted source
Andrei Arusoaie via Scopus - Elsevier

A generic framework for symbolic execution: A coinductive approach

Journal of Symbolic Computation
2017 | Journal article
EID:

2-s2.0-84979009535

Contributors: Lucanu, D.; Rusu, V.; Arusoaie, A.
Source: Self-asserted source
Andrei Arusoaie via Scopus - Elsevier

Language definitions as rewrite theories

Journal of Logical and Algebraic Methods in Programming
2016 | Journal article
EID:

2-s2.0-84961843568

Contributors: Rusu, V.; Lucanu, D.; Şerbənuţə, T.-F.; Arusoaie, A.; Ştefənescu, A.; Roşu, G.
Source: Self-asserted source
Andrei Arusoaie via Scopus - Elsevier

Proving reachability-logic formulas incrementally

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016 | Book
EID:

2-s2.0-84986213332

Contributors: Rusu, V.; Arusoaie, A.
Source: Self-asserted source
Andrei Arusoaie via Scopus - Elsevier

Symbolic execution based on language transformation

Computer Languages, Systems and Structures
2015 | Journal article
EID:

2-s2.0-84943662791

Contributors: Arusoaie, A.; Lucanu, D.; Rusu, V.
Source: Self-asserted source
Andrei Arusoaie via Scopus - Elsevier

Verifying reachability-logic properties on rewriting-logic specifications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015 | Book
EID:

2-s2.0-84960360988

Contributors: Lucanu, D.; Rusu, V.; Arusoaie, A.; Nowak, D.
Source: Self-asserted source
Andrei Arusoaie via Scopus - Elsevier

Engineering hoare logic-based program verification in K framework

Proceedings - 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013
2014 | Conference paper
EID:

2-s2.0-84904579404

Contributors: Arusoaie, A.
Source: Self-asserted source
Andrei Arusoaie via Scopus - Elsevier

Language definitions as rewrite theories

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | Book
EID:

2-s2.0-84911979363

Contributors: Arusoaie, A.; Lucanu, D.; Rusu, V.; Şerbǎnuţǎ, T.-F.; Ştefǎnescu, A.; Roşu, G.
Source: Self-asserted source
Andrei Arusoaie via Scopus - Elsevier

The K primer (version 3.3)

Electronic Notes in Theoretical Computer Science
2014 | Journal article
EID:

2-s2.0-84901773226

Contributors: Şerbǎnuţǎ, T.F.; Arusoaie, A.; Lazar, D.; Ellison, C.; Lucanu, D.; Roşu, G.
Source: Self-asserted source
Andrei Arusoaie via Scopus - Elsevier

Towards a K semantics for OCL

Electronic Notes in Theoretical Computer Science
2014 | Journal article
EID:

2-s2.0-84901807331

Contributors: Arusoaie, A.; Lucanu, D.; Rusu, V.
Source: Self-asserted source
Andrei Arusoaie via Scopus - Elsevier

A generic framework for symbolic execution

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2013 | Book
EID:

2-s2.0-84891337726

Contributors: Arusoaie, A.; Lucanu, D.; Rusu, V.
Source: Self-asserted source
Andrei Arusoaie via Scopus - Elsevier

Automating abstract syntax tree construction for context free grammars

Proceedings - 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012
2012 | Conference paper
EID:

2-s2.0-84875670589

Contributors: Arusoaie, A.; Vicol, D.I.
Source: Self-asserted source
Andrei Arusoaie via Scopus - Elsevier

Executing Formal Semantics with the double-struck K Tool

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Book
EID:

2-s2.0-84865956869

Contributors: Lazar, D.; Arusoaie, A.; Şerbǎnuţǎ, T.F.; Ellison, C.; Mereuta, R.; Lucanu, D.; Roşu, G.
Source: Self-asserted source
Andrei Arusoaie via Scopus - Elsevier

Making Maude definitions more interactive

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Book
EID:

2-s2.0-84868330081

Contributors: Arusoaie, A.; Şerbǎnuţǎ, T.F.; Ellison, C.; Roşu, G.
Source: Self-asserted source
Andrei Arusoaie via Scopus - Elsevier

Augmented Reality

Proceedings - 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010
2011 | Conference paper
EID:

2-s2.0-79952499463

Contributors: Arusoaie, A.; Cristei, A.I.; Chircu, C.; Livadariu, M.A.; Manea, V.; Iftene, A.
Source: Self-asserted source
Andrei Arusoaie via Scopus - Elsevier

Peer review (1 review for 1 publication/grant)

Review activity for Blockchain. (1)