Viktor Schuppan

26 papers A* 3A 1B 3C 3Journal 9Unranked 6

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	Enhanced Unsatisfiable Cores for QBF: Weakening Universal to Existential Quantifiers. Int. J. Artif. Intell. Tools Viktor Schuppan
2018	B	`conf`	Enhanced Unsatisfiable Cores for QBF: Weakening Universal to Existential Quantifiers. ICTAI Viktor Schuppan
2016	J	`jnl`	Enhancing unsatisfiable cores for LTL with information on temporal relevance. Theor. Comput. Sci. Viktor Schuppan
2016	J	`jnl`	Extracting unsatisfiable cores for LTL via temporal resolution. Acta Informatica Viktor Schuppan
2013	—	`conf`	Enhancing Unsatisfiable Cores for LTL with Information on Temporal Relevance. QAPL Viktor Schuppan
2013	C	`conf`	Extracting Unsatisfiable Cores for LTL via Temporal Resolution. TIME Viktor Schuppan
2012	J	`jnl`	Extracting Unsatisfiable Cores for LTL via Temporal Resolution CoRR Viktor Schuppan
2012	J	`jnl`	Towards a notion of unsatisfiable and unrealizable cores for LTL. Sci. Comput. Program. Viktor Schuppan
2011	B	`conf`	Evaluating LTL Satisfiability Solvers. ATVA Viktor Schuppan, Luthfi Darmawan
2010	A*	`conf`	RATSY - A New Requirements Analysis Tool with Synthesis. CAV Roderick Bloem, Alessandro Cimatti, Karin Greimel, Georg Hofferek, Robert Könighofer, Marco Roveri, Viktor Schuppan, Richard Seeber
2009	—	`conf`	Towards a Notion of Unsatisfiable Cores for LTL. FSEN Viktor Schuppan
2008	B	`conf`	Diagnostic Information for Realizability. VMCAI Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev
2008	—	`conf`	Survey on Directed Model Checking. MoChArt Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker, Husain Aljazzar
2007	A*	`conf`	Boolean Abstraction for Temporal Logic Satisfiability. CAV Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta
2006	J	`jnl`	Linear Encodings of Bounded LTL Model Checking CoRR Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan
2006	J	`jnl`	Linear Encodings of Bounded LTL Model Checking. Log. Methods Comput. Sci. Armin Biere, Keijo Heljanko, Tommi A. Junttila, Timo Latvala, Viktor Schuppan
2006	—	`—`	Liveness checking as safety checking to find shortest counterexamples to linear time properties. Viktor Schuppan
2005	—	`conf`	Liveness Checking as Safety Checking for Infinite State Spaces. INFINITY Viktor Schuppan, Armin Biere
2005	A	`conf`	Shortest Counterexamples for Symbolic Model Checking of LTL with Past. TACAS Viktor Schuppan, Armin Biere
2004	J	`jnl`	Efficient reduction of finite state model checking to reachability analysis. Int. J. Softw. Tools Technol. Transf. Viktor Schuppan, Armin Biere
2004	A*	`conf`	JNuke: Efficient Dynamic Analysis for Java. CAV Cyrille Artho, Viktor Schuppan, Armin Biere, Pascal Eugster, Marcel Baur, Boris Zweimüller
2004	—	`conf`	JVM Independent Replay in Java. RV@ETAPS Viktor Schuppan, Marcel Baur, Armin Biere
2003	C	`conf`	Formal Methods Group ETH Zürich. FMICS Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan
2003	J	`jnl`	Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV. Formal Aspects Comput. Viktor Schuppan, Armin Biere
2002	C	`conf`	Liveness Checking as Safety Checking. FMICS Armin Biere, Cyrille Artho, Viktor Schuppan
2000	—	`conf`	A CMM-Based Evaluation of the V-Model 97. EWSPT Viktor Schuppan, Winfried Rußwurm