Jyotirmoy V. Deshmukh
Computational Theory and Mathematics · 2018
A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Computational Theory and Mathematics — 5 citations into it
Whom Jyotirmoy V. Deshmukh trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Papers from Jyotirmoy V. Deshmukh's perspective
Ordered by how strongly the researchers Jyotirmoy V. Deshmukh trusts endorse each paper. Same corpus, a different order for every researcher.
- Monitoring Java Programs with Java PathExplorer (RV@CAV)
- A Simplex Method for Function Minimization
- Robust Satisfaction of Temporal Logic over Real-Valued Signals (International Conference on Formal Modeling and Analysis of Timed Systems)
- LOLA: runtime monitoring of synchronous systems (Time)
- Monitoring Temporal Properties of Continuous Signals (FORMATS/FTRTFT)
- Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems (International Conference on Computer Aided Verification)
- Cyber Physical Systems: Design Challenges (IEEE International Symposium on Real-Time Distributed Computing)
- The Temporal Rover and the ATG Rover (SPIN)
- Synthesizing Monitors for Safety Properties (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
- Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs (International Conference on Hybrid Systems: Computation and Control)