Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Abdul R. Ahameethunisa
Hao Mao
Peter Malec
Langari, R.
Giovanni Venturelli
Chen Ma
Sascha M. Sommer
Radu Timofte
Kuanrui Yin
Home
/
Author
/
MATTHIAS DANGL
Author Info
Open Visualization
Name
Affiliation
Papers
MATTHIAS DANGL
Univ Passau, D-94032 Passau, Germany
10
Collaborators
Citations
PageRank
7
60
4.53
Referers
Referees
References
83
177
135
Search Limit
100
177
Publications (10 rows)
Collaborators (7 rows)
Referers (83 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
A Unifying View On Smt-Based Software Verification (Vol 60, Pg 299, 2018)
0
0.34
2021
Strategy Selection for Software Verification Based on Boolean Features - A Simple but Effective Approach.
0
0.34
2018
Tests from Witnesses - Execution-Based Validation of Verification Results.
3
0.38
2018
A Unifying View on SMT-Based Software Verification.
6
0.41
2018
Exchanging Verification Witnesses between Verifiers.
0
0.34
2017
Witness validation and stepwise testification across software verifiers.
16
0.70
2016
Verification-Aided Debugging: An Interactive Web-Service For Exploring Error Witnesses
5
0.43
2016
Correctness witnesses: exchanging verification results between verifiers.
15
0.60
2016
Boosting k-Induction with Continuously-Refined Invariants.
0
0.34
2015
Boosting K-Induction With Continuously-Refined Invariants
15
0.65
2015
1