James Kapinski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
7
Active years
2014–2019
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | CAV | Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems. | Sicun Gao, James Kapinski, Jyotirmoy V. Deshmukh, Nima Roohi, Armando Solar-Lezama, Nikos Archiga, Soonho Kong |
| 2019 | ICCAD | Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees: Invited Paper. | Jyotirmoy V. Deshmukh, James Kapinski, Tomoya Yamaguchi, Danil V. Prokhorov |
| 2018 | DAC | Reasoning about safety of learning-enabled components in autonomous cyber-physical systems. | Cumhur Erkan Tuncali, James Kapinski, Hisahiro Ito, Jyotirmoy V. Deshmukh |
| 2018 | RTSS | Automatic Trace Generation for Signal Temporal Logic. | Pavithra Prabhakar, Ratan Lal, James Kapinski |
| 2017 | CAV | Classification and Coverage-Based Falsification for Embedded Control Systems. | Arvind S. Adimoolam, Thao Dang, Alexandre Donz, James Kapinski, Xiaoqing Jin |
| 2017 | MEMOCODE | Hyperproperties of real-valued signals. | Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Taylor T. Johnson |
| 2016 | EMSOFT | 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 |
| 2016 | EMSOFT | Locally optimal reach set over-approximation for nonlinear systems. | Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra |
| 2015 | ATVA | Stochastic Local Search for Falsification of Hybrid Systems. | Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski, Oded Maler |
| 2015 | EMSOFT | Forward invariant cuts to simplify proofs of safety. | Nikos Archiga, James Kapinski, Jyotirmoy V. Deshmukh, Andr Platzer, Bruce H. Krogh |
| 2014 | EMSOFT | Multiple shooting, CEGAR-based falsification for hybrid systems. | Aditya Zutshi, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, James Kapinski |