| 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 | 181 | 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 | 168 | 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 | 116 | 2013 |
| Synthesis of distributed algorithms using asynchronous automata A Ştefănescu, J Esparza, A Muscholl CONCUR 2003-Concurrency Theory: 14th International Conference, Marseille …, 2003 | 58 | 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 | 34 | 2009 |
| Test data provision for ERP systems S Wieczorek, A Stefanescu, I Schieferdecker 2008 1st International Conference on Software Testing, Verification, and …, 2008 | 34 | 2008 |
| 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 | 29 | 2010 |
| 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 | 28 | 2013 |
| 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 | 28 | 2008 |
| Automatic synthesis of distributed transition systems A Ştefănescu Stuttgart, Univ., Diss., 2006, 2006 | 28 | 2006 |
| Identity Management on Blockchain--Privacy and Security Aspects AE Panait, RF Olimid, A Stefanescu arXiv preprint arXiv:2004.13107, 2020 | 26 | 2020 |
| 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 | 25 | 2020 |
| 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 | 25 | 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 | 24 | 2017 |
| Rivergame-a game testing tool using artificial intelligence C Paduraru, M Paduraru, A Stefanescu 2022 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2022 | 19 | 2022 |
| 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 | 19 | 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 | 19 | 2010 |
| On distributed and parameterized supervisor synthesis problems L Lin, A Stefanescu, R Su IEEE Transactions on Automatic Control 61 (3), 777-782, 2015 | 18 | 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 | 18 | 2008 |
| 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 | 18 | 2006 |
Ciprian PaduraruUniversity Of BucharestVerified email at fmi.unibuc.ro
