Alin Stefanescu
Alin Stefanescu
Professor of Computer Science, University of Bucharest, Romania
Verified email at - Homepage
Cited by
Cited by
An empirical study of the state of the practice and acceptance of model-driven engineering in four industrial cases
P Mohagheghi, W Gilani, A Stefanescu, MA Fernandez
Empirical software engineering 18 (1), 89-116, 2013
Formal approach to the deployment of distributed robotic teams
Y Chen, XC Ding, A Stefanescu, C Belta
IEEE Transactions on Robotics 28 (1), 158-171, 2011
Where does model-driven engineering help? Experiences from three industrial cases
P Mohagheghi, W Gilani, A Stefanescu, MA Fernandez, B Nordmoen, ...
Software & Systems Modeling 12 (3), 619-639, 2013
Synthesis of distributed algorithms using asynchronous automata
A Ştefănescu, J Esparza, A Muscholl
International Conference on Concurrency Theory, 27-41, 2003
Test data provision for ERP systems
S Wieczorek, A Stefanescu, I Schieferdecker
2008 1st International Conference on Software Testing, Verification, and …, 2008
MBT4Chor: A model-based testing approach for service choreographies
A Stefanescu, S Wieczorek, A Kirshin
European Conference on Model Driven Architecture-Foundations and …, 2009
A formal approach to deployment of robotic teams in an urban-like environment
Y Chen, XC Ding, A Stefanescu, C Belta
Distributed Autonomous Robotic Systems, 313-327, 2013
Automatic synthesis of distributed transition systems
A Stefanescu
Improving testing of enterprise systems by model-based testing on graphical user interfaces
S Wieczorek, A Stefanescu
2010 17th IEEE International Conference and Workshops on Engineering of …, 2010
Precise steps for choreography modeling for SOA validation and verification
S Wieczorek, A Roth, A Stefanescu, A Charfi
2008 IEEE International Symposium on Service-Oriented System Engineering …, 2008
Viewpoints for modeling choreographies in service-oriented architectures
S Wieczorek, A Roth, A Stefanescu, V Kozyura, A Charfi, FM Kraft, ...
2009 Joint Working IEEE/IFIP Conference on Software Architecture & European …, 2009
A distributed implementation using apache spark of a genetic algorithm applied to test data generation
C Paduraru, MC Melemciuc, A Stefanescu
Proceedings of the Genetic and Evolutionary Computation Conference Companion …, 2017
Learn and test for Event-B–a Rodin plugin
I Dinca, F Ipate, L Mierla, A Stefanescu
International Conference on Abstract State Machines, Alloy, B, VDM, and Z …, 2012
A livelock freedom analysis for infinite state asynchronous reactive systems
S Leue, A Ştefănescu, W Wei
International Conference on Concurrency Theory, 79-94, 2006
Using the UML testing profile for enterprise service choreographies
A Stefanescu, MF Wendland, S Wieczorek
2010 36th EUROMICRO Conference on Software Engineering and Advanced …, 2010
Enhancing test driven development with model based testing and performance analysis
S Wieczorek, A Stefanescu, M Fritzsche, J Schnitter
Testing: Academic & Industrial Conference-Practice and Research Techniques …, 2008
Dependency analysis for control flow cycles in reactive communicating processes
S Leue, A Ştefănescu, W Wei
International SPIN Workshop on Model Checking of Software, 176-195, 2008
On distributed and parameterized supervisor synthesis problems
L Lin, A Stefanescu, R Su
IEEE Transactions on Automatic Control 61 (3), 777-782, 2015
Model-driven service integration testing-a case study
S Wieczorek, A Stefanescu, A Roth
2010 Seventh International Conference on the Quality of Information and …, 2010
An AsmL semantics for dynamic structures and run time schedulability in UML-RT
S Leue, A Ştefănescu, W Wei
International Conference on Objects, Components, Models and Patterns, 238-257, 2008
The system can't perform the operation now. Try again later.
Articles 1–20