An Effective Retract Calculus. - Bernhard Josko (Theoretical Computer Science, 1981)

A Sound and Relatively* Compete Axiomatization of Clarke's Language L4. - Werner Damm; Bernhard Josko (Logic of Programs, 1983)

A Sound and Relatively * Complete Hoare-Logic for a Language With Higher Type Procedures. - Werner Damm; Bernhard Josko (Acta Informatica, 1983)

On Expressive Interpretations of a Hoare-Logic for Clarke's Language L4. - Bernhard Josko (STACS, 1984)

Über einen Hoare-Kalkül für ALGOL-ähnliche Programmiersprachen mit Prozeduren endlicher Art. - Bernhard Josko (1985)

Modelchecking of CTL Formulae under Liveness Assumptions. - Bernhard Josko (ICALP, 1987)

MCTL - An Extension of CTL for Modular Verification of Concurrent Systems. - Bernhard Josko (Temporal Logic in Specification, 1987)

Modular Verification of Petri Nets: The Temporal Logic Approach. - Werner Damm; Gert Döhmen; Volker Gerstner; Bernhard Josko (REX Workshop, 1989)

Verifying the Correctness of AADL Modules Using Model Checking. - Bernhard Josko (REX Workshop, 1989)

A Context Dependent Equivalence Relation Between Kripke Structures. - Bernhard Josko (CAV, 1990)

Specification and verification of VHDL-based system-level hardware designs. - Werner Damm; Bernhard Josko; Rainer Schlör (Specification and validation methods, 1993)

Verification of timing Properties of VHDL. - Costas Courcoubetis; Werner Damm; Bernhard Josko (CAV, 1993)

A net-based semantics for VHDL. - Werner Damm; Bernhard Josko; Rainer Schlör (EURO-DAC, 1993)

Development of a Telephone Answering Machine in a Lab - FPGAs in Education. - Guido Schumacher; Bernhard Josko; Gerhard Wagner; Martin Radetzki (FPL, 1996)

A Visual Fomalism for Real-Time Requirement Specifications. - Konrad Feyerabend; Bernhard Josko (ARTS, 1997)

A Compositional Real-Time Semantics of STATEMATE Designs. - Werner Damm; Bernhard Josko; Hardi Hungar; Amir Pnueli (COMPOS, 1997)

Using a Visual Formalism for Design Verification in Industrial Environments. - Rainer Schlör; Bernhard Josko; Dieter Werth (Services and Visualization: Towards User-Friendly Design, 1998)

Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. - Werner Damm; Bernhard Josko; Amir Pnueli; Anjelika Votintseva (FMCO, 2002)

Adding Value to Automotive Models. - Eckard Böde; Werner Damm; Jarl Høyem; Bernhard Josko; Jürgen Niehaus; Marc Segelken (ASWSD, 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)

Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications. - Stefan Eisler; Christian Scheidler; Bernhard Josko; Guido Sandmann; Joachim Stroop (FM, 2005)

Automatic Validation and Verification in a Model-Based Development Process. - Udo Brockmeyer; Werner Damm; Hardi Hungar; Bernhard Josko (MBEES, 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)

SUCCESS 2006 Motivation, Vorgehensweise und Ergebnisse. - Ralf Buschermöhle; Heike Eekhoff; Bernhard Josko (GI Jahrestagung (1), 2006)

SUCCESS Rate and Factors of IT - Projects 2006 in Germany. - Ralf Buschermöhle; Heike Eekhoff; Bernhard Josko (Software Engineering Research and Practice, 2007)

Software Components for Reliable Automotive Systems. - Harald Heinecke; Werner Damm; Bernhard Josko; Alexander Metzner; Hermann Kopetz; Alberto L. Sangiovanni-Vincentelli; Marco Di Natale (DATE, 2008)

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; et al. (IEEE Des. Test Comput., 2009)

Using contract-based component specifications for virtual integration testing and architecture design. - Werner Damm; Hardi Hungar; Bernhard Josko; Thomas Peikenkamp; Ingo Stierand (DATE, 2011)