| 2008 |
|---|
| 22 | EE | Harald Heinecke,
Werner Damm,
Bernhard Josko,
Alexander Metzner,
Hermann Kopetz,
Alberto L. Sangiovanni-Vincentelli,
Marco Di Natale:
Software Components for Reliable Automotive Systems.
DATE 2008: 549-554 |
| 2007 |
|---|
| 21 | | Ralf Buschermöhle,
Heike Eekhoff,
Bernhard Josko:
SUCCESS Rate and Factors of IT - Projects 2006 in Germany.
Software Engineering Research and Practice 2007: 644-650 |
| 2006 |
|---|
| 20 | | Ralf Buschermöhle,
Heike Eekhoff,
Bernhard Josko:
SUCCESS 2006 Motivation, Vorgehensweise und Ergebnisse.
GI Jahrestagung (1) 2006: 295-301 |
| 2005 |
|---|
| 19 | EE | Stefan Eisler,
Christian Scheidler,
Bernhard Josko,
Guido Sandmann,
Joachim Stroop:
Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications.
FM 2005: 533-536 |
| 18 | EE | Werner Damm,
Bernhard Josko,
Amir Pnueli,
Angelika Votintseva:
A discrete-time UML semantics for concurrency and communication in safety-critical applications.
Sci. Comput. Program. 55(1-3): 81-115 (2005) |
| 2004 |
|---|
| 17 | EE | Eckard Böde,
Werner Damm,
Jarl Høyem,
Bernhard Josko,
Jürgen Niehaus,
Marc Segelken:
Adding Value to Automotive Models.
ASWSD 2004: 86-102 |
| 16 | EE | Ralf Buschermöhle,
Mark Brörkens,
Ingo Brückner,
Werner Damm,
Wilhelm Hasselbring,
Bernhard Josko,
Christoph Schulte,
Thomas Wolf:
Model Checking (Grundlagen und Praxiserfahrungen).
Informatik Spektrum 27(2): 146-158 (2004) |
| 2002 |
|---|
| 15 | EE | Werner Damm,
Bernhard Josko,
Amir Pnueli,
Angelika Votintseva:
Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML.
FMCO 2002: 71-98 |
| 1998 |
|---|
| 14 | EE | Rainer Schlör,
Bernhard Josko,
Dieter Werth:
Using a Visual Formalism for Design Verification in Industrial Environments.
Services and Visualization: Towards User-Friendly Design 1998: 208-221 |
| 1997 |
|---|
| 13 | | Konrad Feyerabend,
Bernhard Josko:
A Visual Fomalism for Real-Time Requirement Specifications.
ARTS 1997: 156-168 |
| 12 | EE | Werner Damm,
Bernhard Josko,
Hardi Hungar,
Amir Pnueli:
A Compositional Real-Time Semantics of STATEMATE Designs.
COMPOS 1997: 186-238 |
| 1996 |
|---|
| 11 | | Guido Schumacher,
Bernhard Josko,
Gerhard Wagner,
Martin Radetzki:
Development of a Telephone Answering Machine in a Lab - FPGAs in Education.
FPL 1996: 400-404 |
| 1993 |
|---|
| 10 | | Costas Courcoubetis,
Werner Damm,
Bernhard Josko:
Verification of timing Properties of VHDL.
CAV 1993: 225-236 |
| 1990 |
|---|
| 9 | | Bernhard Josko:
A Context Dependent Equivalence Relation Between Kripke Structures.
CAV 1990: 204-213 |
| 1989 |
|---|
| 8 | | Werner Damm,
Gert Döhmen,
Volker Gerstner,
Bernhard Josko:
Modular Verification of Petri Nets: The Temporal Logic Approach.
REX Workshop 1989: 180-207 |
| 7 | | Bernhard Josko:
Verifying the Correctness of AADL Modules Using Model Checking.
REX Workshop 1989: 386-400 |
| 1987 |
|---|
| 6 | | Bernhard Josko:
Modelchecking of CTL Formulae under Liveness Assumptions.
ICALP 1987: 280-289 |
| 5 | | Bernhard Josko:
MCTL - An Extension of CTL for Modular Verification of Concurrent Systems.
Temporal Logic in Specification 1987: 165-187 |
| 1984 |
|---|
| 4 | | Bernhard Josko:
On Expressive Interpretations of a Hoare-Logic for Clarke's Language L4.
STACS 1984: 73-84 |
| 1983 |
|---|
| 3 | | Werner Damm,
Bernhard Josko:
A Sound and Relatively* Compete Axiomatization of Clarke's Language L4.
Logic of Programs 1983: 161-175 |
| 2 | | Werner Damm,
Bernhard Josko:
A Sound and Relatively * Complete Hoare-Logic for a Language With Higher Type Procedures.
Acta Inf. 20: 59-101 (1983) |
| 1981 |
|---|
| 1 | | Bernhard Josko:
An Effective Retract Calculus.
Theoretical Computer Science 1981: 184-194 |
