Zum Inhalt springen

Bulwahn, Lukas [Verfasser:in] ; Nipkow, Tobias [Akademische:r Betreuer:in]; Runciman, Colin [Akademische:r Betreuer:in]

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

Online ansehen
Schließen

Zugang

... zum E-Book via Resolving-System

... zum E-Book via Deutsche Nationalbibliothek

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

München: Universitätsbibliothek der TU München, 2013
Bulwahn, Lukas [Verfasser:in] ; Lukas Bulwahn [Mitwirkende:r]

Smart test data generators via logic programming

Online ansehen
Schließen

Links

... zum Aufsatz via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

Online ansehen
Schließen

Zugang

... zum Video via DOI (frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

[Erscheinungsort nicht ermittelbar]: FOSDEM VZW, 2018

Erschienen in: FOSDEM 2017 ; (Jan. 2018)
Bulwahn, Lukas [Verfasser:in] ; Nipkow, Tobias (Prof., Ph.D.) [Mitwirkende:r]; Nipkow, Tobias (Prof., Ph.D.);Runciman, Colin [Mitwirkende:r]

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

Online ansehen
Schließen

Links

... zur Hochschulschrift

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Technical University of Munich; Technische Universität München, 2013-11-27
Bulwahn, Lukas [Herausgeber:in]; Kamali, Maryam [Herausgeber:in]; Linker, Sven [Herausgeber:in] ; 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

Online ansehen
Schließen

Zugang

... zum E-Book via DOI (Volltext ; frei zugänglich)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres

Online ansehen
Schließen

Links

... zum Aufsatz

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2012

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2012

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2011

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Open Publishing Association, 2017

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2011

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2009

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer International Publishing, 2014

Erschienen 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

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2008

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

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr