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   Sireum   CIS 706/801

Recent Papers

John Hatcliff, Robby, Jason Belt, Jacob Legg, Danielle Stewart, Todd Carpenter: Automated Property-based Testing from AADL Component Contracts. FMICS 2023 (to appear).
Jason Belt, John Hatcliff, Robby, John Shackleton, Jim Carciofini, Todd Carpenter, Eric Mercer, Isaac Amundson, Junaid Babar, Darren Cofer, David Hardin, Karl Hoech, Konrad Slind, Ihor Kuz, Kent McLeod: Model-driven development for the seL4 microkernel using the HAMR framework. JSA 134: 102789, 2023.
John Hatcliff, Danielle Stewart, Jason Belt, Robby: An AADL Contract Language Supporting Integrated Model- and Code-Level Verification. HILT 2022 (to appear).
Hariharan Thiagarajan, John Hatcliff, Robby: Awas: AADL information flow and error propagation analysis framework. ISSE 18 (4): 485-504, 2022.
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, 2022.
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: 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.