Selected publications by Ghassan Oreiby
Journals
- LMO08
-
F. Laroussinie, N. Markey and G. Oreiby. On the Expressiveness and Complexity of ATL. Logical Methods in Computer Science 4(2:7), 2008. ( PDF | BibTeX + Abstract )
Conferences
- BLMO07
-
Th. Brihaye, F. Laroussinie, N. Markey and G. Oreiby. Timed Concurrent Game Structures. In CONCUR'07, LNCS 4703, pages 445-459. Springer, 2007. ( PDF | PS | PS.GZ | BibTeX + Abstract )
- LMO07
-
F. Laroussinie, N. Markey and G. Oreiby. On the Expressiveness and Complexity of ATL. In FoSSaCS'07, LNCS 4423, pages 243-257. Springer, 2007. ( PDF | PS | PS.GZ | BibTeX + Abstract )
- LMO06
-
F. Laroussinie, N. Markey and G. Oreiby. Model Checking Timed ATL for Durational Concurrent Game Structures. In FORMATS'06, LNCS 4202, pages 245-259. Springer, 2006. ( PDF | PS | PS.GZ | BibTeX + Abstract )
Theses
- Ore08
-
G. Oreiby. Logiques temporelles pour le contrôle temporisé. Thèse de doctorat, Laboratoire Spécification et Vérification, ENS Cachan,
France, December 2008. ( PDF | Slides | BibTeX )