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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: James Kapinski