Oded Maler

Computational Theory and Mathematics · 2000–2018

A researcher in the Science corpus: 6 papers; trusts 7 researchers and is trusted by 24 researchers here, as inferred from the citation graph.

Subfields

Whom Oded Maler trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Inverse Problems
  2. Klaus Havelund
  3. Grigore Roşu
  4. Dejan Nickovic
  5. Alongkrit Chutinan
  6. Don Coppersmith

Who trusts Oded Maler overall

  1. Alexandre Donzé
  2. Lars Lindemann
  3. Dorsa Sadigh
  4. Rajeev Alur
  5. Antoine Girard
  6. Ezio Bartocci
  7. Matthias Althoff
  8. Dimos V. Dimarogonas
  9. Vasumathi Raman
  10. Georgios Fainekos

Papers from Oded Maler's perspective

Ordered by how strongly the researchers Oded Maler trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Monitoring Java Programs with Java PathExplorer (RV@CAV)
  2. The Temporal Rover and the ATG Rover (SPIN)
  3. Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs (International Conference on Hybrid Systems: Computation and Control)
  4. Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems (International Conference on Hybrid Systems: Computation and Control)
  5. A Simplex Method for Function Minimization
  6. Robust Satisfaction of Temporal Logic over Real-Valued Signals (International Conference on Formal Modeling and Analysis of Timed Systems)
  7. LOLA: runtime monitoring of synchronous systems (Time)
  8. Monitoring Temporal Properties of Continuous Signals (FORMATS/FTRTFT)
  9. Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems (International Conference on Computer Aided Verification)
  10. Convex Analysis and Optimization

Their papers