Jonas Schiffl

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 12

Top Topics

Top Venues

FM Workshops (1)

Publications

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