Jonas Schiffl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2019–2023
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | FM | Are Formal Contracts a Useful Digital Twin of Software Systems? | Jonas Schiffl, Alexander Weigl |
| 2021 | ECOOP | Reconstructing z3 proofs in KeY: there and back again. | Wolfram Pfeifer, Jonas Schiffl, Mattias Ulbrich |
| 2021 | SACMAT | 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 |
| 2021 | TACAS | Deductive Verification of Floating-Point Java Programs in KeY. | Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt |
| 2020 | ISoLA | Specifying Framing Conditions for Smart Contracts. | Bernhard Beckert, Jonas Schiffl |
| 2019 | FM | Smart Contracts: Application Scenarios for Deductive Program Verification. | Bernhard Beckert, Jonas Schiffl, Mattias Ulbrich |