Skip to contents

Josko, Bernhard [Author]

Über einen Hoare-Kalkül für ALGOL-ähnliche Programmiersprachen mit Prozeduren endlicher Art

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1985
Oertel, Markus [Author] ; Rettberg, Achim [Degree supervisor]; Josko, Bernhard [Other]

A linear scaling change impact analysis based on a formal safety model for automotive embedded systems

View online
Schließen

Access

... to E-book via Resolving system (Volltext ; freely accessible) (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oldenburg, 2016
Gezgin, Tayfun [Author] ; Rettberg, Achim [Degree supervisor]; Josko, Bernhard [Other]; Wehrmeister, Marco [Other]

State-based timing analysis for distributed systems

View online
Schließen

Access

... to E-book via Resolving system (Volltext ; freely accessible) (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oldenburg, 2017
Böde, Eckard [Author]; Damm, Werner [Author]; Ehmen, Günter [Author]; Fränzle, Martin [Author]; Grüttner, Kim [Author]; Ittershagen, Philipp [Author]; Josko, Bernhard [Author]; Koopmann, Björn [Author]; Poppen, Frank [Author]; Siegel, Michael [Author]; Stierand, Ingo [Author] ; OFFIS, Forschungsvereinigung Automobiltechnik

MULTIC-Tooling

View online
Schließen

Access

... to E-book (Volltext ; PDF document ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: FAT Forschungsvereinigung Automobiltechnik, 2019

Published in: Forschungsvereinigung Automobiltechnik: FAT-Schriftenreihe ; 316
Böde, Eckard [Author]; Damm, Werner [Author]; Ehmen, Günter [Author]; Fränzle, Martin [Author]; Grüttner, Kim [Author]; Ittershagen, Philipp [Author]; Josko, Bernhard [Author]; Koopmann, Björn [Author]; Poppen, Frank [Author]; Siegel, Michael [Author]; Stierand, Ingo [Author]

MULTIC-Tooling

View online
Schließen

Access

... to E-book (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Verband der Automobilindustrie (VDA), 2019

Published in: Forschungsvereinigung Automobiltechnik: FAT-Schriftenreihe ; 316
Böde, Eckard [Author]; Büker, Matthias [Author]; Damm, Werner [Author]; Ehmen, Günter [Author]; Fränzle, Martin [Author]; Gerwinn, Sebastian [Author]; Goodfellow, Thomas [Author]; Grüttner, Kim [Author]; Josko, Bernhard [Author]; Koopmann, Björn [Author]; Peikenkamp, Thomas [Author]; Poppen, Frank [Author]; Reinkemeier, Philipp [Author]; Siegel, Michael [Author]; Stierand, Ingo [Author] ; Forschungsvereinigung Automobiltechnik

Design paradigms for multi-layer time coherency in ADAS and automated driving (MULTIC)

View online
Schließen

Access

... to E-book (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: FAT Forschungsvereinigung Automobiltechnik, 2017 ; Berlin: VDA Verband der Automobilindustrie, 2017

Published in: Forschungsvereinigung Automobiltechnik: FAT-Schriftenreihe ; 302
Josko, Bernhard

Lecture Notes in Computer Science: Verifying the correctness of AADL modules using model checking

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1990

Published in: Lecture Notes in Computer Science (1990), Seite 386-400
Josko, Bernhard

Lecture Notes in Computer Science: MCTL — An extension of CTL for modular verification of concurrent systems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1989

Published in: Lecture Notes in Computer Science (1989), Seite 165-187
Josko, Bernhard

Lecture Notes in Computer Science: Modelchecking of CTL formulae under liveness assumptions

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1987

Published in: Lecture Notes in Computer Science (1987), Seite 280-289
Josko, Bernhard

Lecture Notes in Computer Science: On expressive interpretations of a Hoare-logic for Clarke's language L4

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1984

Published in: Lecture Notes in Computer Science (1984), Seite 73-84
Gezgin, Tayfun [Author] ; Rettberg, Achim [Degree supervisor]; Josko, Bernhard [Degree supervisor]; Wehrmeister, Marco [Degree supervisor]

State-based timing analysis for distributed systems

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oldenburg: BIS der Universität Oldenburg, 2017
Oertel, Markus [Author] ; Rettberg, Achim [Degree supervisor]; Josko, Bernhard [Degree supervisor]; Götz, Marcelo [Degree supervisor]

A linear scaling change impact analysis based on a formal safety model for automotive embedded systems

View online
Schließen

Access

... to E-book via Resolving system

... to E-book via German National Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oldenburg: BIS der Universität Oldenburg, 2016
Feyerabend, Konrad; Josko, Bernhard

Lecture Notes in Computer Science: A visual formalism for real time requirement specifications

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1997

Published in: Lecture Notes in Computer Science (1997), Seite 156-168
Damm, Werner; Josko, Bernhard

Lecture Notes in Computer Science: A sound and relatively complete axiomatization of clarke's language L4 : Extended abstract

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1984

Published in: Lecture Notes in Computer Science (1984), Seite 161-175
Damm, Werner; Josko, Bernhard

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

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 1983

Published in: Acta Informatica, 20 (1983) 1
Josko, Bernhard; Ma, Qin; Metzner, Alexander

5.1.2 Designing Embedded Systems using Heterogeneous Rich Components1

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiley, 2008

Published in: INCOSE International Symposium, 18 (2008) 1, Seite 558-576
Winokur, Michael; Graf, Susanne; Josko, Bernhard

Contract‐based System Design ‐ The SPEEDS Approach

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiley, 2008

Published in: INCOSE International Symposium, 18 (2008) 1, Seite 2477-2554
Schlör, Rainer; Josko, Bernhard; Werth, Dieter

Lecture Notes in Computer Science: Using a visual formalism for design verification in industrial environments

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1998

Published in: Lecture Notes in Computer Science (1998), Seite 208-221
Courcoubetis, Costas; Damm, Werner; Josko, Bernhard

Lecture Notes in Computer Science: Verification of timing properties of VHDL

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1993

Published in: Lecture Notes in Computer Science (1993), Seite 225-236
Damm, Werner; Josko, Bernhard; Pnueli, Amir; Votintseva, Angelika

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

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2005

Published in: Science of Computer Programming, 55 (2005) 1-3, Seite 81-115

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication