| Formal specification and verification of Hyperledger Fabric chaincode B Beckert, M Herda, M Kirsten, J Schiffl 3rd Symposium on Distributed Ledger Technology (SDLT-2018) co-located with …, 2018 | 37 | 2018 |
| Proving JDK’s dual pivot quicksort correct B Beckert, J Schiffl, PH Schmitt, M Ulbrich Verified Software. Theories, Tools, and Experiments: 9th International …, 2017 | 31 | 2017 |
| Towards correct smart contracts: a case study on formal verification of access control J Schiffl, M Grundmann, M Leinweber, O Stengele, S Friebe, B Beckert Proceedings of the 26th ACM Symposium on Access Control Models and …, 2021 | 12 | 2021 |
| Deductive verification of floating-point java programs in key R Abbasi, J Schiffl, E Darulova, M Ulbrich, W Ahrendt International Conference on Tools and Algorithms for the Construction and …, 2021 | 10 | 2021 |
| Modeling and enforcing access control policies for smart contracts JP Töberg, J Schiffl, F Reiche, B Beckert, R Heinrich, R Reussner 2022 IEEE International Conference on Decentralized Applications and …, 2022 | 8 | 2022 |
| Modeling and Verifying Access Control for Ethereum Smart Contracts F Reiche, J Schiffl, B Beckert, R Heinrich, R Reussner Inst. of Inf. Secur. and Dependability (KASTEL), 2021 | 6 | 2021 |
| Continuous Secure Software Development and Analysis. S Schulz, F Reiche, S Hahner, J Schiffl SSP, 2021 | 5 | 2021 |
| Formal analysis of smart contracts: applying the KeY system J Schiffl, W Ahrendt, B Beckert, R Bubel Deductive Software Verification: Future Perspectives: Reflections on the …, 2020 | 5 | 2020 |
| Smart contracts: application scenarios for deductive program verification B Beckert, J Schiffl, M Ulbrich Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7 …, 2020 | 5 | 2020 |
| Combining rule-and SMT-based reasoning for verifying floating-point Java programs in KeY R Abbasi, J Schiffl, E Darulova, M Ulbrich, W Ahrendt International Journal on Software Tools for Technology Transfer 25 (2), 185-204, 2023 | 3 | 2023 |
| Specifying framing conditions for smart contracts B Beckert, J Schiffl Leveraging Applications of Formal Methods, Verification and Validation …, 2020 | 3 | 2020 |
| A Practical Notion of Liveness in Smart Contract Applications J Schiffl, B Beckert 5th International Workshop on Formal Methods for Blockchains (FMBC 2024), 2024 | 2 | 2024 |
| Model-driven quantification of correctness with palladio and key F Reiche, J Schiffl, AS Weigl | 2 | 2020 |
| Static Capability-Based Security for Smart Contracts J Schiffl, A Weigl, B Beckert 2023 IEEE International Conference on Decentralized Applications and …, 2023 | 1 | 2023 |
| Reconstructing z3 proofs in KeY: there and back again W Pfeifer, J Schiffl, M Ulbrich Proceedings of the 23rd ACM International Workshop on Formal Techniques for …, 2021 | 1 | 2021 |
| Quantification of correctness with palladio and key: Case study data F Reiche, J Schiffl, A Weigl | 1 | 2021 |
| Modeling, Specification and Verification of Smart Contract Applications J Schiffl | | 2025 |
| Are Formal Contracts a useful Digital Twin of Software Systems? J Schiffl, A Weigl FMDT@ FM, 2023 | | 2023 |
| Deductive Verification of Floating-Point Java Programs in KeY RA Boroujeni, J Schiffl, E Darulova, M Ulbrich, W Ahrendt arXiv preprint arXiv:2101.08733, 2021 | | 2021 |
| Deductive Verification of Floating-Point Java Programs in KeY R Abbasi Boroujeni, J Schiffl, E Darulova, M Ulbrich, W Ahrendt arXiv e-prints, arXiv: 2101.08733, 2021 | | 2021 |
