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

Rezultate obtinute

Etapa 2012 (ianuarie - august 2012) a fost incheiata. Sinteza activitatilor desfasurate in 2012 poate fi descarcata in format PDF de aici.

Etapa 2011 (ianuarie - decembrie 2011) a fost incheiata. Sinteza activitatilor desfasurate in 2011 poate fi descarcata in format PDF de aici.

Etapa 2010 (septembrie - decembrie 2010) a fost incheiata. Sinteza activitatilor desfasurate in aceste 4 luni poate fi descarcata in format PDF de aici.

Articole finalizate

Urmatoarele articole au fost finalilzate in timpul proiectului:

  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. Factor de impact ISI: 2,53
  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. Factor de impact ISI: 1,85
  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. Factor de impact ISI: 1,08
  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. Factor de impact ISI: 1,08
  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). Publicat in Springer Tracts in Advanced Robotics.
  10. [Draft] F. Ipate, I. Dinca, A. Stefanescu. Model learning and test generation using cover automata. Va fi trimis la jurnalul ISI: IEEE Transactions on Software Engineering.
  11. [Draft] A. Stefanescu, K. Heljanko. Checking Distributed Implementability. Va fi trimis la jurnalul ISI: Theoretical Computer Science