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 |
Projects
Teaching
- Proseminar: SS2019
Publications
Title | Author(s) | Source |
---|---|---|
Smart Contracts: Application Scenarios for Deductive Program Verification | Bernhard Beckert Jonas Schiffl Mattias Ulbrich | 1st Workshop on Formal Methods for Blockchains (FMBC 2019) hosted by the 3rd Formal Methods World Congress (FM’19) |
Title | Author(s) | Source |
---|---|---|
Specification and Verification of Hyperledger Fabric Chaincode | Jonas Schiffl | Karlsruhe Institute of Technology (December 2018) |
Formal Specification and Verification of Hyperledger Fabric Chaincode | Bernhard 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 |
Title | Author(s) | Source |
---|---|---|
Proving JDK's Dual Pivot Quicksort Correct | Bernhard Beckert Jonas Schiffl Peter H. Schmitt Mattias Ulbrich | 9th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2017) |
Title | Author(s) | Source |
---|---|---|
Dual Pivot Quicksort: Specification and Verification Using KeY | Jonas Schiffl | Karlsruhe Institute of Technology (May 2016) |