| 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 | 158 | 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 | 148 | 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 | 101 | 2013 |
| Synthesis of distributed algorithms using asynchronous automata A Ştefănescu, J Esparza, A Muscholl CONCUR 2003-Concurrency Theory: 14th International Conference, Marseille …, 2003 | 59 | 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 | 31 | 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 | 29 | 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 | 27 | 2008 |
| Automatic synthesis of distributed transition systems A Stefanescu | 26 | 2006 |
| 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 | 23 | 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 | 21 | 2017 |
| Identity Management on Blockchain--Privacy and Security Aspects AE Panait, RF Olimid, A Stefanescu arXiv preprint arXiv:2004.13107, 2020 | 19 | 2020 |
| Learn and test for Event-B–a Rodin plugin I Dinca, F Ipate, L Mierla, A Stefanescu Abstract State Machines, Alloy, B, VDM, and Z: Third International …, 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 |
| A livelock freedom analysis for infinite state asynchronous reactive systems S Leue, A Ştefănescu, W Wei CONCUR 2006–Concurrency Theory: 17th International Conference, CONCUR 2006 …, 2006 | 19 | 2006 |
| Analysis of uPort open, an identity management blockchain-based solution AE Panait, RF Olimid, A Stefanescu Trust, Privacy and Security in Digital Business: 17th International …, 2020 | 17 | 2020 |
| 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 | 17 | 2008 |
| Dependency analysis for control flow cycles in reactive communicating processes S Leue, A Ştefănescu, W Wei Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA …, 2008 | 15 | 2008 |
| On distributed and parameterized supervisor synthesis problems L Lin, A Stefanescu, R Su IEEE Transactions on Automatic Control 61 (3), 777-782, 2015 | 14 | 2015 |
Florentin IpateProfessor of Computer Science, University of BucharestVerified email at fmi.unibuc.ro
