Automatic Synthesis of Distributed Systems. - Alin Stefanescu (ASE, 2002)

Synthesis of Distributed Algorithms Using Asynchronous Automata. - Alin Stefanescu; Javier Esparza; Anca Muscholl (CONCUR, 2003)

Complexity Results for Checking Distributed Implementability. - Keijo Heljanko; Alin Stefanescu (ACSD, 2005)

A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems. - Stefan Leue; Alin Stefanescu; Wei Wei 015 (CONCUR, 2006)

Automatic synthesis of distributed transition systems. - Alin Stefanescu (2006)

Test Data Provision for ERP Systems. - Sebastian Wieczorek; Alin Stefanescu; Ina Schieferdecker (ICST, 2008)

Precise Steps for Choreography Modeling for SOA Validation and Verification. - Sebastian Wieczorek; Andreas Roth 001; Alin Stefanescu; Anis Charfi (SOSE, 2008)

Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes. - Stefan Leue; Alin Stefanescu; Wei Wei 015 (SPIN, 2008)

An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT. - Stefan Leue; Alin Stefanescu; Wei Wei 015 (TOOLS (46), 2008)

MBT4Chor: A Model-Based Testing Approach for Service Choreographies. - Alin Stefanescu; Sebastian Wieczorek; Andrei Kirshin (ECMDA-FA, 2009)

Viewpoints for modeling choreographies in service-oriented architectures. - Sebastian Wieczorek; Andreas Roth 001; Alin Stefanescu; Vitaly Kozyura; Anis Charfi; Frank Michael Kraft; Ina Schieferdecker (WICSA/ECSA, 2009)

A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment. - Yushan Chen; Xu Chu Ding; Alin Stefanescu; Calin Belta (DARS, 2010)

Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces. - Sebastian Wieczorek; Alin Stefanescu (ECBS, 2010)

Using the UML Testing Profile for Enterprise Service Choreographies. - Alin Stefanescu; Sebastian Wieczorek; Marc-Florian Wendland (EUROMICRO-SEAA, 2010)

A hierarchical approach to automatic deployment of robotic teams with communication constraints. - Yushan Chen; Sam Birch; Alin Stefanescu; Calin Belta (IROS, 2010)

Model-Driven Service Integration Testing - A Case Study. - Sebastian Wieczorek; Alin Stefanescu; Andreas Roth 001 (QUATIC, 2010)

Test Data Generation for Event-B Models Using Genetic Algorithms. - Ionut Dinca; Alin Stefanescu; Florentin Ipate; Raluca Lefticaru; Cristina Tudose (ICSECS (3), 2011)

Towards Search-Based Testing for Event-B Models. - Alin Stefanescu; Florentin Ipate; Raluca Lefticaru; Cristina Tudose (ICST Workshops, 2011)

Learn and Test for Event-B - A Rodin Plugin. - Ionut Dinca; Florentin Ipate; Laurentiu Mierla; Alin Stefanescu (ABZ, 2012)

Remarks on the difficulty of top-down supervisor synthesis. - Liyong Lin; Rong Su 001; Alin Stefanescu (ICARCV, 2012)

Model Learning and Test Generation for Event-B Decomposition. - Ionut Dinca; Florentin Ipate; Alin Stefanescu (ISoLA (1), 2012)

Formal Approach to the Deployment of Distributed Robotic Teams. - Yushan Chen; Xu Chu Ding; Alin Stefanescu; Calin Belta (IEEE Trans. Robotics, 2012)

Business Information Sector. - Sebastian Wieczorek; Vitaly Kozyura; Wei Wei 015; Andreas Roth 001; Alin Stefanescu (Industrial Deployment of System Engineering Methods, 2013)

Implementing Realistic Asynchronous Automata. - S. Akshay 001; Ionut Dinca; Blaise Genest; Alin Stefanescu (FSTTCS, 2013)

An empirical study of the state of the practice and acceptance of model-driven engineering in four industrial cases. - Parastoo Mohagheghi; Wasif Gilani; Alin Stefanescu; Miguel A. Fernández (Empir. Softw. Eng., 2013)

