المؤلفون: Blocher, Marcel, Nedderhut, Nils, Chuprikov, Pavel, Khalili, Ramin, Eugster, Patrick, Wang, Lin

المصدر: IEEE INFOCOM 2024 - IEEE Conference on Computer Communications Computer Communications, IEEE INFOCOM 2024 - IEEE Conference on. :661-670 May, 2024

Relation: IEEE INFOCOM 2024 - IEEE Conference on Computer Communications

المؤلفون: Otoni, Rodrigo^Aff9, Blicha, Martin^{Aff9, Aff10}, Eugster, Patrick^Aff9, Sharygina, Natasha^Aff9

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Herber, Paula, editor^Aff7, Wijs, Anton, editor^Aff8

المصدر: Integrated Formal Methods : 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. 14300:62-81

المؤلفون: Otoni, Rodrigo, Blicha, Martin, Eugster, Patrick, Hyvarinen, Antti E. J., Sharygina, Natasha

المصدر: 2021 58th ACM/IEEE Design Automation Conference (DAC) Design Automation Conference (DAC), 2021 58th ACM/IEEE. :541-546 Dec, 2021

Relation: 2021 58th ACM/IEEE Design Automation Conference (DAC)

المؤلفون: Blocher, Marcel, Khalili, Ramin, Wang, Lin, Eugster, Patrick

المصدر: IEEE INFOCOM 2020 - IEEE Conference on Computer Communications Computer Communications, IEEE INFOCOM 2020 - IEEE Conference on. :824-833 Jul, 2020

Relation: IEEE INFOCOM 2020 - IEEE Conference on Computer Communications

المؤلفون: van Steen, Maarten, Chien, Andrew, Eugster, Patrick

مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing

URL الوصول: http://arxiv.org/abs/2103.01487

المؤلفون: Otoni, Rodrigo^Aff9, Konnov, Igor^Aff10, Kukovec, Jure^Aff10, Eugster, Patrick^Aff9, Sharygina, Natasha^Aff9

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Sankaranarayanan, Sriram, editor^Aff7, Sharygina, Natasha, editor^Aff8

المصدر: Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I. 13993:126-144

المؤلفون: Eugster, Patrick, Marson, Giorgia Azzurra, Poettering, Bertram

المصدر: 2018 IEEE 31st Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2018 IEEE 31st. :31-45 Jul, 2018

Relation: 2018 IEEE 31st Computer Security Foundations Symposium (CSF)

المؤلفون: Kogan, Kirill, Menikkumbura, Danushka, Petri, Gustavo, Noh, Yangtae, Nikolenko, Sergey, Sirotkin, Alexander, Eugster, Patrick

المصدر: 2017 IEEE 25th International Conference on Network Protocols (ICNP) Network Protocols (ICNP), 2017 IEEE 25th International Conference on. :1-10 Oct, 2017

Relation: 2017 IEEE 25th International Conference on Network Protocols (ICNP)

المؤلفون: Wang, Weihang, Kwon, Yonghwi, Zheng, Yunhui, Aafer, Yousra, Kim, I-Luk, Lee, Wen-Chuan, Liu, Yingqi, Meng, Weijie, Zhang, Xiangyu, Eugster, Patrick

المصدر: 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) Automated Software Engineering (ASE), 2017 32nd IEEE/ACM International Conference on. :240-251 Oct, 2017

Relation: 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)

المؤلفون: Sang, Bo, Petri, Gustavo, Ardekani, Masoud Saeida, Ravi, Srivatsan, Eugster, Patrick

مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing

URL الوصول: http://arxiv.org/abs/1912.03506