James Kapinski

Publication Activity (10 Years)

Years Active: 2003-2020
Publications (10 Years): 29

Top Topics

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Cumhur Erkan Tuncali, Georgios Fainekos, Danil V. Prokhorov, Hisahiro Ito, James Kapinski
Requirements-Driven Test Generation for Autonomous Vehicles With Machine Learning Components. IEEE Trans. Intell. Veh. 5 (2) (2020)
Benoît Barbot, Nicolas Basset, Thao Dang, Alexandre Donzé, James Kapinski, Tomoya Yamaguchi
Falsification of Cyber-Physical Systems with Constrained Signal Spaces. NFM (2020)
Jyotirmoy V. Deshmukh, James Kapinski, Tomoya Yamaguchi, Danil V. Prokhorov
Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees: Invited Paper. ICCAD (2019)
Sicun Gao, James Kapinski, Jyotirmoy V. Deshmukh, Nima Roohi, Armando Solar-Lezama, Nikos Aréchiga, Soonho Kong
Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems. CAV (2) (2019)
Thomas Ferrère, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, James Kapinski
Interface-aware signal temporal logic. HSCC (2019)
Cumhur Erkan Tuncali, Georgios Fainekos, Danil V. Prokhorov, Hisahiro Ito, James Kapinski
Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components. CoRR (2019)
Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski
Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components. CoRR (2018)
Pavithra Prabhakar, Ratan Lal, James Kapinski
Automatic Trace Generation for Signal Temporal Logic. RTSS (2018)
Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra
Simulation-Driven Reachability Using Matrix Measures. ACM Trans. Embed. Comput. Syst. 17 (1) (2018)
Cumhur Erkan Tuncali, James Kapinski, Hisahiro Ito, Jyotirmoy V. Deshmukh
Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems. CoRR (2018)
Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski
Underminer: A Framework for Automatically Identifying Nonconverging Behaviors in Black-Box System Models. ACM Trans. Embed. Comput. Syst. 17 (1) (2018)
Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski
Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components. Intelligent Vehicles Symposium (2018)
Cumhur Erkan Tuncali, Georgios Fainekos, Hisahiro Ito, James Kapinski
Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles. HSCC (2018)
Cumhur Erkan Tuncali, James Kapinski, Hisahiro Ito, Jyotirmoy V. Deshmukh
Reasoning about safety of learning-enabled components in autonomous cyber-physical systems. DAC (2018)
Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Taylor T. Johnson
Hyperproperties of real-valued signals. MEMOCODE (2017)
Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Ken Butts, Taylor T. Johnson
Abnormal Data Classification Using Time-Frequency Temporal Logic. HSCC (2017)
Arvind S. Adimoolam, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin
Classification and Coverage-Based Falsification for Embedded Control Systems. CAV (1) (2017)
Martin Fränzle, James Kapinski, Pavithra Prabhakar
Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362). Dagstuhl Reports 6 (9) (2016)
Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski
Underminer: a framework for automatically identifying non-converging behaviors in black box system models. EMSOFT (2016)
Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra
Locally optimal reach set over-approximation for nonlinear systems. EMSOFT (2016)
Jyotirmoy V. Deshmukh, Hisahiro Ito, Xiaoqing Jin, James Kapinski, Kenneth R. Butts, Jürgen Gerhard, Behzad Samadi, Kevin Walker, Yuzhen Xie
Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark. ARCH@CPSWeek (2015)
James Kapinski, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Hisahiro Ito, Kenneth R. Butts
Simulation-guided approaches for verification of automotive powertrain control systems. ACC (2015)
Jyotirmoy V. Deshmukh, Georgios Fainekos, James Kapinski, Sriram Sankaranarayanan, Aditya Zutshi, Xiaoqing Jin
Beyond single shooting: Iterative approaches to falsification. ACC (2015)
Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh
Forward Invariant Cuts to Simplify Proofs of Safety. CoRR (2015)
Tommaso Dreossi, Thao Dang, Alexandre Donzé, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh
Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems. NFM (2015)
Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh
Forward invariant cuts to simplify proofs of safety. EMSOFT (2015)
Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski, Oded Maler
Stochastic Local Search for Falsification of Hybrid Systems. ATVA (2015)
Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, Bruce H. Krogh
Numerically-aided Deductive Safety Proof for a Powertrain Control System. Electron. Notes Theor. Comput. Sci. 317 (2015)
Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski, Xiaoqing Jin
Falsification of safety properties for closed loop control systems. HSCC (2015)
Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda
WiP abstract: Conformance testing as falsification for cyber-physical systems. ICCPS (2014)
James Kapinski, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, Nikos Aréchiga
Simulation-guided lyapunov analysis for hybrid dynamical systems. HSCC (2014)
Xiaoqing Jin, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda, Kenneth R. Butts
Powertrain control verification benchmark. HSCC (2014)
Aditya Zutshi, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, James Kapinski
Multiple shooting, CEGAR-based falsification for hybrid systems. EMSOFT (2014)
Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, James Kapinski, Koichi Ueda
Conformance Testing as Falsification for Cyber-Physical Systems. CoRR (2014)
Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski
A trajectory splicing approach to concretizing counterexamples for hybrid systems. CDC (2013)
James Kapinski, Bruce H. Krogh
On incrementally bounded systems. ACC (2010)
Flavio Lerda, James Kapinski, Edmund M. Clarke, Bruce H. Krogh
Verification of Supervisory Control Software Using State Proximity and Merging. HSCC (2008)
James Kapinski, Alexandre Donzé, Flavio Lerda, Hitashyam Maka, Silke Wagner, Bruce H. Krogh
Control software model checking using bisimulation functions for nonlinear systems. CDC (2008)
Flavio Lerda, James Kapinski, Hitashyam Maka, Edmund M. Clarke, Bruce H. Krogh
Model checking in-the-loop: Finding counterexamples by systematic simulation. ACC (2008)
James Kapinski, Bruce H. Krogh
Verifying asymptotic bounds for discrete-time sliding mode systems with disturbance inputs. ACC (2004)
James Kapinski, Bruce H. Krogh, Oded Maler, Olaf Stursberg
On Systematic Simulation of Open Continuous Systems. HSCC (2003)