Where does model-driven engineering help? Experiences from three industrial cases. - Parastoo Mohagheghi; Wasif Gilani; Alin Stefanescu; Miguel A. Fernández; Bjørn Nordmoen; Mathias Fritzsche (Softw. Syst. Model., 2013)

Towards decentralized synthesis: Decomposable sublanguage and Joint Observability Problems. - Liyong Lin; Alin Stefanescu; Rong Su 001; Weilin Wang; Ahmad Reza Shehabinia (ACC, 2014)

From TiMo to Event-B: Event-Driven Timed Mobility. - Gabriel Ciobanu; Thai Son Hoang; Alin Stefanescu (ICECCS, 2014)

From Kernel P Systems to X-Machines and FLAME. - Ionut-Mihai Niculescu; Marian Gheorghe 001; Florentin Ipate; Alin Stefanescu (J. Autom. Lang. Comb., 2014)

Message choreography modeling - A domain-specific language for consistent enterprise service integration. - Alin Stefanescu; Sebastian Wieczorek; Matthias Schur (Softw. Syst. Model., 2014)

Model Learning and Test Generation Using Cover Automata. - Florentin Ipate; Alin Stefanescu; Ionut Dinca (Comput. J., 2015)

RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions. - Teodor Stoenescu; Alin Stefanescu; Sorina Predut; Florentin Ipate (FM, 2016)

On Distributed and Parameterized Supervisor Synthesis Problems. - Liyong Lin; Alin Stefanescu; Rong Su 001 (IEEE Trans. Autom. Control., 2016)

A distributed implementation using apache spark of a genetic algorithm applied to test data generation. - Ciprian Paduraru; Marius-Constantin Melemciuc; Alin Stefanescu (GECCO (Companion), 2017)

Binary Analysis based on Symbolic Execution and Reversible x86 Instructions. - Teodor Stoenescu; Alin Stefanescu; Sorina Predut; Florentin Ipate (Fundam. Informaticae, 2017)

Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates. - Liyong Lin; Alin Stefanescu; Weilin Wang; Rong Su 001; Walter Murray Wonham (Autom., 2018)

Improving UI Test Automation using Robotic Process Automation. - Marina Cernat; Adelina-Nicoleta Staicu; Alin Stefanescu (ICSOFT, 2020)

RiverConc: An Open-source Concolic Execution Engine for x86 Binaries. - Ciprian Paduraru; Bogdan Ghimis; Alin Stefanescu (ICSOFT, 2020)

Optimizing decision making in concolic execution using reinforcement learning. - Ciprian Paduraru; Miruna Paduraru; Alin Stefanescu (ICST Workshops, 2020)

Robustness as Inherent Property of Datapoints. - Catalin-Andrei Ilie; Marius Popescu; Alin Stefanescu (AISafety@IJCAI, 2020)

Towards automated testing of RPA implementations. - Marina Cernat; Adelina-Nicoleta Staicu; Alin Stefanescu (A-TEST@ESEC/SIGSOFT FSE, 2020)

Analysis of uPort Open, an Identity Management Blockchain-Based Solution. - Andreea-Elena Panait; Ruxandra F. Olimid; Alin Stefanescu (TrustBus, 2020)

Identity Management on Blockchain - Privacy and Security Aspects. - Andreea-Elena Panait; Ruxandra F. Olimid; Alin Stefanescu (CoRR, 2020)

EvoBA: An Evolution Strategy as a Strong Baseline for Black-Box Adversarial Attacks. - Andrei Ilie; Marius Popescu; Alin Stefanescu (ICONIP (3), 2021)

RiverFuzzRL - an open-source tool to experiment with reinforcement learning for fuzzing. - Ciprian Paduraru; Miruna Paduraru; Alin Stefanescu (ICST, 2021)

Automated game testing using computer vision methods. - Ciprian Paduraru; Miruna Paduraru; Alin Stefanescu (ASE Workshops, 2021)

EvoBA: An Evolution Strategy as a Strong Baseline forBlack-Box Adversarial Attacks. - Andrei Ilie; Marius Popescu; Alin Stefanescu (CoRR, 2021)

Advancing Security and Data Protection for Smart Home Systems through Blockchain Technologies. - Ciprian Paduraru; Rares Cristea; Alin Stefanescu (ICSOFT, 2022)

