Concepedia

Robby

RO

25

Publications

2.6K

Citations

19

H-Index

2000

Active since

Affiliations

Kansas State University(Current)

University of Hawaii System

Pennsylvania State University

Adventium Labs (United States)

Ames Research Center

Robby is an author at Kansas State University specializing in engineering, software analysis, and computer science.

Top concepts

EngineeringComputer ScienceSoftware AnalysisSystem SoftwareProgram AnalysisFormal MethodsFormal VerificationSoftware EngineeringSoftware TestingVerification

Publications per year

2000–2022

25

Publications

25

Bandera

James C. Corbett, Matthew B. Dwyer, John Hatcliff et al. · 2000 · 1.1K citations · Full text

Finite-state Verification Techniques, Engineering, Program Checking +15

Fengguo Wei, Sankardas Roy, Xinming Ou et al. · 2014 · 417 citations

Security Vetting, Mobile Security, Engineering +16

Bogor

Robby, Matthew B. Dwyer, John Hatcliff · 2003 · 207 citations

Software Maintenance, Engineering, Verification +17

Bandera: extracting finite-state models from Java source code

J.C. Corbett, Matthew B. Dwyer, John Hatcliff et al. · Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium · 2002 · 147 citations

Program Checking, Engineering, Verification +21

Fengguo Wei, Sankardas Roy, Xinming Ou et al. · ACM Transactions on Privacy and Security · 2018 · 141 citations

Security Vetting, Mobile Security, Engineering +16

Rows per page

1–5 of 25