BibTeX records: Felix Stutz

download as .bib file

@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},
  url          = {https://doi.org/10.48550/arXiv.2401.16395},
  doi          = {10.48550/ARXIV.2401.16395},
  eprinttype    = {arXiv},
  eprint       = {2401.16395},
  timestamp    = {Tue, 06 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2401-16395.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LiSWZ23,
  author       = {Elaine Li and
                  Felix Stutz and
                  Thomas Wies and
                  Damien Zufferey},
  editor       = {Constantin Enea and
                  Akash Lal},
  title        = {Complete Multiparty Session Type Projection with Automata},
  booktitle    = {Computer Aided Verification - 35th International Conference, {CAV}
                  2023, Paris, France, July 17-22, 2023, Proceedings, Part {III}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13966},
  pages        = {350--373},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-37709-9\_17},
  doi          = {10.1007/978-3-031-37709-9\_17},
  timestamp    = {Tue, 12 Sep 2023 07:57:21 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/LiSWZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/Stutz23,
  author       = {Felix Stutz},
  editor       = {Karim Ali and
                  Guido Salvaneschi},
  title        = {Asynchronous Multiparty Session Type Implementability is Decidable
                  - Lessons Learned from Message Sequence Charts},
  booktitle    = {37th European Conference on Object-Oriented Programming, {ECOOP} 2023,
                  July 17-21, 2023, Seattle, Washington, United States},
  series       = {LIPIcs},
  volume       = {263},
  pages        = {32:1--32:31},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2023},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2023.32},
  doi          = {10.4230/LIPICS.ECOOP.2023.32},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/Stutz23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://doi.org/10.48550/arXiv.2302.11272},
  doi          = {10.48550/ARXIV.2302.11272},
  eprinttype    = {arXiv},
  eprint       = {2302.11272},
  timestamp    = {Fri, 24 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2302-11272.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://doi.org/10.48550/arXiv.2305.17079},
  doi          = {10.48550/ARXIV.2305.17079},
  eprinttype    = {arXiv},
  eprint       = {2305.17079},
  timestamp    = {Wed, 07 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-17079.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2209-10328,
  author       = {Felix Stutz and
                  Damien Zufferey},
  editor       = {Pierre Ganty and
                  Dario Della Monica},
  title        = {Comparing Channel Restrictions of Communicating State Machines, High-level
                  Message Sequence Charts, and Multiparty Session Types},
  booktitle    = {Proceedings of the 13th International Symposium on Games, Automata,
                  Logics and Formal Verification, GandALF 2022, Madrid, Spain, September
                  21-23, 2022},
  series       = {{EPTCS}},
  volume       = {370},
  pages        = {194--212},
  year         = {2022},
  url          = {https://doi.org/10.4204/EPTCS.370.13},
  doi          = {10.4204/EPTCS.370.13},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-10328.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://doi.org/10.48550/arXiv.2208.05559},
  doi          = {10.48550/ARXIV.2208.05559},
  eprinttype    = {arXiv},
  eprint       = {2208.05559},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2208-05559.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/MajumdarMSZ21,
  author       = {Rupak Majumdar and
                  Madhavan Mukund and
                  Felix Stutz and
                  Damien Zufferey},
  editor       = {Serge Haddad and
                  Daniele Varacca},
  title        = {Generalising Projection in Asynchronous Multiparty Session Types},
  booktitle    = {32nd International Conference on Concurrency Theory, {CONCUR} 2021,
                  August 24-27, 2021, Virtual Conference},
  series       = {LIPIcs},
  volume       = {203},
  pages        = {35:1--35:24},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2021},
  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2021.35},
  doi          = {10.4230/LIPICS.CONCUR.2021.35},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/concur/MajumdarMSZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {https://arxiv.org/abs/2107.03984},
  eprinttype    = {arXiv},
  eprint       = {2107.03984},
  timestamp    = {Tue, 20 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-03984.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DOsualdoS20,
  author       = {Emanuele D'Osualdo and
                  Felix Stutz},
  editor       = {Igor Konnov and
                  Laura Kov{\'{a}}cs},
  title        = {Decidable Inductive Invariants for Verification of Cryptographic Protocols
                  with Unbounded Sessions},
  booktitle    = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
                  September 1-4, 2020, Vienna, Austria (Virtual Conference)},
  series       = {LIPIcs},
  volume       = {171},
  pages        = {31:1--31:23},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.31},
  doi          = {10.4230/LIPICS.CONCUR.2020.31},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/DOsualdoS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url          = {http://arxiv.org/abs/1911.05430},
  eprinttype    = {arXiv},
  eprint       = {1911.05430},
  timestamp    = {Mon, 02 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1911-05430.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@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    = {28th Euromicro Conference on Real-Time Systems, {ECRTS} 2016, Toulouse,
                  France, July 5-8, 2016},
  pages        = {273--284},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ECRTS.2016.28},
  doi          = {10.1109/ECRTS.2016.28},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecrts/CerqueiraSB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics