Publications de
Fatma Krichen, Amal Gassara, Bechir Zalila, Mohamed Jmaiel
Towards a Verification Approach for Reconfigurable Embedded Systems (short paper)
Dans : IEEE International Symposium on Computers and Communications (ISCC 2012), Cappadocia, 01/07/12-04/07/12, IEEE : Institute of Electrical and Electronics Engineers, p. 750-752, juillet 2012.
Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel
Design-Time Verification of Reconfigurable Real-Time Embedded Systems (regular paper)
Dans : IEEE International Conference on Embedded Software and Systems, Liverpool, 25/06/12-27/06/12, IEEE Computer Society, p. 1487-1494, 2012.
Fatma Krichen, Amal Ghorbel, Brahim Hamid, Bechir Zalila
An MDE-Based Approach for Reconfigurable DRE Systems (regular paper)
Dans : 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, p. 78-83, juin 2012.
Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel
Towards a Model-Based Approach for Reconfigurable Distributed Real Time Embedded Systems (regular paper)
Dans : European Conference on Software Architecture (ECSA 2011), Essen, Germany, 13/09/11-16/09/11, Springer, p. 295-302, septembre 2011.
Fatma Krichen, Brahim Hamid, Bechir Zalila, Bernard Coulette
Designing Dynamic Reconfiguration of Distributed Real Time Embedded Systems (regular paper)
Dans : Conférence Internationale sur les NOuvelles TEchnologie de la REpartition (NOTERE 2010), Tozeur, Tunisie, 31/05/10-02/06/10, IEEE Computer Society, p. 249-254, juin 2010.
Fatma Krichen, Bechir Zalila, Mohamed Jmaiel, Brahim Hamid
A Middleware for Reconfigurable Distributed Real-Time Embedded Systems
Dans : Software Engineering Research, Management and Applications. Roger Lee (Eds.) , Springer, 6, p. 81-96, Vol. 430, Studies in Computational Intelligence, 2012.