| 2011 | DATE | Using contract-based component specifications for virtual integration testing and architecture design. | Werner Damm, Hardi Hungar, Bernhard Josko, Thomas Peikenkamp, Ingo Stierand |
| 2008 | DATE | Software Components for Reliable Automotive Systems. | Harald Heinecke, Werner Damm, Bernhard Josko, Alexander Metzner, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale |
| 2006 | GI | SUCCESS 2006 Motivation, Vorgehensweise und Ergebnisse. | Ralf Buschermhle, Heike Eekhoff, Bernhard Josko |
| 2005 | FM | Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications. | Stefan Eisler, Christian Scheidler, Bernhard Josko, Guido Sandmann, Joachim Stroop |
| 1998 | TACAS | Using a Visual Formalism for Design Verification in Industrial Environments. | Rainer Schlr, Bernhard Josko, Dieter Werth |
| 1996 | FPL | Development of a Telephone Answering Machine in a Lab - FPGAs in Education. | Guido Schumacher, Bernhard Josko, Gerhard Wagner, Martin Radetzki |
| 1993 | CAV | Verification of timing Properties of VHDL. | Costas Courcoubetis, Werner Damm, Bernhard Josko |
| 1990 | CAV | A Context Dependent Equivalence Relation Between Kripke Structures. | Bernhard Josko |
| 1987 | ICALP | Modelchecking of CTL Formulae under Liveness Assumptions. | Bernhard Josko |
| 1984 | STACS | On Expressive Interpretations of a Hoare-Logic for Clarke's Language L4. | Bernhard Josko |