Nima Roohi

Sicun Gao

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems.

[BibT_eX]

[DOI]

Sicun Gao

James Kapinski

Jyotirmoy V. Deshmukh

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Self-Driving Vehicle Verification Towards a Benchmark.

[BibT_eX]

[DOI]

CoRR, 2018

Revisiting MITL to Fix Decision Procedures.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Parameter Invariant Monitoring for Signal Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Relating Syntactic and Semantic Perturbations of Hybrid Automata.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Concurrency Theory, 2018

Statistical Verification of PCTL Using Stratified Samples.

[BibT_eX]

[DOI]

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017

Remedies for building reliable cyber-physical systems

[BibT_eX]

[DOI]

PhD thesis, 2017

Stability Analysis of Switched Linear Systems Defined by Regular Languages.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Statistical Verification of the Toyota Powertrain Control Verification Benchmark.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Robust Model Checking of Timed Automata under Clock Drifts.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

2016

Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

Statistical model checking for unbounded until formulas.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2015

Statistical verification of dynamical systems using set oriented methods.

[BibT_eX]

[DOI]

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

Deciding Concurrent Planar Monotonic Linear Hybrid Systems.

[BibT_eX]

[DOI]

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

A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014

Time-Bounded Reachability for Initialized Hybrid Automata with Linear Differential Inclusions and Rectangular Constraints.

[BibT_eX]

[DOI]

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

Stability of linear autonomous systems under regular switching sequences.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2012

Realizability of Choreographies Using Process Algebra Encodings.

[BibT_eX]

[DOI]

Gwen Salaün

Tevfik Bultan

IEEE Trans. Serv. Comput., 2012

2011

Realizability and Dynamic Reconfiguration of Chor Specifications.

[BibT_eX]

[DOI]

Gwen Salaün

Informatica (Slovenia), 2011

2009

Analyzing Chor Specifications by Translation into FSP.

[BibT_eX]

[DOI]