Stefan Kowalewski

Available identifiers

Publication	Date of Publication	Type
Leveraging Horn clause solving for compositional verification of PLC software	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	2014-08-07	Paper
Access-Based Localization for Octagons	2014-07-22	Paper
Abstract interpretation of microcontroller code: intervals meet congruences	2014-04-02	Paper
Invariants for LTI Systems with Uncertain Input	2013-01-07	Paper
Application of static analyses for state-space reduction to the microcontroller binary code	2011-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4737061	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4782053	2003-04-24	Paper
https://portal.mardi4nfdi.de/entity/Q4948548	2000-06-21	Paper
https://portal.mardi4nfdi.de/entity/Q4249574	1999-11-08	Paper
Verification of logic controllers for continuous plants using timed condition/event-system models	1999-09-02	Paper
State feedback control of condition/event systems	1997-03-12	Paper
https://portal.mardi4nfdi.de/entity/Q4763569	1995-11-27	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Stefan Kowalewski