Christopher Hahn

From MaRDI portal
Person:2008279

Available identifiers

zbMath Open hahn.christopherMaRDI QIDQ2008279

List of research outcomes





PublicationDate of PublicationType
The hierarchy of hyperlogics2024-12-19Paper
Train small, model big: scalable physics simulators via reduced order modeling and domain decomposition2024-06-18Paper
Fast Convergence of k-Opinion Undecided State Dynamics in the Population Protocol Model2024-03-26Paper
Constraint-based monitoring of hyperproperties2023-11-24Paper
Temporal causality in reactive systems2023-06-02Paper
Model checking quantitative hyperproperties2023-05-26Paper
Synthesizing reactive systems from hyperproperties2023-05-26Paper
Explaining Hyperproperty Violations2022-12-07Paper
Runtime enforcement of hyperproperties2022-06-22Paper
Realizing \(\omega\)-regular hyperproperties2021-02-09Paper
Synthesis from hyperproperties2020-03-06Paper
Monitoring hyperproperties2019-11-25Paper
https://portal.mardi4nfdi.de/entity/Q46086652018-03-21Paper

Research outcomes over time

This page was built for person: Christopher Hahn

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