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 × Norway
1 × USA
2 × United Kingdom
Collaborated with:
F.Wotawa C.Schwarzl B.K.Aichernig M.Weiglhofer M.Nica
Talks about:
industri (2) applic (2) model (2) test (2) constraint (1) registrar (1) protocol (1) softwar (1) generat (1) control (1)

Person: Bernhard Peischl

DBLP DBLP: Peischl:Bernhard

Contributed to:

MoDELS (1) 20102010
SEKE 20082008
A-MOST 20072007
SEFM 20072007

Wrote 4 papers:

MoDELS-v1-2010-SchwarzlP #analysis #consistency #modelling #uml
Static- and Dynamic Consistency Analysis of UML State Chart Models (CS, BP), pp. 151–165.
SEKE-2008-NicaPW #automation #constraints #deployment
A Constraint Model for Automated Deployment of Automotive Control Software (MN, BP, FW), pp. 899–904.
A-MOST-2007-AichernigWPW #generative #industrial
Test purpose generation in an industrial application (BKA, MW, BP, FW), pp. 115–125.
SEFM-2007-AichernigPWW #consistency #formal method #industrial #protocol #testing
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods (BKA, BP, MW, FW), pp. 215–226.

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.