apl. Prof. Dr. Bernhard Josko Bereichsleiter FuE-Bereich Verkehr

apl. Prof. Dr. Bernhard Josko
Kontaktdaten

+49 441 9722-520

+49 441 9722-278

bernhard.josko(at)offis.de

O 104

OFFIS - Institut für Informatik
Escherweg 2
26121 Oldenburg

Publikationen
von apl. Prof. Dr. Bernhard Josko

2017

Design Paradigms for Multi-Layer Time Coherency in ADAS and Automated Driving (MULTIC)

Eckard Böde and Matthias Büker and Werner Damm and Günter Ehmen and Martin Fränzle and Sebastian Gerwinn and Thomas Goodfellow and Kim Grüttner and Bernhard Josko and Björn Koopmann and Thomas Peikenkamp and Frank Poppen and Philipp Reinkemeier and Michael Siegel and Ingo Stierand; October / 2017

2013

CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems

Oertel, Markus and Josko, Bernhard and CESAR Consortium; 3 / 2013

BIB
Requirements Engineering

Oertel, Markus and Malot, Marc and Baumgart, Andreas and Becker, Jan Steffen and Bogusch, Ralf and Farfeleder, Stefan and Gerber, Nora and Haugen, Oystein and Häusler, Stefan and Josko, Bernhard and others; CESAR-Cost-efficient Methods and Processes for Safety-relevant Embedded Systems; 2013

BIB

2011

Architecture Modeling

Andreas Baumgart, Eckard Böde, Matthias Büker, Werner Damm, Günter Ehmen, Tayfun Gezgin, Stefan Henkler, Hardi Hungar, Bernhard Josko, Markus Oertel, Thomas Peikenkamp, Philipp Reinkemeier, Ingo Stierand, Raphael Weber; 3 / 2011

Using Contract-based Component Specifications for Virtual Integration Testing and Architecture Design

Damm, Werner and Hungar, Hardi and Josko, Bernhard and Peikenkamp, Thomas and Stierand, Ingo and ; 03 / 2011

BIB

2010

CESAR - Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems

Griessnig, Gerhard and Mader, Roland and Peikenkamp, Thomas and Josko, Bernhard and Törngren, Martin and Armengaud, Eric; Proceedings Embedded World Conference 2010; 03 / 2010

BIB

2009

Contract Based ISO CD 26262 Safety Analysis

Damm, Werner and Josko, Bernhard and Peikenkamp, Thomas; 04 / 2009

BIB
Meta-models in Europe: Languages, Tools, and Applications

Roberto Passerone and Imene Ben Hafaiedh and Albert Benveniste and Daniela Cancila and Arnaud Cuccuru and Werner Damm and Alberto Ferrari and Sébastien Gérard and Susanne Graf and Bernhard Josko and Leonardo Mangeruca and Thomas Peikenkamp and Alberto Sangiovanni-Vincentelli and Francois Terrier; IEEE Design & Test of Computers; 2009

BIB
Metamodels in Europe: Languages, Tools, and Applications

Passerone, Roberto and Hafaiedh, Imene Ben and Graf, Susanne and Benveniste, Albert and Cancila, Daniela and Cuccuru, Arnaud and Gérard and Sébastien and Terrier, Francois and Ferrari, Alberto and Mangeruca, Leonardo and Josko, Bernhard and Peikenkamp, Thomas and Sangiovanni-Vincentelli, Alberto; IEEE Design & Test of Computers; 5 / 2009

BIB

2008

Designing Embedded Systems using Heterogeneous Rich Components

Josko, Bernhard and Ma, Qin and Metzner, Alexander; Proceedings of the INCOSE International Symposium 2008; 01 / 2008

BIB
Software Components for Reliable Automotive Systems

Damm, W, and Josko, B. and Metzner, A. and Di Natale, M., Heinecke, H. and Kopetz, H. and Sangiovanni-Vincentelli, A.; Proceedings Design, Automation and Test in Europe, 2008. DATE08; 01 / 2008

BIB

2007

SUCCESS rate and factors of IT-Projects 2006 in Germany

Buschermöhle, Ralf and Eekhoff, Heike and Josko, Bernhard; International Conference on Software Engineering Research and Practice; 06 / 2007

BIB
SUCCESS: Erfolgsfaktoren aktueller IT-Projekte in Deutschland

