Concepedia

Oded Maler

OM

42

Publications

2.5K

Citations

24

H-Index

1991

Active since

Affiliations

Verimag(Current)

Centre National de la Recherche Scientifique

Université Grenoble Alpes

Weizmann Institute of Science

Carnegie Mellon University

Oded Maler is an author at Verimag specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsComputer EngineeringFormal VerificationVerificationAutomated ReasoningAutomationReal-time Systems

Publications per year

1991–2020

42

Publications

42

Controller Synthesis for Timed Automata 1

Eugène Asarin, Oded Maler, Amir Pnueli et al. · IFAC Proceedings Volumes · 1998 · 311 citations

Logical Automaton, Engineering, Process Control +7

Reachability analysis of dynamical systems having piecewise-constant derivatives

Eugène Asarin, Oded Maler, Amir Pnueli · Theoretical Computer Science · 1995 · 226 citations

Reachability Analysis, Engineering, Reachability Problem +4

Effective synthesis of switching controllers for linear systems

Eugène Asarin, Olivier Bournez, Thao Dang et al. · Proceedings of the IEEE · 2000 · 222 citations

Stochastic Hybrid System, Linear Systems, Engineering +6

Scheduling with timed automata

Yasmina Abdeddaı ̈m, Eugène Asarin, Oded Maler · Theoretical Computer Science · 2005 · 193 citations

Engineering, Automation, Formal Methods +8

Symbolic model checking with rich assertional languages

Yonit Kesten, Oded Maler, M. Marcus et al. · Theoretical Computer Science · 2001 · 143 citations

Engineering, Program Analysis, Automated Reasoning +9

Rows per page

1–5 of 42