World's Best Scientists 2026 revealed!
Award Badge
Computer Science
France
2025

D-Index & Metrics

Computer Science

D-Index
58
Citations
16273
World Ranking
3577
National Ranking
60

Research.com Recognitions

  • 2025 - Research.com Computer Science in France Leader Award
  • 2023 - Research.com Computer Science in France Leader Award
  • 2022 - Research.com Computer Science in France Leader Award

Overview

Oded Maler is a researcher affiliated with Grenoble Alpes University in France. Their work primarily focuses on various areas within computer science, contributing particularly to formal methods, software engineering, and system verification.

The main fields of study associated with their research include:

  • Computer Science

The subfields of study where Maler has published include:

  • Computational Theory and Mathematics
  • Software
  • Information Systems
  • Computer Networks and Communications

The researcher's key topics cover a range of software-related and formal verification themes. These include:

  • Formal Methods in Verification
  • Software Engineering Research
  • Software Reliability and Analysis Research
  • Software Testing and Debugging Techniques
  • Advanced Database Systems and Queries

Maler has authored papers published in various venues. Recent work includes the following publications:

  • "AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic" (2020), published in the International Journal on Software Tools for Technology Transfer
  • "Elements of Timed Pattern Matching" (2024), published in ACM Transactions on Embedded Computing Systems

The coauthor network around Maler reflects collaborations with researchers involved in similar or complementary areas of study. Frequent coauthors include:

  • Dejan Ničković
  • Thomas Ferrère
  • Dogan Ulus
  • Olivier Lebeltel
  • Eugène Asarin

Best Publications

  • Monitoring Temporal Properties of Continuous Signals

    Oded Maler;Dejan Nickovic

  • SpaceEx: scalable verification of hybrid systems

    Goran Frehse;Colas Le Guernic;Alexandre Donzé;Scott Cotton

  • Reachability Analysis of Pushdown Automata: Application to Model-Checking

    Ahmed Bouajjani;Javier Esparza;Oded Maler

  • Robust satisfaction of temporal logic over real-valued signals

    Alexandre Donzé;Oded Maler

  • On the synthesis of discrete controllers for timed systems

    Oded Maler;Amir Pnueli;Joseph Sifakis

  • From Timed to Hybrid Systems

    Oded Maler;Zohar Manna;Zohar Manna;Amir Pnueli

  • Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems

    Eugene Asarin;Thao Dang;Oded Maler;Olivier Bournez

  • Kronos : A model-checking tool for real-time systems

    M. Bozga;C. Daws;O. Maler;A. Olivero

  • Controller Synthesis for Timed Automata 1

    Eugene Asarin;Oded Maler;Amir Pnueli;Joseph Sifakis

  • Symbolic Controller Synthesis for Discrete and Timed Systems

    Eugene Asarin;Oded Maler;Amir Pnueli

  • Reachability analysis of dynamical systems having piecewise-constant derivatives

    Eugene Asarin;Oded Maler;Amir Pnueli

  • Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications

    Ezio Bartocci;Jyotirmoy V. Deshmukh;Alexandre Donzé;Georgios Fainekos

  • Efficient computation of reachable sets of linear time-invariant systems with inputs

    Antoine Girard;Colas Le Guernic;Oded Maler

  • Effective synthesis of switching controllers for linear systems

    E. Asarin;O. Bournez;T. Dang;O. Maler

  • Reachability Analysis via Face Lifting

    Thao Dang;Oded Maler

  • Efficient robust monitoring for STL

    Alexandre Donzé;Thomas Ferrère;Oded Maler

  • Timed Regular Expressions

    Eugene Asarin;Paul Caspi;Oded Maler

  • Scheduling with timed automata

    Yasmina Abdeddaïm;Eugene Asarin;Oded Maler

  • The d/dt tool for verification of hybrid systems

    Eugene Asarin;Thao Dang;Oded Maler

  • Systematic simulation using sensitivity analysis

    Alexandre Donzé;Oded Maler

Frequent Co-Authors

Eugene Asarin
Eugene Asarin Université Paris Cité
Amir Pnueli
Amir Pnueli Weizmann Institute of Science
Marius Bozga
Marius Bozga Grenoble Alpes University
Sergio Yovine
Sergio Yovine Universidad Ort Uruguay
Bruce H. Krogh
Bruce H. Krogh Carnegie Mellon University
Stavros Tripakis
Stavros Tripakis Northeastern University
Ahmed Bouajjani
Ahmed Bouajjani Université Paris Cité
Antoine Girard
Antoine Girard University of Paris-Saclay
Javier Esparza
Javier Esparza Technical University of Munich

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring computer science opens doors to diverse academic and professional paths. Many students look for flexible, affordable educational options that connect well with tech and leadership careers. Notably, programs like executive mba online programs are ideal for those seeking to complement technical expertise with executive business skills, preparing for upper management roles in the tech sector.

For those interested in information management and data, the most affordable online mlis programs offer specialized knowledge in digital curation, archives, and research, which pairs well with computer science competencies. Cost is a critical concern for many students, making it wise to research the cheapest online masters options to minimize debt while advancing skills.

Ambitious learners interested in organizational change and high-level leadership in tech-driven industries should consider a phd in leadership online. These programs empower professionals to guide strategic digital transformation and foster innovation within organizations.

Best Scientists Citing Oded Maler

Trending Scientists