From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain. - Jérôme Hugues; Laurent Pautet; Bechir Zalila (Monterey Workshop, 2006)

An improved IDL compiler for optimizing CORBA applications. - Bechir Zalila; Jérôme Hugues; Laurent Pautet (SIGAda, 2006)

Generating Distributed High Integrity Applications from Their Architectural Description. - Bechir Zalila; Irfan Hamid; Jérôme Hugues; Laurent Pautet (Ada-Europe, 2007)

Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems. - Jérôme Hugues; Bechir Zalila; Laurent Pautet (ISORC, 2007)

Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina. - Jérôme Hugues; Bechir Zalila; Laurent Pautet; Fabrice Kordon (IEEE International Workshop on Rapid System Prototyping, 2007)

Towards Automatic Middleware Generation. - Bechir Zalila; Laurent Pautet; Jérôme Hugues (ISORC, 2008)

Automatic framework generation for hard real-time applications. - Irfan Hamid; Bechir Zalila; Elie Najm; Jérôme Hugues (Innov. Syst. Softw. Eng., 2008)

From the prototype to the final embedded system using the Ocarina AADL tool suite. - Jérôme Hugues; Bechir Zalila; Laurent Pautet; Fabrice Kordon (ACM Trans. Embed. Comput. Syst., 2008)

Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications. - Gilles Lasnier; Bechir Zalila; Laurent Pautet; Jérôme Hugues (Ada-Europe, 2009)

Toward an Aspect Oriented ADL for Embedded Systems. - Sihem Loukil; Slim Kallel; Bechir Zalila; Mohamed Jmaiel (ECSA, 2010)

Designing Dynamic Reconfiguration for Distributed Real Time Embedded Systems. - Fatma Krichen; Brahim Hamid; Bechir Zalila; Bernard Coulette (NOTERE, 2010)

Towards a Model-Based Approach for Reconfigurable DRE Systems. - Fatma Krichen; Brahim Hamid; Bechir Zalila; Mohamed Jmaiel (ECSA, 2011)

Design-Time Verification of Reconfigurable Real-time Embedded Systems. - Fatma Krichen; Brahim Hamid; Bechir Zalila; Mohamed Jmaiel (HPCC-ICESS, 2012)

Towards a verification approach for reconfigurable embedded systems. - Fatma Krichen; Amal Gassara; Bechir Zalila; Mohamed Jmaiel (ISCC, 2012)

A Middleware for Reconfigurable Distributed Real-Time Embedded Systems. - Fatma Krichen; Bechir Zalila; Mohamed Jmaiel; Brahim Hamid (SERA (selected papers), 2012)

An MDE-Based Approach for Reconfigurable DRE Systems. - Fatma Krichen; Amal Ghorbel; Brahim Hamid; Bechir Zalila (WETICE, 2012)

Towards an Aspect Oriented Language Compliant with Real Time Constraints. - Wafa Gabsi; Rahma Bouaziz 002; Bechir Zalila (WETICE, 2013)

Fault Tolerance for Distributed Real Time Dynamically Reconfigurable Systems from Modeling to Implementation. - Wafa Gabsi; Bechir Zalila (WETICE, 2013)

AO4AADL: Aspect oriented extension for AADL. - Sihem Loukil; Slim Kallel; Bechir Zalila; Mohamed Jmaiel (Central Eur. J. Comput. Sci., 2013)

From AADL Model to LNT Specification. - Hana Mkaouar; Bechir Zalila; Jérôme Hugues; Mohamed Jmaiel (Ada-Europe, 2015)

Architecture Exploration of Real-Time Systems Based on Multi-objective Optimization. - Rahma Bouaziz 002; Laurent Lemarchand; Frank Singhoff; Bechir Zalila; Mohamed Jmaiel (ICECCS, 2015)

Towards a Model Level Replication Technique for Fault Tolerant Systems Using AADL. - Wafa Gabsi; Bechir Zalila (SNPD (revised selected papers), 2015)

Development of reconfigurable distributed embedded systems with a model-driven approach. - Fatma Krichen; Brahim Hamid; Bechir Zalila; Mohamed Jmaiel; Bernard Coulette (Concurr. Comput. Pract. Exp., 2015)

AspectAda: An aspect oriented extension of ada for real-time systems. - Wafa Gabsi; Bechir Zalila; Mohamed Jmaiel (ICIS, 2016)

Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance. - Wafa Gabsi; Bechir Zalila; Mohamed Jmaiel (Ada-Europe, 2016)

Efficient parallel multi-objective optimization for real-time systems software design exploration. - Rahma Bouaziz 002; Laurent Lemarchand; Frank Singhoff; Bechir Zalila; Mohamed Jmaiel (RSP, 2016)

EMA2AOP: From the AADL Error Model Annex to aspect language towards fault tolerant systems. - Wafa Gabsi; Bechir Zalila; Mohamed Jmaiel (SERA, 2016)

A development process for the design, implementation and code generation of fault tolerant reconfigurable real time systems. - Wafa Gabsi; Bechir Zalila; Jérôme Hugues (Int. J. Auton. Adapt. Commun. Syst., 2016)

Development of a parser for the AADL error model annex. - Wafa Gabsi; Bechir Zalila; Mohamed Jmaiel (ICIS, 2017)

An ocarina extension for AADL formal semantics generation. - Hana Mkaouar; Bechir Zalila; Jérôme Hugues; Mohamed Jmaiel (SAC, 2018)

Multi-objective design exploration approach for Ravenscar real-time systems. - Rahma Bouaziz 002; Laurent Lemarchand; Frank Singhoff; Bechir Zalila; Mohamed Jmaiel (Real Time Syst., 2018)

A formal approach to AADL model-based software engineering. - Hana Mkaouar; Bechir Zalila; Jérôme Hugues; Mohamed Jmaiel (Int. J. Softw. Tools Technol. Transf., 2020)

A Smart Trap for Counting Olive Moths Based on the Internet of Things and Deep Learning. - Afef Mdhaffar; Bechir Zalila; Racem Moalla; Ayoub Kharrat; Omar Rebai; Mohamed Melek Hsairi; Ahmed Sallemi; Hsouna Kobbi; Amel Kolsi; Dorsaf Chatti; Mohamed Jmaiel; Bernd Freisleben (AICCSA, 2022)

Towards Bidirectional Conversion between Arabic Sign Language and Speech/Text. - Souha Ben Hamouda; Wafa Gabsi; Bechir Zalila (TACC, 2023)

A Framework for the Automatic Conversion of Text Into Sign Language. - Souha Ben Hamouda; Mohamed Jmaiel; Wafa Gabsi; Bechir Zalila (ICSOC Workshops (2), 2024)