dblp.uni-trier.dewww.uni-trier.de

Viktor Schuppan Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)