Buschermöhle, Ralf and Eekhoff, Heike and Josko, Bernhard; OBJEKTspektrum; 01 / 2007

BIB

2006

Adding Value to Automotive Models

Böde, Eckard and Damm, Werner and Hoyem, Jarl and Josko, Bernhard and Niehaus, Jürgen and Segelken, Marc; Automotive Software - Connected Services in Mobile Networks. First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004,; 01 / 2006

BIB
Adding Value to automotive models

Eckard Böde and Werner Damm and Jarl Hoyem and Bernhard Josko and Jürgen Niehaus and Marc Segelken; Automotive Software - Connected Services in Mobile Networks; 01 / 2006

BIB

2005

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

Damm, Werner and Josko, Bernhard and Pnueli, Amir and Votintseva, Angelika; 01 / 2005

BIB
Boosting Re-use of Embedded Automotive Applications Through Rich Components

Damm, Werner and Votintseva, Angelika and Metzner, Alexander and Josko, Bernhard and Peikenkamp, Thomas and Böde, Eckard; Proceedings, FIT 2005 - Foundations of Interface Technologies; 08 / 2005

BIB
Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications

Eissler, Stefan and Scheidler, Christian and Josko, Bernhard and Sandmann, Guido and Stroop, Joachim; FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-20, 2005, Proceedings; 07 / 2005

BIB

2004

Model Checking - Grundlagen und Praxiserfahrungen

Buschermöhle, Ralf and Brörkens, Mark and Brückner, Ingo and Damm, Werner and Hasselbring, Wilhelm and Josko, Bernhard and Schulte, Christoph and Wolf, Thomas; 04 / 2004

BIB
The future design scenario and the SEA inititative

Brunel, J.-Y. and Damm, W. and Ferrari, A. and Freund, U. and Josko, B. and Kowalewski, S. and Sangiovanni-Vincentelli, A. and Torngren, M. and Thurner, T. and Hasseln, H. von; IFAC Symposium on Advances in Automotive Control, University of Salerno, Italy, 2004; 01 / 2004

BIB

2003

Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML

Damm, Werner and Josko, Bernhard and Pnueli, Amir and Votintseva, Angelika; Formal Methods for Components and Objects. First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures; 01 / 2003

BIB

1999

Formal Verification of an Avionics Application using Abstraction and Symbolic Model Checking

Bienmüller, T. and Brockmeyer, U. and Damm, W. and Döhmen, G. and Eßmann, C. and Holberg, H. J. and Hungar, H. and Josko, B. and Schlör, R. and Wittich, G. and Wittke, H. and Clements, G.; Towards System Safety - Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK; 01 / 1999

BIB

1998

A Compositional Real-time Semantics of STATEMATE Designs

Damm, W. and Josko, B. and Hungar, H. and Pnueli, A.; Compositionality: The Significant Difference; International Symposium COMPOS '97; 01 / 1998

BIB
Using a visual formalism for design verification in industrial environments

Schlör, R. and Josko, B. and Werth, D.; VISUAL'98; 01 / 1998

BIB

Projekte
von apl. Prof. Dr. Bernhard Josko

A

Algebra MC

Integration algebraischer Datendarstellungen in symbolisches Modelchecken

Laufzeit: 2000 - 2002

AMALTHEA4public

Enabling of Results from AMALTHEA and others for Transfer into Application and building a Community around

Laufzeit: 2014 - 2017

ARAMiS

ARAMiS – Automotive, Railway and Avionic Multicore System

Laufzeit: 2011 - 2014

ARAMiS II

Automotive Railway Avionics Multicore Systems II

Laufzeit: 2016 - 2019

ARTIST

Netzwerk für Entwurfsmethoden für Eingebettete Systeme

Laufzeit: 2002 - 2006

ARTIST2

Entwurf Eingebetteter Systeme - Exzellenznetzwerk

Laufzeit: 2004 - 2008

ArtistDesign

Exzellenznetzwerk: Entwurf eingebetteter Systeme

Laufzeit: 2008 - 2011

ASCET-VERIFY

Formale Verifikation von ASCET-SD-Modellen

Laufzeit: 2002 - 2005

C

CESAR

Cost-Efficient Methods and Processes for Safety Relevant Embedded Systems

Laufzeit: 2009 - 2012

COMBEST

Komponentenbasierte Entwurfsmethoden für eingebettete Systeme

Laufzeit: 2008 - 2011

CP-SETIS

