Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Darach Golden
Claudia Calabrese
Franz Brauße
Maria Concetta Palumbo
Repecho, V.
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
HUSAIN ALJAZZAR
Author Info
Open Visualization
Name
Affiliation
Papers
HUSAIN ALJAZZAR
Univ Konstanz, D-7750 Constance, Germany
10
Collaborators
Citations
PageRank
12
212
9.05
Referers
Referees
References
256
240
241
Search Limit
100
256
Publications (10 rows)
Collaborators (12 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
K*: A heuristic search algorithm for finding the k shortest paths
38
1.58
2011
DiPro: a tool for probabilistic counterexample generation
13
0.59
2011
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
37
1.15
2010
Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation
4
0.41
2010
Generation of Counterexamples for Model Checking of Markov Decision Processes
19
0.76
2009
Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples
24
1.12
2009
Debugging of Dependability Models Using Interactive Visualization of Counterexamples
18
0.87
2008
Survey on Directed Model Checking
14
0.52
2008
Extended directed search for probabilistic timed reachability
25
1.04
2006
Counterexamples for timed probabilistic reachability
20
1.02
2005
1