Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Qichao Xu
Claudia Calabrese
Hao Mao
Julian Wolff
Peter Malec
Nianzeng Yuan
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
MARIE-CHRISTINE JAKOBS
Author Info
Open Visualization
Name
Affiliation
Papers
MARIE-CHRISTINE JAKOBS
Univ Paderborn, Paderborn, Germany
15
Collaborators
Citations
PageRank
10
32
5.51
Referers
Referees
References
26
514
337
Search Limit
100
514
Publications (15 rows)
Collaborators (10 rows)
Referers (26 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Cooperative Verifier-Based Testing With Coveritest
0
0.34
2021
FRed - Conditional Model Checking via Reducers and Folders.
0
0.34
2020
Algorithm selection for software validation based on graph kernels
0
0.34
2020
Difference Verification with Conditions.
0
0.34
2020
When Are Software Verification Results Valid for Approximate Hardware?
0
0.34
2019
Validity of Software Verification Results on Approximate Hardware.
0
0.34
2018
Reducer-based construction of conditional verifiers.
4
0.37
2018
Predicting rankings of software verification tools
1
0.35
2017
PART _\mathrm PW : From Partial Analysis Results to a Proof Witness.
1
0.34
2017
Programs from Proofs: A Framework for the Safe Execution of Untrusted Software.
1
0.35
2017
Deriving approximation tolerance constraints from verification runs.
0
0.34
2016
Just Test What You Cannot Verify!
6
0.45
2015
Programs from proofs of predicated dataflow analyses
4
0.39
2015
Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning
5
0.41
2015
Certification for configurable program analysis
10
0.49
2014
1