Alexander Weigl

From MaRDI portal
Person:832052

Available identifiers

zbMath Open weigl.alexanderMaRDI QIDQ832052

List of research outcomes





PublicationDate of PublicationType
Formal specification and verification of JDK's identity hash map implementation2024-09-27Paper
Generalized test tables: a domain-specific specification language for automated production systems2023-07-28Paper
Upper bound computation of information leakages for unbounded recursion2023-05-26Paper
Formal specification and verification of JDK's identity hash map implementation2022-08-19Paper
Quantifying software reliability via model-counting2022-03-24Paper

Research outcomes over time

This page was built for person: Alexander Weigl

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