Viktor Schuppan

2008
14	EE	Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar: Survey on Directed Model Checking. MoChArt 2008: 65-89
13	EE	Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev: Diagnostic Information for Realizability. VMCAI 2008: 52-67
2007
12	EE	Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta: Boolean Abstraction for Temporal Logic Satisfiability. CAV 2007: 532-546
2006
11	EE	Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan: Linear Encodings of Bounded LTL Model Checking CoRR abs/cs/0611029: (2006)
10	EE	Viktor Schuppan, Armin Biere: Liveness Checking as Safety Checking for Infinite State Spaces. Electr. Notes Theor. Comput. Sci. 149(1): 79-96 (2006)
9	EE	Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan: Linear Encodings of Bounded LTL Model Checking. Logical Methods in Computer Science 2(5): (2006)
2005
8	EE	Viktor Schuppan, Armin Biere: Shortest Counterexamples for Symbolic Model Checking of LTL with Past. TACAS 2005: 493-509
7	EE	Viktor Schuppan, Marcel Baur, Armin Biere: JVM Independent Replay in Java. Electr. Notes Theor. Comput. Sci. 113: 85-104 (2005)
2004
6	EE	Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimüller: JNuke: Efficient Dynamic Analysis for Java. CAV 2004: 462-465
5	EE	Viktor Schuppan, Armin Biere: Efficient reduction of finite state model checking to reachability analysis. STTT 5(2-3): 185-204 (2004)
2003
4	EE	Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan: Formal Methods Group ETH Zürich. Electr. Notes Theor. Comput. Sci. 80: (2003)
3	EE	Viktor Schuppan, Armin Biere: Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV. Formal Asp. Comput. 14(3): 267-280 (2003)
2002
2	EE	Armin Biere, Cyrille Artho, Viktor Schuppan: Liveness Checking as Safety Checking. Electr. Notes Theor. Comput. Sci. 66(2): (2002)
2000
1		Viktor Schuppan, Winfried Rußwurm: A CMM-Based Evaluation of the V-Model 97. EWSPT 2000: 69-83

Coauthor Index

1	Husain Aljazzar	[14]
2	Cyrille Artho	[2] [4] [6]
3	Marcel Baur	[6] [7]
4	Armin Biere	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11]
5	Dragan Bosnacki	[14]
6	Alessandro Cimatti	[12] [13]
7	Stefan Edelkamp	[14]
8	Pascal Eugster	[6]
9	Ansgar Fehnker	[14]
10	Malek Haroud	[4]
11	Keijo Heljanko	[9] [11]
12	Tommi A. Junttila	[9] [11]
13	Timo Latvala	[9] [11]
14	Marco Roveri	[12] [13]
15	Winfried Rußwurm	[1]
16	Andrei Tchaltsev	[13]
17	Stefano Tonetta	[12]
18	Anton Wijs	[14]
19	Boris Zweimüller	[6]

Colors in the list of coauthors