Viktor Schuppan

Linear Encodings of Bounded LTL Model Checking

Armin Biere, Keijo Heljanko, Tommi Junttila et al. · Logical Methods in Computer Science · 2006 · 223 citations · Full text

Engineering, Verification, Computer-aided Verification +17

Liveness Checking as Safety Checking

Armin Biere, Cyrille Artho, Viktor Schuppan · Electronic Notes in Theoretical Computer Science · 2002 · 166 citations · Full text

Engineering, Verification, Safety Science +25

Efficient reduction of finite state model checking to reachability analysis

Viktor Schuppan, Armin Biere · International Journal on Software Tools for Technology Transfer · 2004 · 67 citations

Efficient Reduction, Reachability Analysis, Reliability Engineering +14

Liveness Checking as Safety Checking for Infinite State Spaces

Viktor Schuppan, Armin Biere · Electronic Notes in Theoretical Computer Science · 2006 · 45 citations · Full text

Engineering, Reachability Problem, Verification +16

Towards a notion of unsatisfiable and unrealizable cores for LTL

Viktor Schuppan · Science of Computer Programming · 2010 · 34 citations · Full text

Formal Specification, Engineering, Hardware Verification Language +11