PROSA: A Case for Readable Mechanized Schedulability Analysis. - Felipe Cerqueira; Felix Stutz; Björn B. Brandenburg (ECRTS, 2016)

Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions. - Emanuele D'Osualdo; Felix Stutz (CONCUR, 2020)

Generalising Projection in Asynchronous Multiparty Session Types. - Rupak Majumdar; Madhavan Mukund; Felix Stutz; Damien Zufferey (CONCUR, 2021)

Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types. - Felix Stutz; Damien Zufferey (GandALF, 2022)

Complete Multiparty Session Type Projection with Automata. - Elaine Li; Felix Stutz; Thomas Wies; Damien Zufferey (CAV (3), 2023)

Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts. - Felix Stutz (ECOOP, 2023)

Deciding Subtyping for Asynchronous Multiparty Sessions. - Elaine Li; Felix Stutz; Thomas Wies (ESOP (1), 2024)

Implementability of Asynchronous Communication Protocols - The Power of Choice. - Felix Stutz (2024)

Sprout: A Verifier for Symbolic Multiparty Protocols. - Elaine Li; Felix Stutz; Thomas Wies; Damien Zufferey (CAV (3), 2025)

An Automata-theoretic Basis for Specification and Type Checking of Multiparty Protocols. - Felix Stutz; Emanuele D'Osualdo (ESOP (2), 2025)

Characterizing Implementability of Global Protocols with Infinite States and Data. - Elaine Li; Felix Stutz; Thomas Wies; Damien Zufferey (Proc. ACM Program. Lang., 2025)