Daniel Große

From MaRDI portal
Person:1683466

Available identifiers

zbMath Open grosse.danielMaRDI QIDQ1683466

List of research outcomes





PublicationDate of PublicationType
Formal Verification of Structurally Complex Multipliers2024-03-18Paper
Clustering-Guided SMT($$\mathcal {L\!R\!A}$$) Learning2023-03-21Paper
GenMul: Generating Architecturally Complex Multipliers to Challenge Formal Verification Tools2021-10-18Paper
Semi-formal cycle-accurate temporal execution traces reconstruction2017-12-01Paper
Lazy-CSeq-SP: Boosting Sequentialization-Based Verification of Multi-threaded C Programs via Symbolic Pruning of Redundant Schedules2016-01-08Paper
Exact synthesis of elementary quantum gate circuits2012-04-26Paper
https://portal.mardi4nfdi.de/entity/Q35289282008-10-17Paper
Correct Hardware Design and Verification Methods2006-10-20Paper
https://portal.mardi4nfdi.de/entity/Q44485972004-02-18Paper
https://portal.mardi4nfdi.de/entity/Q48052832003-05-11Paper
https://portal.mardi4nfdi.de/entity/Q27686182002-02-03Paper

Research outcomes over time

This page was built for person: Daniel Große

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