Felix Stutz

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 13

Top Topics

Cryptographic Protocols

Top Venues

Publications

Elaine Li, Felix Stutz, Thomas Wies
Deciding Subtyping for Asynchronous Multiparty Sessions. ESOP (1) (2024)
Elaine Li, Felix Stutz, Thomas Wies
Deciding Subtyping for Asynchronous Multiparty Sessions. CoRR (2024)
Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey
Complete Multiparty Session Type Projection with Automata. CAV (3) (2023)
Felix Stutz
Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts. ECOOP (2023)
Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey
Complete Multiparty Session Type Projection with Automata. CoRR (2023)
Felix Stutz
Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts. CoRR (2023)
Felix Stutz, Damien Zufferey
Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types. GandALF (2022)
Felix Stutz, Damien Zufferey
Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types. CoRR (2022)
Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey
Generalising Projection in Asynchronous Multiparty Session Types. CONCUR (2021)
Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey
Generalising Projection in Asynchronous Multiparty Session Types. CoRR (2021)
Emanuele D'Osualdo, Felix Stutz
Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions. CONCUR (2020)
Emanuele D'Osualdo, Felix Stutz
Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions. CoRR (2019)
Felipe Cerqueira, Felix Stutz, Björn B. Brandenburg
PROSA: A Case for Readable Mechanized Schedulability Analysis. ECRTS (2016)