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

Obtained results

The 2012 reporting period (January-August 2012) was completed. Summary of 2012 activities can be downloaded from here (only in Romanian).

The 2011 reporting period (January-December 2011) was completed. Summary of 2011 activities can be downloaded from here (only in Romanian).

The 2010 reporting period (September-December 2010) was completed. Summary of 2010 activities can be downloaded from here (only in Romanian).

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