Stefan Kowalewski

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A change-based heuristic for static analysis with policy iteration	2024-04-19	Paper
Leveraging Horn clause solving for compositional verification of PLC software Discrete Event Dynamic Systems	2020-05-06	Paper
Reachability analysis of linear systems with stepwise constant inputs	2016-04-19	Paper
An experimental batch plant as a test case for the verification of hybrid systems European Journal of Control	2014-08-07	Paper
Access-based localization for octagons Electronic Notes in Theoretical Computer Science	2014-07-22	Paper
Abstract interpretation of microcontroller code: intervals meet congruences Science of Computer Programming	2014-04-02	Paper
Invariants for LTI systems with uncertain input Lecture Notes in Computer Science	2013-01-07	Paper
Application of static analyses for state-space reduction to the microcontroller binary code Science of Computer Programming	2011-01-14	Paper
scientific article; zbMATH DE number 2086557 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 1836378 (Why is no real title available?)	2003-04-24	Paper
scientific article; zbMATH DE number 1429792 (Why is no real title available?)	2000-06-21	Paper
scientific article; zbMATH DE number 1303072 (Why is no real title available?)	1999-11-08	Paper
Verification of logic controllers for continuous plants using timed condition/event-system models Automatica	1999-09-02	Paper
State feedback control of condition/event systems Mathematical and Computer Modelling	1997-03-12	Paper
scientific article; zbMATH DE number 744052 (Why is no real title available?)	1995-11-27	Paper

Research outcomes over time

This page was built for person: Stefan Kowalewski