Towards Cyber-Physical Systems Engineering Tools Interoperability Standardisation

Laufzeit: 2015 - 2017

CRYSTAL

Critical System Engineering Acceleration

Laufzeit: 2013 - 2016

D

DANSE

Designing for Adaptability and evolutioN in System of systems Engineering

Laufzeit: 2011 - 2014

DepNET

Dependability Netzwerk

Laufzeit: 2004 - 2008

E

EASIS

Electronic Architecture and System Engineering for Integrated Safety Systems

Laufzeit: 2004 - 2007

ESACS

Neue Methoden in der Sicherheitsanalyse komplexer Systeme

Laufzeit: 2001 - 2003

ET

Entwicklung einer handlungsorientierten und wissensbasierten Lernumgebung in der Elektrotechnik

Laufzeit: 2001 - 2004

F

FORSITE

Anwendung der FORMAT-Werkzeuge im industriellen Umfeld

Laufzeit: 1996 - 1997

H

HUMAN

Model-based Analysis of Human Errors during Aircraft Cockpit System Design

Laufzeit: 2008 - 2011

I

I-CAN-EIB

Entwicklung einer innovativen CBT Architektur im Internet

Laufzeit: 2001 - 2004

IMOST

Integrated Modeling for Safe Transportation

Laufzeit: 2007 - 2010

INPULSE

Integrative Pattern- und UML-orientierte Lern- und System-Entwicklungsumgebung

Laufzeit: 2004 - 2005

InteGRail

Intelligent Integration Of Railway Systems

Laufzeit: 2005 - 2008

IP-PROTECT

Verifikationstechniken zum IP-Schutz

Laufzeit: 2003 - 2004

ISAAC

Erweiterte Sicherheitsanalysetechniken für komplexe Systeme in der Luftfahrt

Laufzeit: 2004 - 2007

ISi-PADAS

Integrated Human Modelling and Simulation to support Human Error Analysis of Partially Autonomous Driver Assisatance Systems

Laufzeit: 2008 - 2011

K

KORSYS

Korrekte Software für sicherheitskritische Systeme

Laufzeit: 1995 - 1998

M

MISSA

More Integrated and cost efficient Systems Safety Assessment

Laufzeit: 2008 - 2011

MSAFE

Multimediales Selbstlernsystem zur Aus-und Fortbildung von Elektrofachkräften

Laufzeit: 1997 - 1998

N

NELA IMA-V

IMA Requirements Verification

Laufzeit: 2012 - 2015

O

OMEGA

Entwicklung korrekter eingebetteter Realzeitsysteme

Laufzeit: 2002 - 2005

OPRAIL

CENELEC-getriebene Optimierung der Entwicklung bahntechnischer Systeme

Laufzeit: 2004 - 2006

S

SACRES

Safety Critical Embedded Systems

Laufzeit: 1995 - 1998

SAFE

Safe Automotive soFtware architEcture

Laufzeit: 2011 - 2014

SAFEAIR

Eingebettete Systeme in sicherheitskritischen Avioniksystemen

Laufzeit: 2000 - 2004

SHAFT

Strategische Handlungsflexibilität in absatzwirtschaftlichen Bereichen

Laufzeit: 1996 - 1997

SHAFT II

Computergestütztes Trainingsprogramm für strategische Handlungsflexibilität

Laufzeit: 2000 - 2004

SPEEDS

Speculative and Exploratory Design in Systems Engineering

Laufzeit: 2006 - 2010

SPES 2020

Software Plattform Embedded Systems 2020

Laufzeit: 2008 - 2012

SUCCESS

Wissensbasierte Methoden in der Sicherheitsanalyse

Laufzeit: 1998 - 2001

V

VAPA

Verifikation moderner Prozessor-Architekturen

Laufzeit: 1999 - 2001

VASCO

Verification Models for Advanced Human-Automation Interaction in Safety Critical Flight Operations

Laufzeit: 2013 - 2014

VERISOFT

Beweisen als Ingenieurwissenschaft

Laufzeit: 2005 - 2007

VISEK

Kompetenzzentrum Engineering sicherheitskritischer Systeme

Laufzeit: 2001 - 2003

VSEK

Virtuelles Software-Engineering-Kompetenznetz

Laufzeit: 2004 - 2007

W

WOODDES

Verifikation eingebetteter Systeme basierend auf UML

Laufzeit: 1999 - 2002