• A Methni, M Lemerre, B Ben Hedia, S Haddad, K Barkaoui, "Specifying and Verifying Concurrent C Programs with TLA+", Formal Techniques for Safety-Critical Systems, 206-222, 2014
  • H Guesmi, B Ben Hedia, S Bliudze, S Bensalem, "Externalisation of Time-Triggered communication system in BIP high level models", JRWRTC 2014, 41
  • A Methni, M Lemerre, B Ben Hedia, K Barkaoui, S Haddad," An Approach for Verifying Concurrent C Programs", JRWRTC 2014, 41
  • A Methni, M Lemerre, B Ben Hedia, S Haddad, K Barkaoui, "C2TLA+: A translator from C to TLA+", TLA+ Community Event 2014
  • A. Methni, K. Barkaoui, B. Ben Hedia, M. Lemerre, S. Haddad, "Traduction automatique du code C vers TLA+", Session Doctorants, Conjointement a l'école d'été temps réel 2013, Toulouse, ETR13. (PDF - Attach:BibTeX Δ)
  • M. Rabai, B. Ben Hedia, J-P Babau, "Adaptation de l’algorithme JLA pour la génération de tâches temps-réel dans un modèle d’exécution Time-Triggered", Session Doctorants, Conjointement a l'école d'été temps réel 2013, Toulouse, ETR13. (PDF - Attach:BibTeX Δ)
  • Selma Azaiez, Belgacem Ben Hedia, Vincent David, "Extracting and Verifying Viewpoints Models in Multitask Applications", The Third International Conference on Advances in System Testing and Validation Lifecycle (VALID2011), Barcelona, Spain, pp. 64-70 (2011). (PDF - Attach:BibTeX Δ)
  • MOREL Lionel, BABAU Jean-Philippe, BEN HEDIA Belgacem, "Formal modelling framework of data acquisition software using a synchronous approach for timing analysis" 30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software (WRTP/RTS'09), Mrągowo, Pologne, pp. 1-8 (2009).
  • Ben Hedia, Belgacem, "Analyse temporelle des systèmes d'acquisition de données : une approche à base d'automates temporisés communicants et d'observateurs," Ph.D. thesis, Insa Lyon, Lyon, 2008. (PDF - BibTeX )
  • Belgacem Ben Hedia, Riadh ROBBANA, Jean Philippe BABAU, Fabrice Jumel "Observateurs de propriétés temporelles pour les systèmes d’acquisition de donnée", Session Doctorants, Conjointement a l'école d'été temps réel 2007, Nantes, ETR07. (PDF - BibTeX )
  • B. Ben Hedia, F. Jumel, J.-P. Babau, "Formal Evaluation of Quality of Service for Data Acquisition Systems" FDL05 (PDF - BibTeX )
  • Belgacem Ben Hédia, Fabrice Jumel, Jean Philippe BABAU, "Qualité de service des pilotes d'équipements pour les systèmes d'acquisitions de données" MSR05. (PDF - BibTeX )
  • Belgacem Ben Hedia, Fabrice Jumel, Jean Philippe BABAU, "Evaluation formelle de la Qualité de Service pour les systèmes d’acquisition" RJCITR05. (PDF - BibTeX )