Jason Belt

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 7

Top Topics

Code Generation

Search Based Testing

Embedded Systems

Top Venues

J. Syst. Archit.

Publications

Robby, John Hatcliff, Jason Belt
Logika: The Sireum Verification Framework. FMICS (2024)
John Hatcliff, Jason Belt, Robby, David S. Hardin
Integrated Contract-Based Unit and System Testing for Component-Based Systems. NFM (2024)
John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter
Automated Property-Based Testing from AADL Component Contracts. FMICS (2023)
Jason Belt, John Hatcliff, Robby, John Shackleton, Jim Carciofini, Todd Carpenter, Eric Mercer, Isaac Amundson, Junaid Babar, Darren D. Cofer, David S. Hardin, Karl Hoech, Konrad Slind, Ihor Kuz, Kent McLeod
Model-driven development for the seL4 microkernel using the HAMR framework. J. Syst. Archit. 134 (2023)
John Hatcliff, Jason Belt, Robby, Todd Carpenter
HAMR: An AADL Multi-platform Code Generation Toolset. ISoLA (2021)
John Hatcliff, Brian R. Larson, Jason Belt, Robby, Yi Zhang
A Unified Approach for Modeling, Developing, and Assuring Critical Systems. ISoLA (1) (2018)
Robby, John Hatcliff, Jason Belt
Model-Based Development for High-Assurance Embedded Systems. ISoLA (1) (2018)
Pierre Courtieu, Maria-Virginia Aponte, Tristan Crolard, Zhi Zhang, Robby, Jason Belt, John Hatcliff, Jérôme Guitton, Trevor Jennings
Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq. HILT (2013)
John Hatcliff, Robby, Patrice Chalin, Jason Belt
Explicating symbolic execution (xSymExe): an evidence-based verification framework. ICSE (2013)
Hariharan Thiagarajan, John Hatcliff, Jason Belt, Robby
Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK. SCAM (2012)
Jason Belt, Patrice Chalin, John Hatcliff, Robby
Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan. HILT (2012)
Jason Belt, Robby, Patrice Chalin, John Hatcliff, Xianghua Deng
Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems. NASA Formal Methods (2012)
Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng
Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution. NASA Formal Methods (2011)
Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng
Enhancing spark's contract checking facilities using symbolic execution. SIGAda (2011)
Jason Belt, Robby, Xianghua Deng
Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses. ESEC/SIGSOFT FSE (2009)
Mohammad Alanazi, Jason Belt, David Gustafson
UML Analysis Using State Diagrams. Software Engineering Research and Practice (2006)