Search the dblp DataBase
Bernhard Josko :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Konrad Feyerabend , Bernhard Josko A Visual Fomalism for Real-Time Requirement Specifications. [Citation Graph (0, 0)][DBLP ] ARTS, 1997, pp:156-168 [Conf ] Costas Courcoubetis , Werner Damm , Bernhard Josko Verification of timing Properties of VHDL. [Citation Graph (0, 0)][DBLP ] CAV, 1993, pp:225-236 [Conf ] Bernhard Josko A Context Dependent Equivalence Relation Between Kripke Structures. [Citation Graph (0, 0)][DBLP ] CAV, 1990, pp:204-213 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] Bernhard Josko Modelchecking of CTL Formulae under Liveness Assumptions. [Citation Graph (0, 0)][DBLP ] ICALP, 1987, pp:280-289 [Conf ] 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 ] 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 ] Bernhard Josko Verifying the Correctness of AADL Modules Using Model Checking. [Citation Graph (0, 0)][DBLP ] REX Workshop, 1989, pp:386-400 [Conf ] 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 ] 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 ] Bernhard Josko An Effective Retract Calculus. [Citation Graph (0, 0)][DBLP ] Theoretical Computer Science, 1981, pp:184-194 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] Software Components for Reliable Automotive Systems. [Citation Graph (, )][DBLP ] SUCCESS Rate and Factors of IT - Projects 2006 in Germany. [Citation Graph (, )][DBLP ] Automatic Validation and Verification in a Model-Based Development Process. [Citation Graph (, )][DBLP ] Metamodels in Europe: Languages, Tools, and Applications. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.304secs