Vinayak S. Prabhu

Orcid: 0000-0002-0780-0970

According to our database1, Vinayak S. Prabhu authored at least 31 papers between 2001 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Fast and Scalable Monitoring for Value-Freeze Operator augmented Signal Temporal Logic.
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

2023
Quantitative Robustness for Signal Temporal Logic With Time-Freeze Quantifiers.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., December, 2023

2022
Towards Efficient Input Space Exploration for Falsification of Input Signal Class Augmented STL.
Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022

Linear Time Monitoring for One Variable TPTL.
Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Detecting Secure Memory Deallocation Violations with CBMC.
Proceedings of the 8th ACM on Cyber-Physical System Security Workshop, 2022

2019
Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances.
IEEE Trans. Autom. Control., 2019

2018
Causality Analysis for Concurrent Reactive Systems (Extended Abstract).
Proceedings of the Proceedings 3rd Workshop on formal reasoning about Causation, 2018

Parameter optimization in control software using statistical fault localization techniques.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

2017
Testing Cyber-Physical Systems through Bayesian Optimization.
ACM Trans. Embed. Comput. Syst., 2017

Quantifying conformance using the Skorokhod metric.
Formal Methods Syst. Des., 2017

The Robot Routing Problem for Collecting Aggregate Stochastic Rewards.
Proceedings of the 28th International Conference on Concurrency Theory, 2017

Shrinking Horizon Model Predictive Control with chance-constrained signal temporal logic specifications.
Proceedings of the 2017 American Control Conference, 2017

2016
Computing Distances between Reach Flowpipes.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

2015
Quantitative Temporal Simulation and Refinement Distances for Timed Systems.
IEEE Trans. Autom. Control., 2015

Quantifying Conformance using the Skorokhod Metric (full version).
CoRR, 2015

Computing the Skorokhod distance between polygonal traces.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

2014
Computing the Skorokhod Distance between Polygonal Traces (Full Paper).
CoRR, 2014

2013
Synthesis of memory-efficient, clock-memory free, and non-Zeno safety controllers for timed systems.
Inf. Comput., 2013

Quantitative timed simulation functions and refinement metrics for real-time systems.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

2012
Quantitative Timed Simulation Functions and Refinement Metrics for Timed Systems (Full Version)
CoRR, 2012

Finite Automata with Time-Delay Blocks (Extended Version)
CoRR, 2012

Finite automata with time-delay blocks.
Proceedings of the 12th International Conference on Embedded Software, 2012

2011
Synthesis of Memory-Efficient Real-Time Controllers for Safety Objectives (Full Version)
CoRR, 2011

Timed Parity Games: Complexity and Robustness
Log. Methods Comput. Sci., 2011

Synthesis of memory-efficient "real-time" controllers for safety objectives.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

2009
QuanTM: a quantitative trust management system.
Proceedings of the Second European Workshop on System Security, 2009

2008
Trading Infinite Memory for Uniform Randomness in Timed Games.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

2007
Minimum-Time Reachability in Timed Games.
Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007

2006
Timed Alternating-Time Temporal Logic.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

2005
Quantifying Similarities Between Timed Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

2001
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001


  Loading...