Skip to contents

Bulwahn, Lukas [Author] ; Nipkow, Tobias [Degree supervisor]; Runciman, Colin [Degree supervisor]

Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München: Universitätsbibliothek der TU München, 2013
Bulwahn, Lukas [Author] ; Lukas Bulwahn [Contributor]

Smart test data generators via logic programming

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
Bulwahn, Lukas [Author]

Success and Failure in Building an Open-Source Software Platform for Autonomous Driving Systems: its success and its difficulties

View online
Schließen

Access

... to video recording via DOI (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Erscheinungsort nicht ermittelbar]: FOSDEM VZW, 2018

Published in: FOSDEM 2017 ; (Jan. 2018)
Bulwahn, Lukas [Author] ; Nipkow, Tobias (Prof., Ph.D.) [Contributor]; Nipkow, Tobias (Prof., Ph.D.);Runciman, Colin [Contributor]

Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming ; Generierung von Gegenbeispielen für höherstufige Logik unter Verwendung von funktionalen und logischen Programmen

View online
Schließen

Links

... to thesis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Technical University of Munich; Technische Universität München, 2013-11-27
Bulwahn, Lukas [Editor]; Kamali, Maryam [Editor]; Linker, Sven [Editor] ; Workshop on Formal Verification of Autonomous Vehicles 1. 2017 Turin, Open Publishing Association

Proceedings First Workshop on Formal Verification of Autonomous Vehicles : Turin, Italy, 19th September 2017

View online
Schließen

Access

... to E-book via DOI (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Waterloo, NSW]: [Open Publishing Association], 7th September 2017

Published in: Electronic proceedings in theoretical computer science ; 257
Schwammberger, Maike [Author]; Bulwahn, Lukas [Author]; Kamali, Maryam [Author]; Linker, Sven [Author]

Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres

View online
Schließen

Links

... to article

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Open Publishing Association, 2024-04-10
Bulwahn, Lukas

Certified Programs and Proofs: The New Quickcheck for Isabelle : Random, Exhaustive and Symbolic Testing under One Roof : Random, Exhaustive and Symbolic Testing under One Roof

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2012

Published in: Certified Programs and Proofs (2012), Seite 92-108
Bulwahn, Lukas

Logic for Programming, Artificial Intelligence, and Reasoning: Smart Testing of Functional Programs in Isabelle

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2012

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (2012), Seite 153-167
Lochbihler, Andreas; Bulwahn, Lukas

Interactive Theorem Proving: Animating the Formalised Semantics of a Java-Like Language

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2011

Published in: Interactive Theorem Proving (2011), Seite 216-232
Bulwahn, Lukas; Kamali, Maryam; Linker, Sven

Proceedings First Workshop on Formal Verification of Autonomous Vehicles : Preface : Preface

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Open Publishing Association, 2017

Published in: Electronic Proceedings in Theoretical Computer Science, 257 (2017)
Blanchette, Jasmin Christian; Bulwahn, Lukas; Nipkow, Tobias

Frontiers of Combining Systems: Automatic Proof and Disproof in Isabelle/HOL

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2011

Published in: Frontiers of Combining Systems (2011), Seite 12-27
Berghofer, Stefan; Bulwahn, Lukas; Haftmann, Florian

Lecture Notes in Computer Science: Turning Inductive into Equational Specifications

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2009

Published in: Lecture Notes in Computer Science (2009), Seite 131-146
Trindade, Raphael Fonte Boa; Bulwahn, Lukas; Ainhauser, Christoph

Lecture Notes in Computer Science: Automatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2014

Published in: Lecture Notes in Computer Science (2014), Seite 278-293
Bulwahn, Lukas; Krauss, Alexander; Haftmann, Florian; Erkök, Levent; Matthews, John

Lecture Notes in Computer Science: Imperative Functional Programming with Isabelle/HOL

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2008

Published in: Lecture Notes in Computer Science (2008), Seite 134-149

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication