Alin Stefanescu

78 papers A* 2A 7B 10C 14Misc 1Journal 14Unranked 28

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Trace-Based Assurance Framework for Agentic AI Orchestration: Contracts, Testing, and Governance. CoRR Ciprian Paduraru, Petru-Liviu Bouruc, Alin Stefanescu
2026	—	`conf`	A Variational Text-to-Motion Model for Emotion-Aware 3D Human Movement. ICAART (4) Ciprian Paduraru, Monica Girbea, Alin Stefanescu
2026	—	`conf`	Emotion-Conditioned 3D Human Motion from Monocular Video: A Mocap-Free Diffusion Pipeline. ICAART (5) Ciprian Paduraru, Alexandru Sasu, Alin Stefanescu
2026	—	`conf`	LLM Guided Low Code/No Code Synthesis: Visual Scripting for Games. ICAART (2) Ciprian Paduraru, Razvan Mutu, Alin Stefanescu
2025	—	`conf`	Agentic AI for Behavior-Driven Development Testing Using Large Language Models. ICAART (2) Ciprian Paduraru, Miruna Zavelca, Alin Stefanescu
2025	B	`conf`	Automated Generation of Cybersecurity Response Playbooks via Large Language Models. KES Ciprian Paduraru, Bogdan Dumitru, Alin Stefanescu
2025	B	`conf`	CyberGuardian 2: Integrating LLMs and Agentic AI Assistants for Securing Distributed Networks. ENASE Ciprian Paduraru, Catalina Camelia Patilea, Alin Stefanescu
2025	—	`conf`	Enhancing Game AI Behaviors with Large Language Models and Agentic AI. SIGSOFT FSE Companion Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu
2025	—	`conf`	Generative AI for Human 3D Body Emotions: A Dataset and Baseline Methods. ICAART (3) Ciprian Paduraru, Petru-Liviu Bouruc, Alin Stefanescu
2025	A	`conf`	Hierarchical deep learning framework for continuous, state-aware visual glitch detection in games. EASE Ciprian Paduraru, Miruna Gabriela Paduraru, Alin Stefanescu
2025	B	`conf`	MODE: A Customizable Open-Source Testing Framework for IoT Systems and Methodologies. ENASE Rares Cristea, Ciprian Paduraru, Alin Stefanescu
2025	B	`conf`	Semantic Feedback Processing with LLMs: Automating Issue Detection and Prioritization in DevOps. KES Ciprian Paduraru, Miruna Zavelca, Alin Stefanescu
2024	—	`conf`	Adaptive Questionnaire Design Using AI Agents for People Profiling. ICAART (3) Ciprian Paduraru, Rares Cristea, Alin Stefanescu
2024	—	`conf`	An Overview of AI Techniques in DYNABIC Project. RuleML+RR (Companion) Ciprian Paduraru, Rares Cristea, Alin Stefanescu
2024	A	`conf`	Automated evaluation of game content display using deep learning. EASE Ciprian Paduraru, Marina Cernat, Alin Stefanescu
2024	C	`conf`	CyberGuardian: An Interactive Assistant for Cybersecurity Specialists Using Large Language Models. ICSOFT Ciprian Paduraru, Catalina Camelia Patilea, Alin Stefanescu
2024	J	`jnl`	EBLT - Blueprints testing library using fuzz testing. Softw. Impacts Ciprian Paduraru, Rares Cristea, Alin Stefanescu
2024	A	`conf`	End-to-End RPA-Like Testing Using Reinforcement Learning. ICST Ciprian Paduraru, Rares Cristea, Alin Stefanescu
2024	C	`conf`	Enhancing User Experience in Games with Large Language Models. ICSOFT Ciprian Paduraru, Marina Cernat, Alin Stefanescu
2024	B	`conf`	LLM-based methods for the creation of unit tests in game development. KES Ciprian Paduraru, Adelina-Nicoleta Staicu, Alin Stefanescu
2024	C	`conf`	RLHR: A Framework for Driving Dynamically Adaptable Questionnaires and Profiling People Using Reinforcement Learning. ICSOFT Ciprian Paduraru, Catalina Camelia Patilea, Alin Stefanescu
2024	J	`jnl`	RobustCheck: A Python package for black-box robustness assessment of image classifiers. SoftwareX Andrei Ilie, Alin Stefanescu
2024	—	`conf`	Unit Test Generation using Large Language Models for Unity Game Development. FaSE4Games@SIGSOFT FSE Ciprian Paduraru, Alin Stefanescu, Augustin Jianu
2023	C	`conf`	Automatic Fuzz Testing and Tuning Tools for Software Blueprints. ICSOFT Ciprian Paduraru, Rares Cristea, Alin Stefanescu
2023	C	`conf`	Blockchain for Artificial Intelligence: An Industry and Literature Survey. ICSOFT Ciprian Paduraru, Augustin Jianu, Alin Stefanescu
2023	C	`conf`	Conversational Agents for Simulation Applications and Video Games. ICSOFT Ciprian Paduraru, Marina Cernat, Alin Stefanescu
2023	C	`conf`	Robotic Process Automation for the Gaming Industry. ICSOFT Ciprian Paduraru, Adelina-Nicoleta Staicu, Alin Stefanescu
2022	C	`conf`	Advancing Security and Data Protection for Smart Home Systems through Blockchain Technologies. ICSOFT Ciprian Paduraru, Rares Cristea, Alin Stefanescu
2022	A*	`conf`	Enhancing the security of gaming transactions using blockchain technology. ASE Ciprian Paduraru, Rares Cristea, Alin Stefanescu
2022	A	`conf`	RiverGame - a game testing tool using artificial intelligence. ICST Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu
2022	C	`conf`	Traffic Light Control using Reinforcement Learning: A Survey and an Open Source Implementation. VEHITS Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu
2021	—	`conf`	Automated game testing using computer vision methods. ASE Workshops Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu
2021	—	`conf`	EvoBA: An Evolution Strategy as a Strong Baseline for Black-Box Adversarial Attacks. ICONIP (3) Andrei Ilie, Marius Popescu, Alin Stefanescu
2021	J	`jnl`	EvoBA: An Evolution Strategy as a Strong Baseline forBlack-Box Adversarial Attacks. CoRR Andrei Ilie, Marius Popescu, Alin Stefanescu
2021	A	`conf`	RiverFuzzRL - an open-source tool to experiment with reinforcement learning for fuzzing. ICST Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu
2020	B	`conf`	Analysis of uPort Open, an Identity Management Blockchain-Based Solution. TrustBus Andreea-Elena Panait, Ruxandra F. Olimid, Alin Stefanescu
2020	J	`jnl`	Identity Management on Blockchain - Privacy and Security Aspects. CoRR Andreea-Elena Panait, Ruxandra F. Olimid, Alin Stefanescu
2020	C	`conf`	Improving UI Test Automation using Robotic Process Automation. ICSOFT Marina Cernat, Adelina-Nicoleta Staicu, Alin Stefanescu
2020	—	`conf`	Optimizing decision making in concolic execution using reinforcement learning. ICST Workshops Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu
2020	C	`conf`	RiverConc: An Open-source Concolic Execution Engine for x86 Binaries. ICSOFT Ciprian Paduraru, Bogdan Ghimis, Alin Stefanescu
2020	—	`conf`	Robustness as Inherent Property of Datapoints. AISafety@IJCAI Catalin-Andrei Ilie, Marius Popescu, Alin Stefanescu
2020	—	`conf`	Towards automated testing of RPA implementations. A-TEST@ESEC/SIGSOFT FSE Marina Cernat, Adelina-Nicoleta Staicu, Alin Stefanescu
2018	J	`jnl`	Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates. Autom. Liyong Lin, Alin Stefanescu, Weilin Wang, Rong Su, Walter Murray Wonham
2017	—	`conf`	A distributed implementation using apache spark of a genetic algorithm applied to test data generation. GECCO (Companion) Ciprian Paduraru, Marius-Constantin Melemciuc, Alin Stefanescu
2017	J	`jnl`	Binary Analysis based on Symbolic Execution and Reversible x86 Instructions. Fundam. Informaticae Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate
2016	J	`jnl`	On Distributed and Parameterized Supervisor Synthesis Problems. IEEE Trans. Autom. Control. Liyong Lin, Alin Stefanescu, Rong Su
2016	B	`conf`	RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions. FM Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate
2015	J	`jnl`	Model Learning and Test Generation Using Cover Automata. Comput. J. Florentin Ipate, Alin Stefanescu, Ionut Dinca
2014	J	`jnl`	From Kernel P Systems to X-Machines and FLAME. J. Autom. Lang. Comb. Ionut-Mihai Niculescu, Marian Gheorghe, Florentin Ipate, Alin Stefanescu
2014	B	`conf`	From TiMo to Event-B: Event-Driven Timed Mobility. ICECCS Gabriel Ciobanu, Thai Son Hoang, Alin Stefanescu
2014	J	`jnl`	Message choreography modeling - A domain-specific language for consistent enterprise service integration. Softw. Syst. Model. Alin Stefanescu, Sebastian Wieczorek, Matthias Schur
2014	C	`conf`	Towards decentralized synthesis: Decomposable sublanguage and Joint Observability Problems. ACC Liyong Lin, Alin Stefanescu, Rong Su, Weilin Wang, Ahmad Reza Shehabinia
2013	J	`jnl`	An empirical study of the state of the practice and acceptance of model-driven engineering in four industrial cases. Empir. Softw. Eng. Parastoo Mohagheghi, Wasif Gilani, Alin Stefanescu, Miguel A. Fernández
2013	—	`ch.`	Business Information Sector. Industrial Deployment of System Engineering Methods Sebastian Wieczorek, Vitaly Kozyura, Wei Wei, Andreas Roth, Alin Stefanescu
2013	—	`conf`	Implementing Realistic Asynchronous Automata. FSTTCS S. Akshay, Ionut Dinca, Blaise Genest, Alin Stefanescu
2013	J	`jnl`	Where does model-driven engineering help? Experiences from three industrial cases. Softw. Syst. Model. Parastoo Mohagheghi, Wasif Gilani, Alin Stefanescu, Miguel A. Fernández, Bjørn Nordmoen, Mathias Fritzsche
2012	J	`jnl`	Formal Approach to the Deployment of Distributed Robotic Teams. IEEE Trans. Robotics Yushan Chen, Xu Chu Ding, Alin Stefanescu, Calin Belta
2012	C	`conf`	Learn and Test for Event-B - A Rodin Plugin. ABZ Ionut Dinca, Florentin Ipate, Laurentiu Mierla, Alin Stefanescu
2012	—	`conf`	Model Learning and Test Generation for Event-B Decomposition. ISoLA (1) Ionut Dinca, Florentin Ipate, Alin Stefanescu
2012	C	`conf`	Remarks on the difficulty of top-down supervisor synthesis. ICARCV Liyong Lin, Rong Su, Alin Stefanescu
2011	—	`conf`	Test Data Generation for Event-B Models Using Genetic Algorithms. ICSECS (3) Ionut Dinca, Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose
2011	—	`conf`	Towards Search-Based Testing for Event-B Models. ICST Workshops Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose
2010	—	`conf`	A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment. DARS Yushan Chen, Xu Chu Ding, Alin Stefanescu, Calin Belta
2010	A	`conf`	A hierarchical approach to automatic deployment of robotic teams with communication constraints. IROS Yushan Chen, Sam Birch, Alin Stefanescu, Calin Belta
2010	—	`conf`	Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces. ECBS Sebastian Wieczorek, Alin Stefanescu
2010	Misc	`conf`	Model-Driven Service Integration Testing - A Case Study. QUATIC Sebastian Wieczorek, Alin Stefanescu, Andreas Roth
2010	—	`conf`	Using the UML Testing Profile for Enterprise Service Choreographies. EUROMICRO-SEAA Alin Stefanescu, Sebastian Wieczorek, Marc-Florian Wendland
2009	—	`conf`	MBT4Chor: A Model-Based Testing Approach for Service Choreographies. ECMDA-FA Alin Stefanescu, Sebastian Wieczorek, Andrei Kirshin
2009	—	`conf`	Viewpoints for modeling choreographies in service-oriented architectures. WICSA/ECSA Sebastian Wieczorek, Andreas Roth, Alin Stefanescu, Vitaly Kozyura, Anis Charfi, Frank Michael Kraft, Ina Schieferdecker
2008	—	`conf`	An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT. TOOLS (46) Stefan Leue, Alin Stefanescu, Wei Wei
2008	—	`conf`	Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes. SPIN Stefan Leue, Alin Stefanescu, Wei Wei
2008	—	`conf`	Precise Steps for Choreography Modeling for SOA Validation and Verification. SOSE Sebastian Wieczorek, Andreas Roth, Alin Stefanescu, Anis Charfi
2008	A	`conf`	Test Data Provision for ERP Systems. ICST Sebastian Wieczorek, Alin Stefanescu, Ina Schieferdecker
2006	B	`conf`	A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems. CONCUR Stefan Leue, Alin Stefanescu, Wei Wei
2006	—	`—`	Automatic synthesis of distributed transition systems. Alin Stefanescu
2005	—	`conf`	Complexity Results for Checking Distributed Implementability. ACSD Keijo Heljanko, Alin Stefanescu
2003	B	`conf`	Synthesis of Distributed Algorithms Using Asynchronous Automata. CONCUR Alin Stefanescu, Javier Esparza, Anca Muscholl
2002	A*	`conf`	Automatic Synthesis of Distributed Systems. ASE Alin Stefanescu