Felix Stutz

23 papers A 1B 3Journal 11Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Global Protocols under Rendezvous Synchrony: From Realizability to Type Checking.
CoRR
Elaine Li, Felix Stutz
2026 — conf
Improving Trust in Legal Automation: an Intelligible Approach for Consumer Complaints.
Juggling Formal Methods and Security
Alessandro Parenti, Felix Stutz, Tomer Libal
2026 — book
Security Protocols and Threat Models - Security and Privacy via The Applied π-Calculus
Reynaldo Gil Pons, Ross Horne, Sjouke Mauw, Felix Stutz, Semen Yurkov
2025 — conf
An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols.
ESOP (2)
Felix Stutz, Emanuele D'Osualdo
2025 J jnl
An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols.
CoRR
Felix Stutz, Emanuele D'Osualdo
2025 J jnl
Characterizing Implementability of Global Protocols with Infinite States and Data.
Proc. ACM Program. Lang.
Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey
2025 J jnl
Honest Users Make Honest Mistakes: A Framework for Analysing eID Protocols.
IACR Cryptol. ePrint Arch.
Ole Martin Edstrøm, Kristian Gjøsteen, Hans Heum, Sjouke Mauw, Felix Stutz
2025 — conf
Sprout: A Verifier for Symbolic Multiparty Protocols.
CAV (3)
Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey
2024 J jnl
Characterizing Implementability of Global Protocols with Infinite States and Data.
CoRR
Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey
2024 — conf
Deciding Subtyping for Asynchronous Multiparty Sessions.
ESOP (1)
Elaine Li, Felix Stutz, Thomas Wies
2024 J jnl
Deciding Subtyping for Asynchronous Multiparty Sessions.
CoRR
Elaine Li, Felix Stutz, Thomas Wies
2024 — —
Implementability of Asynchronous Communication Protocols - The Power of Choice.
Felix Stutz
2023 A conf
Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts.
ECOOP
Felix Stutz
2023 J jnl
Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts.
CoRR
Felix Stutz
2023 — conf
Complete Multiparty Session Type Projection with Automata.
CAV (3)
Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey
2023 J jnl
Complete Multiparty Session Type Projection with Automata.
CoRR
Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey
2022 J jnl
Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types.
CoRR
Felix Stutz, Damien Zufferey
2022 — conf
Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types.
GandALF
Felix Stutz, Damien Zufferey
2021 B conf
Generalising Projection in Asynchronous Multiparty Session Types.
CONCUR
Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey
2021 J jnl
Generalising Projection in Asynchronous Multiparty Session Types.
CoRR
Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey
2020 B conf
Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions.
CONCUR
Emanuele D'Osualdo, Felix Stutz
2019 J jnl
Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions.
CoRR
Emanuele D'Osualdo, Felix Stutz
2016 B conf
PROSA: A Case for Readable Mechanized Schedulability Analysis.
ECRTS
Felipe Cerqueira, Felix Stutz, Björn B. Brandenburg