Publications of
Fatma Krichen, Amal Gassara, Bechir Zalila, Mohamed Jmaiel
Towards a Verification Approach for Reconfigurable Embedded Systems (short paper)
In : IEEE International Symposium on Computers and Communications (ISCC 2012), Cappadocia, 01/07/12-04/07/12, IEEE : Institute of Electrical and Electronics Engineers, pp. 750-752, July 2012.
Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel
Design-Time Verification of Reconfigurable Real-Time Embedded Systems (regular paper)
In : IEEE International Conference on Embedded Software and Systems, Liverpool, 25/06/12-27/06/12, IEEE Computer Society, pp. 1487-1494, 2012.
Fatma Krichen, Amal Ghorbel, Brahim Hamid, Bechir Zalila
An MDE-Based Approach for Reconfigurable DRE Systems (regular paper)
In : Workshop on Knowledge Media Networking – IEEE Ninth International Workshops on Enabling Technologies : Infrastructure for Collaborative Enterprises (WETICE 2012), Toulouse, 25/06/12-27/06/12, IEEE Communications Society, pp. 78-83, June 2012.
Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel
Towards a Model-Based Approach for Reconfigurable Distributed Real Time Embedded Systems (regular paper)
In : European Conference on Software Architecture (ECSA 2011), Essen, Germany, 13/09/11-16/09/11, Springer, pp. 295-302, September 2011.
Model-Based Engineering for Dynamic Reconfiguration in DRTES (regular paper)
In : Nordic Workshop on Model Driven Software Engineering (NW-MODE 2010), Copenhagen, Denmark, 23/08/10-24/08/10, ACM : Association for Computing Machinery, pp. 269-276, August 2010.
Mohamed Nadhmi Miladi, Fatma Krichen, Mohamed Jmaiel, Khalil Drira
A UML based deployment and management modeling for cooperative and distributed applications (regular paper)
In : International Conference on Software Engineering Research, Management and Applications (SERA 2010), Monreal, Canada, 24/05/10-26/05/10, Springer, pp. 87-101, May 2010.
Position paper: Advances in Reconfigurable Distributed Real Time Embedded Systems (regular paper)
In : International workshop on Distributed Architecture modeling for Novel Component based Embedded systems (DANCE 2010), Tozeur, Tunisie, 30/05/10-30/05/10, IEEE Computer Society, pp. 273-278, June 2010.
Fatma Krichen, Brahim Hamid, Bechir Zalila, Bernard Coulette
Designing Dynamic Reconfiguration of Distributed Real Time Embedded Systems (regular paper)
In : Conférence Internationale sur les NOuvelles TEchnologie de la REpartition (NOTERE 2010), Tozeur, Tunisie, 31/05/10-02/06/10, IEEE Computer Society, pp. 249-254, June 2010.
Fatma Krichen, Bechir Zalila, Mohamed Jmaiel, Brahim Hamid
A Middleware for Reconfigurable Distributed Real-Time Embedded Systems
In : Software Engineering Research, Management and Applications. Roger Lee (Eds.) , Springer, 6, pp. 81-96, Vol. 430, Studies in Computational Intelligence, 2012.
Architectures logicielles à composants reconfigurables pour les systèmes Temps Réel Répartis Embarqués (TR²E)
Master’s Thesis, Université de Toulouse-le-Mirail, September 2013.