Main.Publications History

Hide minor edits - Show changes to output

09/07/2015 16:16 by 132.166.177.50 -
Added lines 1-8:
* 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

22/04/2014 15:55 by 132.166.177.50 -
Added lines 1-6:
* 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, [[http://irit.fr/ETR13/|ETR13]]. ([[Attach:Amira_ETR13.pdf|PDF]] - [[Attach:Amira_ETR13.txt|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, [[http://irit.fr/ETR13/|ETR13]]. ([[Attach:Moez_ETR13.pdf|PDF]] - [[Attach:Moez_ETR13.txt|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 ([[http://www.iaria.org/conferences2011/VALID11.html|VALID2011]]), Barcelona, Spain, pp. 64-70 (2011). ([[Attach:VALID11.pdf|PDF]] - [[Attach:VALID11.txt|BibTeX]])

24/03/2010 22:53 by 88.172.129.119 -
Added lines 1-2:
* 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).
16/03/2009 17:57 by 134.214.146.159 -
Changed lines 1-2 from:
* 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. ([[Attach:Phd08.pdf|PDF]] - [[Attach:Phd08.txt|BibTeX]]) DownloadCount:Phd08.pdf
to:
* 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. ([[Attach:Phd08.pdf|PDF]] - [[Attach:Phd08.txt|BibTeX]])
16/03/2009 17:55 by 134.214.146.159 -
Changed lines 1-2 from:
* 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. ([[Attach:Phd08.pdf|PDF]] - [[Download:Phd08.txt|BibTeX]])
to:
* 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. ([[Attach:Phd08.pdf|PDF]] - [[Attach:Phd08.txt|BibTeX]]) DownloadCount:Phd08.pdf
16/03/2009 17:50 by 134.214.146.159 -
Changed lines 1-2 from:
* 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. ([[Attach:Phd08.pdf|PDF]] - [[Attach:Phd08.txt|BibTeX]])
to:
* 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. ([[Attach:Phd08.pdf|PDF]] - [[Download:Phd08.txt|BibTeX]])
12/03/2009 17:12 by 134.214.106.53 -
Added lines 3-4:
* Belgacem Ben Hedia, [[http://www.bbhedia.org/robbana|Riadh ROBBANA]], [[http://www.lisyc.univ-brest.fr/pages_perso/babau|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, [[http://www2.irccyn.ec-nantes.fr/ETR07/|ETR07]]. ([[Attach:ETR07.pdf|PDF]] - [[Attach:ETR07.txt|BibTeX]])
Changed lines 9-11 from:
* Belgacem Ben Hedia, Fabrice Jumel, [[http://www.lisyc.univ-brest.fr/pages_perso/babau|Jean Philippe BABAU]], "Evaluation formelle de la Qualité de Service pour les systèmes d’acquisition" [[http://rjcitr05.loria.fr|RJCITR05]]. ([[Attach:RJCITR05.pdf|PDF]] - [[Attach:RJCITR05.txt|BibTeX]])

* Belgacem Ben Hedia, [[http://www.bbhedia.org/robbana|Riadh ROBBANA]], [[http://www.lisyc.univ-brest.fr/pages_perso/babau|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, [[http://www2.irccyn.ec-nantes.fr/ETR07/|ETR07]]. ([[Attach:ETR07.pdf|PDF]] - [[Attach:ETR07
.txt|BibTeX]])
to:
* Belgacem Ben Hedia, Fabrice Jumel, [[http://www.lisyc.univ-brest.fr/pages_perso/babau|Jean Philippe BABAU]], "Evaluation formelle de la Qualité de Service pour les systèmes d’acquisition" [[http://rjcitr05.loria.fr|RJCITR05]]. ([[Attach:RJCITR05.pdf|PDF]] - [[Attach:RJCITR05.txt|BibTeX]])
12/03/2009 17:04 by 134.214.106.53 -
Added lines 1-2:
* 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. ([[Attach:Phd08.pdf|PDF]] - [[Attach:Phd08.txt|BibTeX]])
12/03/2009 17:00 by 134.214.106.53 -
12/03/2009 16:59 by 134.214.106.53 -
Changed lines 1-7 from:
* B. Ben Hedia, F. Jumel, J.-P. Babau, "Formal Evaluation of Quality of Service for Data Acquisition Systems" [[http://www.ecsi-association.org/ecsi/fdl/fdl05/|FDL05]]

* Belgacem Ben Hédia, Fabrice Jumel,
[[http://www.lisyc.univ-brest.fr/pages_perso/babau|Jean Philippe BABAU]], "Qualité de service des pilotes d'équipements pour les systèmes d'acquisitions de données" [[http://www.lag.ensieg.inpg.fr/msr05/|MSR05]].

* Belgacem Ben Hedia, Fabrice Jumel,
[[http://www.lisyc.univ-brest.fr/pages_perso/babau|Jean Philippe BABAU]], "Evaluation formelle de la Qualité de Service pour les systèmes d’acquisition" [[http://rjcitr05.loria.fr|RJCITR05]]

* Belgacem Ben Hedia, [[http://www.bbhedia.org/robbana|Riadh ROBBANA]], [[http://www.lisyc.univ-brest.fr/pages_perso/babau|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, [[http://www2.irccyn.ec-nantes.fr/ETR07/|ETR07]]
to:
* B. Ben Hedia, F. Jumel, J.-P. Babau, "Formal Evaluation of Quality of Service for Data Acquisition Systems" [[http://www.ecsi-association.org/ecsi/fdl/fdl05/|FDL05]]  ([[Attach:FDL05.pdf|PDF]] - [[Attach:FDL05.txt|BibTeX]])

* Belgacem Ben Hédia, Fabrice Jumel,
[[http://www.lisyc.univ-brest.fr/pages_perso/babau|Jean Philippe BABAU]], "Qualité de service des pilotes d'équipements pour les systèmes d'acquisitions de données" [[http://www.lag.ensieg.inpg.fr/msr05/|MSR05]]. ([[Attach:MSR05.pdf|PDF]] - [[Attach:MSR05.txt|BibTeX]])

* Belgacem Ben Hedia, Fabrice Jumel, [[http://www.lisyc.univ-brest.fr/pages_perso/babau|Jean Philippe BABAU]], "Evaluation formelle de la Qualité de Service pour les systèmes d’acquisition" [[http://rjcitr05.loria.fr|RJCITR05]]. ([[Attach:RJCITR05.pdf|PDF]] - [[Attach:RJCITR05.txt|BibTeX]])

* Belgacem Ben Hedia, [[http://www.bbhedia.org/robbana|Riadh ROBBANA]], [[http://www.lisyc.univ-brest.fr/pages_perso/babau|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,
[[http://www2.irccyn.ec-nantes.fr/ETR07/|ETR07]]. ([[Attach:ETR07.pdf|PDF]] - [[Attach:ETR07.txt|BibTeX]])
12/03/2009 16:27 by 134.214.238.163 -
Changed line 7 from:
* Belgacem Ben Hedia, [[http://www.bbhedia.org/robbana|Riadh ROBBANA]], [[http://www.lisyc.univ-brest.fr/pages_perso/babau|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.
to:
* Belgacem Ben Hedia, [[http://www.bbhedia.org/robbana|Riadh ROBBANA]], [[http://www.lisyc.univ-brest.fr/pages_perso/babau|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, [[http://www2.irccyn.ec-nantes.fr/ETR07/|ETR07]]
04/12/2008 12:26 by 134.214.106.53 -
Changed line 7 from:
*[4] Belgacem Ben Hedia, [[http://www.bbhedia.org/robbana|Riadh ROBBANA]], [[http://www.lisyc.univ-brest.fr/pages_perso/babau|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.
to:
* Belgacem Ben Hedia, [[http://www.bbhedia.org/robbana|Riadh ROBBANA]], [[http://www.lisyc.univ-brest.fr/pages_perso/babau|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.
30/11/2008 20:12 by 82.235.44.69 -
Added lines 1-7:
* B. Ben Hedia, F. Jumel, J.-P. Babau, "Formal Evaluation of Quality of Service for Data Acquisition Systems" [[http://www.ecsi-association.org/ecsi/fdl/fdl05/|FDL05]]

* Belgacem Ben Hédia, Fabrice Jumel, [[http://www.lisyc.univ-brest.fr/pages_perso/babau|Jean Philippe BABAU]], "Qualité de service des pilotes d'équipements pour les systèmes d'acquisitions de données" [[http://www.lag.ensieg.inpg.fr/msr05/|MSR05]].

* Belgacem Ben Hedia, Fabrice Jumel, [[http://www.lisyc.univ-brest.fr/pages_perso/babau|Jean Philippe BABAU]], "Evaluation formelle de la Qualité de Service pour les systèmes d’acquisition" [[http://rjcitr05.loria.fr|RJCITR05]]

*[4] Belgacem Ben Hedia, [[http://www.bbhedia.org/robbana|Riadh ROBBANA]], [[http://www.lisyc.univ-brest.fr/pages_perso/babau|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.