Jonas Schiffl

15 papers C 1Journal 2Unranked 10
YearRankTypeTitle / Venue / Authors
2025 — —
Modeling, Specification and Verification of Smart Contract Applications.
Jonas Schiffl
2025 — conf
Scar: Verification-Based Development of Smart Contracts (Tool Paper).
FMBC
Jonas Schiffl, Bernhard Beckert
2024 — conf
A Practical Notion of Liveness in Smart Contract Applications.
FMBC@CAV
Jonas Schiffl, Bernhard Beckert
2023 — conf
Are Formal Contracts a Useful Digital Twin of Software Systems?
FMDT@FM
Jonas Schiffl, Alexander Weigl
2023 J jnl
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY.
Int. J. Softw. Tools Technol. Transf.
Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt
2023 — conf
Static Capability-Based Security for Smart Contracts.
DAPPS
Jonas Schiffl, Alexander Weigl, Bernhard Beckert
2021 — conf
Continuous Secure Software Development and Analysis.
SSP
Sophie Schulz, Frederik Reiche, Sebastian Hahner, Jonas Schiffl
2021 — conf
Deductive Verification of Floating-Point Java Programs in KeY.
TACAS (2)
Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt
2021 J jnl
Deductive Verification of Floating-Point Java Programs in KeY.
CoRR
Rosa Abbasi Boroujeni, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt
2021 — conf
Reconstructing z3 proofs in KeY: there and back again.
FTfJP@ECOOP
Wolfram Pfeifer, Jonas Schiffl, Mattias Ulbrich
2021 C conf
Towards Correct Smart Contracts: A Case Study on Formal Verification of Access Control.
SACMAT
Jonas Schiffl, Matthias Grundmann, Marc Leinweber, Oliver Stengele, Sebastian Friebe, Bernhard Beckert
2020 — ch.
Formal Analysis of Smart Contracts: Applying the KeY System.
20 Years of KeY
Jonas Schiffl, Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel
2020 — conf
Specifying Framing Conditions for Smart Contracts.
ISoLA (3)
Bernhard Beckert, Jonas Schiffl
2019 — conf
Smart Contracts: Application Scenarios for Deductive Program Verification.
FM Workshops (1)
Bernhard Beckert, Jonas Schiffl, Mattias Ulbrich
2017 — conf
Proving JDK's Dual Pivot Quicksort Correct.
VSTTE
Bernhard Beckert, Jonas Schiffl, Peter H. Schmitt, Mattias Ulbrich