BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × New Zealand
1 × South Africa
1 × United Kingdom
2 × USA
3 × France
3 × Germany
Collaborated with:
∅ F.Huber B.Hummel P.Braun S.Voss S.Zverlov B.Al-Batran G.Einert H.Hußmann M.Broy E.Jürgens F.Deißenböck S.Wagner K.Becker M.Armbruster C.Buckl H.Lötzbeyer O.Slotosch T.Szabó M.Völter B.Kolb D.Ratiu D.Ziegenbein U.Freund A.Bauer J.Romberg J.Girard S.Teuchert M.Feilkas C.Domann J.Streit
Talks about:
model (6) base (6) develop (5) system (4) formal (4) consist (3) automot (3) specif (3) detect (3) clone (3)

♂ Person: Bernhard Schätz

DBLP DBLP: Sch=auml=tz:Bernhard

Facilitated 17 volumes:

MoDELS 2015SCo
MoDELS 2014PracticalTrackPrCo
MoDELS 2014PrCo
MoDELS 2013Ed
MoDELS 2013PracticalTrackCh
MoDELS 2013PrBoardCh
MoDELS 2013PrCh
MoDELS 2013SCo
MoDELS 2012PracticalTrackPrCo
CBSE 2010PrCo
MoDELS 2016SCo
MoDELS 2016PrBoard

Contributed to:

DAC 20152015
HILT 20142014
SEFM 20142014
MoDELS 20112011
GT-VMT 20102010
ICSE 20102010
ICSE 20082008
SLE 20082008
DATE 20052005
TACAS 20002000
World Congress on Formal Methods 19991999
FME 19971997
FME 19961996

Wrote 13 papers:

DAC-2015-SchatzVZ #automation #component #deployment
Automating design-space exploration: optimal deployment of automotive SW-components in an ISO26262 context (BS, SV, SZ), p. 6.
HILT-2014-SzaboVKRS #development #embedded #named
mbeddr: extensible languages for embedded software development (TS, MV, BK, DR, BS), pp. 13–16.
SEFM-2014-BeckerSAB #analysis #constraints #deployment #fault tolerance #formal method
A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems (KB, BS, MA, CB), pp. 205–219.
MoDELS-2011-Al-BatranSH #clone detection #detection #development #embedded #modelling #semantics
Semantic Clone Detection for Model-Based Development of Embedded Systems (BAB, BS, BH), pp. 258–272.
GT-VMT-2010-Schatz #model transformation #verification
Verification of Model Transformations (BS).
ICSE-2010-JurgensDFHSWDS #clone detection #detection #quality #question #requirements #specification
Can clone detection support quality assessments of requirements specifications? (EJ, FD, MF, BH, BS, SW, CD, JS), pp. 79–88.
ICSE-2008-DeissenboeckHJSWGT #clone detection #detection #development #modelling
Clone detection in automotive model-based development (FD, BH, EJ, BS, SW, JFG, ST), pp. 603–612.
SLE-2008-Schatz #emf #formal method #modelling #rule-based
Formalization and Rule-Based Transformation of EMF Ecore-Based Models (BS), pp. 227–244.
DATE-2005-ZiegenbeinBFBRS #development #modelling #named
AutoMoDe — Model-Based Development of Automotive Software (DZ, PB, UF, AB, JR, BS), pp. 171–177.
TACAS-2000-BraunLSS #consistency #formal method #integration
Consistent Integration of Formal Methods (PB, HL, BS, OS), pp. 48–62.
FM-v2-1999-SchatzH
Integrating Formal Description Techniques (BS, FH), pp. 1206–1225.
FME-1997-HuberSE #consistency #distributed #specification #visual notation
Consistent Graphical Specification of Distributed Systems (FH, BS, GE), pp. 122–141.
FME-1996-SchatzHB #consistency #development #specification #visual notation
Graphical Development of Consistent System Specifications (BS, HH, MB), pp. 248–267.
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.