Viktor Schuppan

	2012
19		Viktor Schuppan: Towards a notion of unsatisfiable and unrealizable cores for LTL. Sci. Comput. Program. 77(7-8): 908-939 (2012)
	2011
18		Viktor Schuppan, Luthfi Darmawan: Evaluating LTL Satisfiability Solvers. ATVA 2011: 397-413
	2010
17		Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan, Richard Seeber: RATSY - A New Requirements Analysis Tool with Synthesis. CAV 2010: 425-429
	2009
16		Viktor Schuppan: Towards a Notion of Unsatisfiable Cores for LTL. FSEN 2009: 129-145
	2008
15		Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar: Survey on Directed Model Checking. MoChArt 2008: 65-89
14		Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev: Diagnostic Information for Realizability. VMCAI 2008: 52-67
	2007
13		Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta: Boolean Abstraction for Temporal Logic Satisfiability. CAV 2007: 532-546
	2006
12		Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan: Linear Encodings of Bounded LTL Model Checking CoRR abs/cs/0611029: (2006)
11		Viktor Schuppan, Armin Biere: Liveness Checking as Safety Checking for Infinite State Spaces. Electr. Notes Theor. Comput. Sci. 149(1): 79-96 (2006)
10		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)
9		Viktor Schuppan: Liveness checking as safety checking to find shortest counterexamples to linear time properties. ETH Zurich 2006: 1-151
	2005
8		Viktor Schuppan, Armin Biere: Shortest Counterexamples for Symbolic Model Checking of LTL with Past. TACAS 2005: 493-509
7		Viktor Schuppan, Marcel Baur, Armin Biere: JVM Independent Replay in Java. Electr. Notes Theor. Comput. Sci. 113: 85-104 (2005)
	2004
6		Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimüller: JNuke: Efficient Dynamic Analysis for Java. CAV 2004: 462-465
5		Viktor Schuppan, Armin Biere: Efficient reduction of finite state model checking to reachability analysis. STTT 5(2-3): 185-204 (2004)
	2003
4		Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan: Formal Methods Group ETH Zürich. Electr. Notes Theor. Comput. Sci. 80: 289-293 (2003)
3		Viktor Schuppan, Armin Biere: Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV. Formal Asp. Comput. 14(3): 267-280 (2003)
	2002
2		Armin Biere, Cyrille Artho, Viktor Schuppan: Liveness Checking as Safety Checking. Electr. Notes Theor. Comput. Sci. 66(2): 160-177 (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	[15]
2	Cyrille Artho (Cyrille Valentin Artho)	[2] [4] [6]
3	Marcel Baur	[6] [7]
4	Armin Biere	[2] [3] [4] [5] [6] [7] [8] [10] [11] [12]
5	Roderick Bloem (Roderick Paul Bloem)	[17]
6	Dragan Bosnacki	[15]
7	Alessandro Cimatti	[13] [14] [17]
8	Luthfi Darmawan	[18]
9	Stefan Edelkamp	[15]
10	Pascal Eugster	[6]
11	Ansgar Fehnker	[15]
12	Karin Greimel	[17]
13	Malek Haroud	[4]
14	Keijo Heljanko	[10] [12]
15	Georg Hofferek	[17]
16	Tommi A. Junttila	[10] [12]
17	Robert Könighofer	[17]
18	Timo Latvala	[10] [12]
19	Marco Roveri	[13] [14] [17]
20	Winfried Rußwurm	[1]
21	Richard Seeber	[17]
22	Andrei Tchaltsev	[14]
23	Stefano Tonetta	[13]
24	Anton Wijs	[15]
25	Boris Zweimüller	[6]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page