Bernhard Josko

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

Coauthor Index

1	Eckard Böde	[17]
2	Mark Brörkens	[16]
3	Ingo Brückner	[16]
4	Ralf Buschermöhle	[16] [20] [21]
5	Costas Courcoubetis	[10]
6	Werner Damm	[2] [3] [8] [10] [12] [15] [16] [17] [18] [22]
7	Gert Döhmen	[8]
8	Heike Eekhoff	[20] [21]
9	Stefan Eisler	[19]
10	Konrad Feyerabend	[13]
11	Volker Gerstner	[8]
12	Wilhelm Hasselbring	[16]
13	Harald Heinecke	[22]
14	Jarl Høyem	[17]
15	Hardi Hungar	[12]
16	Hermann Kopetz	[22]
17	Alexander Metzner	[22]
18	Marco Di Natale	[22]
19	Jürgen Niehaus	[17]
20	Amir Pnueli	[12] [15] [18]
21	Martin Radetzki	[11]
22	Guido Sandmann	[19]
23	Alberto L. Sangiovanni-Vincentelli	[22]
24	Christian Scheidler	[19]
25	Rainer Schlör	[14]
26	Christoph Schulte	[16]
27	Guido Schumacher	[11]
28	Marc Segelken	[17]
29	Joachim Stroop	[19]
30	Angelika Votintseva	[15] [18]
31	Gerhard Wagner	[11]
32	Dieter Werth	[14]
33	Thomas Wolf	[16]

Colors in the list of coauthors