Jonas Schiffl

According to our database, Jonas Schiffl authored at least 11 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY.

Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt

Int. J. Softw. Tools Technol. Transf., April, 2023

Are Formal Contracts a Useful Digital Twin of Software Systems?

Jonas Schiffl, Alexander Weigl

Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), 2023

Static Capability-Based Security for Smart Contracts.

Jonas Schiffl, Alexander Weigl, Bernhard Beckert

Proceedings of the IEEE International Conference on Decentralized Applications and Infrastructures, 2023

2021

Deductive Verification of Floating-Point Java Programs in KeY.

Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Towards Correct Smart Contracts: A Case Study on Formal Verification of Access Control.

Jonas Schiffl, Matthias Grundmann, Marc Leinweber, Oliver Stengele, Sebastian Friebe, Bernhard Beckert

Proceedings of the SACMAT '21: The 26th ACM Symposium on Access Control Models and Technologies, 2021

Continuous Secure Software Development and Analysis.

Sophie Schulz, Frederik Reiche, Sebastian Hahner, Jonas Schiffl

Proceedings of the Short Paper Proceedings of Symposium on Software Performance 2021, 2021

Reconstructing z3 proofs in KeY: there and back again.

Wolfram Pfeifer, Jonas Schiffl, Mattias Ulbrich

Proceedings of the FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021

2020

Formal Analysis of Smart Contracts: Applying the KeY System.

Jonas Schiffl, Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

Specifying Framing Conditions for Smart Contracts.

Bernhard Beckert, Jonas Schiffl

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

2019

Smart Contracts: Application Scenarios for Deductive Program Verification.

Bernhard Beckert, Jonas Schiffl, Mattias Ulbrich

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2017

Proving JDK's Dual Pivot Quicksort Correct.

Bernhard Beckert, Jonas Schiffl, Peter H. Schmitt, Mattias Ulbrich

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017