-
[1] Gabsi, W., Zalila, B., Hugues, J. : A development process for the design, implementation and code generation of fault tolerant reconfigurable real time systems. IJAACS 9(3/4) (2016) 269–287
-
[2] Krichen,F.,Hamid,B.,Zalila,B.,Jmaiel,M.,Coulette,B.:Developmentofreconfigurabledistributedembedded systems with a model-driven approach. Concurrency and Computation : Practice and Experience 27(6) (2015) 1391–1411
-
[3] Loukil, S., Kallel, S., Zalila, B., Jmaiel, M. : AO4AADL : Aspect oriented extension for AADL. Central European Journal of Computer Science 3(2) (2013) 43–68
-
[4] Hugues, J., Zalila, B., Pautet, L., Kordon, F. : From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite. ACM Transactions in Embedded Computing Systems (TECS) 7(4) (jul 2008) 1–25
-
[5] Hamid, I., Zalila, B., Najm, E., Hugues, J. : Automatic framework generation for hard real-time applications. Innovations in Systems and Software Engineering : A NASA Journal (mar 2008)
-
[6] Zalila,B.,Hugues,J.,Pautet,L.:AnImprovedIDLCompilerforOptimizingCORBAApplications.ACMSIGAda Ada Letters XXVI(3) (dec 2006) 21 – 27 Best student paper award.
Articles de Colloques avec Actes
-
[1] Bouaziz, R., Lemarchand, L., Singhoff, F., Zalila, B., Jmaiel, M. : Efficient Parallel Multi-Objective Optimi- zation for Real-time Systems Software Design Exploration. In : International Symposium on Rapid System Prototyping (RSP’16), Pittsburgh, United States (October 2016)
-
[2] Gabsi, W., Zalila, B., Jmaiel, M. : AspectAda : An aspect oriented extension of ada for real-time systems. In : 15th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2016, Okayama, Japan, June 26-29, 2016. (2016) 1–6
-
[3] Gabsi, W., Zalila, B., Jmaiel, M. : Extension of the Ocarina Tool Suite to Support Reliable Replication-Based Fault-Tolerance. In : Reliable Software Technologies - Ada-Europe 2016 - 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings. (2016) 129–144
-
[4] Gabsi, W., Zalila, B., Jmaïel, M. : EMA2AOP : from the AADL error model annex to aspect language to- wards fault tolerant systems. In : 14th IEEE International Conference on Software Engineering Research, Management and Applications, SERA 2016, Towson, MD, USA, June 8-10, 2016. (2016) 155–162
-
[5] Bouaziz,R.,Lemarchand,L.,Singhoff,F.,Zalila,B.,Jmaiel,M.:ArchitectureExplorationofReal-timeSystems Based on Multi-Objective Optimization. In : 20th International Conference on Engineering of Complex Com- puter Systems (ICECCS 2015). Proceedings of the 20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015), Golden Coast, Australia (December 2015) 11 pp.
-
[6] Mkaouar, H., Zalila, B., Hugues, J., Jmaiel, M. : From aadl model to lnt specification. In de la Puente, J.A., Vardanega, T., eds. : Reliable Software Technologies – Ada-Europe 2015. Volume 9111 of Lecture Notes in Computer Science. Springer International Publishing (2015) 146–161
-
[7] Gabsi, W., Bouaziz, R., Zalila, B. : Towards an Aspect Oriented Language Compliant with Real Time Constraints. In : 22nd IEEE International Workshops on Enabling Technologies : Infrastructures for Collabora- tive Enterprises, WETICE 2013, Third trac on Adaptive and Reconfigurable Service-oriented and Component- based Applications and Architectures - AROSA 2013, Hammamet, Tunisia, IEEE Computer Society (2013)
-
[8] Gabsi,W.,Zalila,B.:FaultToleranceforDistributedRealTimeDynamicallyReconfigurableSystemsfromMo- deling to Implementation. In : 22nd IEEE International Workshops on Enabling Technologies : Infrastructures for Collaborative Enterprises, WETICE 2013, Third trac on Adaptive and Reconfigurable Service-oriented and Component-based Applications and Architectures - AROSA 2013, Hammamet, Tunisia, IEEE Computer So- ciety (2013)
-
[9] Krichen,F.,Gassara,A.,Zalila,B.,Jmaiel,M.:TowardsaVerificationApproachforReconfigurableEmbedded Systems. In : Computers and Communications (ISCC), 2012 IEEE Symposium on. (july 2012) 750–752
-
[10] Krichen, F., Ghorbel, A., Hamid, B., Zalila, B. : An MDE-Based Approach for Reconfigurable Embedded Systems. In : 21st IEEE International Workshops on Enabling Technologies : Infrastructures for Collaborative Enterprises, WETICE 2012, Second trac on Adaptive and Reconfigurable Service-oriented and Component- based Applications and Architectures - AROSA 2012, Toulouse, France, IEEE Computer Society (2012)
-
[11] Krichen,F.,Hamid,B.,Zalila,B.,Jmaiel,M.:Design-TimeVerificationofReconfigurableReal-timeEmbedded Systems. In : High Performance Computing and Communication 2012 IEEE 9th International Conference on Embedded Software and Systems (HPCC-ICESS), 2012 IEEE 14th International Conference on. (2012) 1487–1494
-
[12] Krichen, F., Zalila, B., Jmaiel, M., Hamid, B. : A Middleware for Reconfigurable Distributed Real-Time Embed- ded Systems. In Lee, R., ed. : Software Engineering Research, Management and Applications, SERA’2012. Volume 430 of Studies in Computational Intelligence., Springer Berlin / Heidelberg (2012) 81–96
-
[13] Krichen, F., Gassara, A., Zalila, B., Hamid, B., Jmaiel, M. : Modélisation et vérification des systèmes em- barqués temps réel reconfigurables. In : 6ème Conférence Internationale Francophone sur les Architectures Logicielles, Montpellier, France (2012)
-
[14] Krichen, F., Hamid, B., Zalila, B., Jmaiel, M. : Towards a Model-Based Approach for Reconfigurable DRE Systems. In : Software Architecture - 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings. Volume 6903 of Lecture Notes in Computer Science., Springer (2011) 295–302
-
[15] Loukil, S., Kallel, S., Zalila, B., Jmaiel, M. : Toward an Aspect Oriented ADL for Embedded Systems. In Babar, M., Gorton, I., eds. : Software Architecture. Volume 6285 of Lecture Notes in Computer Science. 4th European Conference, ECSA 2010 Copenhagen, Denmark, August 23-26, 2010 Proceedings. Springer Berlin / Heidelberg, Copenhagen - Denmark (August 2010) 489–492
-
[16] Loukil, S., Kallel, S., Zalila, B., Jmaiel, M. : AO4AADL : an Aspect Oriented ADL for Embedded Systems. In : the 10th Annual International Conference on New Technologies of Distributed Systems - Notere 2010, a Demonstration Paper, Tozeur - Tunisia (June 2010)
-
[17] Krichen, F., Hamid, B., Zalila, B., Coulette, B. : Designing Dynamic Reconfiguration for Distributed Real Time Embedded Systems. In : New Technologies of Distributed Systems (NOTERE), 2010 10th Annual International Conference on. (may 2010) 249–254
-
[18] Lasnier, G., Zalila, B., Pautet, L., Hugues, J. : OCARINA : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications. In Kordon, F., Kermarrec, Y., eds. : Reliable Soft- ware Technologies - Ada-Europe 2009. Volume 5570 of Lecture Notes in Computer Science. Springer Berlin / Heidelberg, Brest, France (jun 2009) 237–250
-
[19] Zalila, B., Pautet, L., Hugues, J. : Towards Automatic Middleware Generation. In : 11th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC’08), Orlando, Florida, USA (may 2008) 221–228
-
[20] Hugues, J., Pautet, L., Zalila, B. : From MDD to Full Industrial Process : Building Distributed Real-Time Embedded Systems for the High-Integrity Domain. In : Monterey Workshop 2006. Volume LNCS., Paris, France (jan 2008) 35–52
-
[21] Delange, J., Hugues, J., Pautet, L., Zalila, B. : Code Generation Strategies from AADL Architectural Descrip- tions Targeting the High Integrity Domain. In : 4th European Congress ERTS, Toulouse, France (jan 2008)
-
[22] Hugues, J., Pautet, L., Zalila, B., Dissaux, P., Perrotin, M. : Using AADL to build critical real-time systems :Ex- periments in the IST-ASSERT project. In : 4th European Congress ERTS, Toulouse, France (jan 2008)
-
[23] Zalila, B., Hamid, I., Hugues, J., Pautet, L. : Generating Distributed High Integrity Applications from their Architectural Description. In : 12th International Conference on Reliable Software Technologies - Ada-Europe 2007. Volume LNCS., Geneva, Switzerland (jun 2007) 155–167
-
[24] Hugues, J., Zalila, B., Pautet, L. : 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’07), Santorini Island, Greece (may 2007) 307–312
-
[25] Hugues, J., Zalila, B., Pautet, L., Kordon, F. : Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina. In : 18th IEEE/IFIP International Workshop on Rapid System Prototyping (RSP’07), Porto Allegre Brésil (may 2007) 106–112
-
[26] Hamid, I., Zalila, B., Najm, E., Hugues, J. : A generative approach to building a framework for hard real-time applications. In : 31st Annual NASA Goddard Software Engineering Workshop, Baltimore, USA (mar 2007) 269–278
-
[27] Hugues, J., Zalila, B., L.Pautet : Middleware and Tool suite for High Integrity Systems. In : Work-in-Progress session of the Real-Time Systems Symposium (RTSS’-WiP06), Rio de Janeiro, Brésil (dec 2006) 1–4
Livres et Chapitres de Livres
-
[1] Gabsi, W., Zalila, B. : Towards a model level replication technique for fault tolerant systemsing aadl. In Lee, R., ed. : Software Engineering, Artificial Intelligence, Networking and Paral/Distributed Computing 2015. Volume 612 of Studies in Computational Intelligence. Springer International Publishing (2016) 159–175
-
[2] Pautet, L., Zalila, B. : Génération de code à partir du modèle. In : Modélisation et analyse de systèmes embarqués. Hermes Science (2013)
-
[3] Pautet, L., Zalila, B. : Model-Based Code Generation. In : Embedded Systems : Analysis and Modeling with SysML, UML and AADL. Wiley-ISTE (2013)
Documents diplômants
-
[1] Zalila, B. : Optimisation, Déterminisme et Asynchronisme de Souches et Squelettes CORBA pour Systèmes Répartis Temps-réel. Master’s thesis, Université Pierre & Marie Curie, Paris VI (sep 2005)
-
[2] Zalila, B. : Configuration et déploiement d’applications temps-réel réparties embarquées à l’aide d’un langage de description d’architecture. PhD thesis, École Nationale Supérieure des Télécommunications (nov 2008)
Rapports Techniques
-
[1] Hugues, J., Zalila, B. : PolyORB High Integrity User’s Guide. Technical report, École Nationale Supérieure des Télécommunications (jan 2007)
-
[2] Vergnaud, T., Zalila, B., Hugues, J. : Ocarina : a Compiler for the AADL. Technical report, École Nationale Supérieure des Télécommunications (jun 2006)
Séminaires
[1] Zalila, B. : Configuration and Deployment of Distributed Real-time and Embedded Applications Using an Archi- tecture Description Language. In : Méthodes Formelles pour les Systèmes Logiciels et Matériels. (apr 2008)
|
