James Kapinski

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