Bernhard Josko

Publication Activity (10 Years)

Years Active: 1981-2011
Publications (10 Years): 0

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

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

Bernhard Josko.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Bernhard Josko