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, 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.
Mohamed Nadhmi Miladi, Fatma Krichen, Mohamed Jmaiel, Khalil Drira
A UML based deployment and management modeling for cooperative and distributed applications (regular paper)
Dans : International Conference on Software Engineering Research, Management and Applications (SERA 2010), Monreal, Canada, 24/05/10-26/05/10, Springer, p. 87-101, mai 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.