BibTeX records: Felix Stutz

• > Home > Persons > Felix Stutz

@phdthesis{DBLP:phd/dnb/Stutz24,
  author       = {Felix Stutz},
  title        = {Implementability of Asynchronous Communication Protocols - The Power
                  of Choice},
  school       = {Kaiserslautern University of Technology, Germany},
  year         = {2024}
}

@inproceedings{DBLP:conf/esop/LiSW24,
  author       = {Elaine Li and
                  Felix Stutz and
                  Thomas Wies},
  title        = {Deciding Subtyping for Asynchronous Multiparty Sessions},
  booktitle    = {{ESOP} {(1)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14576},
  pages        = {176--205},
  publisher    = {Springer},
  year         = {2024}
}

@article{DBLP:journals/corr/abs-2401-16395,
  author       = {Elaine Li and
                  Felix Stutz and
                  Thomas Wies},
  title        = {Deciding Subtyping for Asynchronous Multiparty Sessions},
  journal      = {CoRR},
  volume       = {abs/2401.16395},
  year         = {2024}
}

@inproceedings{DBLP:conf/cav/LiSWZ23,
  author       = {Elaine Li and
                  Felix Stutz and
                  Thomas Wies and
                  Damien Zufferey},
  title        = {Complete Multiparty Session Type Projection with Automata},
  booktitle    = {{CAV} {(3)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {350--373},
  publisher    = {Springer},
  year         = {2023}
}

@inproceedings{DBLP:conf/ecoop/Stutz23,
  author       = {Felix Stutz},
  title        = {Asynchronous Multiparty Session Type Implementability is Decidable
                  - Lessons Learned from Message Sequence Charts},
  booktitle    = {{ECOOP}},
  series       = {LIPIcs},
  volume       = {263},
  pages        = {32:1--32:31},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023}
}

@article{DBLP:journals/corr/abs-2302-11272,
  author       = {Felix Stutz},
  title        = {Asynchronous Multiparty Session Type Implementability is Decidable
                  - Lessons Learned from Message Sequence Charts},
  journal      = {CoRR},
  volume       = {abs/2302.11272},
  year         = {2023}
}

@article{DBLP:journals/corr/abs-2305-17079,
  author       = {Elaine Li and
                  Felix Stutz and
                  Thomas Wies and
                  Damien Zufferey},
  title        = {Complete Multiparty Session Type Projection with Automata},
  journal      = {CoRR},
  volume       = {abs/2305.17079},
  year         = {2023}
}

@inproceedings{DBLP:journals/corr/abs-2209-10328,
  author       = {Felix Stutz and
                  Damien Zufferey},
  title        = {Comparing Channel Restrictions of Communicating State Machines, High-level
                  Message Sequence Charts, and Multiparty Session Types},
  booktitle    = {GandALF},
  series       = {{EPTCS}},
  volume       = {370},
  pages        = {194--212},
  year         = {2022}
}

@article{DBLP:journals/corr/abs-2208-05559,
  author       = {Felix Stutz and
                  Damien Zufferey},
  title        = {Comparing Channel Restrictions of Communicating State Machines, High-level
                  Message Sequence Charts, and Multiparty Session Types},
  journal      = {CoRR},
  volume       = {abs/2208.05559},
  year         = {2022}
}

@inproceedings{DBLP:conf/concur/MajumdarMSZ21,
  author       = {Rupak Majumdar and
                  Madhavan Mukund and
                  Felix Stutz and
                  Damien Zufferey},
  title        = {Generalising Projection in Asynchronous Multiparty Session Types},
  booktitle    = {{CONCUR}},
  series       = {LIPIcs},
  volume       = {203},
  pages        = {35:1--35:24},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021}
}

@article{DBLP:journals/corr/abs-2107-03984,
  author       = {Rupak Majumdar and
                  Madhavan Mukund and
                  Felix Stutz and
                  Damien Zufferey},
  title        = {Generalising Projection in Asynchronous Multiparty Session Types},
  journal      = {CoRR},
  volume       = {abs/2107.03984},
  year         = {2021}
}

@inproceedings{DBLP:conf/concur/DOsualdoS20,
  author       = {Emanuele D'Osualdo and
                  Felix Stutz},
  title        = {Decidable Inductive Invariants for Verification of Cryptographic Protocols
                  with Unbounded Sessions},
  booktitle    = {{CONCUR}},
  series       = {LIPIcs},
  volume       = {171},
  pages        = {31:1--31:23},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020}
}

@article{DBLP:journals/corr/abs-1911-05430,
  author       = {Emanuele D'Osualdo and
                  Felix Stutz},
  title        = {Decidable Inductive Invariants for Verification of Cryptographic Protocols
                  with Unbounded Sessions},
  journal      = {CoRR},
  volume       = {abs/1911.05430},
  year         = {2019}
}

@inproceedings{DBLP:conf/ecrts/CerqueiraSB16,
  author       = {Felipe Cerqueira and
                  Felix Stutz and
                  Bj{\"{o}}rn B. Brandenburg},
  title        = {{PROSA:} {A} Case for Readable Mechanized Schedulability Analysis},
  booktitle    = {{ECRTS}},
  pages        = {273--284},
  publisher    = {{IEEE} Computer Society},
  year         = {2016}
}