Main.Publications History
Hide minor edits - Show changes to output
09/07/2015 16:16
by -
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
* 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 -
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]])
* 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 -
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 -
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 -
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 -
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 -
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]])
* 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
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 -
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 -
12/03/2009 16:59
by -
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]]
* Belgacem Ben Hédia, Fabrice Jumel,
* Belgacem Ben Hedia, Fabrice Jumel,
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]])
* 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 -
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 -
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 -
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.
* 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.