Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Haiquan Qiao
Hiroshi Hiroshima
Hao Mao
Fujimoto, Y.
Peter Malec
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
BYRON COOK
Author Info
Open Visualization
Name
Affiliation
Papers
BYRON COOK
Microsoft Research, USA and University College London, UK
11
Collaborators
Citations
PageRank
37
60
5.08
Referers
Referees
References
164
302
154
Search Limit
100
302
Publications (11 rows)
Collaborators (37 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Block public access: trust safety verification of access control policies
0
0.34
2020
One-Click Formal Methods
3
0.51
2019
Semantic-based Automated Reasoning for AWS Access Policies using SMT
2
0.37
2018
Formal Reasoning About The Security Of Amazon Web Services
6
0.55
2018
Verifying Increasingly Expressive Temporal Logics for Infinite-State Systems.
0
0.34
2017
T2: Temporal Property Verification
3
0.39
2015
Fairness for Infinite-State Systems.
4
0.41
2015
On Automation Of Ctl* Verification For Infinite-State Systems
13
0.53
2015
Faster temporal reasoning for infinite-state programs
5
0.43
2014
Finding Instability in Biological Models.
5
0.50
2014
Temporal property verification as a program analysis task
19
0.73
2011
1
