bibliographer - Daniel Kroening

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Enhancing active model learning with equivalence checking using simulation relations Natasha Yogananda Jeppu Tom Melham Daniel Kroening [github]

Neural Termination Analysis Mirco Giacobbe Daniel Kroening Julian Parsert [github]

Satisfiability Solvers Are Static Analysers Vijay D'Silva Leopold Haller Daniel Kroening [github]

Dynamic Cutoff Detection in Parameterized Concurrent Programs Alexander Kaiser Daniel Kroening Thomas Wahl [github]

Ranking function synthesis for bit-vector relations Byron Cook Daniel Kroening Philipp Rümmer Christoph M. Wintersteiger [github]

Verification of Boolean programs with unbounded thread creation Byron Cook Daniel Kroening Natasha Sharygina [github]

A Widening Approach to Multithreaded Program Verification Alexander Kaiser Daniel Kroening Thomas Wahl [github]

Library Size: 13G (7 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]