Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
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
TLDR
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
TLDR
Synthesis of Distributed Algorithms Using Asynchronous Automata
- Alin Stefanescu, J. Esparza, A. Muscholl
- Computer ScienceCONCUR
- 3 September 2003
TLDR
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
TLDR
Test Data Provision for ERP Systems
- S. Wieczorek, Alin Stefanescu, I. Schieferdecker
- Computer Science1st International Conference on Software Testing…
- 9 April 2008
TLDR
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT
- S. Leue, Alin Stefanescu, Wei Wei
- Computer ScienceTOOLS
- 30 June 2008
TLDR
Complexity results for checking distributed implementability
- Keijo Heljanko, Alin Stefanescu
- Computer ScienceFifth International Conference on Application of…
- 7 June 2005
TLDR
Automatic synthesis of distributed transition systems
- Alin Stefanescu
- Computer Science
- 2006
TLDR
Learn and Test for Event-B - A Rodin Plugin
- I. Dincă, F. Ipate, L. Mierla, Alin Stefanescu
- Computer ScienceABZ
- 18 June 2012
TLDR
Analysis of uPort Open, an Identity Management Blockchain-Based Solution
- Andreea-Elena Panait, Ruxandra F. Olimid, Alin Stefanescu
- Computer ScienceTrustBus
- 14 September 2020
TLDR
...
1
2
3
4
5
...