Mehdi Maasoumy

Computational Theory and Mathematics · 2014

A researcher in the Science corpus: 1 paper; trusts 3 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom Mehdi Maasoumy trusts overall

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

  1. Johan Löfberg
  2. Alexandre Donzé

Papers from Mehdi Maasoumy's perspective

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

  1. Robust Satisfaction of Temporal Logic over Real-Valued Signals (International Conference on Formal Modeling and Analysis of Timed Systems)
  2. Monitoring Temporal Properties of Continuous Signals (FORMATS/FTRTFT)
  3. Receding Horizon Temporal Logic Planning (IEEE Transactions on Automatic Control)
  4. YALMIP : a toolbox for modeling and optimization in MATLAB
  5. A Simplex Method for Function Minimization
  6. Monitoring Java Programs with Java PathExplorer (RV@CAV)
  7. Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems (International Conference on Computer Aided Verification)
  8. LOLA: runtime monitoring of synchronous systems (Time)
  9. Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs (International Conference on Hybrid Systems: Computation and Control)
  10. Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems (International Conference on Hybrid Systems: Computation and Control)

Their papers