Travelled to:
1 × Germany
Collaborated with:
E.Bartocci R.Grosu C.R.Ramakrishnan S.A.Smolka F.Gioulekas P.Poplavko S.Bensalem P.Palomo
Talks about:
model (2) probabilist (1) determinist (1) parallel (1) softwar (1) reactiv (1) process (1) network (1) system (1) stream (1)
♂ Person: Panagiotis Katsaros
DBLP: Katsaros:Panagiotis
Facilitated 1 volumes:
Contributed to:
Wrote 2 papers:
- TACAS-2011-BartocciGKRS #probability
- Model Repair for Probabilistic Systems (EB, RG, PK, CRR, SAS), pp. 326–340.
- FASE-2018-GioulekasPKBP #network #parallel #process #streaming
- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism (FG, PP, PK, SB, PP), pp. 94–110.