Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Felix Stutz
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.