Jonas Schiffl

Orcid: 0000-0002-9882-8177

Affiliations:
  • Karlsruhe Institute of Technology, Germany


According to our database1, Jonas Schiffl authored at least 12 papers between 2017 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Practical Notion of Liveness in Smart Contract Applications.
Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024

2023
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY.
Int. J. Softw. Tools Technol. Transf., April, 2023

Are Formal Contracts a Useful Digital Twin of Software Systems?
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.
Proceedings of the IEEE International Conference on Decentralized Applications and Infrastructures, 2023

2021
Deductive Verification of Floating-Point Java Programs in KeY.
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.
Proceedings of the SACMAT '21: The 26th ACM Symposium on Access Control Models and Technologies, 2021

Continuous Secure Software Development and Analysis.
Proceedings of the Short Paper Proceedings of Symposium on Software Performance 2021, 2021

Reconstructing z3 proofs in KeY: there and back again.
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.
Proceedings of the Deductive Software Verification: Future Perspectives, 2020

Specifying Framing Conditions for Smart Contracts.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

2019
Smart Contracts: Application Scenarios for Deductive Program Verification.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

2017
Proving JDK's Dual Pivot Quicksort Correct.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017


  Loading...