Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Torgny Andersson
Robert J. Zomer
Scott A. Starks
Zhongxiao Hao
Ronald Haentjens Dekker
Hikaru Fujisaki
Michael Terry
Zhihao Li
Radu Timofte
Jessica Slade
Home
/
Author
/
REED MILEWICZ
Author Info
Open Visualization
Name
Affiliation
Papers
REED MILEWICZ
Univ Alabama Birmingham, Birmingham, AL 35294 USA
7
Collaborators
Citations
PageRank
20
8
2.47
Referers
Referees
References
33
323
148
Search Limit
100
323
Publications (7 rows)
Collaborators (20 rows)
Referers (33 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014.
1
0.35
2019
Refinement of structural heuristics for model checking of concurrent programs through data mining.
2
0.37
2017
Ariadne: Hybridizing Directed Model Checking and Static Analysis
1
0.36
2017
Lightweight runtime checking of C programs with RTC.
2
0.36
2016
A Portable Lock-Free Bounded Queue.
1
0.35
2016
Runtime checking C programs
1
0.34
2015
SimpleConcepts: A Lightweight Extension to C plus plus to Support Constraints on Generic Types
0
0.34
2014
1
