Vinayak S. Prabhu

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., December, 2023

2022

Towards Efficient Input Space Exploration for Falsification of Input Signal Class Augmented STL.

[BibT_eX]

[DOI]

Meetkumar Savaliya

Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2022

Linear Time Monitoring for One Variable TPTL.

[BibT_eX]

[DOI]

Bassem Ghorbel

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

2018

Causality Analysis for Concurrent Reactive Systems (Extended Abstract).

[BibT_eX]

[DOI]

Rayna Dimitrova

Proceedings of the Proceedings 3rd Workshop on formal reasoning about Causation, 2018

Parameter optimization in control software using statistical fault localization techniques.

[BibT_eX]

[DOI]

Xiaoqing Jin

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

2017

Testing Cyber-Physical Systems through Bayesian Optimization.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2017

Quantifying conformance using the Skorokhod metric.

[BibT_eX]

[DOI]

Sadegh Esmaeil Zadeh Soudjani

Formal Methods Syst. Des., 2017

The Robot Routing Problem for Collecting Aggregate Stochastic Rewards.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Concurrency Theory, 2017

Shrinking Horizon Model Predictive Control with chance-constrained signal temporal logic specifications.

[BibT_eX]

[DOI]

Samira S. Farahani

Sadegh Esmaeil Zadeh Soudjani

Proceedings of the 2017 American Control Conference, 2017

2016

Computing Distances between Reach Flowpipes.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

2015

Quantitative Temporal Simulation and Refinement Distances for Timed Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2015

Quantifying Conformance using the Skorokhod Metric (full version).

[BibT_eX]

[DOI]

CoRR, 2015

Computing the Skorokhod distance between polygonal traces.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

2014

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

[BibT_eX]

[DOI]

CoRR, 2014

2013

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

[BibT_eX]

[DOI]

Inf. Comput., 2013

Quantitative timed simulation functions and refinement metrics for real-time systems.

[BibT_eX]

[DOI]

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)

[BibT_eX]

[DOI]

CoRR, 2012

Finite Automata with Time-Delay Blocks (Extended Version)

[BibT_eX]

[DOI]

CoRR, 2012

Finite automata with time-delay blocks.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Embedded Software, 2012

2011

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

[BibT_eX]

[DOI]

CoRR, 2011

Timed Parity Games: Complexity and Robustness

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2011

Synthesis of memory-efficient "real-time" controllers for safety objectives.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

2009

QuanTM: a quantitative trust management system.

[BibT_eX]

[DOI]

Proceedings of the Second European Workshop on System Security, 2009

2008

Trading Infinite Memory for Uniform Randomness in Timed Games.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

2007

Minimum-Time Reachability in Timed Games.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007

2006

Timed Alternating-Time Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

2005

Quantifying Similarities Between Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005

2001

Assume-Guarantee Reasoning for Hierarchical Hybrid Systems.

[BibT_eX]

[DOI]

Marius Minea