GitHub - muelas/KeYmaeraX-release: Component-based Verification with...
github.com
Developed by Andre Platzer, Stefan Mitsch, Nathan Fulton, Brandon Bohrer, Jan-David Quesel, Yong Kiam Tan, Marcus Voelp, Ran Ji. See LICENSE.txt for the conditions of using this software. The KeYmaera X distribution contains external tools. A list of tools and their licenses can be found in.
Exposing Architecture in Hybrid Programs
www.slideshare.net
Exposing Architecture in Hybrid Programs. 1. Exposing Architectures in Hybrid Programs Ivan Ruchkin In collaboration with Stefan Mitsch, Jan-David Quesel, Andre Platzer, David Garlan, and others SSSG November 18, 2013; 2. Outline ○ Problem: hidden architectural knowledge ○ Hybrid programs ...
CiteSeerX — A Case Study in Formal Verification
citeseerx.ist.psu.edu
BibTeX @MISC{Platzer09acase, author = {Andre Platzer and Jan-david Quesel and André Platzer and Jan-david Quesel and Andreas Podelski and Reinhard Wilhelm and André Platzer and Jan-david Quesel}, title = {A Case Study in Formal Verification ⋆}, year = {2009}}
How to model and prove hybrid systems with KeYmaera: a tutorial on...
www.proquest.com
Jan-David Quesel · Stefan Mitsch · Sarah Loos ·. Nikos Aréchiga · André Platzer. Published online: 27 February © Springer-Verlag Berlin Heidelberg Abstract This paper is a tutorial on how to model hybrid systems as hybrid programs in differential dynamic logic and how to prove complex properties about these ...
CiteSeerX — Real world verification
citeseerx.ist.psu.edu
BibTeX @INPROCEEDINGS{Platzer09realworld, author = {Andre Platzer and Jan-david Quesel and André Platzer and Jan-david Quesel and Andreas Podelski and ...
CiteSeerX — Real world verificationciteseer.ist.psu.edu › viewdoc › summary
citeseer.ist.psu.edu
by Andre Platzer , Jan-david Quesel , André Platzer , Jan-david Quesel , Andreas Podelski , Reinhard Wilhelm , André Platzer , Jan-david Quesel ...
Publications | Sarah M. Loos
sarahmloos.wordpress.com
Refereed Journal Publications Jan-David Quesel, Stefan Mitsch, Sarah Loos, Nikos Aréchiga, and André Platzer. How to model and prove hybrid systems with ...
All web results to the name "Jan-David Quesel"
André Platzer - Cytowania w Google Scholar
scholar.google.ca
Sarah M. Loos,; Jan-David Quesel,; Paolo Zuliani,; Stefan Mitsch,; Christopher Langmead,; axel legay,; Khalil Ghorbal,; Bruce H. Krogh,; João G. Martins,; Jun ...
CADE International Conference on Automated Deduction
conference.imp.fu-berlin.de
CADE-25 Accepted Papers. Regular Papers . Andrew Reynolds and Jasmin Christian Blanchette Jan-David Quesel, Marcus Voelp and André Platzer.
NSF Award Search: Award # CPS: Medium: GOALI: An...
www.nsf.gov
Jan-David Quesel, Stefan Mitsch, Sarah Loos, Nikos Aréchiga, and André Platzer. "How to model and prove hybrid systems with KeYmaera: a tutorial on safety," International Journal on Software Tools for Technology Transfer, v.17, 2015, p. 1.
Franz Franchetti - HACMS
users.ece.cmu.edu
Stefan Mitsch, Jan-David Quesel, André Platzer From Safety to Guilty and from Liveness to Niceness Formal Methods for Robotics and Automation
CADE Accepted Paperscomplogic.cs.mcgill.ca › cade22 › acceptedpapers
complogic.cs.mcgill.ca
Andre Platzer, Jan-David Quesel and Philipp Ruemmer; A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs Stephan ...
Gröbner Bases Bibliography
www3.risc.jku.at
Title, Real world verification. Author(s), Andre Platzer, Jan-David Quesel, Philipp Rümmer. Type, Book, Chapter in Book, Conference Proceeding. Abstract ...
ModelPlex: Verified Runtime Validation of Verified Cyber-Physical ...
www.dtic.mil
Springer, ISBN doi: [35] André Platzer and Jan-David Quesel. European Train Control System: A case study in formal verification. In Karin Breitman and Ana Cavalcanti, editors, ICFEM, volume of LNCS. Springer, doi:
Publications by André Platzer (chronological)
symbolaris.com
List of publications by André Platzer. Reverse-chronological
Publications by André Platzer
www.lfcps.org
List of publications by André Platzer. Journals, conference, workshop proceedings, books, and book chapters
Real World Verification | springerprofessional.dewww.springerprofessional.de › real-world-verification
www.springerprofessional.de
Authors: André Platzer, Jan-David Quesel, Philipp Rümmer. Publisher: Springer Berlin Heidelberg. Published in: Automated Deduction – CADE-22.
References - Electronic Proceedings in Theoretical Computer ...eptcs.web.cse.unsw.edu.au › references › FIDE
cgi.cse.unsw.edu.au
Nathan Fulton, Stefan Mitsch, Jan-David Quesel, Marcus Völp & André Platzer (2015): KeYmaera X: An axiomatic tactical theorem prover for hybrid systems.
Verified Runtime Validation of Verified Cyber-Physical System Models
www.dtic.mil
[34] André Platzer and Jan-David Quesel. KeYmaera: A hybrid theorem prover for hybrid sys- tems. In Alessandro Armando, Peter Baumgartner, and Gilles ...
Related search requests for Jan-David Quesel
| André Platzer Sarah Loos |
People Forename "Jan-David" (5) Name "Quesel" (1) |
sorted by relevance / date