James Kapinski

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Requirements-Driven Test Generation for Autonomous Vehicles With Machine Learning Components.
IEEE Trans. Intell. Veh., 2020

Falsification of Cyber-Physical Systems with Constrained Signal Spaces.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019
Learning Deep Neural Network Controllers for Dynamical Systems with Safety Guarantees: Invited Paper.
Proceedings of the International Conference on Computer-Aided Design, 2019

Interface-aware signal temporal logic.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
Simulation-Driven Reachability Using Matrix Measures.
ACM Trans. Embed. Comput. Syst., 2018

Underminer: A Framework for Automatically Identifying Nonconverging Behaviors in Black-Box System Models.
ACM Trans. Embed. Comput. Syst., 2018

Automatic Trace Generation for Signal Temporal Logic.
Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components.
Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles.
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.
Proceedings of the 55th Annual Design Automation Conference, 2018

2017
Hyperproperties of real-valued signals.
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.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Classification and Coverage-Based Falsification for Embedded Control Systems.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

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

Locally optimal reach set over-approximation for nonlinear systems.
Proceedings of the 2016 International Conference on Embedded Software, 2016

Underminer: a framework for automatically identifying non-converging behaviors in black box system models.
Proceedings of the 2016 International Conference on Embedded Software, 2016

2015
Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Falsification of safety properties for closed loop control systems.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Forward invariant cuts to simplify proofs of safety.
Proceedings of the 2015 International Conference on Embedded Software, 2015

Piecewise-Affine Approximations for a Powertrain Control Verification Benchmark.
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.
Proceedings of the Automated Technology for Verification and Analysis, 2015

Simulation-guided approaches for verification of automotive powertrain control systems.
Proceedings of the American Control Conference, 2015

Beyond single shooting: Iterative approaches to falsification.
Proceedings of the American Control Conference, 2015

2014
Numerically-aided Deductive Safety Proof for a Powertrain Control System.
Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2014

Conformance Testing as Falsification for Cyber-Physical Systems.
CoRR, 2014

WiP abstract: Conformance testing as falsification for cyber-physical systems.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Simulation-guided lyapunov analysis for hybrid dynamical systems.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Powertrain control verification benchmark.
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.
Proceedings of the 2014 International Conference on Embedded Software, 2014

2013
A trajectory splicing approach to concretizing counterexamples for hybrid systems.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2010
On incrementally bounded systems.
Proceedings of the American Control Conference, 2010

2008
Verification of Supervisory Control Software Using State Proximity and Merging.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Control software model checking using bisimulation functions for nonlinear systems.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Model checking in-the-loop: Finding counterexamples by systematic simulation.
Proceedings of the American Control Conference, 2008

2004
Verifying asymptotic bounds for discrete-time sliding mode systems with disturbance inputs.
Proceedings of the 2004 American Control Conference, 2004

2003
On Systematic Simulation of Open Continuous Systems.
Proceedings of the Hybrid Systems: Computation and Control, 2003


  Loading...