Concepedia

Bernhard Josko

BJ

9

Publications

326

Citations

9

H-Index

1983

Active since

Affiliations

Oldenburger Institut für Informatik(Current)

Carl von Ossietzky Universität Oldenburg

University of California, Berkeley

Bernhard Josko is an author at Oldenburger Institut für Informatik specializing in engineering, computer engineering, and software design.

Top concepts

EngineeringSoftware DesignSystems EngineeringComputer EngineeringSoftware EngineeringFormal MethodsSystem SoftwareSystem-level DesignDesignComputer Science

Publications per year

1983–2011

9

Publications

9

Using contract-based component specifications for virtual integration testing and architecture design

Werner Damm, Hardi Hungar, Bernhard Josko et al. · 2011 · 108 citations

Contract-based Component Specifications, Architecture Design, Engineering +28

A discrete-time UML semantics for concurrency and communication in safety-critical applications

Werner Damm, Bernhard Josko, Amir Pnueli et al. · Science of Computer Programming · 2004 · 53 citations

Engineering, Verification, Safety Science +16

A sound and relatively complete Hoare-logic for a language with higher type procedures

Werner Damm, Bernhard Josko · Acta Informatica · 1983 · 49 citations

Computational Logic, Syntax, Engineering +11

Metamodels in Europe: Languages, Tools, and Applications

Roberto Passerone, Imene Ben Hafaiedh, Susanne Graf et al. · IEEE Design & Test of Computers · 2009 · 34 citations

Automotive Engineering, Metamodeling-driven System Engineering, Engineering +18

Software components for reliable automotive systems

H Heinecke, Werner Damm, Bernhard Josko et al. · 2008 · 25 citations

Software Maintenance, Automotive Engineering, Engineering +22

Rows per page

1–5 of 9