Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
geoffrey e hinton
Claudia Calabrese
Haipeng Yao
Thierry Bonnabaud La Bruyère
Hao Mao
Peter Malec
Jiaji Zhu
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
DANIEL PLAGGE
Author Info
Open Visualization
Name
Affiliation
Papers
DANIEL PLAGGE
Heinrich-Heine-University of Düsseldorf, Germany
11
Collaborators
Citations
PageRank
13
133
7.78
Referers
Referees
References
201
227
214
Search Limit
100
227
Publications (11 rows)
Collaborators (13 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
LTL Model Checking under Fairness in ProB.
0
0.34
2016
Validation of formal models by refinement animation
6
0.55
2013
Validating B, Z and TLA + Using ProB and Kodkod.
12
0.54
2012
Automated property verification for large scale B models with ProB
26
1.22
2011
On fitting a formal method into practice
10
0.72
2011
Refinement-animation for event-b: towards a method of validation
5
0.52
2010
Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more
27
1.18
2010
Automated Property Verification for Large Scale B Models
10
0.64
2009
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models
16
0.75
2009
Validating Z Specifications Using the ProBAnimator and Model Checker
14
0.77
2007
Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more
7
0.55
2007
1