Patrick Thomas Eugster
http://usi.to/z56
Projects
In progress (6)
- Eugster P. T. (2023) Towards Dynamic Service Function Chaining
- Eugster P. T. (2022) CLOUDSTARS - Cloud Open Source Research Mobility Network
- Schenk O., Eugster P. T., Wit E. C. (2022) EUMaster4HPC - HPC euRopean ConsortiUm Leading Education activitieS
- Eugster P. T. (2021) TLA+ based Verification of Blockchain Protocols
- Eugster P. T. (2021) BASIS - hyBrid Asynchronous/Synchronous dIstributed Systems
- Eugster P. T. (2020) FORWARD - Fine-grained netwORk floW behAvior pReDiction
Completed (4)
- Eugster P. T. (2022) Towards Session Type based Verification of Distributed Middleware Systems
- Eugster P. T. (2020) Anomaly Detection for Resource-constrained Devices
- Eugster P. T. (2019) Towards Fine-grained Network Flow Prediction
- Eugster P. T. (2014) LiveSoft - Lightweight Verification of (Distributed Systems) Software