Patrick Thomas Eugster
http://usi.to/z56
Progetti
In corso (3)
Conclusi (7)
- Eugster P. T. (2023) Towards Dynamic Service Function Chaining
- Eugster P. T. (2022) Towards Session Type based Verification of Distributed Middleware Systems
- Eugster P. T. (2021) TLA+ based Verification of Blockchain Protocols
- Eugster P. T. (2020) FORWARD - Fine-grained netwORk floW behAvior pReDiction
- 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
