Alin Stefanescu

According to our database, Alin Stefanescu authored at least 56 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Adaptive Questionnaire Design Using AI Agents for People Profiling.

Ciprian Paduraru, Rares Cristea, Alin Stefanescu

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

2023

Robotic Process Automation for the Gaming Industry.

Ciprian Paduraru, Adelina-Nicoleta Staicu, Alin Stefanescu

Proceedings of the 18th International Conference on Software Technologies, 2023

Blockchain for Artificial Intelligence: An Industry and Literature Survey.

Ciprian Paduraru, Augustin Jianu, Alin Stefanescu

Proceedings of the 18th International Conference on Software Technologies, 2023

Automatic Fuzz Testing and Tuning Tools for Software Blueprints.

Ciprian Paduraru, Rares Cristea, Alin Stefanescu

Proceedings of the 18th International Conference on Software Technologies, 2023

Conversational Agents for Simulation Applications and Video Games.

Ciprian Paduraru, Marina Cernat, Alin Stefanescu

Proceedings of the 18th International Conference on Software Technologies, 2023

2022

Traffic Light Control using Reinforcement Learning: A Survey and an Open Source Implementation.

Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu

Proceedings of the 8th International Conference on Vehicle Technology and Intelligent Transport Systems, 2022

Enhancing the security of gaming transactions using blockchain technology.

Ciprian Paduraru, Rares Cristea, Alin Stefanescu

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

RiverGame - a game testing tool using artificial intelligence.

Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

Advancing Security and Data Protection for Smart Home Systems through Blockchain Technologies.

Ciprian Paduraru, Rares Cristea, Alin Stefanescu

Proceedings of the 17th International Conference on Software Technologies, 2022

2021

EvoBA: An Evolution Strategy as a Strong Baseline forBlack-Box Adversarial Attacks.

Andrei Ilie, Marius Popescu, Alin Stefanescu

CoRR, 2021

Automated game testing using computer vision methods.

Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

RiverFuzzRL - an open-source tool to experiment with reinforcement learning for fuzzing.

Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

EvoBA: An Evolution Strategy as a Strong Baseline for Black-Box Adversarial Attacks.

Andrei Ilie, Marius Popescu, Alin Stefanescu

Proceedings of the Neural Information Processing - 28th International Conference, 2021

2020

Identity Management on Blockchain - Privacy and Security Aspects.

Andreea-Elena Panait, Ruxandra F. Olimid, Alin Stefanescu

CoRR, 2020

Analysis of uPort Open, an Identity Management Blockchain-Based Solution.

Andreea-Elena Panait, Ruxandra F. Olimid, Alin Stefanescu

Proceedings of the Trust, Privacy and Security in Digital Business, 2020

Towards automated testing of RPA implementations.

Marina Cernat, Adelina-Nicoleta Staicu, Alin Stefanescu

Proceedings of the A-TEST 2020: Proceedings of the 11th ACM SIGSOFT International Workshop on Automating TEST Case Design, 2020

Robustness as Inherent Property of Datapoints.

Catalin-Andrei Ilie, Marius Popescu, Alin Stefanescu

Proceedings of the Workshop on Artificial Intelligence Safety 2020 co-located with the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI 2020), 2020

Optimizing decision making in concolic execution using reinforcement learning.

Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

RiverConc: An Open-source Concolic Execution Engine for x86 Binaries.

Ciprian Paduraru, Bogdan Ghimis, Alin Stefanescu

Proceedings of the 15th International Conference on Software Technologies, 2020

Improving UI Test Automation using Robotic Process Automation.

Marina Cernat, Adelina-Nicoleta Staicu, Alin Stefanescu

Proceedings of the 15th International Conference on Software Technologies, 2020

2018

Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates.

Liyong Lin, Alin Stefanescu, Weilin Wang, Rong Su, Walter Murray Wonham

Autom., 2018

2017

Binary Analysis based on Symbolic Execution and Reversible x86 Instructions.

Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate

Fundam. Informaticae, 2017

A distributed implementation using apache spark of a genetic algorithm applied to test data generation.

Ciprian Paduraru, Marius-Constantin Melemciuc, Alin Stefanescu

Proceedings of the Genetic and Evolutionary Computation Conference, 2017

2016

On Distributed and Parameterized Supervisor Synthesis Problems.

Liyong Lin, Alin Stefanescu, Rong Su

IEEE Trans. Autom. Control., 2016

RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions.

Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate

Proceedings of the FM 2016: Formal Methods, 2016

2015

Model Learning and Test Generation Using Cover Automata.

Florentin Ipate, Alin Stefanescu, Ionut Dinca

