Felix Stutz

Orcid: 0000-0003-3638-4096

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Implementability of Asynchronous Communication Protocols - The Power of Choice.
PhD thesis, 2024

Deciding Subtyping for Asynchronous Multiparty Sessions.
Proceedings of the Programming Languages and Systems, 2024

2023
Asynchronous Multiparty Session Type Implementability is Decidable - Lessons Learned from Message Sequence Charts.
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

Complete Multiparty Session Type Projection with Automata.
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.
Proceedings of the 13th International Symposium on Games, 2022

2021
Generalising Projection in Asynchronous Multiparty Session Types.
Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020
Decidable Inductive Invariants for Verification of Cryptographic Protocols with Unbounded Sessions.
Proceedings of the 31st International Conference on Concurrency Theory, 2020

2016
PROSA: A Case for Readable Mechanized Schedulability Analysis.
Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016


  Loading...