Articles with public access mandates - Patrick Eugster - Swiss National Science FoundationLearn more
Not available based on mandate: 1
Toward robust control for 6G networks
P Eugster
IEEE Network, 2023
Available based on mandate: 20
A Solicitous Approach to Smart Contract Verification
R Otoni, M Marescotti, L Alt, P Eugster, A Hyvärinen, N Sharygina
ACM Transactions on Privacy and Security 26 (2), 1-28, 2023
RoCC: robust congestion control for RDMA
P Taheri, D Menikkumbura, E Vanini, S Fahmy, P Eugster, T Edsall
Proceedings of the 16th International conference on emerging networking …, 2020
Switches for HIRE: Resource scheduling for data center in-network computing
M Blöcher, L Wang, P Eugster, M Schmidt
Proceedings of the 26th ACM International Conference on Architectural …, 2021
Middleware support for context-aware applications
PT Eugster, B Garbinato, A Holzer
Middleware for network eccentric and mobile applications, 305-322, 2009
Abstracting context in event-based software
A Holzer, L Ziarek, KR Jayaram, P Eugster
Transactions on Aspect-Oriented Software Development IX, 123-167, 2012
A multiparty session typing discipline for fault-tolerant event-driven distributed programming
M Viering, R Hu, P Eugster, L Ziarek
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-30, 2021
Evaluating implementation strategies for location-based multicast addressing
A Holzer, P Eugster, B Garbinato
IEEE Transactions on Mobile Computing 12 (5), 855-867, 2012
Theory-specific proof steps witnessing correctness of SMT executions
R Otoni, M Blicha, P Eugster, AEJ Hyvärinen, N Sharygina
2021 58th ACM/IEEE Design Automation Conference (DAC), 541-546, 2021
Secure and reliable network updates
J Lembke, S Ravi, PL Roman, P Eugster
ACM Transactions on Privacy and Security 26 (1), 1-41, 2022
Towards software-defined buffer management
K Kogan, D Menikkumbura, G Petri, Y Noh, SI Nikolenko, A Sirotkin, ...
IEEE/ACM Transactions on Networking 28 (5), 2337-2349, 2020
Congestion control for datacenter networks: A control-theoretic approach
D Menikkumbura, P Taheri, E Vanini, S Fahmy, P Eugster, T Edsall
IEEE Transactions on Parallel and Distributed Systems 34 (5), 1682-1696, 2023
DEFUSE: An Interface for Fast and Correct User Space File System Access
J Lembke, PL Roman, P Eugster
ACM Transactions on Storage (TOS) 18 (3), 1-29, 2022
Consistent and secure network updates made practical
J Lembke, S Ravi, PL Roman, P Eugster
Proceedings of the 21st International Middleware Conference, 149-162, 2020
Scalable and serializable networked multi-actor programming
B Sang, P Eugster, G Petri, S Ravi, PL Roman
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
Symbolic Model Checking for TLA+ Made Faster
R Otoni, I Konnov, J Kukovec, P Eugster, N Sharygina
International Conference on Tools and Algorithms for the Construction and …, 2023
Live in the express lane
P Jahnke, V Riesop, PL Roman, P Chuprikov, P Eugster
2021 USENIX Annual Technical Conference (USENIX ATC 21), 581-595, 2021
Towards an Algebraic Specification of Quantum Networks
A Buckley, P Chuprikov, R Otoni, R Rand, R Soulé, P Eugster
Proceedings of the 1st Workshop on Quantum Networks and Distributed Quantum …, 2023
Holistic resource scheduling for data center in-network computing
M Blöcher, L Wang, P Eugster, M Schmidt
IEEE/ACM Transactions on Networking 30 (6), 2448-2463, 2022
Cooperative decoupled processes
A Bejleri, M Mezini, P Eugster, E Domnori
Software Quality Journal 26, 1147-1183, 2018
Publication and funding information is determined automatically by a computer program