Lukas Bulwahn

Publication Activity (10 Years)

Years Active: 2007-2021
Publications (10 Years): 13

Top Venues

Arch. Formal Proofs

CoRR

CPP

CCSW@CCS

Technical University Munich (PHD)

Education History

Technical University Munich

PHD

Publications

Kevin Kappelmann, Lukas Bulwahn, Sebastian Willenbrink
SpecCheck - Specification-Based Testing for Isabelle/ML. Arch. Formal Proofs 2021 (2021)
Ralf Ramsauer, Lukas Bulwahn, Daniel Lohmann, Wolfgang Mauerer
The Sound of Silence: Mining Security Vulnerabilities from Secret Integration Channels in Open-Source Projects. CoRR (2020)
Ralf Ramsauer, Lukas Bulwahn, Daniel Lohmann, Wolfgang Mauerer
The Sound of Silence: Mining Security Vulnerabilities from Secret Integration Channels in Open-Source Projects. CCSW@CCS (2020)
Lukas Bulwahn
The Falling Factorial of a Sum. Arch. Formal Proofs 2017 (2017)
Lukas Bulwahn
Stewart's Theorem and Apollonius' Theorem. Arch. Formal Proofs 2017 (2017)
Lukas Bulwahn, Manuel Eberl
Bernoulli Numbers. Arch. Formal Proofs 2017 (2017)
Lukas Bulwahn
Spivey's Generalized Recurrence for Bell Numbers. Arch. Formal Proofs 2016 (2016)
Lukas Bulwahn
The Twelvefold Way. Arch. Formal Proofs 2016 (2016)
Lukas Bulwahn
Cardinality of Number Partitions. Arch. Formal Proofs 2016 (2016)
Lukas Bulwahn
Intersecting Chords Theorem. Arch. Formal Proofs 2016 (2016)
Lukas Bulwahn
Cardinality of Multisets. Arch. Formal Proofs 2016 (2016)
Lukas Bulwahn
Ptolemy's Theorem. Arch. Formal Proofs 2016 (2016)
Lukas Bulwahn
Cardinality of Equivalence Relations. Arch. Formal Proofs 2016 (2016)
Lukas Bulwahn
Euler's Partition Theorem. Arch. Formal Proofs 2015 (2015)
Lukas Bulwahn
Derangements Formula. Arch. Formal Proofs 2015 (2015)
Lukas Bulwahn
Cardinality of Set Partitions. Arch. Formal Proofs 2015 (2015)
Raphael Fonte Boa Trindade, Lukas Bulwahn, Christoph Ainhauser
Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements. SAFECOMP (2014)
Lukas Bulwahn
The New Quickcheck for Isabelle - Random, Exhaustive and Symbolic Testing under One Roof. CPP (2012)
Lukas Bulwahn
Smart Testing of Functional Programs in Isabelle. LPAR (2012)
Lukas Bulwahn
Smart test data generators via logic programming. ICLP (Technical Communications) (2011)
Andreas Lochbihler, Lukas Bulwahn
Animating the Formalised Semantics of a Java-Like Language. ITP (2011)
Jasmin Christian Blanchette, Lukas Bulwahn, Tobias Nipkow
Automatic Proof and Disproof in Isabelle/HOL. FroCoS (2011)
Lukas Bulwahn
Counterexample Generation for Higher-order Logic Using Logic Programming. AlgoSyn (2010)
Stefan Berghofer, Lukas Bulwahn, Florian Haftmann
Turning Inductive into Equational Specifications. TPHOLs (2009)
Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, John Matthews
Imperative Functional Programming with Isabelle/HOL. TPHOLs (2008)
Lukas Bulwahn, Alexander Krauss, Tobias Nipkow
Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL. TPHOLs (2007)

Lukas Bulwahn.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lukas Bulwahn