Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Maria Concetta Palumbo
Abhimanyu Chopra
Fei Xiang Ke
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Jonathan Huffmann
Radu Timofte
Kuanrui Yin
Home
/
Author
/
VIKTOR SCHUPPAN
Author Info
Open Visualization
Name
Affiliation
Papers
VIKTOR SCHUPPAN
Computer Systems Institute, ETH Zürich, Zürich, Switzerland
18
Collaborators
Citations
PageRank
22
409
17.49
Referers
Referees
References
694
642
625
Search Limit
100
694
Publications (18 rows)
Collaborators (22 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Enhanced Unsatisfiable Cores for QBF: Weakening Universal to Existential Quantifiers
0
0.34
2018
Enhancing Unsatisfiable Cores for LTL with Information on Temporal Relevance.
1
0.34
2013
Extracting Unsatisfiable Cores for LTL via Temporal Resolution
2
0.35
2013
Towards a notion of unsatisfiable and unrealizable cores for LTL
16
0.61
2012
Evaluating LTL satisfiability solvers
23
0.86
2011
RATSY – a new requirements analysis tool with synthesis
53
1.97
2010
Towards a notion of unsatisfiable cores for LTL
14
0.69
2009
Survey on Directed Model Checking
14
0.52
2008
Boolean abstraction for temporal logic satisfiability
26
1.00
2007
Liveness Checking as Safety Checking for Infinite State Spaces
19
0.83
2006
Linear Encodings of Bounded LTL Model Checking
108
3.37
2006
JVM Independent Replay in Java
11
0.63
2005
Shortest counterexamples for symbolic model checking of LTL with past
21
0.83
2005
Efficient reduction of finite state model checking to reachability analysis
39
1.47
2004
Verifying the IEEE 1394 FireWire Tree Identify Protocol with SMV
7
0.64
2003
Formal Methods Group ETH Zürich
0
0.34
2003
Liveness Checking as Safety Checking
53
2.20
2002
A CMM-Based Evaluation of the V-Model 97
2
0.49
2000
1