Gerhard Schellhorn

2008
38	EE	Andriy Dunets, Gerhard Schellhorn, Wolfgang Reif: Bounded Relational Analysis of Free Data Types. TAP 2008: 99-115
37	EE	Dominik Haneberg, Gerhard Schellhorn, Holger Grandy, Wolfgang Reif: Verification of Mondex electronic purses with KIV: from transactions to a security protocol. Formal Asp. Comput. 20(1): 41-59 (2008)
2007
36	EE	Nina Moebius, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn: A Modeling Framework for the Development of Provably Secure E-Commerce Applications. ICSEA 2007: 8
35	EE	John Derrick, Gerhard Schellhorn, Heike Wehrheim: Proving Linearizability Via Non-atomic Refinement. IFM 2007: 195-214
34	EE	Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn: Verifying Smart Card Applications: An ASM Approach. IFM 2007: 313-332
33	EE	Frank Ortmeier, Gerhard Schellhorn: Formal Fault Tree Analysis - Practical Experiences. Electr. Notes Theor. Comput. Sci. 185: 139-151 (2007)
2006
32	EE	Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Wolfgang Reif: The Mondex Challenge: Machine Checked Proofs for an Electronic Purse. FM 2006: 16-31
2005
31	EE	Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn: Verifying Security Protocols: An ASM Approach. Abstract State Machines 2005: 247-262
30	EE	Gerhard Schellhorn: ASMs and Refinement of State-based Systems. Abstract State Machines 2005: 74-75
29	EE	Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn: Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA). EDCC 2005: 210-224
28	EE	Gerhard Schellhorn: ASM refinement and generalizations of forward simulation in data refinement: a comparison. Theor. Comput. Sci. 336(2-3): 403-435 (2005)
2004
27		Wolfgang Reif, Frank Ortmeier, Andreas Thums, Gerhard Schellhorn: Integrated formal methods for safety analysis of train systems. IFIP Congress Topical Sessions 2004: 637-642
26	EE	Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif: Interactive Verification of Statecharts. SoftSpez Final Report 2004: 355-373
25	EE	Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn: Introduction to Subject Area "Verification". SoftSpez Final Report 2004: 419-422
24	EE	Frank Ortmeier, Andreas Thums, Gerhard Schellhorn, Wolfgang Reif: Combining Formal Methods and Safety Analysis - The ForMoSA Approach. SoftSpez Final Report 2004: 474-493
2003
23	EE	Andreas Thums, Gerhard Schellhorn: Model Checking FTA. FME 2003: 739-757
22	EE	Rudolf Berghammer, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn: Special Issue on Tools for System Design and Verification. J. UCS 9(2): 86-87 (2003)
2002
21	EE	Frank Ortmeier, Gerhard Schellhorn, Andreas Thums, Wolfgang Reif, Bernhard Hering, Helmut Trappschuh: Safety Analysis of the Height Control System for the Elbtunnel. SAFECOMP 2002: 296-308
20	EE	Michael Balser, Christoph Duelli, Wolfgang Reif, Gerhard Schellhorn: Verifying Concurrent Systems with Symbolic Execution. J. Log. Comput. 12(4): 549-560 (2002)
19		Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll: Verified Formal Security Models for Multiapplicative Smart Cards. Journal of Computer Security 10(4): 339-368 (2002)
2001
18	EE	Wolfgang Reif, Gerhard Schellhorn, Andreas Thums: Flaw Detection in Formal Specifications. IJCAR 2001: 642-657
17	EE	Wolfgang Reif, Gerhard Schellhorn: J.UCS Special Issue on Tools for System Design and Verification - Part 1. J. UCS 7(1): 1-2 (2001)
16	EE	Gerhard Schellhorn: Verification of ASM Refinements Using Generalized Forward Simulation. J. UCS 7(11): 952-979 (2001)
15	EE	Wolfgang Reif, Gerhard Schellhorn: J.UCS Special Issue on Tools for System Design and Verification - Part 2. J. UCS 7(2): 105-106 (2001)
14	EE	Wolfgang Reif, Gerhard Schellhorn, Tobias Vollmer, Jürgen Ruf: Correctness of Efficient Real-Time Model Checking. J. UCS 7(2): 194-209 (2001)
2000
13	EE	Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll: Verification of a Formal Security Model for Multiapplicative Smart Cards. ESORICS 2000: 17-36
12	EE	Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums: Formal System Development with KIV. FASE 2000: 363-366
11	EE	Wolfgang Reif, Jürgen Ruf, Gerhard Schellhorn, Tobias Vollmer: Do You Trust Your Model Checker? FMCAD 2000: 179-196
1998
10		Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: KIV 3.0 for Provably Correct Systems. FM-Trends 1998: 330-337
9		Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: VSE: Controlling the Complexity in Formal Software Developments. FM-Trends 1998: 351-358
1997
8		Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: Proving System Correctness with KIV 3.0. CADE 1997: 69-72
7		Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: Proving System Correctness with KIV. TAPSOFT 1997: 859-862
6	EE	Gerhard Schellhorn, Wolfgang Ahrendt: Reasoning about Abstract State Machines: The WAM Case Study. J. UCS 3(4): 377-413 (1997)
1995
5		Gerhard Schellhorn, Axel Burandt: KIV. Formal Development of Reactive Systems 1995: 229-245
4		Thomas Fuchß, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: Three Selected Case Studies in Verification. KORSO Book 1995: 371-387
1994
3		Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: Formal Specification and Verification Using KIV. FTRTFT 1994: 787-787
2		Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: Tactics in KIV. Elektronische Informationsverarbeitung und Kybernetik 30(5/6): 293-310 (1994)
1993
1		Rainer Drexler, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Werner Stephan, Andreas Wolpers: The KIV System: A Tool for Formal Program Development. STACS 1993: 704-705

Coauthor Index

1	Wolfgang Ahrendt	[6]
2	Vernon Austel	[13] [19]
3	Michael Balser	[9] [10] [12] [20]
4	Rudolf Berghammer	[22]
5	Axel Burandt	[5]
6	John Derrick	[35]
7	Rainer Drexler	[1]
8	Christoph Duelli	[20]
9	Andriy Dunets	[38]
10	Thomas Fuchß	[4]
11	Holger Grandy	[31] [32] [34] [37]
12	Dominik Haneberg	[22] [31] [32] [34] [36] [37]
13	Bernhard Hering	[21]
14	Dieter Hutter	[9]
15	Paul A. Karger	[13] [19]
16	Heiko Mantel	[9]
17	Nina Moebius	[36]
18	Frank Ortmeier	[21] [24] [25] [26] [27] [29] [33]
19	Wolfgang Reif	[1] [2] [3] [4] [7] [8] [9] [10] [11] [12] [13] [14] [15] [17] [18] [19] [20] [21] [22] [24] [25] [26] [27] [29] [31] [32] [34] [36] [37] [38]
20	Georg Rock	[9]
21	Jürgen Ruf	[11] [14]
22	Axel Schairer	[13] [19]
23	Kurt Stenzel	[1] [2] [3] [4] [7] [8] [9] [10] [12]
24	Werner Stephan	[1] [9]
25	Andreas Thums	[12] [18] [21] [23] [24] [26] [27]
26	David C. Toll	[13] [19]
27	Helmut Trappschuh	[21]
28	Tobias Vollmer	[11] [14]
29	Heike Wehrheim	[35]
30	Andreas Wolpers	[1] [9]

Colors in the list of coauthors