Publications de
Ileana Ober, Iulian Ober, Iulia Dragomir, El Arbi Aboussoror
UML/SysML semantic tunings
Dans : Innovations in Systems and Software Engineering, Springer – ISSE NASA, Vol. 7 N. 4, p. 257-264, novembre 2011.
Accès : https://hal.archives-ouvertes.fr/hal-02943101 – https://doi.org/10.1007/s11334-011-0163-2
BibTeX
El Arbi Aboussoror, Ileana Ober, Iulian Ober
Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback (regular paper)
Dans : International System Design Languages Forum (SDL 2013), Montréal, Canada, 26/06/13-28/06/13, Vol. 7916, Springer, LNCS, p. 107-123, juin 2013.
El Arbi Aboussoror, Ileana Ober, Iulian Ober
Visualisation orientee modele de trace de simulation (short paper)
Dans : Journées nationales du GDR CNRS Génie de la Programmation et du Logiciel, Nancy, 03/04/13-05/04/13, Duchien Laurence (Eds.), Université de Lorraine, p. 92, avril 2013.
El Arbi Aboussoror, Ileana Ober, Iulian Ober
Seeing Errors: Model Driven Simulation Trace Visualization (regular paper)
Dans : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2012), Innsbruck, Autriche, 30/09/12-05/10/12, Robert France, Jürgen Kazmeier (Eds.), Springer, LNCS 7590, p. 480-496, octobre 2012.
Accès : http://doi.org/10.1007/978-3-642-33666-9_31 – https://hal.archives-ouvertes.fr/hal-02943097
BibTeXEl Arbi Aboussoror, Ileana Ober, Michelle Sibilla
Towards Model Based Development of Managed Networked Embedded Systems
Dans : System Design Languages Forum, Bochum, Germany, 22/09/09-24/09/09, Rick Reed, Reinhard Gotzhein, Attila Bilgic (Eds.), Springer-Verlag, LNCS 5719, p. 55-65, septembre 2009.
Méthodes de diagnostic avancées dans la validation formelle des modèles
Thèse de doctorat, Université Paul Sabatier, septembre 2013.