Kai Lampka

From MaRDI portal
Person:488237

Available identifiers

zbMath Open lampka.kaiMaRDI QIDQ488237

List of research outcomes





PublicationDate of PublicationType
A New Algorithm for Partitioned Symbolic Reachability Analysis2015-03-23Paper
A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets2015-01-23Paper
Partially-shared zero-suppressed multi-terminal BDDs: Concept, algorithms and applications2010-11-03Paper
Validation of Stochastic Systems2009-07-24Paper

Research outcomes over time

This page was built for person: Kai Lampka

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:488237&oldid=7124194"
Powered by MediaWiki