Bernhard Josko

According to our database, Bernhard Josko authored at least 28 papers between 1981 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2011

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

Werner Damm, Hardi Hungar, Bernhard Josko, Thomas Peikenkamp, Ingo Stierand

Proceedings of the Design, Automation and Test in Europe, 2011

2009

Metamodels in Europe: Languages, Tools, and Applications.

Roberto Passerone, Imene Ben Hafaiedh, Susanne Graf, Albert Benveniste, Daniela Cancila, Arnaud Cuccuru, Sebastien Gerard, François Terrier, Werner Damm, Alberto Ferrari, Leonardo Mangeruca, Bernhard Josko, Thomas Peikenkamp, Alberto L. Sangiovanni-Vincentelli

IEEE Des. Test Comput., 2009

2008

Software Components for Reliable Automotive Systems.

Harald Heinecke, Werner Damm, Bernhard Josko, Alexander Metzner, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale

Proceedings of the Design, Automation and Test in Europe, 2008

2007

SUCCESS Rate and Factors of IT - Projects 2006 in Germany.

Ralf Buschermöhle, Heike Eekhoff, Bernhard Josko

Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

2006

SUCCESS 2006 Motivation, Vorgehensweise und Ergebnisse.

Ralf Buschermöhle, Heike Eekhoff, Bernhard Josko

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

2005

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

Werner Damm, Bernhard Josko, Amir Pnueli, Anjelika Votintseva

Sci. Comput. Program., 2005

Automatic Validation and Verification in a Model-Based Development Process.

Udo Brockmeyer, Werner Damm, Hardi Hungar, Bernhard Josko

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, 2005

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

Stefan Eisler, Christian Scheidler, Bernhard Josko, Guido Sandmann, Joachim Stroop

Proceedings of the FM 2005: Formal Methods, 2005

2004

Model Checking (Grundlagen und Praxiserfahrungen).

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

Inform. Spektrum, 2004

Adding Value to Automotive Models.

Eckard Böde, Werner Damm, Jarl Høyem, Bernhard Josko, Jürgen Niehaus, Marc Segelken

Proceedings of the Automotive Software, 2004

2002

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

Werner Damm, Bernhard Josko, Amir Pnueli, Anjelika Votintseva

Proceedings of the Formal Methods for Components and Objects, 2002

1998

Using a Visual Formalism for Design Verification in Industrial Environments.

Rainer Schlör, Bernhard Josko, Dieter Werth

Proceedings of the Services and Visualization: Towards User-Friendly Design, 1998

1997

A Compositional Real-Time Semantics of STATEMATE Designs.

Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

A Visual Fomalism for Real-Time Requirement Specifications.

Konrad Feyerabend, Bernhard Josko

Proceedings of the Transformation-Based Reactive Systems Development, 1997

1996

Development of a Telephone Answering Machine in a Lab - FPGAs in Education.

Guido Schumacher, Bernhard Josko, Gerhard Wagner, Martin Radetzki

Proceedings of the Field-Programmable Logic, 1996

1993

A net-based semantics for VHDL.

Werner Damm, Bernhard Josko, Rainer Schlör

Proceedings of the European Design Automation Conference 1993, 1993

Verification of timing Properties of VHDL.

Costas Courcoubetis, Werner Damm, Bernhard Josko

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

Specification and verification of VHDL-based system-level hardware designs.

Werner Damm, Bernhard Josko, Rainer Schlör

Proceedings of the Specification and validation methods, 1993

1990

A Context Dependent Equivalence Relation Between Kripke Structures.

Bernhard Josko

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1989

Verifying the Correctness of AADL Modules Using Model Checking.

Bernhard Josko

Proceedings of the Stepwise Refinement of Distributed Systems, 1989

Modular Verification of Petri Nets: The Temporal Logic Approach.

Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko

Proceedings of the Stepwise Refinement of Distributed Systems, 1989

1987

MCTL - An Extension of CTL for Modular Verification of Concurrent Systems.

Bernhard Josko

Proceedings of the Temporal Logic in Specification, 1987

Modelchecking of CTL Formulae under Liveness Assumptions.

Bernhard Josko

Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987

1985

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

Bernhard Josko

PhD thesis, 1985

1984

On Expressive Interpretations of a Hoare-Logic for Clarke's Language L4.

Bernhard Josko

Proceedings of the STACS 84, 1984

1983

A Sound and Relatively * Complete Hoare-Logic for a Language With Higher Type Procedures.

Werner Damm, Bernhard Josko

Acta Informatica, 1983

A Sound and Relatively* Compete Axiomatization of Clarke's Language L₄.

Werner Damm, Bernhard Josko

Proceedings of the Logics of Programs, 1983

1981

An Effective Retract Calculus.

Bernhard Josko

Proceedings of the Theoretical Computer Science, 1981