default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlin Stefanescu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j11]Ciprian Paduraru, Rares Cristea
, Alin Stefanescu:
EBLT - Blueprints testing library using fuzz testing. Softw. Impacts 21: 100674 (2024)- [j10]Andrei Ilie, Alin Stefanescu:
RobustCheck: A Python package for black-box robustness assessment of image classifiers. SoftwareX 27: 101831 (2024) - [c50]Ciprian Paduraru, Marina Cernat, Alin Stefanescu:
Automated evaluation of game content display using deep learning. EASE 2024: 421-424 - [c49]Ciprian Paduraru, Alin Stefanescu, Augustin Jianu:
Unit Test Generation using Large Language Models for Unity Game Development. FaSE4Games@SIGSOFT FSE 2024 - [c48]Ciprian Paduraru, Rares Cristea, Alin Stefanescu:
Adaptive Questionnaire Design Using AI Agents for People Profiling. ICAART (3) 2024: 633-640 - [c47]Ciprian Paduraru, Marina Cernat, Alin Stefanescu:
Enhancing User Experience in Games with Large Language Models. ICSOFT 2024: 293-304 - [c46]Ciprian Paduraru, Catalina Camelia Patilea, Alin Stefanescu:
RLHR: A Framework for Driving Dynamically Adaptable Questionnaires and Profiling People Using Reinforcement Learning. ICSOFT 2024: 359-366 - [c45]Ciprian Paduraru, Catalina Camelia Patilea, Alin Stefanescu:
CyberGuardian: An Interactive Assistant for Cybersecurity Specialists Using Large Language Models. ICSOFT 2024: 442-449 - [c44]Ciprian Paduraru, Rares Cristea, Alin Stefanescu:
End-to-End RPA-Like Testing Using Reinforcement Learning. ICST 2024: 419-429 - [c43]Ciprian Paduraru, Rares Cristea, Alin Stefanescu:
An Overview of AI Techniques in DYNABIC Project. RuleML+RR (Companion) 2024 - 2023
- [c42]Ciprian Paduraru, Marina Cernat, Alin Stefanescu:
Conversational Agents for Simulation Applications and Video Games. ICSOFT 2023: 27-36 - [c41]Ciprian Paduraru, Adelina-Nicoleta Staicu, Alin Stefanescu:
Robotic Process Automation for the Gaming Industry. ICSOFT 2023: 37-45 - [c40]Ciprian Paduraru, Rares Cristea, Alin Stefanescu:
Automatic Fuzz Testing and Tuning Tools for Software Blueprints. ICSOFT 2023: 151-162 - [c39]Ciprian Paduraru, Augustin Jianu, Alin Stefanescu:
Blockchain for Artificial Intelligence: An Industry and Literature Survey. ICSOFT 2023: 712-719 - 2022
- [c38]Ciprian Paduraru, Rares Cristea, Alin Stefanescu:
Advancing Security and Data Protection for Smart Home Systems through Blockchain Technologies. ICSOFT 2022: 492-499 - [c37]Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu:
RiverGame - a game testing tool using artificial intelligence. ICST 2022: 422-432 - [c36]Ciprian Paduraru, Rares Cristea, Alin Stefanescu:
Enhancing the security of gaming transactions using blockchain technology. ASE 2022: 209:1-209:8 - [c35]Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu:
Traffic Light Control using Reinforcement Learning: A Survey and an Open Source Implementation. VEHITS 2022: 69-79 - 2021
- [c34]Andrei Ilie, Marius Popescu, Alin Stefanescu:
EvoBA: An Evolution Strategy as a Strong Baseline for Black-Box Adversarial Attacks. ICONIP (3) 2021: 188-200 - [c33]Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu:
RiverFuzzRL - an open-source tool to experiment with reinforcement learning for fuzzing. ICST 2021: 430-435 - [c32]Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu:
Automated game testing using computer vision methods. ASE Workshops 2021: 65-72 - [i2]Andrei Ilie, Marius Popescu, Alin Stefanescu:
EvoBA: An Evolution Strategy as a Strong Baseline forBlack-Box Adversarial Attacks. CoRR abs/2107.05754 (2021) - 2020
- [c31]Marina Cernat, Adelina-Nicoleta Staicu, Alin Stefanescu:
Improving UI Test Automation using Robotic Process Automation. ICSOFT 2020: 260-267 - [c30]Ciprian Paduraru, Bogdan Ghimis, Alin Stefanescu:
RiverConc: An Open-source Concolic Execution Engine for x86 Binaries. ICSOFT 2020: 529-536 - [c29]Ciprian Paduraru, Miruna Paduraru, Alin Stefanescu:
Optimizing decision making in concolic execution using reinforcement learning. ICST Workshops 2020: 52-61 - [c28]Catalin-Andrei Ilie, Marius Popescu, Alin Stefanescu:
Robustness as Inherent Property of Datapoints. AISafety@IJCAI 2020 - [c27]Marina Cernat, Adelina-Nicoleta Staicu, Alin Stefanescu:
Towards automated testing of RPA implementations. A-TEST@ESEC/SIGSOFT FSE 2020: 21-24 - [c26]Andreea-Elena Panait, Ruxandra F. Olimid, Alin Stefanescu:
Analysis of uPort Open, an Identity Management Blockchain-Based Solution. TrustBus 2020: 3-13 - [i1]Andreea-Elena Panait, Ruxandra F. Olimid, Alin Stefanescu:
Identity Management on Blockchain - Privacy and Security Aspects. CoRR abs/2004.13107 (2020)
2010 – 2019
- 2018
- [j9]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: 290-300 (2018) - 2017
- [j8]Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate:
Binary Analysis based on Symbolic Execution and Reversible x86 Instructions. Fundam. Informaticae 153(1-2): 105-124 (2017) - [c25]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: 1857-1863 - 2016
- [j7]Liyong Lin, Alin Stefanescu, Rong Su:
On Distributed and Parameterized Supervisor Synthesis Problems. IEEE Trans. Autom. Control. 61(3): 777-782 (2016) - [c24]Teodor Stoenescu, Alin Stefanescu, Sorina Predut, Florentin Ipate:
RIVER: A Binary Analysis Framework Using Symbolic Execution and Reversible x86 Instructions. FM 2016: 779-785 - 2015
- [j6]Florentin Ipate, Alin Stefanescu, Ionut Dinca:
Model Learning and Test Generation Using Cover Automata. Comput. J. 58(5): 1140-1159 (2015) - 2014
- [j5]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): 239-250 (2014) - [j4]Alin Stefanescu, Sebastian Wieczorek, Matthias Schur:
Message choreography modeling - A domain-specific language for consistent enterprise service integration. Softw. Syst. Model. 13(1): 9-33 (2014) - [c23]Liyong Lin, Alin Stefanescu, Rong Su, Weilin Wang, Ahmad Reza Shehabinia:
Towards decentralized synthesis: Decomposable sublanguage and Joint Observability Problems. ACC 2014: 2047-2052 - [c22]Gabriel Ciobanu, Thai Son Hoang, Alin Stefanescu:
From TiMo to Event-B: Event-Driven Timed Mobility. ICECCS 2014: 1-10 - 2013
- [j3]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): 89-116 (2013) - [j2]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): 619-639 (2013) - [c21]S. Akshay, Ionut Dinca, Blaise Genest, Alin Stefanescu:
Implementing Realistic Asynchronous Automata. FSTTCS 2013: 213-224 - [p1]Sebastian Wieczorek, Vitaly Kozyura, Wei Wei, Andreas Roth, Alin Stefanescu:
Business Information Sector. Industrial Deployment of System Engineering Methods 2013: 63-79 - 2012
- [j1]Yushan Chen, Xu Chu Ding, Alin Stefanescu, Calin Belta:
Formal Approach to the Deployment of Distributed Robotic Teams. IEEE Trans. Robotics 28(1): 158-171 (2012) - [c20]Ionut Dinca, Florentin Ipate, Laurentiu Mierla, Alin Stefanescu:
Learn and Test for Event-B - A Rodin Plugin. ABZ 2012: 361-364 - [c19]Liyong Lin, Rong Su, Alin Stefanescu:
Remarks on the difficulty of top-down supervisor synthesis. ICARCV 2012: 270-275 - [c18]Ionut Dinca, Florentin Ipate, Alin Stefanescu:
Model Learning and Test Generation for Event-B Decomposition. ISoLA (1) 2012: 539-553 - 2011
- [c17]Ionut Dinca, Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose:
Test Data Generation for Event-B Models Using Genetic Algorithms. ICSECS (3) 2011: 76-90 - [c16]Alin Stefanescu, Florentin Ipate, Raluca Lefticaru, Cristina Tudose:
Towards Search-Based Testing for Event-B Models. ICST Workshops 2011: 194-197 - 2010
- [c15]Yushan Chen, Xu Chu Ding, Alin Stefanescu, Calin Belta:
A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment. DARS 2010: 313-327 - [c14]Sebastian Wieczorek, Alin Stefanescu:
Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces. ECBS 2010: 352-357 - [c13]Alin Stefanescu, Sebastian Wieczorek, Marc-Florian Wendland:
Using the UML Testing Profile for Enterprise Service Choreographies. EUROMICRO-SEAA 2010: 12-19 - [c12]Yushan Chen, Sam Birch, Alin Stefanescu, Calin Belta:
A hierarchical approach to automatic deployment of robotic teams with communication constraints. IROS 2010: 5079-5084 - [c11]Sebastian Wieczorek, Alin Stefanescu, Andreas Roth:
Model-Driven Service Integration Testing - A Case Study. QUATIC 2010: 292-297
2000 – 2009
- 2009
- [c10]Alin Stefanescu, Sebastian Wieczorek, Andrei Kirshin:
MBT4Chor: A Model-Based Testing Approach for Service Choreographies. ECMDA-FA 2009: 313-324 - [c9]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: 11-20 - 2008
- [c8]Sebastian Wieczorek, Alin Stefanescu, Ina Schieferdecker:
Test Data Provision for ERP Systems. ICST 2008: 396-403 - [c7]Sebastian Wieczorek, Andreas Roth, Alin Stefanescu, Anis Charfi:
Precise Steps for Choreography Modeling for SOA Validation and Verification. SOSE 2008: 148-153 - [c6]Stefan Leue, Alin Stefanescu, Wei Wei:
Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes. SPIN 2008: 176-195 - [c5]Stefan Leue, Alin Stefanescu, Wei Wei:
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT. TOOLS (46) 2008: 238-257 - 2006
- [b1]Alin Stefanescu:
Automatic synthesis of distributed transition systems. University of Stuttgart, 2006 - [c4]Stefan Leue, Alin Stefanescu, Wei Wei:
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems. CONCUR 2006: 79-94 - 2005
- [c3]Keijo Heljanko, Alin Stefanescu:
Complexity Results for Checking Distributed Implementability. ACSD 2005: 78-87 - 2003
- [c2]Alin Stefanescu, Javier Esparza, Anca Muscholl:
Synthesis of Distributed Algorithms Using Asynchronous Automata. CONCUR 2003: 27-41 - 2002
- [c1]Alin Stefanescu:
Automatic Synthesis of Distributed Systems. ASE 2002: 315
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 21:26 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
