Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Siuchuang-Ivan Lu
Claudia Calabrese
Emilio Arnieri
Hao Mao
Peter Malec
Alban Desmaison
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
DAVID HARDIN
Author Info
Open Visualization
Name
Affiliation
Papers
DAVID HARDIN
Rockwell Collins Advanced Technology Center
8
Collaborators
Citations
PageRank
18
34
4.52
Referers
Referees
References
59
136
84
Search Limit
100
136
Publications (8 rows)
Collaborators (18 rows)
Referers (59 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Formal Synthesis of Filter Components for Use in Security-Enhancing Architectural Transformations
0
0.34
2021
Using ACL2 in the Design of Efficient, Verifiable Data Structures for High-Assurance Systems.
0
0.34
2018
A High-Assurance, High-Performance Hardware-Based Cross-Domain System.
1
0.36
2016
The guardol language and verification system
6
0.53
2012
Bakar Kiasan: flexible contract checking for critical systems using symbolic execution
8
0.57
2011
Enhancing spark's contract checking facilities using symbolic execution
0
0.34
2011
Development of Security Software: A High Assurance Methodology
7
0.61
2009
Efficient Simulation of Formal Processor Models
12
1.44
2001
1