Andrei Arusoaie
Scholar

Andrei Arusoaie

Google Scholar ID: uA4nRXEAAAAJ
Associate Professor at Faculty of Computer Science, Alexandru Ioan Cuza University
Formal MethodsProgramming LanguagesSymbolic Execution
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
219
 
H-index
8
 
i10-index
5
 
Publications
20
 
Co-authors
13
list available
Contact
No contact links provided.
Publications
3 items
An Introductory Study on the Power Consumption Overhead of ERC-4337 Bundlers
2025
Cited
0
Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
2025
Cited
0
Towards Stream-Based Monitoring for EVM Networks
2025
Cited
0
Resume (English only)
Co-authors
13 total
Dorel Lucanu
Dorel Lucanu
Professor of Computer Science, Alexandru Ioan Cuza University, Iasi, RO
Vlad Rusu
Vlad Rusu
Inria
Co-author 3
Co-author 3
Grigore Rosu
Grigore Rosu
University of Illinois at Urbana Champaign
Co-author 5
Co-author 5
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Gavrilut Dragos
Gavrilut Dragos
Bitdefender, Al. I. Cuza University