Moez Mahfoudh

According to our database, Moez Mahfoudh authored at least 2 papers in 2002.

Collaborative distances:

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

2002

Verification of Timed Automata via Satisfiability Checking.

Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

On Control with Bounded Computational Resources.

Oded Maler, Bruce H. Krogh, Moez Mahfoudh

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002