Bernhard Josko

According to our database1, Bernhard Josko
  • authored at least 28 papers between 1981 and 2011.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2011
Using contract-based component specifications for virtual integration testing and architecture design.
Proceedings of the Design, Automation and Test in Europe, 2011

2009
Metamodels in Europe: Languages, Tools, and Applications.
IEEE Design & Test of Computers, 2009

2008
Software Components for Reliable Automotive Systems.
Proceedings of the Design, Automation and Test in Europe, 2008

2007
SUCCESS Rate and Factors of IT - Projects 2006 in Germany.
Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

2006
SUCCESS 2006 Motivation, Vorgehensweise und Ergebnisse.
Proceedings of the Informatik 2006, 2006

2005
A discrete-time UML semantics for concurrency and communication in safety-critical applications.
Sci. Comput. Program., 2005

Automatic Validation and Verification in a Model-Based Development Process.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, 2005

Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications.
Proceedings of the FM 2005: Formal Methods, 2005

2004
Model Checking (Grundlagen und Praxiserfahrungen).
Informatik Spektrum, 2004

Adding Value to Automotive Models.
Proceedings of the Automotive Software, 2004

2002
Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML.
Proceedings of the Formal Methods for Components and Objects, 2002

1998
Using a Visual Formalism for Design Verification in Industrial Environments.
Proceedings of the Services and Visualization: Towards User-Friendly Design, 1998

1997
A Compositional Real-Time Semantics of STATEMATE Designs.
Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

A Visual Fomalism for Real-Time Requirement Specifications.
Proceedings of the Transformation-Based Reactive Systems Development, 1997

1996
Development of a Telephone Answering Machine in a Lab - FPGAs in Education.
Proceedings of the Field-Programmable Logic, 1996

1993
A net-based semantics for VHDL.
Proceedings of the European Design Automation Conference 1993, 1993

Verification of timing Properties of VHDL.
Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1990
A Context Dependent Equivalence Relation between Kripke Structures.
Proceedings of the Computer-Aided Verification, 1990

A Context Dependent Equivalence Relation Between Kripke Structures.
Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1989
Verifying the Correctness of AADL Modules Using Model Checking.
Proceedings of the Stepwise Refinement of Distributed Systems, 1989

Modular Verification of Petri Nets: The Temporal Logic Approach.
Proceedings of the Stepwise Refinement of Distributed Systems, 1989

1987
MCTL - An Extension of CTL for Modular Verification of Concurrent Systems.
Proceedings of the Temporal Logic in Specification, 1987

Modelchecking of CTL Formulae under Liveness Assumptions.
Proceedings of the Automata, Languages and Programming, 14th International Colloquium, 1987

1985
Über einen Hoare-Kalkül für ALGOL-ähnliche Programmiersprachen mit Prozeduren endlicher Art.
PhD thesis, 1985

1984
On Expressive Interpretations of a Hoare-Logic for Clarke's Language L4.
Proceedings of the STACS 84, 1984

1983
A Sound and Relatively * Complete Hoare-Logic for a Language With Higher Type Procedures.
Acta Inf., 1983

A Sound and Relatively* Compete Axiomatization of Clarke's Language L4.
Proceedings of the Logics of Programs, 1983

1981
An Effective Retract Calculus.
Proceedings of the Theoretical Computer Science, 1981


  Loading...