Home  |  Legals  |  Data Protection  |  Sitemap  |  KIT

Jonas Schiffl

Jonas Schiffl M.Sc. Jonas Schiffl - Researcher / PhD Student
Am Fasanengarten 5
Building 50.34
Office 226
76131 Karlsruhe
Germany

Tel.: + 49 721 608 47318
Fax: + 49 721 608 44021
Email: jonas schifflRjb4∂kit edu

Projects

Teaching

  • Proseminar: SS2019


Publications

2018
Title Author(s) Source
Specification and Verification of Hyperledger Fabric ChaincodeJonas SchifflKarlsruhe Institute of Technology (December 2018)
Formal Specification and Verification of Hyperledger Fabric ChaincodeBernhard Beckert
Mihai Herda
Michael Kirsten
Jonas Schiffl
3rd Symposium on Distributed Ledger Technology (SDLT-2018) co-located with ICFEM 2018: the 20th International Conference on Formal Engineering Methods
2017
Title Author(s) Source
Proving JDK's Dual Pivot Quicksort CorrectBernhard Beckert
Jonas Schiffl
Peter H. Schmitt
Mattias Ulbrich
9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2017)
2016
Title Author(s) Source
Dual Pivot Quicksort: Specification and Verification Using KeYJonas SchifflKarlsruhe Institute of Technology (May 2016)