Alin Stefanescu

ORCID

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 29

Top Venues

University of Stuttgart (PHD)

Education History

University of Stuttgart

PHD

Publications

Ciprian Paduraru, Marina Cernat, Alin Stefanescu
Automated evaluation of game content display using deep learning. EASE (2024)
Ciprian Paduraru, Alin Stefanescu, Augustin Jianu
Unit Test Generation using Large Language Models for Unity Game Development. FaSE4Games@SIGSOFT FSE (2024)
Ciprian Paduraru, Rares Cristea, Alin Stefanescu
EBLT - Blueprints testing library using fuzz testing. Softw. Impacts 21 (2024)
Andrei Ilie, Alin Stefanescu
RobustCheck: A Python package for black-box robustness assessment of image classifiers. SoftwareX 27 (2024)
Ciprian Paduraru, Rares Cristea, Alin Stefanescu
Adaptive Questionnaire Design Using AI Agents for People Profiling. ICAART (3) (2024)
Ciprian Paduraru, Adelina-Nicoleta Staicu, Alin Stefanescu
Robotic Process Automation for the Gaming Industry. ICSOFT (2023)
Ciprian Paduraru, Augustin Jianu, Alin Stefanescu
Blockchain for Artificial Intelligence: An Industry and Literature Survey. ICSOFT (2023)
Ciprian Paduraru, Rares Cristea, Alin Stefanescu
Automatic Fuzz Testing and Tuning Tools for Software Blueprints. ICSOFT (2023)
Ciprian Paduraru, Marina Cernat, Alin Stefanescu
Conversational Agents for Simulation Applications and Video Games. ICSOFT (2023)
Ciprian Paduraru, Rares Cristea, Alin Stefanescu
Enhancing the security of gaming transactions using blockchain technology. ASE (2022)
Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu
RiverGame - a game testing tool using artificial intelligence. ICST (2022)
Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu
Traffic Light Control using Reinforcement Learning: A Survey and an Open Source Implementation. VEHITS (2022)
Ciprian Paduraru, Rares Cristea, Alin Stefanescu
Advancing Security and Data Protection for Smart Home Systems through Blockchain Technologies. ICSOFT (2022)
Andrei Ilie, Marius Popescu, Alin Stefanescu
EvoBA: An Evolution Strategy as a Strong Baseline forBlack-Box Adversarial Attacks. CoRR (2021)
Andrei Ilie, Marius Popescu, Alin Stefanescu
EvoBA: An Evolution Strategy as a Strong Baseline for Black-Box Adversarial Attacks. ICONIP (3) (2021)
Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu
Automated game testing using computer vision methods. ASE Workshops (2021)
Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu
RiverFuzzRL - an open-source tool to experiment with reinforcement learning for fuzzing. ICST (2021)
Andreea-Elena Panait, Ruxandra F. Olimid, Alin Stefanescu
Identity Management on Blockchain - Privacy and Security Aspects. CoRR (2020)
Marina Cernat, Adelina-Nicoleta Staicu, Alin Stefanescu
Towards automated testing of RPA implementations. A-TEST@ESEC/SIGSOFT FSE (2020)
Ciprian Paduraru, Bogdan Ghimis, Alin Stefanescu
RiverConc: An Open-source Concolic Execution Engine for x86 Binaries. ICSOFT (2020)
Catalin-Andrei Ilie, Marius Popescu, Alin Stefanescu
Robustness as Inherent Property of Datapoints. AISafety@IJCAI (2020)
Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu
Optimizing decision making in concolic execution using reinforcement learning. ICST Workshops (2020)
Marina Cernat, Adelina-Nicoleta Staicu, Alin Stefanescu
Improving UI Test Automation using Robotic Process Automation. ICSOFT (2020)
Andreea-Elena Panait, Ruxandra F. Olimid, Alin Stefanescu
Analysis of uPort Open, an Identity Management Blockchain-Based Solution. TrustBus (2020)
Liyong Lin, Alin Stefanescu, Weilin Wang, Rong Su, Walter Murray Wonham
Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates. Autom. 87 (2018)
Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate
Binary Analysis based on Symbolic Execution and Reversible x86 Instructions. Fundam. Informaticae 153 (1-2) (2017)
Ciprian Paduraru, Marius-Constantin Melemciuc, Alin Stefanescu
A distributed implementation using apache spark of a genetic algorithm applied to test data generation. GECCO (Companion) (2017)
Liyong Lin, Alin Stefanescu, Rong Su
On Distributed and Parameterized Supervisor Synthesis Problems. IEEE Trans. Autom. Control. 61 (3) (2016)
Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate
RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions. FM (2016)
Florentin Ipate, Alin Stefanescu, Ionut Dinca
Model Learning and Test Generation Using Cover Automata. Comput. J. 58 (5) (2015)
Gabriel Ciobanu, Thai Son Hoang, Alin Stefanescu
From TiMo to Event-B: Event-Driven Timed Mobility. ICECCS (2014)
Liyong Lin, Alin Stefanescu, Rong Su, Weilin Wang, Ahmad Reza Shehabinia
Towards decentralized synthesis: Decomposable sublanguage and Joint Observability Problems. ACC (2014)
Alin Stefanescu, Sebastian Wieczorek, Matthias Schur
Message choreography modeling - A domain-specific language for consistent enterprise service integration. Softw. Syst. Model. 13 (1) (2014)
Ionut-Mihai Niculescu, Marian Gheorghe, Florentin Ipate, Alin Stefanescu
From Kernel P Systems to X-Machines and FLAME. J. Autom. Lang. Comb. 19 (1-4) (2014)
Parastoo Mohagheghi, Wasif Gilani, Alin Stefanescu, Miguel A. Fernández
An empirical study of the state of the practice and acceptance of model-driven engineering in four industrial cases. Empir. Softw. Eng. 18 (1) (2013)
Parastoo Mohagheghi, Wasif Gilani, Alin Stefanescu, Miguel A. Fernández, Bjørn Nordmoen, Mathias Fritzsche
Where does model-driven engineering help? Experiences from three industrial cases. Softw. Syst. Model. 12 (3) (2013)
S. Akshay, Ionut Dinca, Blaise Genest, Alin Stefanescu
Implementing Realistic Asynchronous Automata. FSTTCS (2013)
Yushan Chen, Xu Chu Ding, Alin Stefanescu, Calin Belta
Formal Approach to the Deployment of Distributed Robotic Teams. IEEE Trans. Robotics 28 (1) (2012)
Ionut Dinca, Florentin Ipate, Alin Stefanescu
Model Learning and Test Generation for Event-B Decomposition. ISoLA (1) (2012)
Liyong Lin, Rong Su, Alin Stefanescu
Remarks on the difficulty of top-down supervisor synthesis. ICARCV (2012)
Ionut Dinca, Florentin Ipate, Laurentiu Mierla, Alin Stefanescu
Learn and Test for Event-B - A Rodin Plugin. ABZ (2012)
Ionut Dinca, Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose
Test Data Generation for Event-B Models Using Genetic Algorithms. ICSECS (3) (2011)
Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose
Towards Search-Based Testing for Event-B Models. ICST Workshops (2011)
Yushan Chen, Xu Chu Ding, Alin Stefanescu, Calin Belta
A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment. DARS (2010)
Yushan Chen, Sam Birch, Alin Stefanescu, Calin Belta
A hierarchical approach to automatic deployment of robotic teams with communication constraints. IROS (2010)
Sebastian Wieczorek, Alin Stefanescu
Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces. ECBS (2010)
Alin Stefanescu, Sebastian Wieczorek, Marc-Florian Wendland
Using the UML Testing Profile for Enterprise Service Choreographies. EUROMICRO-SEAA (2010)
Sebastian Wieczorek, Alin Stefanescu, Andreas Roth
Model-Driven Service Integration Testing - A Case Study. QUATIC (2010)
Sebastian Wieczorek, Andreas Roth, Alin Stefanescu, Vitaly Kozyura, Anis Charfi, Frank Michael Kraft, Ina Schieferdecker
Viewpoints for modeling choreographies in service-oriented architectures. WICSA/ECSA (2009)
Alin Stefanescu, Sebastian Wieczorek, Andrei Kirshin
MBT4Chor: A Model-Based Testing Approach for Service Choreographies. ECMDA-FA (2009)
Stefan Leue, Alin Stefanescu, Wei Wei
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT. TOOLS (46) (2008)
Stefan Leue, Alin Stefanescu, Wei Wei
Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes. SPIN (2008)
Sebastian Wieczorek, Alin Stefanescu, Ina Schieferdecker
Test Data Provision for ERP Systems. ICST (2008)
Sebastian Wieczorek, Andreas Roth, Alin Stefanescu, Anis Charfi
Precise Steps for Choreography Modeling for SOA Validation and Verification. SOSE (2008)
Stefan Leue, Alin Stefanescu, Wei Wei
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems. CONCUR (2006)
Keijo Heljanko, Alin Stefanescu
Complexity Results for Checking Distributed Implementability. ACSD (2005)
Alin Stefanescu, Javier Esparza, Anca Muscholl
Synthesis of Distributed Algorithms Using Asynchronous Automata. CONCUR (2003)
Alin Stefanescu
Automatic Synthesis of Distributed Systems. ASE (2002)

Alin Stefanescu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alin Stefanescu