

Online model checking mechanism and its applications
Elektronische Ressource, Paderborn




Analysis of bidirectional EV charging infrastructures within industrial DC grids
In: Smart Energy. special issue SESAAU2024, 21, Artikel-ID 100227, Seite 1-16
Analysis of doubly degenerate chemotaxis-consumption systems
Paderborn, 2026
Automated analysis of SSH client state machines
Paderborn, 2026
Between how it works and what it's for
an analysis of everyday explanations of a technical artifactPaderborn, 2026


Erdős Sieves and Dynamics
Paderborn, 2026

From Continuous Parametrizations to Discrete Hexahedral Meshes
Reliable Algorithms for a Versatile PipelinePaderborn, 2026
Helping Java developers reduce cryptographic API misuses
Paderborn, 2026



