Lukas Bulwahn

According to our database, Lukas Bulwahn authored at least 26 papers between 2007 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

SpecCheck - Specification-Based Testing for Isabelle/ML.

Kevin Kappelmann, Lukas Bulwahn, Sebastian Willenbrink

Arch. Formal Proofs, 2021

2020

The Sound of Silence: Mining Security Vulnerabilities from Secret Integration Channels in Open-Source Projects.

Ralf Ramsauer, Lukas Bulwahn, Daniel Lohmann, Wolfgang Mauerer

Proceedings of the CCSW'20, 2020

2017

Bernoulli Numbers.

Lukas Bulwahn, Manuel Eberl

Arch. Formal Proofs, 2017

The Falling Factorial of a Sum.

Lukas Bulwahn

Arch. Formal Proofs, 2017

Stewart's Theorem and Apollonius' Theorem.

Lukas Bulwahn

Arch. Formal Proofs, 2017

2016

The Twelvefold Way.

Lukas Bulwahn

Arch. Formal Proofs, 2016

Intersecting Chords Theorem.

Lukas Bulwahn

Arch. Formal Proofs, 2016

Ptolemy's Theorem.

Lukas Bulwahn

Arch. Formal Proofs, 2016

Cardinality of Multisets.

Lukas Bulwahn

Arch. Formal Proofs, 2016

Cardinality of Equivalence Relations.

Lukas Bulwahn

Arch. Formal Proofs, 2016

Spivey's Generalized Recurrence for Bell Numbers.

Lukas Bulwahn

Arch. Formal Proofs, 2016

Cardinality of Number Partitions.

Lukas Bulwahn

Arch. Formal Proofs, 2016

2015

Cardinality of Set Partitions.

Lukas Bulwahn

Arch. Formal Proofs, 2015

Euler's Partition Theorem.

Lukas Bulwahn

Arch. Formal Proofs, 2015

Derangements Formula.

Lukas Bulwahn

Arch. Formal Proofs, 2015

2014

Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements.

Raphael Fonte Boa Trindade, Lukas Bulwahn, Christoph Ainhauser

Proceedings of the Computer Safety, Reliability, and Security, 2014

2012

Counterexample generation for higher-order logic using functional and logic programming.

Lukas Bulwahn

PhD thesis, 2012

Smart Testing of Functional Programs in Isabelle.

Lukas Bulwahn

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

The New Quickcheck for Isabelle - Random, Exhaustive and Symbolic Testing under One Roof.

Lukas Bulwahn

Proceedings of the Certified Programs and Proofs - Second International Conference, 2012

2011

Animating the Formalised Semantics of a Java-Like Language.

Andreas Lochbihler, Lukas Bulwahn

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

Smart test data generators via logic programming.

Lukas Bulwahn

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

Automatic Proof and Disproof in Isabelle/HOL.

Jasmin Christian Blanchette, Lukas Bulwahn, Tobias Nipkow

Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011

2010

Counterexample Generation for Higher-order Logic Using Logic Programming.

Lukas Bulwahn

Proceedings of the Joint Workshop of the German Research Training Groups in Computer Science, 2010

2009

Turning Inductive into Equational Specifications.

Stefan Berghofer, Lukas Bulwahn, Florian Haftmann

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

2008

Imperative Functional Programming with Isabelle/HOL.

Lukas Bulwahn, Alexander Krauss, Florian Haftmann, Levent Erkök, John Matthews

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

2007

Finding Lexicographic Orders for Termination Proofs in Isabelle/HOL.

Lukas Bulwahn, Alexander Krauss, Tobias Nipkow

Proceedings of the Theorem Proving in Higher Order Logics, 20th International Conference, 2007