RiverGame - a game testing tool using artificial intelligence. - Ciprian Paduraru; Miruna Paduraru; Alin Stefanescu (ICST, 2022)

Enhancing the security of gaming transactions using blockchain technology. - Ciprian Paduraru; Rares Cristea; Alin Stefanescu (ASE, 2022)

Traffic Light Control using Reinforcement Learning: A Survey and an Open Source Implementation. - Ciprian Paduraru; Miruna Paduraru; Alin Stefanescu (VEHITS, 2022)

Conversational Agents for Simulation Applications and Video Games. - Ciprian Paduraru; Marina Cernat; Alin Stefanescu (ICSOFT, 2023)

Automatic Fuzz Testing and Tuning Tools for Software Blueprints. - Ciprian Paduraru; Rares Cristea; Alin Stefanescu (ICSOFT, 2023)

Blockchain for Artificial Intelligence: An Industry and Literature Survey. - Ciprian Paduraru; Augustin Jianu; Alin Stefanescu (ICSOFT, 2023)

Robotic Process Automation for the Gaming Industry. - Ciprian Paduraru; Adelina-Nicoleta Staicu; Alin Stefanescu (ICSOFT, 2023)

Automated evaluation of game content display using deep learning. - Ciprian Paduraru; Marina Cernat; Alin Stefanescu (EASE, 2024)

Unit Test Generation using Large Language Models for Unity Game Development. - Ciprian Paduraru; Alin Stefanescu; Augustin Jianu (FaSE4Games@SIGSOFT FSE, 2024)

Adaptive Questionnaire Design Using AI Agents for People Profiling. - Ciprian Paduraru; Rares Cristea; Alin Stefanescu (ICAART (3), 2024)

Enhancing User Experience in Games with Large Language Models. - Ciprian Paduraru; Marina Cernat; Alin Stefanescu (ICSOFT, 2024)

RLHR: A Framework for Driving Dynamically Adaptable Questionnaires and Profiling People Using Reinforcement Learning. - Ciprian Paduraru; Catalina Camelia Patilea; Alin Stefanescu (ICSOFT, 2024)

CyberGuardian: An Interactive Assistant for Cybersecurity Specialists Using Large Language Models. - Ciprian Paduraru; Catalina Camelia Patilea; Alin Stefanescu (ICSOFT, 2024)

End-to-End RPA-Like Testing Using Reinforcement Learning. - Ciprian Paduraru; Rares Cristea; Alin Stefanescu (ICST, 2024)

LLM-based methods for the creation of unit tests in game development. - Ciprian Paduraru; Adelina-Nicoleta Staicu; Alin Stefanescu (KES, 2024)

An Overview of AI Techniques in DYNABIC Project. - Ciprian Paduraru; Rares Cristea; Alin Stefanescu (RuleML+RR (Companion), 2024)

EBLT - Blueprints testing library using fuzz testing. - Ciprian Paduraru; Rares Cristea; Alin Stefanescu (Softw. Impacts, 2024)

RobustCheck: A Python package for black-box robustness assessment of image classifiers. - Andrei Ilie; Alin Stefanescu (SoftwareX, 2024)

MODE: A Customizable Open-Source Testing Framework for IoT Systems and Methodologies. - Rares Cristea; Ciprian Paduraru; Alin Stefanescu (ENASE, 2025)

CyberGuardian 2: Integrating LLMs and Agentic AI Assistants for Securing Distributed Networks. - Ciprian Paduraru; Catalina Camelia Patilea; Alin Stefanescu (ENASE, 2025)

Generative AI for Human 3D Body Emotions: A Dataset and Baseline Methods. - Ciprian Paduraru; Petru-Liviu Bouruc; Alin Stefanescu (ICAART (3), 2025)

Agentic AI for Behavior-Driven Development Testing Using Large Language Models. - Ciprian Paduraru; Miruna Zavelca; Alin Stefanescu (ICAART (2), 2025)

Enhancing Game AI Behaviors with Large Language Models and Agentic AI. - Ciprian Paduraru; Miruna Paduraru; Alin Stefanescu (SIGSOFT FSE Companion, 2025)