Alin Stefanescu

University of Bucharest
0000-0002-8418-2643
http://alin.stefanescu.eu
Publications53
h-index13
Citations714
Highly Influential Citations44
Author pages are created from data sourced from our academic publisher partnerships and public sources.

Recommended Authors

  • F. Ipate
  • 115 Publications • 1,443 Citations
  • Michael J. Butler
  • 193 Publications • 5,824 Citations
  • J. Abrial
  • 111 Publications • 9,092 Citations
  • S. Wieczorek
  • 32 Publications • 422 Citations
  • Publications
  • Influence
Where does model-driven engineering help? Experiences from three industrial cases
TLDR
This paper summarizes the experiences of three large industrial participants in a European research project with the objective of developing techniques and tools for applying MDE on the development of large and complex software systems. Expand
  • 77
  • 13
An empirical study of the state of the practice and acceptance of model-driven engineering in four industrial cases
TLDR
We investigate the state of the practice of applying MDE and factors considered as important for its adoption. Expand
  • 105
  • 7
Synthesis of Distributed Algorithms Using Asynchronous Automata
TLDR
We apply the theory of asynchronous automata to the synthesis problem of closed distributed systems. Expand
  • 49
  • 5
  • PDF
Formal Approach to the Deployment of Distributed Robotic Teams
TLDR
We present a computational framework for automatic synthesis of control and communication strategies for a robotic team from task specifications that are given as regular expressions about servicing requests in an environment. Expand
  • 100
  • 3
  • PDF
Test Data Provision for ERP Systems
TLDR
In this paper we identify four main challenges regarding the provision of test data for automatic testing of ERP software:System test data supply, system test data stability, input test data constraints and test data correlation. Expand
  • 22
  • 3
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT
TLDR
We use AsmL to present an executable semantics covering dynamic structures and other important features like run time schedulability of UML-RT. Expand
  • 13
  • 2
  • PDF
Complexity results for checking distributed implementability
TLDR
We provide complexity bounds for the distributed implementability problem with three interpretations of 'equivalent': as transition system isomorphism, as language equivalence, and as bisimilarity. Expand
  • 11
  • 2
  • PDF
Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces
TLDR
We try to motivate and draw some guiding lines of research in the area of system testing for enterprise systems, with a focus on GUI testing. Expand
  • 22
  • 1
  • PDF
Automatic synthesis of distributed transition systems
TLDR
This thesis investigates the synthesis problem for two classes of distributed transition systems: synchronous products and asynchronous automata. Expand
  • 22
  • 1
  • PDF
Learn and Test for Event-B - A Rodin Plugin
TLDR
We propose a model-learning approach to iteratively construct an approximate automaton model together with an associated test suite. Expand
  • 16
  • 1
  • PDF
...
1
2
3
4
5
...