| 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 | 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 | 109 | 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 | 73 | 2013 |
| Synthesis of distributed algorithms using asynchronous automata A Ştefănescu, J Esparza, A Muscholl International Conference on Concurrency Theory, 27-41, 2003 | 54 | 2003 |
| MBT4Chor: A model-based testing approach for service choreographies A Stefanescu, S Wieczorek, A Kirshin European Conference on Model Driven Architecture-Foundations and …, 2009 | 32 | 2009 |
| Automatic synthesis of distributed transition systems A Stefanescu | 28 | 2006 |
| 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 | 26 | 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 | 25 | 2008 |
| Test data provision for ERP systems S Wieczorek, A Stefanescu, I Schieferdecker 2008 1st International Conference on Software Testing, Verification, and …, 2008 | 25 | 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 | 24 | 2010 |
| 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 | 19 | 2009 |
| 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 | 17 | 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 | 17 | 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 | 17 | 2006 |
| 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 | 15 | 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 | 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 |
| 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 | 13 | 2010 |
| Towards decentralized synthesis: Decomposable sublanguage and joint observability problems L Lin, A Stefanescu, R Su, W Wang, AR Shehabinia 2014 American Control Conference, 2047-2052, 2014 | 12 | 2014 |
| 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 | 12 | 2008 |
Florentin IpateProfessor of Computer Science, University of BucharestVerified email at fmi.unibuc.ro
