Andrei Arusoaie
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
8
Active years
2010–2026
Best venue rank
National
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | COMPSAC | Benchmarking LLM-Based Static Analysis for Secure Smart Contract Development: Reliability, Limitations, and Potential Hybrid Solutions. | Stefan-Claudiu Susan, Andrei Arusoaie, Dorel Lucanu |
| 2025 | OPODIS | Where to Place Your TEE? In Search of a Censorship-Resilient Design for Rollup Sequencers. | Andrei Arusoaie, Claudiu-Nicu Barbieru, Oana-Otilia Captarencu, Pascal Felber, Corentin Libert, Emanuel Onica, Etienne Rivire, Valerio Schiavoni, Peterson Yuhala |
| 2023 | ICSoft | AIM-RL: A New Framework Supporting Reinforcement Learning Experiments. | Ionut Cristian Pistol, Andrei Arusoaie |
| 2021 | ICSoft | Decentralized Application for Rating Internet Resources. | Andreea Buterchi, Andrei Arusoaie |
| 2021 | KES | Analysing State-based Models for AI Problems. | Ionut Cristian Pistol, Andrei Arusoaie |
| 2019 | FM | Unification in Matching Logic. | Andrei Arusoaie, Dorel Lucanu |
| 2019 | KES | AIM: Designing a language for AI models. | Ionut Cristian Pistol, Andrei Arusoaie |
| 2018 | WoLLIC | Unification Modulo Builtins. | Stefan Ciobaca, Andrei Arusoaie, Dorel Lucanu |
| 2017 | SYNASC | A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code. | Andrei Arusoaie, Stefan Ciobaca, Vlad Craciun, Dragos Gavrilut, Dorel Lucanu |
| 2017 | SYNASC | A Certified Procedure for RL Verification. | Andrei Arusoaie, David Nowak, Vlad Rusu, Dorel Lucanu |
| 2013 | SLE | A Generic Framework for Symbolic Execution. | Andrei Arusoaie, Dorel Lucanu, Vlad Rusu |
| 2013 | SYNASC | Engineering Hoare Logic-Based Program Verification in K Framework. | Andrei Arusoaie |
| 2012 | FM | Executing Formal Semantics with the K Tool. | David Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu |
| 2012 | SYNASC | Automating Abstract Syntax Tree Construction for Context Free Grammars. | Andrei Arusoaie, Daniel Ionut Vicol |
| 2010 | SYNASC | Augmented Reality. | Andrei Arusoaie, Alexandru Ionut Cristei, Cristian Chircu, Mihai Andrei Livadariu, Vlad Manea, Adrian Iftene |