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, 619-639, 2013
Synthesis of distributed algorithms using asynchronous automata
A Ştefănescu, J Esparza, A Muscholl
CONCUR 2003-Concurrency Theory: 14th International Conference, Marseille …, 2003
MBT4Chor: A model-based testing approach for service choreographies
A Stefanescu, S Wieczorek, A Kirshin
Model Driven Architecture-Foundations and Applications: 5th European …, 2009
Test data provision for ERP systems
S Wieczorek, A Stefanescu, I Schieferdecker
2008 1st International Conference on Software Testing, Verification, and …, 2008
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: The 10th International Symposium …, 2013
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
Automatic synthesis of distributed transition systems
A Stefanescu
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
Analysis of uPort Open, an identity management blockchain-based solution
AE Panait, RF Olimid, A Stefanescu
International Conference on Trust and Privacy in Digital Business, 3-13, 2020
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
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
Identity Management on Blockchain--Privacy and Security Aspects
AE Panait, RF Olimid, A Stefanescu
arXiv preprint arXiv:2004.13107, 2020
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
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
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
On distributed and parameterized supervisor synthesis problems
L Lin, A Stefanescu, R Su
IEEE Transactions on Automatic Control 61 (3), 777-782, 2015
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
Towards automated testing of RPA implementations
M Cernat, AN Staicu, A Stefanescu
Proceedings of the 11th ACM SIGSOFT International Workshop on Automating …, 2020
The system can't perform the operation now. Try again later.
Articles 1–20