a person in the record
Maler Oded
Supervised 3 doctoral students at Université Joseph-Fourier - Grenoble I and Institut National Polytechnique de Grenoble - INPG.
Students3
- Dejan Nickovic“Checking Timed and Hybrid Properties: Theory and Applications”2008 · Université Joseph-Fourier - Grenoble I · doctoral
- Catalin Dima“An algebraic theory of real-time formal languages”2001 · Université Joseph-Fourier - Grenoble I · doctoral
- Thi Xuan Thao Dang“Verification and Synthesis of Hybrid Systems”2000 · Institut National Polytechnique de Grenoble - INPG · doctoral
run publish-hal-tel-oai-20261015T004258Z · HAL/TEL OAI