Lukas Bulwahn

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