Jens Knoop

From MaRDI portal
Person:507356

Available identifiers

zbMath Open knoop.jensMaRDI QIDQ507356

List of research outcomes





PublicationDate of PublicationType
Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution2017-02-06Paper
Symbolic Loop Bound Computation for WCET Analysis2015-12-07Paper
Sparse code motion2015-03-17Paper
https://portal.mardi4nfdi.de/entity/Q47918942003-02-04Paper
https://portal.mardi4nfdi.de/entity/Q45369582002-11-06Paper
https://portal.mardi4nfdi.de/entity/Q27220652001-07-11Paper
https://portal.mardi4nfdi.de/entity/Q45015842001-06-10Paper
https://portal.mardi4nfdi.de/entity/Q44943812000-08-10Paper
Eliminating partially dead code in explicitly parallel programs1998-08-13Paper
https://portal.mardi4nfdi.de/entity/Q40386741993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q39751691992-06-26Paper
Finite constants: Characterizations of a new decidable set of constants1992-06-25Paper

Research outcomes over time

This page was built for person: Jens Knoop

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