Andrei Arusoaie

41 papers B 7C 3Misc 5Journal 14Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	B	`ed.`	29th International Conference on Principles of Distributed Systems, OPODIS 2025, Iaşi, Romania, December 3-5, 2025 OPODIS Andrei Arusoaie, Emanuel Onica, Michael Spear, Sara Tucci Piergiovanni
2025	J	`jnl`	An Introductory Study on the Power Consumption Overhead of ERC-4337 Bundlers. CoRR Andrei Arusoaie, Claudiu-Nicu Barbieru, Oana-Otilia Captarencu, Paul-Flavian Diac, Emanuel Onica, Cosmin-Nicolae Vârlan
2025	—	`ed.`	Proceedings 9th edition of Working Formal Methods Symposium, FROM 2025, Iaşi, Romania, 17 September 2025. FROM Andrei Arusoaie, Horatiu Cheval, Radu Iosif
2025	—	`conf`	Towards Stream-Based Monitoring for EVM Networks. DEBS Emanuel Onica, Claudiu-Nicu Barbieru, Andrei Arusoaie, Oana-Otilia Captarencu, Ciprian Amariei
2025	J	`jnl`	Towards Stream-Based Monitoring for EVM Networks. CoRR Emanuel Onica, Claudiu-Nicu Barbieru, Andrei Arusoaie, Oana-Otilia Captarencu, Ciprian Amariei
2025	—	`conf`	Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models. FROM Stefan-Claudiu Susan, Andrei Arusoaie, Dorel Lucanu
2025	B	`conf`	Where to Place Your TEE? In Search of a Censorship-Resilient Design for Rollup Sequencers. OPODIS Andrei Arusoaie, Claudiu-Nicu Barbieru, Oana-Otilia Captarencu, Pascal Felber, Corentin Libert, Emanuel Onica, Etienne Rivière, Valerio Schiavoni, Peterson Yuhala
2024	J	`jnl`	Proof-carrying parameters in certified symbolic execution. Log. J. IGPL Andrei Arusoaie, Dorel Lucanu
2024	J	`jnl`	Towards Trusted Smart Contracts: A Comprehensive Test Suite For Vulnerability Detection. Empir. Softw. Eng. Andrei Arusoaie, Stefan-Claudiu Susan
2023	C	`conf`	AIM-RL: A New Framework Supporting Reinforcement Learning Experiments. ICSOFT Ionut Cristian Pistol, Andrei Arusoaie
2023	—	`conf`	Identifying Vulnerabilities in Smart Contracts using Interval Analysis. FROM Stefan-Claudiu Susan, Andrei Arusoaie
2022	—	`conf`	Proof-Carrying Parameters in Certified Symbolic Execution: The Case Study of Antiunification. FROM Andrei Arusoaie, Dorel Lucanu
2021	B	`conf`	Analysing State-based Models for AI Problems. KES Ionut Cristian Pistol, Andrei Arusoaie
2021	J	`jnl`	Certifying Findel derivatives for blockchain. J. Log. Algebraic Methods Program. Andrei Arusoaie
2021	C	`conf`	Decentralized Application for Rating Internet Resources. ICSOFT Andreea Buterchi, Andrei Arusoaie
2020	J	`jnl`	Certifying Findel Derivatives for Blockchain. CoRR Andrei Arusoaie
2020	J	`jnl`	DApp for Rating. CoRR Andreea Buterchi, Andrei Arusoaie
2019	J	`jnl`	A Formal Semantics of Findel in Coq (Short Paper). CoRR Andrei Arusoaie
2019	B	`conf`	AIM: Designing a language for AI models. KES Ionut Cristian Pistol, Andrei Arusoaie
2019	B	`conf`	Unification in Matching Logic. FM Andrei Arusoaie, Dorel Lucanu
2019	J	`jnl`	Using SMT Solvers to Validate Models for AI Problems. CoRR Andrei Arusoaie, Ionut Pistol
2018	C	`conf`	Unification Modulo Builtins. WoLLIC Stefan Ciobaca, Andrei Arusoaie, Dorel Lucanu
2018	J	`jnl`	Unification in Matching Logic - Extended Version. CoRR Andrei Arusoaie, Dorel Lucanu
2017	Misc	`conf`	A Certified Procedure for RL Verification. SYNASC Andrei Arusoaie, David Nowak, Vlad Rusu, Dorel Lucanu
2017	Misc	`conf`	A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code. SYNASC Andrei Arusoaie, Stefan Ciobaca, Vlad Craciun, Dragos Gavrilut, Dorel Lucanu
2017	J	`jnl`	A generic framework for symbolic execution: A coinductive approach. J. Symb. Comput. Dorel Lucanu, Vlad Rusu, Andrei Arusoaie
2017	J	`jnl`	Executing and verifying higher-order functional-imperative programs in Maude. J. Log. Algebraic Methods Program. Vlad Rusu, Andrei Arusoaie
2016	J	`jnl`	Language definitions as rewrite theories. J. Log. Algebraic Methods Program. Vlad Rusu, Dorel Lucanu, Traian-Florin Serbanuta, Andrei Arusoaie, Andrei Stefanescu, Grigore Rosu
2016	—	`conf`	Proving Reachability-Logic Formulas Incrementally. WRLA Vlad Rusu, Andrei Arusoaie
2015	J	`jnl`	Symbolic execution based on language transformation. Comput. Lang. Syst. Struct. Andrei Arusoaie, Dorel Lucanu, Vlad Rusu
2015	—	`conf`	Verifying Reachability-Logic Properties on Rewriting-Logic Specifications. Logic, Rewriting, and Concurrency Dorel Lucanu, Vlad Rusu, Andrei Arusoaie, David Nowak
2014	—	`—`	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). Andrei Arusoaie
2014	—	`conf`	Language Definitions as Rewrite Theories. WRLA Andrei Arusoaie, Dorel Lucanu, Vlad Rusu, Traian-Florin Serbanuta, Andrei Stefanescu, Grigore Rosu
2013	B	`conf`	A Generic Framework for Symbolic Execution. SLE Andrei Arusoaie, Dorel Lucanu, Vlad Rusu
2013	Misc	`conf`	Engineering Hoare Logic-Based Program Verification in K Framework. SYNASC Andrei Arusoaie
2012	Misc	`conf`	Automating Abstract Syntax Tree Construction for Context Free Grammars. SYNASC Andrei Arusoaie, Daniel Ionut Vicol
2012	B	`conf`	Executing Formal Semantics with the K Tool. FM David Lazar, Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Radu Mereuta, Dorel Lucanu, Grigore Rosu
2012	—	`conf`	Making Maude Definitions More Interactive. WRLA Andrei Arusoaie, Traian-Florin Serbanuta, Chucky Ellison, Grigore Rosu
2011	—	`conf`	The K Primer (version 3.3). K Traian-Florin Serbanuta, Andrei Arusoaie, David Lazar, Chucky Ellison, Dorel Lucanu, Grigore Rosu
2011	—	`conf`	Towards a K Semantics for OCL. K Andrei Arusoaie, Dorel Lucanu, Vlad Rusu
2010	Misc	`conf`	Augmented Reality. SYNASC Andrei Arusoaie, Alexandru Ionut Cristei, Cristian Chircu, Mihai Andrei Livadariu, Vlad Manea, Adrian Iftene