Publications
61 publications. Also indexed on ORCID, Google Scholar, DBLP. Download the whole bibliography as BibTeX.
International journal papers 13
- A Comparative Study of Machine Learning and Deep Learning Approaches for Arabic Sign Language Recognition
Information and Software Technology, pp. 108300, .
Scopus Q1 SJR Q1 IF 4.6
DOI PublisherBibTeX
@article{HAMOUDA2026INFSOF, author = {Souha Ben Hamouda and Wafa Gabsi and Bechir Zalila}, title = {{A Comparative Study of Machine Learning and Deep Learning Approaches for Arabic Sign Language Recognition}}, journal = {{Information and Software Technology}}, pages = {108300}, year = {2026}, doi = {10.1016/j.infsof.2026.108300}, issn = {0950-5849}, url = {https://www.sciencedirect.com/science/article/pii/S0950584926002892}, note = {Ranked Q1 on Scopus and SJR. IF=4.6 (Web of Science)}, keywords = {Arabic sign language, Machine learning, Deep learning, MediaPipe, CNN, MobileNetV2, Computer vision}, } - Design and Development of an Autonomous Mobile Robot for Unstructured Indoor Environments
Machines, vol. 13, no. 11, article 1044, .
Scopus Q2 SJR Q2 IF 2.5
DOI PublisherBibTeX
@article{GARGOURI2025MACHINES, author = {Ameur Gargouri and Mohamed Karray and Bechir Zalila and Mohamed Ksantini}, title = {{Design and Development of an Autonomous Mobile Robot for Unstructured Indoor Environments}}, journal = {{Machines}}, volume = {13}, number = {11}, article-number = {1044}, year = {2025}, doi = {10.3390/machines13111044}, issn = {2075-1702}, url = {https://www.mdpi.com/2075-1702/13/11/1044}, note = {Ranked Q2 on Scopus and SJR. IF=2.5 (Web of Science)}, } - Integrating Blockchain and Deep Learning for Intelligent Greenhouse Control and Traceability
Alexandria Engineering Journal, vol. 79, pp. 259-273, .
Scopus Q1 SJR Q1 IF 6.8
DOI PublisherBibTeX
@article{FRIKHA2023259, author = {Tarek Frikha and Jalel Ktari and Bechir Zalila and Oussama Ghorbel and Nader Ben Amor}, title = {{Integrating Blockchain and Deep Learning for Intelligent Greenhouse Control and Traceability}}, journal = {{Alexandria Engineering Journal}}, volume = {79}, pages = {259-273}, year = {2023}, doi = {10.1016/j.aej.2023.08.027}, issn = {1110-0168}, url = {https://www.sciencedirect.com/science/article/pii/S1110016823007081}, note = {Ranked Q1 on Scopus and SJR. IF=6.8 (Web of Science)}, } - A formal approach to AADL model-based software engineering
International Journal on Software Tools for Technology Transfer, vol. 22, no. 2, pp. 219–247, .
Scopus Q1 SJR Q2 IF 0.739
DOIBibTeX
@article{HMBZJHMJ2020IJSTTT, author = {Hana Mkaouar and Bechir Zalila and Jérôme Hugues and Mohamed Jmaiel}, title = {{A formal approach to AADL model-based software engineering}}, journal = {{International Journal on Software Tools for Technology Transfer}}, volume = {22}, number = {2}, pages = {219–247}, year = {2020}, doi = {10.1007/s10009-019-00513-7}, note = {Ranked Q1 on Scopus and Q2 on SJR. IF=0.739 (Web of Science)}, } - Towards a Formal Specification for an AADL Behavioural Subset Using the LNT Language
International Journal of Business and Systems Research, vol. 14, no. 2, pp. 162–190, .
Scopus Q3 SJR Q3
DOIBibTeX
@article{HMBZJHMJ2020IJBSR, author = {Hana Mkaouar and Bechir Zalila and Jérôme Hugues and Mohamed Jmaiel}, title = {{Towards a Formal Specification for an AADL Behavioural Subset Using the LNT Language}}, journal = {{International Journal of Business and Systems Research}}, volume = {14}, number = {2}, pages = {162–190}, year = {2020}, doi = {10.1504/IJBSR.2020.106278}, note = {Ranked Q3 on Scopus and SJR}, } - Extension and Adaptation of an Aspect Oriented Programming Language for Real-time Systems
International Journal of Business and Systems Research, vol. 14, no. 2, pp. 139–161, .
Scopus Q3 SJR Q3
DOIBibTeX
@article{WGBZMJ2020IJBSR, author = {Wafa Gabsi and Bechir Zalila and Mohamed Jmaiel}, title = {{Extension and Adaptation of an Aspect Oriented Programming Language for Real-time Systems}}, journal = {{International Journal of Business and Systems Research}}, volume = {14}, number = {2}, pages = {139–161}, year = {2020}, doi = {10.1504/IJBSR.2020.106274}, note = {Ranked Q3 on Scopus and SJR}, } - Multi-objective design exploration approach for Ravenscar real-time systems
Real-Time Systems, vol. 54, no. 2, pp. 424–483, .
Scopus Q1 SJR Q2 IF 1.717
DOIBibTeX
@article{RBLLFSBZMJ2018JRTS, author = {Rahma Bouaziz and Laurent Lemarchand and Frank Singhoff and Bechir Zalila and Mohamed Jmaiel}, title = {{Multi-objective design exploration approach for Ravenscar real-time systems}}, journal = {{Real-Time Systems}}, volume = {54}, number = {2}, pages = {424–483}, year = {2018}, doi = {10.1007/s11241-018-9299-6}, note = {Ranked Q1 on Scopus and Q2 on SJR. IF=1.717 (Web of Science)}, } - A development process for the design, implementation and code generation of fault tolerant reconfigurable real time systems
International Journal of Autonomous and Adaptive Communications Systems, vol. 9, no. 3/4, pp. 269–287, .
Scopus Q3 SJR Q4 IF 0.4
DOIBibTeX
@article{WGBZJH2014IJAACS, author = {Wafa Gabsi and Bechir Zalila and Jérôme Hugues}, title = {{A development process for the design, implementation and code generation of fault tolerant reconfigurable real time systems}}, journal = {{International Journal of Autonomous and Adaptive Communications Systems}}, volume = {9}, number = {3/4}, pages = {269–287}, year = {2016}, doi = {10.1504/IJAACS.2016.079625}, note = {Ranked Q3 on Scopus and Q4 on SJR. IF=0.4 (Web of Science)}, } - Development of reconfigurable distributed embedded systems with a model-driven approach
Concurrency and Computation: Practice and Experience, vol. 27, no. 6, pp. 1391–1411, .
Scopus Q2 SJR Q2 IF 0.942
DOIBibTeX
@article{FKBHBZMJBC2013CCPE, author = {Fatma Krichen and Brahim Hamid and Bechir Zalila and Mohamed Jmaiel and Bernard Coulette}, title = {{Development of reconfigurable distributed embedded systems with a model-driven approach}}, journal = {{Concurrency and Computation: Practice and Experience}}, volume = {27}, number = {6}, pages = {1391–1411}, year = {2015}, doi = {10.1002/cpe.3095}, note = {Ranked Q2 on Scopus and SJR. IF=0.942 (Web of Science)}, } - AO4AADL: Aspect oriented extension for AADL
Open Computer Science, vol. 3, no. 2, pp. 43-68, .
Scopus Q2 SJR Q2 IF 1.5
DOIBibTeX
@article{SLSKBZMJ2013CEJCS, author = {Sihem Loukil and Slim Kallel and Bechir Zalila and Mohamed Jmaiel}, title = {{AO4AADL: Aspect oriented extension for AADL}}, journal = {{Open Computer Science}}, volume = {3}, number = {2}, pages = {43-68}, year = {2013}, doi = {10.2478/s13537-013-0105-1}, note = {Ranked Q2 on Scopus and SJR. IF=1.5 (Web of Science)}, } - Automatic Framework Generation for Hard Real-time Applications
Innovations in Systems and Software Engineering: A NASA Journal, vol. 4, no. 1, pp. 107–122, .
DOIBibTeX
@article{HZNH:ISSE-08, author = {Irfan Hamid and Bechir Zalila and Elie Najm and Jérôme Hugues}, title = {{Automatic Framework Generation for Hard Real-time Applications}}, journal = {{Innovations in Systems and Software Engineering: A NASA Journal}}, volume = {4}, number = {1}, pages = {107–122}, year = {2008}, doi = {10.1007/s11334-008-0044-5}, } - From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite
ACM Transactions in Embedded Computing Systems (TECS), vol. 7, no. 4, pp. 1-25, .
DOIBibTeX
@article{JH-BZ-LP-FK:TECS08, author = {Jérôme Hugues and Bechir Zalila and Laurent Pautet and Fabrice Kordon}, title = {{From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite}}, journal = {{ACM Transactions in Embedded Computing Systems (TECS)}}, volume = {7}, number = {4}, pages = {1-25}, year = {2008}, doi = {10.1145/1376804.1376810}, } - An Improved IDL Compiler for Optimizing CORBA Applications
ACM SIGAda Ada Letters, vol. XXVI, no. 3, pp. 21 - 27, .
Best student paper award
DOIBibTeX
@article{ZB-JH-LP:IDL-06, author = {Bechir Zalila and Jérôme Hugues and Laurent Pautet}, title = {{An Improved IDL Compiler for Optimizing CORBA Applications}}, journal = {{ACM SIGAda Ada Letters}}, volume = {XXVI}, number = {3}, pages = {21 - 27}, year = {2006}, doi = {10.1145/1185875.1185647}, note = {Best student paper award}, }
International conference papers 33
- A Real-Time Sign Language Recognition System Using Convolutional Neural Networks and Computer Vision
In 2026 IEEE/ACIS 24th International Conference on Software Engineering Research, Management and Applications (SERA), pp. 436-441, Maryland, USA, .
CORE C
DOIBibTeX
@inproceedings{SBHWGBZ2026SERA, author = {Souha Ben Hamouda and Wafa Gabsi and Bechir Zalila}, title = {{A Real-Time Sign Language Recognition System Using Convolutional Neural Networks and Computer Vision}}, booktitle = {{2026 IEEE/ACIS 24th International Conference on Software Engineering Research, Management and Applications (SERA)}}, address = {Maryland, USA}, pages = {436-441}, year = {2026}, doi = {10.1109/SERA69989.2026.11618627}, note = {Ranked C on CORE}, keywords = {Modeling;Sign language;Convolutional neural networks;Timing;Accuracy;Real-time systems;Printing;Conferences;Hands;Testing;Sign Language Recognition;CNN;Computer Vision;Human-Computer Interaction;ASL;Deep Learning}, } - A Framework for the Automatic Conversion of Text Into Sign Language
In Service-Oriented Computing – ICSOC 2024 Workshops, pp. 176–181, Springer Nature Singapore, Singapore, .
CORE A
DOIBibTeX
@inproceedings{SBHMJWGBZ25ICSOC, author = {Souha Ben Hamouda and Mohamed Jmaiel and Wafa Gabsi and Bechir Zalila}, title = {{A Framework for the Automatic Conversion of Text Into Sign Language}}, booktitle = {{Service-Oriented Computing – ICSOC 2024 Workshops}}, publisher = {Springer Nature Singapore}, address = {Singapore}, pages = {176–181}, year = {2024}, doi = {10.1007/978-981-96-7423-7_16}, note = {Ranked A on CORE}, } - A Smart Trap for Counting Olive Moths Based on the Internet of Things and Deep Learning
In 2022 IEEE/ACS 19th International Conference on Computer Systems and Applications (AICCSA), pp. 1–8, .
CORE C
DOIBibTeX
@inproceedings{MZ2023AICCSA, author = {Afef Mdhaffar and Bechir Zalila and Racem Moalla and Ayoub Kharrat and Omar Rebai and Mohamed Melek Hsairi and Ahmed Sallemi and Hsouna Kobbi and Amel Kolsi and Dorsaf Chatti and Mohamed Jmaiel and Bernd Freisleben}, title = {{A Smart Trap for Counting Olive Moths Based on the Internet of Things and Deep Learning}}, booktitle = {{2022 IEEE/ACS 19th International Conference on Computer Systems and Applications (AICCSA)}}, pages = {1–8}, year = {2023}, month = {jan}, doi = {10.1109/AICCSA56895.2022.10017905}, note = {Ranked C on CORE}, } - Towards Bidirectional Conversion between Arabic Sign Language and Speech/Text
In Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), Sousse, Tunisia, nov 6-8, 2023, CEUR Workshop Proceedings, pp. 207–219, .
https://ceur-ws.org/Vol-3642/paper18.pdf
PDFBibTeX
@inproceedings{SBWGBZ2023TACC, author = {Souha Ben Hamouda and Wafa Gabsi and Bechir Zalila}, title = {{Towards Bidirectional Conversion between Arabic Sign Language and Speech/Text}}, booktitle = {{Proceedings of the Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), Sousse, Tunisia, nov 6-8, 2023}}, series = {CEUR Workshop Proceedings}, pages = {207–219}, year = {2023}, url = {https://ceur-ws.org/Vol-3642/paper18.pdf}, note = {https://ceur-ws.org/Vol-3642/paper18.pdf}, } - An ocarina extension for AADL formal semantics generation
In 33rd Annual ACM Symposium on Applied Computing (SAC), pp. 1402–1409, ACM, Pau, France, .
CORE B
DOIBibTeX
@inproceedings{HMBZJHMJ2018SAC, author = {Hana Mkaouar and Bechir Zalila and Jérôme Hugues and Mohamed Jmaiel}, title = {{An ocarina extension for AADL formal semantics generation}}, booktitle = {{33rd Annual ACM Symposium on Applied Computing (SAC)}}, publisher = {ACM}, address = {Pau, France}, pages = {1402–1409}, year = {2018}, month = {apr}, doi = {10.1145/3167132.3167282}, note = {Ranked B on CORE}, } - Development of a parser for the AADL error model annex
In 16th IEEE/ACIS International Conference on Computer and Information Science (ICIS), pp. 233–238, IEEE, Wuhan, China, .
CORE C
DOIBibTeX
@inproceedings{WGBZMJ_ICIS2017, author = {Wafa Gabsi and Bechir Zalila and Mohamed Jmaiel}, title = {{Development of a parser for the AADL error model annex}}, booktitle = {{16th IEEE/ACIS International Conference on Computer and Information Science (ICIS)}}, publisher = {IEEE}, address = {Wuhan, China}, pages = {233–238}, year = {2017}, month = {may}, doi = {10.1109/ICIS.2017.7959999}, note = {Ranked C on CORE}, } - Efficient Parallel Multi-Objective Optimization for Real-time Systems Software Design Exploration
In 27th International Symposium on Rapid System Prototyping (RSP), pp. 58–64, ACM, Pittsburgh, United States, .
CORE C
DOIBibTeX
@inproceedings{RBLLFSBZMJ_RSP2016, author = {Rahma Bouaziz and Laurent Lemarchand and Frank Singhoff and Bechir Zalila and Mohamed Jmaiel}, title = {{Efficient Parallel Multi-Objective Optimization for Real-time Systems Software Design Exploration}}, booktitle = {{27th International Symposium on Rapid System Prototyping (RSP)}}, publisher = {ACM}, address = {Pittsburgh, United States}, pages = {58–64}, year = {2016}, month = {oct}, doi = {10.1145/2990299.2990310}, note = {Ranked C on CORE}, } - EMA2AOP: From the AADL Error Model Annex to aspect language towards fault tolerant systems
In 14th IEEE International Conference on Software Engineering Research, Management and Applications (SERA), pp. 155–162, IEEE, Towson, MD, USA, .
CORE C
DOIBibTeX
@inproceedings{WGBZ:SERA_2015, author = {Wafa Gabsi and Bechir Zalila and Mohamed Jmaiel}, title = {{EMA2AOP: From the AADL Error Model Annex to aspect language towards fault tolerant systems}}, booktitle = {{14th IEEE International Conference on Software Engineering Research, Management and Applications (SERA)}}, publisher = {IEEE}, address = {Towson, MD, USA}, pages = {155–162}, year = {2016}, month = {jun}, doi = {10.1109/SERA.2016.7516141}, note = {Ranked C on CORE}, } - AspectAda: An aspect oriented extension of ada for real-time systems
In 15th IEEE/ACIS International Conference on Computer and Information Science (ICIS), pp. 1–6, IEEE, Okayama, Japan, .
CORE C
DOIBibTeX
@inproceedings{WGBZ:ACIS_2016, author = {Wafa Gabsi and Bechir Zalila and Mohamed Jmaiel}, title = {{AspectAda: An aspect oriented extension of ada for real-time systems}}, booktitle = {{15th IEEE/ACIS International Conference on Computer and Information Science (ICIS)}}, publisher = {IEEE}, address = {Okayama, Japan}, pages = {1–6}, year = {2016}, month = {jun}, doi = {10.1109/ICIS.2016.7550825}, note = {Ranked C on CORE}, } - Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance
In 21st Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe), Lecture Notes in Computer Science, vol. 9695, pp. 129–144, Springer, Pisa, Italy, .
CORE A
DOIBibTeX
@inproceedings{GabsiZJ_RST16, author = {Wafa Gabsi and Bechir Zalila and Mohamed Jmaiel}, title = {{Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance}}, booktitle = {{21st Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe)}}, publisher = {Springer}, address = {Pisa, Italy}, series = {Lecture Notes in Computer Science}, volume = {9695}, pages = {129–144}, year = {2016}, month = {may}, doi = {10.1007/978-3-319-39083-3_9}, note = {Ranked A on CORE}, } - Architecture Exploration of Real-time Systems Based on Multi-Objective Optimization
In 20th International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 1–10, IEEE, Golden Coast, Australia, .
CORE A
DOIBibTeX
@inproceedings{RBFSLLBZMJ2015ICECCS, author = {Rahma Bouaziz and Laurent Lemarchand and Frank Singhoff and Bechir Zalila and Mohamed Jmaiel}, title = {{Architecture Exploration of Real-time Systems Based on Multi-Objective Optimization}}, booktitle = {{20th International Conference on Engineering of Complex Computer Systems (ICECCS)}}, publisher = {IEEE}, address = {Golden Coast, Australia}, pages = {1–10}, year = {2015}, month = {dec}, doi = {10.1109/ICECCS.2015.11}, note = {Ranked A on CORE}, } - From AADL Model to LNT Specification
In 20th International Conference on Reliable Software Technologies (Ada-Europe), Lecture Notes in Computer Science, vol. 9111, pp. 146-161, Springer, .
CORE A
DOIBibTeX
@inproceedings{HMBZJHMJ:RST2015, author = {Hana Mkaouar and Bechir Zalila and Jérôme Hugues and Mohamed Jmaiel}, title = {{From AADL Model to LNT Specification}}, booktitle = {{20th International Conference on Reliable Software Technologies (Ada-Europe)}}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {9111}, pages = {146-161}, year = {2015}, month = {jun}, doi = {10.1007/978-3-319-19584-1_10}, note = {Ranked A on CORE}, } - Fault Tolerance for Distributed Real Time Dynamically Reconfigurable Systems from Modeling to Implementation
In 22nd IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE), Third Track on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures (AROSA), pp. 98–103, IEEE Computer Society, Hammamet, Tunisia, .
CORE B
DOIBibTeX
@inproceedings{WGBZ:WETICE2013AROSA, author = {Wafa Gabsi and Bechir Zalila}, title = {{Fault Tolerance for Distributed Real Time Dynamically Reconfigurable Systems from Modeling to Implementation}}, booktitle = {{22nd IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE), Third Track on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures (AROSA)}}, publisher = {IEEE Computer Society}, address = {Hammamet, Tunisia}, pages = {98–103}, year = {2013}, month = {jun}, doi = {10.1109/WETICE.2013.41}, note = {Ranked B on CORE}, } - Towards an Aspect Oriented Language Compliant with Real Time Constraints
In 22nd IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE), Third Track on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures (AROSA), pp. 68–73, IEEE Computer Society, Hammamet, Tunisia, .
CORE B
DOIBibTeX
@inproceedings{WGRBBZ:WETICE2013AROSA, author = {Wafa Gabsi and Rahma Bouaziz and Bechir Zalila}, title = {{Towards an Aspect Oriented Language Compliant with Real Time Constraints}}, booktitle = {{22nd IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE), Third Track on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures (AROSA)}}, publisher = {IEEE Computer Society}, address = {Hammamet, Tunisia}, pages = {68–73}, year = {2013}, month = {jun}, doi = {10.1109/WETICE.2013.65}, note = {Ranked B on CORE}, } - Towards a Verification Approach for Reconfigurable Embedded Systems
In IEEE Symposium on Computers and Communications (ISCC), pp. 750-752, IEEE Computer Society, Cappadocia, Turkey, .
CORE B
DOIBibTeX
@inproceedings{FKAGBZMJ:ISCC2012, author = {Fatma Krichen and Amal Gassara and Bechir Zalila and Mohamed Jmaiel}, title = {{Towards a Verification Approach for Reconfigurable Embedded Systems}}, booktitle = {{IEEE Symposium on Computers and Communications (ISCC)}}, publisher = {IEEE Computer Society}, address = {Cappadocia, Turkey}, pages = {750-752}, year = {2012}, month = {july}, doi = {10.1109/ISCC.2012.6249388}, note = {Ranked B on CORE}, } - A Middleware for Reconfigurable Distributed Real-Time Embedded Systems
In 10th International Conference on Software Engineering Research, Management and Applications (SERA), Studies in Computational Intelligence, vol. 430, pp. 81-96, Springer, .
CORE C
DOIBibTeX
@inproceedings{FKBZMJBH:SERA-12, author = {Fatma Krichen and Bechir Zalila and Mohamed Jmaiel and Brahim Hamid}, title = {{A Middleware for Reconfigurable Distributed Real-Time Embedded Systems}}, booktitle = {{10th International Conference on Software Engineering Research, Management and Applications (SERA)}}, publisher = {Springer}, series = {Studies in Computational Intelligence}, volume = {430}, pages = {81-96}, year = {2012}, month = {jun}, doi = {10.1007/978-3-642-30460-6_6}, note = {Ranked C on CORE}, } - Design-Time Verification of Reconfigurable Real-time Embedded Systems
In 14th International Conference on High Performance Computing and Communication, 9th International Conference on Embedded Software and Systems (HPCC-ICESS), pp. 1487-1494, IEEE, Liverpool, United Kingdom, .
CORE B
DOIBibTeX
@inproceedings{FKAGBZMJ:ICESS2012, author = {Fatma Krichen and Brahim Hamid and Bechir Zalila and Mohamed Jmaiel}, title = {{Design-Time Verification of Reconfigurable Real-time Embedded Systems}}, booktitle = {{14th International Conference on High Performance Computing and Communication, 9th International Conference on Embedded Software and Systems (HPCC-ICESS)}}, publisher = {IEEE}, address = {Liverpool, United Kingdom}, pages = {1487-1494}, year = {2012}, month = {jun}, doi = {10.1109/HPCC.2012.217}, note = {Ranked B on CORE}, } - An MDE-Based Approach for Reconfigurable Embedded Systems
In 21st IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE), Znd track on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures (AROSA), pp. 78–83, IEEE Computer Society, Toulouse, France, .
CORE B
DOIBibTeX
@inproceedings{FKAGBHBZ:WETICE2012AROSA, author = {Fatma Krichen and Amal Ghorbel and Brahim Hamid and Bechir Zalila}, title = {{An MDE-Based Approach for Reconfigurable Embedded Systems}}, booktitle = {{21st IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE), Znd track on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures (AROSA)}}, publisher = {IEEE Computer Society}, address = {Toulouse, France}, pages = {78–83}, year = {2012}, month = {jun}, doi = {10.1109/WETICE.2012.57}, note = {Ranked B on CORE}, } - Modélisation et vérification des systèmes embarqués temps réel reconfigurables
In 6ème Conférence Internationale Francophone sur les Architectures Logicielles, pp. 1-8, Montpellier, France, .
BibTeX
@inproceedings{FKAGBZBHMJ:CAL-12, author = {Fatma Krichen and Amal Gassara and Bechir Zalila and Brahim Hamid and Mohamed Jmaiel}, title = {{Modélisation et vérification des systèmes embarqués temps réel reconfigurables}}, booktitle = {{6ème Conférence Internationale Francophone sur les Architectures Logicielles}}, address = {Montpellier, France}, pages = {1-8}, year = {2012}, month = {may}, } - Towards a Model-Based Approach for Reconfigurable DRE Systems
In 5th European Conference on Software Architecture (ECSA), Lecture Notes in Computer Science, vol. 6903, pp. 295–302, Springer, Essen, Germany, .
CORE A
DOIBibTeX
@inproceedings{FKBHBZMJ:ECSA-2011, author = {Fatma Krichen and Brahim Hamid and Bechir Zalila and Mohamed Jmaiel}, title = {{Towards a Model-Based Approach for Reconfigurable DRE Systems}}, booktitle = {{5th European Conference on Software Architecture (ECSA)}}, publisher = {Springer}, address = {Essen, Germany}, series = {Lecture Notes in Computer Science}, volume = {6903}, pages = {295–302}, year = {2011}, month = {sep}, doi = {10.1007/978-3-642-23798-0_32}, note = {Ranked A on CORE}, } - Toward an Aspect Oriented ADL for Embedded Systems
In 4th European Conference on Software Architecture (ECSA), Lecture Notes in Computer Science, vol. 6285, pp. 489-492, Springer, Copenhagen, Denmark, .
CORE A
DOIBibTeX
@inproceedings{SLSKBZMJ:RC-ECSA2010, author = {Sihem Loukil and Slim Kallel and Bechir Zalila and Mohamed Jmaiel}, title = {{Toward an Aspect Oriented ADL for Embedded Systems}}, booktitle = {{4th European Conference on Software Architecture (ECSA)}}, publisher = {Springer}, address = {Copenhagen, Denmark}, series = {Lecture Notes in Computer Science}, volume = {6285}, pages = {489-492}, year = {2010}, month = {august}, doi = {10.1007/978-3-642-15114-9_47}, note = {Ranked A on CORE}, } - Designing Dynamic Reconfiguration for Distributed Real Time Embedded Systems
In 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE), pp. 249–254, IEEE, Tozeur, Tunisia, .
DOIBibTeX
@inproceedings{FKBHBZBC:NOTERE2010, author = {Fatma Krichen and Brahim Hamid and Bechir Zalila and Bernard Coulette}, title = {{Designing Dynamic Reconfiguration for Distributed Real Time Embedded Systems}}, booktitle = {{10th Annual International Conference on New Technologies of Distributed Systems (NOTERE)}}, publisher = {IEEE}, address = {Tozeur, Tunisia}, pages = {249–254}, year = {2010}, month = {may}, doi = {10.1109/NOTERE.2010.5536671}, } - AO4AADL: an Aspect Oriented ADL for Embedded Systems
In 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE), a Demonstration Paper, Tozeur, Tunisia, .
BibTeX
@inproceedings{SLSKBZMJ:Demo-NOTERE2010, author = {Sihem Loukil and Slim Kallel and Bechir Zalila and Mohamed Jmaiel}, title = {{AO4AADL: an Aspect Oriented ADL for Embedded Systems}}, booktitle = {{10th Annual International Conference on New Technologies of Distributed Systems (NOTERE), a Demonstration Paper}}, address = {Tozeur, Tunisia}, year = {2010}, month = {may}, } - OCARINA: An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications
In 14th Ada-Europe International Conference Reliable Software Technologies (Ada-Europe), Lecture Notes in Computer Science, vol. 5570, pp. 237-250, Springer, Brest, France, .
CORE A
DOIBibTeX
@inproceedings{GL:AE09, author = {Gilles Lasnier and Bechir Zalila and Laurent Pautet and Jérôme Hugues}, title = {{OCARINA: An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications}}, booktitle = {{14th Ada-Europe International Conference Reliable Software Technologies (Ada-Europe)}}, publisher = {Springer}, address = {Brest, France}, series = {Lecture Notes in Computer Science}, volume = {5570}, pages = {237-250}, year = {2009}, month = {jun}, doi = {10.1007/978-3-642-01924-1_17}, note = {Ranked A on CORE}, } - Towards Automatic Middleware Generation
In 11th International Symposium on Object-oriented Real-time distributed Computing (ISORC), pp. 221-228, IEEE, Orlando, Florida, USA, .
CORE C
DOIBibTeX
@inproceedings{BZ-LP-JH:ISORC08, author = {Bechir Zalila and Laurent Pautet and Jérôme Hugues}, title = {{Towards Automatic Middleware Generation}}, booktitle = {{11th International Symposium on Object-oriented Real-time distributed Computing (ISORC)}}, publisher = {IEEE}, address = {Orlando, Florida, USA}, pages = {221-228}, year = {2008}, month = {may}, doi = {10.1109/ISORC.2008.27}, note = {Ranked C on CORE}, } - Using AADL to build critical real-time systems:Experiments in the IST-ASSERT project
In 4th European Congress on Embedded Real Time Soft-ware and Systems (ERTS), Toulouse, France, .
BibTeX
@inproceedings{JH-LP-BZ:ERTS08, author = {Jérôme Hugues and Laurent Pautet and Bechir Zalila and Pierre Dissaux and Maxime Perrotin}, title = {{Using AADL to build critical real-time systems:Experiments in the IST-ASSERT project}}, booktitle = {{4th European Congress on Embedded Real Time Soft-ware and Systems (ERTS)}}, address = {Toulouse, France}, year = {2008}, month = {jan}, } - Code Generation Strategies from AADL Architectural Descriptions Targeting the High Integrity Domain
In 4th European Congress on Embedded Real Time Soft-ware and Systems (ERTS), Toulouse, France, .
BibTeX
@inproceedings{Jd-JH-LP-BZ:ERTS08, author = {Julien Delange and Jérôme Hugues and Laurent Pautet and Bechir Zalila}, title = {{Code Generation Strategies from AADL Architectural Descriptions Targeting the High Integrity Domain}}, booktitle = {{4th European Congress on Embedded Real Time Soft-ware and Systems (ERTS)}}, address = {Toulouse, France}, year = {2008}, month = {jan}, } - From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain
In 13th Monterey Workshop on Composition of Embedded Systems, vol. Lecture Notes in Computer Science, no. 4888, pp. 35-52, Springer, Paris, France, .
DOIBibTeX
@inproceedings{JH-BZ-LP:MONTEREY06, author = {Jérôme Hugues and Laurent Pautet and Bechir Zalila}, title = {{From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain}}, booktitle = {{13th Monterey Workshop on Composition of Embedded Systems}}, publisher = {Springer}, address = {Paris, France}, volume = {Lecture Notes in Computer Science}, number = {4888}, pages = {35-52}, year = {2008}, month = {jan}, doi = {10.1007/978-3-540-77419-8_3}, } - Generating Distributed High Integrity Applications from their Architectural Description
In 12th International Conference on Reliable Software Technologies (Ada-Europe), vol. Lecture Notes in Computer Science, no. 4498, pp. 155-167, Springer, Geneva, Switzerland, .
CORE A
DOIBibTeX
@inproceedings{ZB-IH-JH-LP:AE-07, author = {Bechir Zalila and Irfan Hamid and Jérôme Hugues and Laurent Pautet}, title = {{Generating Distributed High Integrity Applications from their Architectural Description}}, booktitle = {{12th International Conference on Reliable Software Technologies (Ada-Europe)}}, publisher = {Springer}, address = {Geneva, Switzerland}, volume = {Lecture Notes in Computer Science}, number = {4498}, pages = {155-167}, year = {2007}, month = {jun}, doi = {10.1007/978-3-540-73230-3_12}, note = {Ranked A on CORE}, } - Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina
In 18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP), pp. 106-112, IEEE, Porto Allegre, Brazil, .
CORE C
DOIBibTeX
@inproceedings{JH-BZ-LP:RSP-07, author = {Jérôme Hugues and Bechir Zalila and Laurent Pautet and Fabrice Kordon}, title = {{Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina}}, booktitle = {{18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP)}}, publisher = {IEEE}, address = {Porto Allegre, Brazil}, pages = {106-112}, year = {2007}, month = {may}, doi = {10.1109/RSP.2007.33}, note = {Ranked C on CORE}, } - Combining Model processing and Middleware Configuration for Building Distributed High-Integrity Systems
In 10th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), pp. 307-312, IEEE, Santorini Island, Greece, .
CORE C
DOIBibTeX
@inproceedings{JH-BZ-LP:ISORC07, author = {Jérôme Hugues and Bechir Zalila and Laurent Pautet}, title = {{Combining Model processing and Middleware Configuration for Building Distributed High-Integrity Systems}}, booktitle = {{10th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC)}}, publisher = {IEEE}, address = {Santorini Island, Greece}, pages = {307-312}, year = {2007}, month = {may}, doi = {10.1109/ISORC.2007.23}, note = {Ranked C on CORE}, } - A Generative Approach to Building a Framework for Hard Real-Time Applications
In 31st Annual NASA Goddard Software Engineering Workshop, pp. 269-278, IEEE, Baltimore, USA, .
CORE C
DOIBibTeX
@inproceedings{IH:SEW-07, author = {Irfan Hamid and Bechir Zalila and Elie Najm and Jérôme Hugues}, title = {{A Generative Approach to Building a Framework for Hard Real-Time Applications}}, booktitle = {{31st Annual NASA Goddard Software Engineering Workshop}}, publisher = {IEEE}, address = {Baltimore, USA}, pages = {269-278}, year = {2007}, month = {mar}, doi = {10.1109/SEW.2007.83}, note = {Ranked C on CORE}, } - Middleware and Tool suite for High Integrity Systems
In Work-in-Progress session of the Real-Time Systems Symposium (RTSS-WiP), pp. 1-4, Rio de Janeiro, Brazil, .
CORE A*
BibTeX
@inproceedings{JH-BZ-LP:RTSS-WIP06, author = {Jérôme Hugues and Bechir Zalila and Laurent Pautet}, title = {{Middleware and Tool suite for High Integrity Systems}}, booktitle = {{Work-in-Progress session of the Real-Time Systems Symposium (RTSS-WiP)}}, address = {Rio de Janeiro, Brazil}, pages = {1-4}, year = {2006}, month = {dec}, note = {Ranked A* on CORE}, }
Book chapters 3
- Towards a Model Level Replication Technique for Fault Tolerant Systems Using AADL
In Roger Lee, editor, Software Engineering, Artificial Intelligence, Networking and Paral/Distributed Computing 2015, Studies in Computational Intelligence, vol. 612, pp. 159-175, Springer International Publishing, . ISBN 978-3-319-23508-0.
DOIBibTeX
@incollection{WGBZ2015SERA, author = {Wafa Gabsi and Bechir Zalila}, editor = {Lee, Roger}, title = {{Towards a Model Level Replication Technique for Fault Tolerant Systems Using AADL}}, booktitle = {{Software Engineering, Artificial Intelligence, Networking and Paral/Distributed Computing 2015}}, publisher = {Springer International Publishing}, series = {Studies in Computational Intelligence}, volume = {612}, pages = {159-175}, year = {2016}, doi = {10.1007/978-3-319-23509-7_12}, isbn = {978-3-319-23508-0}, } - Model-Based Code Generation
In Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet, editors, Embedded Systems: Analysis and Modeling with SysML, UML and AADL, Wiley-ISTE, . ISBN 9781848215009.
BibTeX
@inbook{BZLP2013EMBSYS, author = {Laurent Pautet and Bechir Zalila}, editor = {Fabrice Kordon and Jérôme Hugues and Agusti Canals and Alain Dohet}, title = {{Embedded Systems: Analysis and Modeling with SysML, UML and AADL}}, chapter = {Model-Based Code Generation}, booktitle = {{Embedded Systems: Analysis and Modeling with SysML, UML and AADL}}, publisher = {Wiley-ISTE}, year = {2013}, isbn = {9781848215009}, } - Génération de code à partir du modèle
In Fabrice Kordon, Jérôme Hugues, Agusti Canals, Alain Dohet, editors, Modélisation et analyse de systèmes embarqués, Hermes Science, . ISBN 9782746239005.
BibTeX
@inbook{BZLP2013SYSEMB, author = {Laurent Pautet and Bechir Zalila}, editor = {Fabrice Kordon and Jérôme Hugues and Agusti Canals and Alain Dohet}, title = {{Modélisation et analyse de systèmes embarqués}}, chapter = {Génération de code à partir du modèle}, booktitle = {{Modélisation et analyse de systèmes embarqués}}, publisher = {Hermes Science}, year = {2013}, isbn = {9782746239005}, }
Books 4
- Génie Logiciel Distribué - La Technologie CORBA
Éditions Universitaires Européennes, Europe, . ISBN 978-620-6-68770-2.
https://www.morebooks.shop/shop-ui/shop/product/9786206687702 and https://www.amazon.fr/Génie-Logiciel-Distribué-Technologie-Activités/dp/6206687708/
BibTeX
@book{zalila2023corbafr, author = {Bechir Zalila}, title = {{Génie Logiciel Distribué - La Technologie CORBA}}, publisher = {Éditions Universitaires Européennes}, address = {Europe}, year = {2023}, isbn = {978-620-6-68770-2}, note = {https://www.morebooks.shop/shop-ui/shop/product/9786206687702 and https://www.amazon.fr/Génie-Logiciel-Distribué-Technologie-Activités/dp/6206687708/}, } - Théorie des Graphes
Éditions Universitaires Européennes, Europe, . ISBN 978-620-3-45011-8.
https://www.morebooks.shop/shop-ui/shop/product/9786203450118 and https://www.amazon.fr/Théorie-Graphes-Cours-Activités-Pratiques/dp/6203450111/
BibTeX
@book{zalila2023graphfr, author = {Bechir Zalila}, title = {{Théorie des Graphes}}, publisher = {Éditions Universitaires Européennes}, address = {Europe}, year = {2023}, isbn = {978-620-3-45011-8}, note = {https://www.morebooks.shop/shop-ui/shop/product/9786203450118 and https://www.amazon.fr/Théorie-Graphes-Cours-Activités-Pratiques/dp/6203450111/}, } - La Modélisation Architecturale au Service des Systèmes TR2E. Contributions à la Configuration Dynamique, la Tolérance aux Pannes, l’Optimisation et la Vérification Formelle
Éditions Universitaires Européennes, Europe, . ISBN 978-620-3-44199-4.
Available at https://www.morebooks.shop/shop-ui/shop/product/9786203441994 and https://www.amazon.com/Modélisation-Architecturale-Service-Systèmes-TR2E/dp/6203441996/
BibTeX
@book{zalila2022hurepubfr, author = {Bechir Zalila}, title = {{La Modélisation Architecturale au Service des Systèmes TR2E. Contributions à la Configuration Dynamique, la Tolérance aux Pannes, l’Optimisation et la Vérification Formelle}}, publisher = {Éditions Universitaires Européennes}, address = {Europe}, year = {2022}, isbn = {978-620-3-44199-4}, note = {Available at https://www.morebooks.shop/shop-ui/shop/product/9786203441994 and https://www.amazon.com/Modélisation-Architecturale-Service-Systèmes-TR2E/dp/6203441996/}, } - Configuration et déploiement d'applications TR2E à l'aide d'un ADL
Éditions Universitaires Européennes, Europe, . ISBN 978-620-3-44273-1.
Available at https://www.morebooks.shop/shop-ui/shop/product/9786203442731 and https://www.amazon.com/Configuration-déploiement-dapplications-laide-French/dp/6203442739/
BibTeX
@book{zalila2022phdrepubfr, author = {Bechir Zalila}, title = {{Configuration et déploiement d'applications TR2E à l'aide d'un ADL}}, publisher = {Éditions Universitaires Européennes}, address = {Europe}, year = {2022}, isbn = {978-620-3-44273-1}, note = {Available at https://www.morebooks.shop/shop-ui/shop/product/9786203442731 and https://www.amazon.com/Configuration-déploiement-dapplications-laide-French/dp/6203442739/}, }
Theses and diplomas 3
- La Modélisation Architecturale au Service des Systèmes Temps réel Répartis Embarqués - Contributions à la Configuration Dynamique, la Tolérance aux Pannes, l'Optimisation et la Vérification Formelle
Habilitation Universitaire, École Nationale d'Ingénieurs de Sfax, .
PDFBibTeX
@phdthesis{zalila22huthesis, author = {Bechir Zalila}, title = {{La Modélisation Architecturale au Service des Systèmes Temps réel Répartis Embarqués - Contributions à la Configuration Dynamique, la Tolérance aux Pannes, l'Optimisation et la Vérification Formelle}}, school = {École Nationale d'Ingénieurs de Sfax}, type = {Habilitation Universitaire}, year = {2022}, month = {mai}, url = {data/hu_bz_main_final.pdf}, } - Configuration et Déploiement d'Applications Temps-réel Réparties Embarquées à l'aide d'un Langage de Description d'Architecture
Thèse de Doctorat, École Nationale Supérieure des Télécommunications, .
PDFBibTeX
@phdthesis{zalila08phdthesis, author = {Bechir Zalila}, title = {{Configuration et Déploiement d'Applications Temps-réel Réparties Embarquées à l'aide d'un Langage de Description d'Architecture}}, school = {École Nationale Supérieure des Télécommunications}, type = {Thèse de Doctorat}, year = {2008}, month = {nov}, url = {data/these_bz_main_final.pdf}, } - Optimisation, Déterminisme et Asynchronisme de Souches et Squelettes CORBA pour Systèmes Répartis Temps-réel
Mastère de Recherche, Université Pierre & Marie Curie, Paris VI, .
PDFBibTeX
@mastersthesis{zalila05master, author = {Bechir Zalila}, title = {{Optimisation, Déterminisme et Asynchronisme de Souches et Squelettes CORBA pour Systèmes Répartis Temps-réel}}, school = {Université Pierre & Marie Curie, Paris VI}, type = {Mastère de Recherche}, year = {2005}, month = {sep}, url = {data/rapport-master-bechir-zalila.pdf}, }
Technical reports 3
- Ocarina Documentation
.
PublisherBibTeX
@techreport{DHZ-21, author = {Julien Delange and Jérôme Hugues and Bechir Zalila}, title = {{Ocarina Documentation}}, year = {2021}, month = {sep}, url = {https://ocarina.readthedocs.io/_/downloads/en/stable/pdf/}, } - Ocarina, a Compiler for the AADL
École Nationale Supérieure des Télécommunications, .
PDFBibTeX
@techreport{VZH-12, author = {Jérôme Hugues and Thomas Vergnaud and Bechir Zalila}, title = {{Ocarina, a Compiler for the AADL}}, institution = {École Nationale Supérieure des Télécommunications}, year = {2012}, month = {nov}, url = {https://download.tuxfamily.org/taste/snapshots/doc/ocarina-20121111.pdf}, } - PolyORB High Integrity User's Guide
École Nationale Supérieure des Télécommunications, .
PublisherBibTeX
@techreport{HZ-07, author = {Jérôme Hugues and Bechir Zalila}, title = {{PolyORB High Integrity User's Guide}}, institution = {École Nationale Supérieure des Télécommunications}, year = {2007}, month = {jan}, url = {https://github.com/OpenAADL/polyorb-hi-ada}, }
Invited talks and seminars 2
- Rédiger pour être publié
.
9ème Colloque sur les Méthodes pour les Logiciels Distribués Adaptatifs (METHODICA-II-2012)
BibTeX
@misc{zalila12methodica, author = {Bechir Zalila}, title = {{Rédiger pour être publié}}, year = {2012}, month = {dec}, note = {9ème Colloque sur les Méthodes pour les Logiciels Distribués Adaptatifs (METHODICA-II-2012)}, keywords = {seminar}, } - Configuration et déploiement d’applications temps-réel réparties embarquées à l’aide d’un langage de description d’architecture
.
4ème Colloque sur les Méthodes pour les Logiciels Distribués Adaptatifs (METHODICA-I-2009)
BibTeX
@misc{zalila09methodica, author = {Bechir Zalila}, title = {{Configuration et déploiement d’applications temps-réel réparties embarquées à l’aide d’un langage de description d’architecture}}, year = {2009}, month = {mar}, note = {4ème Colloque sur les Méthodes pour les Logiciels Distribués Adaptatifs (METHODICA-I-2009)}, keywords = {seminar}, }
Posters and demonstrations
- Demonstration poster, NOTERE'2010
- Describes the contributions of Sihem Loukil’s master’s thesis work. Presented at the NOTERE'2010 conference held in June 2010 in Tozeur, Tunisia.
- Poster, NOTERE'2010
- Describes one of the contributions of Fatma Krichen’s PhD thesis work. Presented at the NOTERE'2010 conference held in June 2010 in Tozeur, Tunisia.
- Poster, RTSS'06
- Describes the Ocarina tool suite. Presented at RTSS'06 in December 2006 in Rio de Janeiro, Brazil.
