James Kapinski

According to our database, James Kapinski authored at least 37 papers between 2003 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Requirements-Driven Test Generation for Autonomous Vehicles With Machine Learning Components.

Cumhur Erkan Tuncali, Georgios Fainekos, Danil V. Prokhorov, Hisahiro Ito, James Kapinski

IEEE Trans. Intell. Veh., 2020

Falsification of Cyber-Physical Systems with Constrained Signal Spaces.

Benoît Barbot, Nicolas Basset, Thao Dang, Alexandre Donzé, James Kapinski, Tomoya Yamaguchi

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019

Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees: Invited Paper.

Jyotirmoy V. Deshmukh, James Kapinski, Tomoya Yamaguchi, Danil V. Prokhorov

Proceedings of the International Conference on Computer-Aided Design, 2019

Interface-aware signal temporal logic.

Thomas Ferrère, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, James Kapinski

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems.

Sicun Gao, James Kapinski, Jyotirmoy V. Deshmukh, Nima Roohi, Armando Solar-Lezama, Nikos Aréchiga, Soonho Kong

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

2018

Simulation-Driven Reachability Using Matrix Measures.

Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra

ACM Trans. Embed. Comput. Syst., 2018

Underminer: A Framework for Automatically Identifying Nonconverging Behaviors in Black-Box System Models.

Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski

ACM Trans. Embed. Comput. Syst., 2018

Automatic Trace Generation for Signal Temporal Logic.

Pavithra Prabhakar, Ratan Lal, James Kapinski

Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components.

Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski

Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles.

Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski

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

Reasoning about safety of learning-enabled components in autonomous cyber-physical systems.

Cumhur Erkan Tuncali, James Kapinski, Hisahiro Ito, Jyotirmoy V. Deshmukh

Proceedings of the 55th Annual Design Automation Conference, 2018

2017

Hyperproperties of real-valued signals.

Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Taylor T. Johnson

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

Abnormal Data Classification Using Time-Frequency Temporal Logic.

Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Ken Butts, Taylor T. Johnson

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

Classification and Coverage-Based Falsification for Embedded Control Systems.

Arvind S. Adimoolam, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362).

Martin Fränzle, James Kapinski, Pavithra Prabhakar

Dagstuhl Reports, 2016

Locally optimal reach set over-approximation for nonlinear systems.

Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra

Proceedings of the 2016 International Conference on Embedded Software, 2016

Underminer: a framework for automatically identifying non-converging behaviors in black box system models.

Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski

Proceedings of the 2016 International Conference on Embedded Software, 2016

2015

Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems.

Tommaso Dreossi, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Falsification of safety properties for closed loop control systems.

Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski, Xiaoqing Jin

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

Forward invariant cuts to simplify proofs of safety.

Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh

Proceedings of the 2015 International Conference on Embedded Software, 2015

Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark.

Jyotirmoy V. Deshmukh, Hisahiro Ito, Xiaoqing Jin, James Kapinski, Kenneth R. Butts, Jürgen Gerhard, Behzad Samadi, Kevin Walker, Yuzhen Xie

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

Stochastic Local Search for Falsification of Hybrid Systems.

Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski, Oded Maler

Proceedings of the Automated Technology for Verification and Analysis, 2015

Simulation-guided approaches for verification of automotive powertrain control systems.

James Kapinski, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Hisahiro Ito, Kenneth R. Butts

Proceedings of the American Control Conference, 2015

Beyond single shooting: Iterative approaches to falsification.

Jyotirmoy V. Deshmukh, Georgios Fainekos, James Kapinski, Sriram Sankaranarayanan, Aditya Zutshi, Xiaoqing Jin

Proceedings of the American Control Conference, 2015

2014

Numerically-aided Deductive Safety Proof for a Powertrain Control System.

Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh

Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2014

Conformance Testing as Falsification for Cyber-Physical Systems.

Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda

CoRR, 2014

WiP abstract: Conformance testing as falsification for cyber-physical systems.

Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda

Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Simulation-guided lyapunov analysis for hybrid dynamical systems.

James Kapinski, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, Nikos Aréchiga

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Powertrain control verification benchmark.

Xiaoqing Jin, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda, Kenneth R. Butts

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Multiple shooting, CEGAR-based falsification for hybrid systems.

Aditya Zutshi, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, James Kapinski

Proceedings of the 2014 International Conference on Embedded Software, 2014

2013

A trajectory splicing approach to concretizing counterexamples for hybrid systems.

Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2010

On incrementally bounded systems.

James Kapinski, Bruce H. Krogh

Proceedings of the American Control Conference, 2010

2008

Verification of Supervisory Control Software Using State Proximity and Merging.

Flavio Lerda, James Kapinski, Edmund M. Clarke, Bruce H. Krogh

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

Control software model checking using bisimulation functions for nonlinear systems.

James Kapinski, Alexandre Donzé, Flavio Lerda, Hitashyam Maka, Silke Wagner, Bruce H. Krogh

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Model checking in-the-loop: Finding counterexamples by systematic simulation.

Flavio Lerda, James Kapinski, Hitashyam Maka, Edmund M. Clarke, Bruce H. Krogh

Proceedings of the American Control Conference, 2008

2004

Verifying asymptotic bounds for discrete-time sliding mode systems with disturbance inputs.

James Kapinski, Bruce H. Krogh

Proceedings of the 2004 American Control Conference, 2004

2003

On Systematic Simulation of Open Continuous Systems.

James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg

Proceedings of the Hybrid Systems: Computation and Control, 2003