| 2026 | ENASE | A Trace-Based Assurance Framework for Agentic AI Orchestration: Contracts, Testing, and Governance. | Ciprian Paduraru, Petru-Liviu Bouruc, Alin Stefanescu |
| 2026 | ENASE | A Guardrail-Driven Multi-Agent Architecture for AI-Assisted Public Administration Workflows. | Ciprian Paduraru, Bogdan Dumitru, Alin Stefanescu |
| 2026 | ENASE | Trace-to-Logic Assurance for Agentic AI: Mining Probabilistic Rules from Message-Action Traces. | Ciprian Paduraru, Bogdan Macovei, Alin Stefanescu |
| 2026 | ICAART | A Variational Text-to-Motion Model for Emotion-Aware 3D Human Movement. | Ciprian Paduraru, Monica Girbea, Alin Stefanescu |
| 2026 | ICAART | LLM Guided Low Code/No Code Synthesis: Visual Scripting for Games. | Ciprian Paduraru, Razvan Mutu, Alin Stefanescu |
| 2026 | ICAART | Emotion-Conditioned 3D Human Motion from Monocular Video: A Mocap-Free Diffusion Pipeline. | Ciprian Paduraru, Alexandru Sasu, Alin Stefanescu |
| 2025 | EASE | Hierarchical deep learning framework for continuous, state-aware visual glitch detection in games. | Ciprian Paduraru, Miruna Gabriela Paduraru, Alin Stefanescu |
| 2025 | ENASE | MODE: A Customizable Open-Source Testing Framework for IoT Systems and Methodologies. | Rares Cristea, Ciprian Paduraru, Alin Stefanescu |
| 2025 | ENASE | CyberGuardian 2: Integrating LLMs and Agentic AI Assistants for Securing Distributed Networks. | Ciprian Paduraru, Catalina Camelia Patilea, Alin Stefanescu |
| 2025 | ICAART | Generative Approaches to Emotion Expression in 3D Human Pose Modeling. | Petru-Liviu Bouruc, Ciprian Paduraru, Alin Stefanescu |
| 2025 | ICAART | Generative AI for Human 3D Body Emotions: A Dataset and Baseline Methods. | Ciprian Paduraru, Petru-Liviu Bouruc, Alin Stefanescu |
| 2025 | ICAART | Agentic AI for Behavior-Driven Development Testing Using Large Language Models. | Ciprian Paduraru, Miruna Zavelca, Alin Stefanescu |
| 2025 | ICAART | Behavior-Driven Test Generation from Natural Language Using Agents and Large Language Models. | Ciprian Paduraru, Miruna Zavelca, Alin Stefanescu |
| 2025 | KES | Automated Generation of Cybersecurity Response Playbooks via Large Language Models. | Ciprian Paduraru, Bogdan Dumitru, Alin Stefanescu |
| 2025 | KES | Semantic Feedback Processing with LLMs: Automating Issue Detection and Prioritization in DevOps. | Ciprian Paduraru, Miruna Zavelca, Alin Stefanescu |
| 2025 | SYNASC | Evaluating Cybersecurity Risk via Psychometric Analysis and Machine Learning. | Adrian Diac, Alin Stefanescu |
| 2024 | EASE | Automated evaluation of game content display using deep learning. | Ciprian Paduraru, Marina Cernat, Alin Stefanescu |
| 2024 | ICAART | Adaptive Questionnaire Design Using AI Agents for People Profiling. | Ciprian Paduraru, Rares Cristea, Alin Stefanescu |
| 2024 | ICSoft | Enhancing User Experience in Games with Large Language Models. | Ciprian Paduraru, Marina Cernat, Alin Stefanescu |
| 2024 | ICSoft | RLHR: A Framework for Driving Dynamically Adaptable Questionnaires and Profiling People Using Reinforcement Learning. | Ciprian Paduraru, Catalina Camelia Patilea, Alin Stefanescu |
| 2024 | ICSoft | CyberGuardian: An Interactive Assistant for Cybersecurity Specialists Using Large Language Models. | Ciprian Paduraru, Catalina Camelia Patilea, Alin Stefanescu |
| 2024 | ICST | End-to-End RPA-Like Testing Using Reinforcement Learning. | Ciprian Paduraru, Rares Cristea, Alin Stefanescu |
| 2024 | KES | LLM-based methods for the creation of unit tests in game development. | Ciprian Paduraru, Adelina-Nicoleta Staicu, Alin Stefanescu |
| 2023 | ICSoft | Conversational Agents for Simulation Applications and Video Games. | Ciprian Paduraru, Marina Cernat, Alin Stefanescu |
| 2023 | ICSoft | Automatic Fuzz Testing and Tuning Tools for Software Blueprints. | Ciprian Paduraru, Rares Cristea, Alin Stefanescu |
| 2023 | ICSoft | Blockchain for Artificial Intelligence: An Industry and Literature Survey. | Ciprian Paduraru, Augustin Jianu, Alin Stefanescu |
| 2023 | ICSoft | Robotic Process Automation for the Gaming Industry. | Ciprian Paduraru, Adelina-Nicoleta Staicu, Alin Stefanescu |
| 2022 | ICSoft | Advancing Security and Data Protection for Smart Home Systems through Blockchain Technologies. | Ciprian Paduraru, Rares Cristea, Alin Stefanescu |
| 2022 | ICST | RiverGame - a game testing tool using artificial intelligence. | Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu |
| 2022 | VEHITS | Traffic Light Control using Reinforcement Learning: A Survey and an Open Source Implementation. | Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu |
| 2021 | ICONIP | EvoBA: An Evolution Strategy as a Strong Baseline for Black-Box Adversarial Attacks. | Andrei Ilie, Marius Popescu, Alin Stefanescu |
| 2021 | ICST | RiverFuzzRL - an open-source tool to experiment with reinforcement learning for fuzzing. | Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu |
| 2020 | IJCAI | Robustness as Inherent Property of Datapoints. | Catalin-Andrei Ilie, Marius Popescu, Alin Stefanescu |
| 2020 | ICSoft | Improving UI Test Automation using Robotic Process Automation. | Marina Cernat, Adelina-Nicoleta Staicu, Alin Stefanescu |
| 2020 | ICSoft | RiverConc: An Open-source Concolic Execution Engine for x86 Binaries. | Ciprian Paduraru, Bogdan Ghimis, Alin Stefanescu |
| 2020 | ICST | Optimizing decision making in concolic execution using reinforcement learning. | Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu |
| 2020 | TrustBus | Analysis of uPort Open, an Identity Management Blockchain-Based Solution. | Andreea-Elena Panait, Ruxandra F. Olimid, Alin Stefanescu |
| 2017 | GECCO | A distributed implementation using apache spark of a genetic algorithm applied to test data generation. | Ciprian Paduraru, Marius-Constantin Melemciuc, Alin Stefanescu |
| 2016 | FM | RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions. | Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate |
| 2014 | ICECCS | From TiMo to Event-B: Event-Driven Timed Mobility. | Gabriel Ciobanu, Thai Son Hoang, Alin Stefanescu |
| 2012 | ICARCV | Remarks on the difficulty of top-down supervisor synthesis. | Liyong Lin, Rong Su, Alin Stefanescu |
| 2012 | ISoLA | Model Learning and Test Generation for Event-B Decomposition. | Ionut Dinca, Florentin Ipate, Alin Stefanescu |
| 2011 | ICST | Towards Search-Based Testing for Event-B Models. | Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose |
| 2010 | IROS | A hierarchical approach to automatic deployment of robotic teams with communication constraints. | Yushan Chen, Sam Birch, Alin Stefanescu, Calin Belta |
| 2010 | QUATIC | Model-Driven Service Integration Testing - A Case Study. | Sebastian Wieczorek, Alin Stefanescu, Andreas Roth |
| 2008 | ICST | Test Data Provision for ERP Systems. | Sebastian Wieczorek, Alin Stefanescu, Ina Schieferdecker |
| 2006 | CONCUR | A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems. | Stefan Leue, Alin Stefanescu, Wei Wei |
| 2003 | CONCUR | Synthesis of Distributed Algorithms Using Asynchronous Automata. | Alin Stefanescu, Javier Esparza, Anca Muscholl |