Română (România)English (United Kingdom)

Completed articles

The following papers have been completed during the project:

  1. Y. Chen, X.C. Ding, A. Stefanescu, C. Belta. A Formal Approach to the Deployment of Distributed Robotic Teams. IEEE Transactions on Robotics Journal.
  2. P. Mohagheghi, M.A. Fernandez, W. Gilani, A. Stefanescu. An Empirical Study of the State of the Practice and Acceptance of Model-Driven Engineering in four industrial cases. Empirical Software Engineering Journal. Springer.
  3. P. Mohagheghi, W. Gilani, A. Stefanescu, M.A. Fernandez, B. Nordmoen, M. Fritzsche. Where does Model-Driven Engineering Help? Experiences from Three Industrial Cases.  Software and Systems Modeling (SoSym) Journal. Springer.
  4. A. Stefanescu, S. Wieczorek, M. Schur. Message Choreography Modeling - A Domain-Specific Language for Consistent Enterprise Service Integration. Acceptat la Software and Systems Modeling (SoSyM) Journal. Springer.
  5. F. Ipate, I. Dinca, L. Mierla, A. Stefanescu. Learn and Test for Event-B - a Rodin plugin. In Proc. of ABZ’12, LNCS, volume 7316, pp. 361-364. Springer, 2012.
  6. I. Dinca, F. Ipate, A. Stefanescu. Model learning and test generation for Event-B decomposition. In Proc. of ISoLA'12 conference, LNCS. Springer, 2012.
  7. I. Dinca, A. Stefanescu, F. Ipate, R. Lefticaru, C. Tudose. Test Data Generation for Event-B Models using Genetic Algorithms. In Proc. of 2nd Int. Conf. on Software Engineering and Computer Systems (ICSECS'11). CCIS Series, vol. 181, pp. 76-90. Springer, 2011.
  8. A. Stefanescu, F. Ipate, R. Lefticaru, C. Tudose. Towards Search-Based Testing for Event-B Models. In Proc. of 4th International Workshop on Search-Based Software Testing (SBST'11) from ICSTW'11, pp.194-197. IEEE Computer Society, 2011.
  9. Y. Chen, X.C. Ding, A. Stefanescu, C. Belta. A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment. In Proc. of 10th Distributed Autonomous Robotic Systems Symposium 2010. (best student paper award). Published in Springer Tracts in Advanced Robotics.
  10. [Draft] F. Ipate, I. Dinca, A. Stefanescu. Model learning and test generation using cover automata. To be submitted to IEEE Transactions on Software Engineering.
  11. [Draft] A. Stefanescu, K. Heljanko. Checking Distributed Implementability. To be submitted to Theoretical Computer Science