BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kloos:Johannes

Contributed to:

ECOOP 20152015
CAV 20132013
DATE 20132013

Wrote 3 papers:

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.