Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tomislav Herman
Claudia Calabrese
Hao Mao
Peter Malec
wang
Christian Schuler
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
NINA AMLA
Author Info
Open Visualization
Name
Affiliation
Papers
NINA AMLA
Cadence Design Systems USA
11
Collaborators
Citations
PageRank
11
318
16.23
Referers
Referees
References
463
203
182
Search Limit
100
463
Publications (11 rows)
Collaborators (11 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
A single-instance incremental SAT formulation of proof- and counterexample-based abstraction
18
1.24
2010
Combining abstraction refinement and SAT-based model checking
10
0.73
2007
An analysis of SAT-based model checking techniques in an industrial environment
53
2.36
2005
A Hybrid of Counterexample-Based and Proof-Based Abstraction
19
0.98
2004
Automatic Abstraction without Counterexamples
137
6.24
2003
Experimental analysis of different techniques for bounded model checking
25
1.12
2003
Visual Specifications for Modular Reasoning about Asynchronous Systems
6
0.45
2002
Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams
20
0.97
2001
Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams
5
0.46
2001
Model Checking Synchronous Timing Diagrams
12
0.90
2000
Efficient Decompositional Model Checking for Regular Timing Diagrams
13
0.76
1999
1