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: Biallas:Sebastian
Contributed to:
2015
2013
2012
2012Wrote 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.
- SAS-2012-BiallasBKK
- Loop Leaping with Closures (SB, JB, AK, SK), pp. 214–230.