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
458
 
H-index
12
 
i10-index
13
 
Publications
20
 
Co-authors
13
list available
Publications
4 items
Benchmarking LLM-Based Static Analysis for Secure Smart Contract Development: Reliability, Limitations, and Potential Hybrid Solutions
2026
Cited
0
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
Co-authors
4 total
Dorel Lucanu
Dorel Lucanu
Professor of Computer Science, Alexandru Ioan Cuza University, Iasi, RO
Vlad Rusu
Vlad Rusu
Inria
Grigore Rosu
Grigore Rosu
University of Illinois at Urbana Champaign
Gavrilut Dragos
Gavrilut Dragos
Bitdefender, Al. I. Cuza University