Ulrich Kühne

From MaRDI portal
Person:2106701

Available identifiers

zbMath Open kuhne.ulrichMaRDI QIDQ2106701

List of research outcomes





PublicationDate of PublicationType
Processor anchor to increase the robustness against fault injection and cyber attacks2022-12-16Paper
Analysis and protection of the two-metric helper data scheme2022-06-17Paper
Game-based Synthesis of Distributed Controllers for Sampled Switched Systems2019-10-24Paper
Finite controlled invariants for sampled switched systems2015-01-19Paper
Parametric verification and test coverage for hybrid automata using the inverse method2013-07-30Paper
Parametric verification and test coverage for hybrid automata using the inverse method2011-10-07Paper
Advanced automation in formal verification of processors.2010-05-06Paper
https://portal.mardi4nfdi.de/entity/Q35289282008-10-17Paper

Research outcomes over time

This page was built for person: Ulrich Kühne

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