James Kapinski

Available identifiers

zbMath Open kapinski.jamesMaRDI QIDQ2520673

List of research outcomes

Publication	Date of Publication	Type
Numerically-robust inductive proof rules for continuous dynamical systems	2024-02-16	Paper
Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Testing, and Verification Techniques	2021-12-15	Paper
Interface-aware signal temporal logic	2019-10-22	Paper
Abnormal Data Classification Using Time-Frequency Temporal Logic	2017-07-11	Paper
Simulation-guided lyapunov analysis for hybrid dynamical systems	2017-05-16	Paper
Powertrain control verification benchmark	2017-05-16	Paper
Numerically-aided deductive safety proof for a powertrain control system	2016-12-16	Paper
Discovering Forward Invariant Sets for Nonlinear Dynamical Systems	2016-01-11	Paper
Stochastic Local Search for Falsification of Hybrid Systems	2016-01-08	Paper
Verification of Supervisory Control Software Using State Proximity and Merging	2008-09-02	Paper
https://portal.mardi4nfdi.de/entity/Q4417997	2003-07-30	Paper

Research outcomes over time

This page was built for person: James Kapinski