Felix Stutz

According to our database, Felix Stutz authored at least 8 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Implementability of Asynchronous Communication Protocols - The Power of Choice.

Felix Stutz

PhD thesis, 2024

Deciding Subtyping for Asynchronous Multiparty Sessions.

Elaine Li, Felix Stutz, Thomas Wies

Proceedings of the Programming Languages and Systems, 2024

2023

Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts.

Felix Stutz

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

Complete Multiparty Session Type Projection with Automata.

Elaine Li, Felix Stutz, Thomas Wies, Damien Zufferey

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types.

Felix Stutz, Damien Zufferey

Proceedings of the 13th International Symposium on Games, 2022

2021

Generalising Projection in Asynchronous Multiparty Session Types.

Rupak Majumdar, Madhavan Mukund, Felix Stutz, Damien Zufferey

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions.

Emanuele D'Osualdo, Felix Stutz

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2016

PROSA: A Case for Readable Mechanized Schedulability Analysis.

Felipe Cerqueira, Felix Stutz, Björn B. Brandenburg

Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016