Ghassan Oreiby

According to our database, Ghassan Oreiby authored at least 4 papers between 2006 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2010

Using Model Checking for Analyzing Distributed Power Control Problems.

Thomas Brihaye, Marc Jungers, Samson Lasaulce, Nicolas Markey, Ghassan Oreiby

EURASIP J. Wirel. Commun. Netw., 2010

2007

On the Expressiveness and Complexity of ATL.

François Laroussinie, Nicolas Markey, Ghassan Oreiby

Proceedings of the Foundations of Software Science and Computational Structures, 2007

Timed Concurrent Game Structures.

Thomas Brihaye, François Laroussinie, Nicolas Markey, Ghassan Oreiby

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006

Model-Checking Timed.

François Laroussinie, Nicolas Markey, Ghassan Oreiby

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006