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: Peischl:Bernhard
Contributed to:
2010
2008
2007
2007Wrote 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.