Don and Linda Glaser — Carl and Mary Ice Keystone Research Scholar
SAnToS Lab, Department of Computer Science, Kansas State University
2181 Engineering Hall, 1701D Platt Street, Manhattan, KS 66506, USA
Phone/Fax: +1 (785) 532-6350/7353

Bib   Citations   Sireum   CIS 706/801

Recent Papers

Darren Cofer, Isaac Amundson, Junaid Babar, David Hardin, Konrad Slind, Perry Alexander, John Hatcliff, Robby, Gerwin Klein, Corey Lewis, Eric Mercer, John Shackleton: Cyberassured Systems Engineering at Scale. IEEE S&P: 2-14.

Robby, John Hatcliff: Slang: The Sireum Programming Language. ISoLA 2021: 253-273. [presentation]

John Hatcliff, Jason Belt, Robby, Todd Carpenter: HAMR: An AADL Multi-Platform Code Generation Toolset. ISoLA 2021: 274-295. [presentation]

Hariharan Thiagarajan, John Hatcliff, Robby: Awas: An Information Flow and Error Propagation Analysis Framework for the AADL Modeling Language. ISSE 2021.

Hariharan Thiagarajan, John Hatcliff, Robby: Awas: AADL Information Flow and Error Propagation Analysis Framework. DETECT: 294-310, 2020.

Fengguo Wei, Sankardas Roy, Xinming Ou, Robby: Amandroid: A Precise and General Inter-component Data Flow Analysis Framework for Security Vetting of Android Apps. TOPS 21 (3): 14:1-14:32, 2018. [Download]

John Hatcliff, Brian R. Larson, Jason Belt, Robby, Yi Zhang: A Unified Approach for Modeling, Developing, and Assuring Critical Systems. ISoLA (1) 2018: 225-245.

Robby, John Hatcliff, Jason Belt: Model-Based Development for High-Assurance Embedded Systems. ISoLA (1) 2018: 539-545.

Zhi Zhang, Robby, John Hatcliff, Yannick Moy, Pierre Courtieu: Focused Certification of an Industrial Compilation and Static Verification Toolchain. SEFM 2017: 17-34. [Coq proofs and experiment data]