Travelled to:1 × Czech Republic
1 × France
1 × Russia
Collaborated with:R.Majumdar V.Vafeiadis F.Niksic R.Piskac
Talks about:supervisor (1) increment (1) asynchron (1) synthesi (1) control (1) upgrad (1) liquid (1) induct (1) separ (1) cover (1)
Person: Johannes Kloos
DBLP: Kloos:Johannes
Contributed to:
2015
2013
2013Wrote 3 papers:
- ECOOP-2015-KloosMV
- Asynchronous Liquid Separation Types (JK, RM, VV), pp. 396–420.
- CAV-2013-KloosMNP #incremental #induction
- Incremental, Inductive Coverability (JK, RM, FN, RP), pp. 158–173.
- DATE-2013-KloosM #synthesis
- Supervisor synthesis for controller upgrades (JK, RM), pp. 1105–1110.