University of Bucharest
Author pages are created from data sourced from our academic publisher partnerships and public sources.
Share This Author
Where does model-driven engineering help? Experiences from three industrial cases
- P. Mohagheghi, W. Gilani, Alin Stefanescu, M. A. Fernández, B. Nordmoen, M. Fritzsche
- Computer ScienceSoftware & Systems Modeling
- 1 July 2013
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.
An empirical study of the state of the practice and acceptance of model-driven engineering in four industrial cases
- P. Mohagheghi, W. Gilani, Alin Stefanescu, M. A. Fernández
- Computer ScienceEmpirical Software Engineering
- 1 February 2013
Investigation of the state of the practice of applying MDE and factors considered as important for its adoption found perceived usefulness, ease of use and the maturity of the tools to be important determinants for the adoption of MDE.
Synthesis of Distributed Algorithms Using Asynchronous Automata
This work uses safe asynchronous automata as implementation model, and characterise the languages they accept, and develops and implements a synthesis algorithm for the classic problem of mutual exclusion.
Formal Approach to the Deployment of Distributed Robotic Teams
- Yushan Chen, X. Ding, Alin Stefanescu, C. Belta
- Computer ScienceIEEE Transactions on Robotics
- 1 February 2012
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 by using a technique inspired by linear temporal logic model checking.
Test Data Provision for ERP Systems
- S. Wieczorek, Alin Stefanescu, I. Schieferdecker
- Computer Science1st International Conference on Software Testing…
- 9 April 2008
Four main challenges regarding the provision of test data for automatic testing of ERP software: system test data supply, system testData stability, input test data constraints and test data correlation are identified.
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT
This work uses AsmL to present an executable semantics covering dynamic structures and other important features like run time schedulability of UML-RT, and illustrates how the proposed executable semantics can be used in the analysis of a Rose-RT model using the Spec Explorer tool.
Complexity results for checking distributed implementability
- Keijo Heljanko, Alin Stefanescu
- Computer ScienceFifth International Conference on Application of…
- 7 June 2005
This paper provides complexity bounds for the distributed implementability problem with three interpretations of 'equivalent': as transition system isomorphism, as language equivalence, and as bisimilarity.
Automatic synthesis of distributed transition systems
- Alin Stefanescu
- Computer Science
By using several heuristics to overcome the classical state space explosion, this thesis is able to automatically generate small distributed algorithms for problems such as mutual exclusion.
Learn and Test for Event-B - A Rodin Plugin
This work developed a new feature as a Rodin plugin that implements a model-learning approach to iteratively construct an approximate automaton model together with an associated test suite.
Analysis of uPort Open, an Identity Management Blockchain-Based Solution
This paper analyzes the open-source version uPort Open in terms of risk delegation and private key recovery of the mobile application, smart contract security of the uPort identity registry, and usage and on-chain transaction analytics.