Person:271718

Available identifiers

zbMath Open kowalewski.stefanMaRDI QIDQ271718

List of research outcomes

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

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: Stefan Kowalewski