The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bernhard Josko: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  21. Software Components for Reliable Automotive Systems. [Citation Graph (, )][DBLP]


  22. SUCCESS Rate and Factors of IT - Projects 2006 in Germany. [Citation Graph (, )][DBLP]


  23. Automatic Validation and Verification in a Model-Based Development Process. [Citation Graph (, )][DBLP]


  24. Metamodels in Europe: Languages, Tools, and Applications. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002