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: Josko:Bernhard
Contributed to:
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.