E-LIB Suche - Ergebnisse für: Schiffl, Jonas

1

Combining rule- and SMT-based reasoning for verifying float..:

Abbasi, Rosa ; Schiffl, Jonas ; Darulova, Eva..
International Journal on Software Tools for Technology Transfer. 25 (2023) 2 - p. 185-204 , 2023

Link: https://doi.org/10.1007/..

2

Static Capability-Based Security for Smart Contracts:

, In: 2023 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS),

Schiffl, Jonas ; Weigl, Alexander ; Beckert, Bernhard - p. 110-117 , 2023

Link: https://doi.org/10.1109/..

3

Modeling and Enforcing Access Control Policies for Smart Co..:

, In: 2022 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS),

Toberg, Jan-Philipp ; Schiffl, Jonas ; Reiche, Frederik... - p. 38-47 , 2022

Link: https://doi.org/10.1109/..

4

Reconstructing z3 proofs in KeY: there and back again:

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

Pfeifer, Wolfram ; Schiffl, Jonas ; Ulbrich, Mattias - p. 24-31 , 2021

Link: https://dl.acm.org/doi/1..

5

Towards Correct Smart Contracts: A Case Study on Formal Ver..:

, In: Proceedings of the 26th ACM Symposium on Access Control Models and Technologies,

Schiffl, Jonas ; Grundmann, Matthias ; Leinweber, Marc... - p. 125-130 , 2021

Link: https://dl.acm.org/doi/1..

6

Deductive Verification of Floating-Point Java Programs in K..:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Abbasi, Rosa ; Schiffl, Jonas ; Darulova, Eva.. - p. 242-261 , 2021

Link: https://doi.org/10.1007/..

7

Specifying Framing Conditions for Smart Contracts:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation: Applications,

Beckert, Bernhard ; Schiffl, Jonas - p. 43-59 , 2020

Link: https://doi.org/10.1007/..

8

Smart Contracts: Application Scenarios for Deductive Progra..:

, In: Lecture Notes in Computer Science; Formal Methods. FM 2019 International Workshops,

Beckert, Bernhard ; Schiffl, Jonas ; Ulbrich, Mattias - p. 293-298 , 2020

Link: https://doi.org/10.1007/..

9

Formal Analysis of Smart Contracts: Applying the KeY System:

, In: Lecture Notes in Computer Science; Deductive Software Verification: Future Perspectives,

Schiffl, Jonas ; Ahrendt, Wolfgang ; Beckert, Bernhard. - p. 204-218 , 2020

Link: https://doi.org/10.1007/..

10

Static Capability-Based Security for Smart Contracts:

Schiffl, Jonas ; Weigl, Alexander ; Beckert, Bernhard
info:eu-repo/semantics/altIdentifier/doi/10.1109/DAPPS57946.2023.00024. , 2023

Link: https://publikationen.bi..

11

Are Formal Contracts a useful Digital Twin of Software Syst..:

Schiffl, Jonas ; Weigl, Alexander
CEUR workshop proceedings. , 2023

Link: https://publikationen.bi..

12

Combining rule- and SMT-based reasoning for verifying float..:

Abbasi, Rosa ; Schiffl, Jonas ; Darulova, Eva..
info:eu-repo/semantics/altIdentifier/wos/000945784800001. , 2023

Link: https://publikationen.bi..

13

Quantification of Correctness with Palladio and KeY: Case S..:

Reiche, Frederik ; Schiffl, Jonas ; Weigl, Alexander
https://dx.doi.org/10.35097/1274. , 2023

Link: https://doi.org/10.35097..

14

Continuous Secure Software Development and Analysis:

Schulz, Sophie ; Reiche, Frederik ; Hahner, Sebastian.
CEUR Workshop Proceedings. , 2022

Link: https://publikationen.bi..

15

Modeling and Enforcing Access Control Policies for Smart Co..:

Töberg, Jan-Philipp ; Schiffl, Jonas ; Reiche, Frederik...
IEEE International Conference on Decentralized Applications and Infrastructures. , 2022

Link: https://publikationen.bi..