Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Felix A. Wolf

> Home > Persons

Person information

affiliation: ETH Zurich, Department of Computer Science, Switzerland

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/ArquintWLSSWBM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/ArquintWLSSWBM23
Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller:
Sound Verification of Security Protocols: From Design to Interoperable Implementations. SP 2023: 1077-1093
2022
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/WolfSM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/WolfSM22
Felix A. Wolf, Malte Schwerhoff, Peter Müller:
Concise outlines for a complex logic: a proof outline checker for TaDA. Formal Methods Syst. Des. 61(1): 110-136 (2022)
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-04171
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-04171
Linard Arquint, Felix A. Wolf, Joseph Lallemand, Ralf Sasse, Christoph Sprenger, Sven N. Wiesner, David A. Basin, Peter Müller:
Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version). CoRR abs/2212.04171 (2022)
2021
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/WolfACOPM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/WolfACOPM21
Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João Carlos Pereira, Peter Müller:
Gobra: Modular Specification and Verification of Go Programs. CAV (1) 2021: 367-379
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/WolfSM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/WolfSM21
Felix A. Wolf, Malte Schwerhoff, Peter Müller:
Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA. FM 2021: 407-426
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2105-13840
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-13840
Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João Carlos Pereira, Peter Müller:
Gobra: Modular Specification and Verification of Go Programs (extended version). CoRR abs/2105.13840 (2021)
2020
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/0001KEW0CB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/0001KEW0CB20
Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin:
Igloo: soundly linking compositional refinement and separation logic for distributed system verification. Proc. ACM Program. Lang. 4(OOPSLA): 152:1-152:31 (2020)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2010-04749
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-04749
Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin:
Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification. CoRR abs/2010.04749 (2020)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2010-07080
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-07080
Felix A. Wolf, Malte Schwerhoff, Peter Müller:
Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA (Full Paper). CoRR abs/2010.07080 (2020)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.