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 × France
1 × Germany
1 × Norway
1 × The Netherlands
Collaborated with:
S.Kowalewski J.Brauer M.C.Olesen F.Cassez R.Huuck A.King S.Hauck-Stattelmann B.Schlich R.Jetley
Talks about:
control (2) programm (1) platform (1) industri (1) behavior (1) tracker (1) restart (1) pragmat (1) pointer (1) analysi (1)

Person: Sebastian Biallas

DBLP DBLP: Biallas:Sebastian

Contributed to:

FM 20152015
SCAM 20132013
ASE 20122012
SAS 20122012

Wrote 4 papers:

FM-2015-Hauck-Stattelmann #behaviour #industrial
Analyzing the Restart Behavior of Industrial Control Applications (SHS, SB, BS, SK, RJ), pp. 585–588.
SCAM-2013-BiallasOCH #analysis #named #pointer
PtrTracker: Pragmatic pointer analysis (SB, MCO, FC, RH), pp. 69–73.
ASE-2012-BiallasBK #framework #logic #platform #programmable #verification
Arcade.PLC: a verification platform for programmable logic controllers (SB, JB, SK), pp. 338–341.
Loop Leaping with Closures (SB, JB, AK, SK), pp. 214–230.

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.