Comput. J., 2015

2014

Message choreography modeling - A domain-specific language for consistent enterprise service integration.

Alin Stefanescu, Sebastian Wieczorek, Matthias Schur

Softw. Syst. Model., 2014

From Kernel P Systems to X-Machines and FLAME.

Ionut-Mihai Niculescu, Marian Gheorghe, Florentin Ipate, Alin Stefanescu

J. Autom. Lang. Comb., 2014

From TiMo to Event-B: Event-Driven Timed Mobility.

Gabriel Ciobanu, Thai Son Hoang, Alin Stefanescu

Proceedings of the 2014 19th International Conference on Engineering of Complex Computer Systems, 2014

Towards decentralized synthesis: Decomposable sublanguage and Joint Observability Problems.

Liyong Lin, Alin Stefanescu, Rong Su, Weilin Wang, Ahmad Reza Shehabinia

Proceedings of the American Control Conference, 2014

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

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

Implementing Realistic Asynchronous Automata.

S. Akshay, Ionut Dinca, Blaise Genest, Alin Stefanescu

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

Business Information Sector.

Sebastian Wieczorek, Vitaly Kozyura, Wei Wei, Andreas Roth, Alin Stefanescu

Proceedings of the Industrial Deployment of System Engineering Methods, 2013

2012

Formal Approach to the Deployment of Distributed Robotic Teams.

Yushan Chen, Xu Chu Ding, Alin Stefanescu, Calin Belta

IEEE Trans. Robotics, 2012

Model Learning and Test Generation for Event-B Decomposition.

Ionut Dinca, Florentin Ipate, Alin Stefanescu

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Remarks on the difficulty of top-down supervisor synthesis.

Liyong Lin, Rong Su, Alin Stefanescu

Proceedings of the 12th International Conference on Control Automation Robotics & Vision, 2012

Learn and Test for Event-B - A Rodin Plugin.

Ionut Dinca, Florentin Ipate, Laurentiu Mierla, Alin Stefanescu

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011

Towards Search-Based Testing for Event-B Models.

Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Test Data Generation for Event-B Models Using Genetic Algorithms.

Ionut Dinca, Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose

Proceedings of the Software Engineering and Computer Systems, 2011

2010

Model-Driven Service Integration Testing - A Case Study.

Sebastian Wieczorek, Alin Stefanescu, Andreas Roth

Proceedings of the Quality of Information and Communications Technology, 2010

A hierarchical approach to automatic deployment of robotic teams with communication constraints.

Yushan Chen, Sam Birch, Alin Stefanescu, Calin Belta

Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2010

Using the UML Testing Profile for Enterprise Service Choreographies.

Alin Stefanescu, Sebastian Wieczorek, Marc-Florian Wendland

Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010

Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces.

Sebastian Wieczorek, Alin Stefanescu

Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment.

Yushan Chen, Xu Chu Ding, Alin Stefanescu, Calin Belta

Proceedings of the Distributed Autonomous Robotic Systems, 2010

2009

Viewpoints for modeling choreographies in service-oriented architectures.

Sebastian Wieczorek, Andreas Roth, Alin Stefanescu, Vitaly Kozyura, Anis Charfi, Frank Michael Kraft, Ina Schieferdecker

Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 and European Conference on Software Architecture 2009, 2009

MBT4Chor: A Model-Based Testing Approach for Service Choreographies.

Alin Stefanescu, Sebastian Wieczorek, Andrei Kirshin

Proceedings of the Model Driven Architecture, 2009

2008

An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT.

Stefan Leue, Alin Stefanescu, Wei Wei

Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes.

Stefan Leue, Alin Stefanescu, Wei Wei

Proceedings of the Model Checking Software, 2008

Precise Steps for Choreography Modeling for SOA Validation and Verification.

Sebastian Wieczorek, Andreas Roth, Alin Stefanescu, Anis Charfi

Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

Test Data Provision for ERP Systems.

Sebastian Wieczorek, Alin Stefanescu, Ina Schieferdecker

Proceedings of the First International Conference on Software Testing, 2008

2006

Automatic synthesis of distributed transition systems.

Alin Stefanescu

PhD thesis, 2006

A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems.

Stefan Leue, Alin Stefanescu, Wei Wei

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2005

Complexity Results for Checking Distributed Implementability.

Keijo Heljanko, Alin Stefanescu

Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2003

Synthesis of Distributed Algorithms Using Asynchronous Automata.

Alin Stefanescu, Javier Esparza, Anca Muscholl

Proceedings of the CONCUR 2003, 2003

2002

Automatic Synthesis of Distributed Systems.

Alin Stefanescu

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002