Suivre
Bechir Zalila
Bechir Zalila
Associate Professor of Computer Science, ENIS, ReDCAD Laboratory, University of SFAX
Adresse e-mail validée de enis.tn - Page d'accueil
Titre
Citée par
Citée par
Année
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
1782008
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
1152009
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
552007
Ocarina: a Compiler for the AADL
T Vergnaud, B Zalila, J Hugues
Rap. tech., École Nationale Supérieure des Télécommunications, Paris, 2006
412006
Towards automatic middleware generation
B Zalila, L Pautet, J Hugues
2008 11th IEEE International Symposium on Object and Component-Oriented Real …, 2008
332008
Towards a model-based approach for reconfigurable dre systems
F Krichen, B Hamid, B Zalila, M Jmaiel
European Conference on Software Architecture, 295-302, 2011
252011
Code generation strategies from aadl architectural descriptions targeting the high integrity domain
J Delange, J Hugues, L Pautet, B Zalila
4th European Congress ERTS, Toulouse, 2008
232008
From AADL model to LNT specification
H Mkaouar, B Zalila, J Hugues, M Jmaiel
Ada-Europe International Conference on Reliable Software Technologies, 146-161, 2015
202015
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
202008
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
182020
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
162010
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
152015
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
152010
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
132016
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
132007
Middleware and tool suite for high integrity systems
J Hugues, B Zalila, L Pautet
Proceedings of RTSS-WiP 6, 1-4, 2006
112006
Using AADL to build critical real-time systems: Experiments in the IST-ASSERT project
J Hugues, L Pautet, B Zalila, P Dissaux, M Perrotin
4th European Congress ERTS, Toulouse, Paris, 2008
102008
Ocarina user guide
B Zalila, J Hugues, L Pautet
TELECOM ParisTech, 2006
102006
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
92015
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20