Bernhard Josko

29 papers A* 3A 3B 2Journal 4Unranked 15
YearRankTypeTitle / Venue / Authors
2011 A conf
Using contract-based component specifications for virtual integration testing and architecture design.
DATE
Werner Damm, Hardi Hungar, Bernhard Josko, Thomas Peikenkamp, Ingo Stierand
2009 J jnl
Metamodels in Europe: Languages, Tools, and Applications.
IEEE Des. Test Comput.
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
2008 A conf
Software Components for Reliable Automotive Systems.
DATE
Harald Heinecke, Werner Damm, Bernhard Josko, Alexander Metzner, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale
2007 — conf
SUCCESS Rate and Factors of IT - Projects 2006 in Germany.
Software Engineering Research and Practice
Ralf Buschermöhle, Heike Eekhoff, Bernhard Josko
2006 — conf
SUCCESS 2006 Motivation, Vorgehensweise und Ergebnisse.
GI Jahrestagung (1)
Ralf Buschermöhle, Heike Eekhoff, Bernhard Josko
2005 J jnl
A discrete-time UML semantics for concurrency and communication in safety-critical applications.
Sci. Comput. Program.
Werner Damm, Bernhard Josko, Amir Pnueli, Anjelika Votintseva
2005 — conf
Automatic Validation and Verification in a Model-Based Development Process.
MBEES
Udo Brockmeyer, Werner Damm, Hardi Hungar, Bernhard Josko
2005 B conf
Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications.
FM
Stefan Eisler, Christian Scheidler, Bernhard Josko, Guido Sandmann, Joachim Stroop
2004 — conf
Adding Value to Automotive Models.
ASWSD
Eckard Böde, Werner Damm, Jarl Høyem, Bernhard Josko, Jürgen Niehaus, Marc Segelken
2004 J jnl
Model Checking (Grundlagen und Praxiserfahrungen).
Inform. Spektrum
Ralf Buschermöhle, Mark Brörkens, Ingo Brückner, Werner Damm, Wilhelm Hasselbring, Bernhard Josko, Christoph Schulte, Thomas Wolf
2002 — conf
Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML.
FMCO
Werner Damm, Bernhard Josko, Amir Pnueli, Anjelika Votintseva
1998 — conf
Using a Visual Formalism for Design Verification in Industrial Environments.
Services and Visualization: Towards User-Friendly Design
Rainer Schlör, Bernhard Josko, Dieter Werth
1997 — conf
A Compositional Real-Time Semantics of STATEMATE Designs.
COMPOS
Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli
1997 — conf
A Visual Fomalism for Real-Time Requirement Specifications.
ARTS
Konrad Feyerabend, Bernhard Josko
1996 B conf
Development of a Telephone Answering Machine in a Lab - FPGAs in Education.
FPL
Guido Schumacher, Bernhard Josko, Gerhard Wagner, Martin Radetzki
1993 — conf
A net-based semantics for VHDL.
EURO-DAC
Werner Damm, Bernhard Josko, Rainer Schlör
1993 — ch.
Specification and verification of VHDL-based system-level hardware designs.
Specification and validation methods
Werner Damm, Bernhard Josko, Rainer Schlör
1993 A* conf
Verification of timing Properties of VHDL.
CAV
Costas Courcoubetis, Werner Damm, Bernhard Josko
1990 A* conf
A Context Dependent Equivalence Relation Between Kripke Structures.
CAV
Bernhard Josko
1990 — conf
A Context Dependent Equivalence Relation between Kripke Structures.
CAV (DIMACS/AMS volume)
Bernhard Josko
1989 — conf
Modular Verification of Petri Nets: The Temporal Logic Approach.
REX Workshop
Werner Damm, Gert Döhmen, Volker Gerstner, Bernhard Josko
1989 — conf
Verifying the Correctness of AADL Modules Using Model Checking.
REX Workshop
Bernhard Josko
1987 — conf
MCTL - An Extension of CTL for Modular Verification of Concurrent Systems.
Temporal Logic in Specification
Bernhard Josko
1987 A* conf
Modelchecking of CTL Formulae under Liveness Assumptions.
ICALP
Bernhard Josko
1985 — —
Über einen Hoare-Kalkül für ALGOL-ähnliche Programmiersprachen mit Prozeduren endlicher Art.
Bernhard Josko
1984 A conf
On Expressive Interpretations of a Hoare-Logic for Clarke's Language L4.
STACS
Bernhard Josko
1983 J jnl
A Sound and Relatively * Complete Hoare-Logic for a Language With Higher Type Procedures.
Acta Informatica
Werner Damm, Bernhard Josko
1983 — conf
A Sound and Relatively* Compete Axiomatization of Clarke's Language L
Logic of Programs
Werner Damm, Bernhard Josko
1981 — conf
An Effective Retract Calculus.
Theoretical Computer Science
Bernhard Josko