bhermann > analysis | PUMA

bookmarks (hide)
display
all
bookmarks only
bookmarks per page
5
10
20
50
100
sort by
added at
title
RSS
BibTeX
XML

No matching posts.

⟨⟨
⟨
⟩
⟩⟩

publications (hide)2
display
all
publications only
publications per page
5
10
20
50
100
sort by
added at
title
author
publication date
entry type
help for advanced sorting...
BibTeX
CSV
RDF
RSS
more...

1Bounds for Quantum Circuits using Logic-Based Analysis
B. Fauseweh, B. Hermann, and F. Howar. (2025)
a month ago by @bhermann
show all tags
computing,
verification,
circuit,
logic,
analysis
quantum
computing,verification,circuit,logic,analysisquantum
copydeleteadd this publication to your clipboard
1Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis
P. Schubert, B. Hermann, and E. Bodden. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)
a month ago by @bhermann
show all tags
static
LLVM,
its
engineering
analysis
→
and
compositional
analysis,
Inter-procedural
Automated
Software
C/C++,
staticLLVM,itsengineeringanalysis→andcompositionalanalysis,Inter-proceduralAutomatedSoftwareC/C++,
copydeleteadd this publication to your clipboard

⟨⟨
⟨
1
⟩
⟩⟩