Alexandre Donzé

Computational Theory and Mathematics · 2010–2018

A researcher in the Science corpus: 5 papers; trusts 4 researchers and is trusted by 20 researchers here, as inferred from the citation graph.

Subfields

Whom Alexandre Donzé trusts overall

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

  1. Oded Maler
  2. Dejan Nickovic
  3. Jiri Srba
  4. Johan Löfberg

Who trusts Alexandre Donzé overall

  1. Ezio Bartocci
  2. Denise Ratasich
  3. Souradeep Dutta
  4. Vasumathi Raman
  5. Sanjit A. Seshia
  6. Sriram Sankaranarayanan
  7. Faiq Khalid
  8. Dorsa Sadigh
  9. Jyotirmoy V. Deshmukh
  10. Susmit Jha

Papers from Alexandre Donzé's perspective

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

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

Their papers