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 × Greece
1 × USA
1 × United Kingdom
2 × Germany
Collaborated with:
W.Damm C.Courcoubetis H.Hungar T.Peikenkamp I.Stierand S.Eisler C.Scheidler G.Sandmann J.Stroop H.Heinecke A.Metzner H.Kopetz A.L.Sangiovanni-Vincentelli M.D.Natale
Talks about:
automot (2) compon (2) preliminari (1) architectur (1) modelcheck (1) structur (1) properti (1) contract (1) virtual (1) softwar (1)

Person: Bernhard Josko

DBLP DBLP: Josko:Bernhard

Contributed to:

DATE 20112011
DATE 20082008
FM 20052005
CAV 19931993
CAV 19901990
ICALP 19871987

Wrote 6 papers:

DATE-2011-DammHJPS #architecture #component #contract #design #integration #specification #testing #using
Using contract-based component specifications for virtual integration testing and architecture design (WD, HH, BJ, TP, IS), pp. 1023–1028.
DATE-2008-HeineckeDJMKSN #component #reliability
Software Components for Reliable Automotive Systems (HH, WD, BJ, AM, HK, ALSV, MDN), pp. 549–554.
FM-2005-EislerSJSS #case study #model checking
Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications (SE, CS, BJ, GS, JS), pp. 533–536.
CAV-1993-CourcoubetisDJ #verification
Verification of timing Properties of VHDL (CC, WD, BJ), pp. 225–236.
CAV-1990-Josko #equivalence
A Context Dependent Equivalence Relation Between Kripke Structures (BJ), pp. 204–213.
ICALP-1987-Josko #liveness #model checking
Modelchecking of CTL Formulae under Liveness Assumptions (BJ), pp. 280–289.

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.