Follow
Bechir Zalila
Bechir Zalila
Associate Professor of Computer Science, ENIS, ReDCAD Laboratory, University of SFAX
Verified email at enis.tn - Homepage
Title
Cited by
Cited by
Year
From the prototype to the final embedded system using the Ocarina AADL tool suite
J Hugues, B Zalila, L Pautet, F Kordon
ACM Transactions on Embedded Computing Systems (TECS) 7 (4), 1-25, 2008
1872008
Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications
G Lasnier, B Zalila, L Pautet, J Hugues
International Conference on Reliable Software Technologies, 237-250, 2009
1312009
Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina.
J Hugues, B Zalila, L Pautet, F Kordon
IEEE International Workshop on Rapid System Prototyping 7, 106, 2007
562007
Ocarina: a Compiler for the AADL
T Vergnaud, B Zalila, J Hugues
Rap. tech., École Nationale Supérieure des Télécommunications, Paris, 2006
432006
Towards automatic middleware generation
B Zalila, L Pautet, J Hugues
2008 11th IEEE International Symposium on Object and Component-Oriented Real …, 2008
362008
A formal approach to AADL model-based software engineering
H Mkaouar, B Zalila, J Hugues, M Jmaiel
International Journal on Software Tools for Technology Transfer 22 (2), 219-247, 2020
322020
Code generation strategies from aadl architectural descriptions targeting the high integrity domain
J Delange, J Hugues, L Pautet, B Zalila
Embedded Real Time Software and Systems (ERTS2008), 2008
262008
Towards a model-based approach for reconfigurable dre systems
F Krichen, B Hamid, B Zalila, M Jmaiel
Software Architecture: 5th European Conference, ECSA 2011, Essen, Germany …, 2011
252011
Configuration et déploiement d'applications temps-réel réparties embarquées à l'aide d'un langage de description d'architecture
B Zalila
Télécom ParisTech, 2008
242008
From AADL model to LNT specification
H Mkaouar, B Zalila, J Hugues, M Jmaiel
Reliable Software Technologies–Ada-Europe 2015: 20th Ada-Europe …, 2015
222015
Architecture exploration of real-time systems based on multi-objective optimization
R Bouaziz, L Lemarchand, F Singhoff, B Zalila, M Jmaiel
2015 20th international conference on engineering of complex computer …, 2015
172015
AO4AADL: Aspect oriented extension for AADL
S Loukil, S Kallel, B Zalila, M Jmaiel
Open Computer Science 3 (2), 43-68, 2013
172013
AO4AADL: an Aspect Oriented ADL for Embedded Systems
S Loukil, S Kallel, B Zalila, M Jmaiel
the 10th Annual International Conference on New Technologies of Distributed …, 2010
172010
Designing dynamic reconfiguration for distributed real time embedded systems
F Krichen, B Hamid, B Zalila, B Coulette
2010 10th Annual International Conference on New Technologies of Distributed …, 2010
172010
Development of reconfigurable distributed embedded systems with a model‐driven approach
F Krichen, B Hamid, B Zalila, M Jmaiel, B Coulette
Concurrency and Computation: Practice and Experience 27 (6), 1391-1411, 2015
162015
Using AADL to build critical real-time systems: Experiments in the IST-ASSERT project
J Hugues, L Pautet, B Zalila, P Dissaux, M Perrotin
Embedded Real Time Software and Systems (ERTS2008), 2008
152008
Generating distributed high integrity applications from their architectural description
B Zalila, I Hamid, J Hugues, L Pautet
International Conference on Reliable Software Technologies, 155-167, 2007
152007
Efficient parallel multi-objective optimization for real-time systems software design exploration
R Bouaziz, L Lemarchand, F Singhoff, B Zalila, M Jmaiel
Proceedings of the 27th International Symposium on Rapid System Prototyping …, 2016
142016
Multi-objective design exploration approach for ravenscar real-time systems
R Bouaziz, L Lemarchand, F Singhoff, B Zalila, M Jmaiel
Real-Time Systems 54, 424-483, 2018
132018
Middleware and tool suite for high integrity systems
J Hugues, B Zalila, L Pautet
Proceedings of RTSS-WiP 6, 1-4, 2006
122006
The system can't perform the operation now. Try again later.
Articles 1–20