Jason Belt

21 papers A* 1C 6Journal 3Unranked 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
Automated property-based testing from AADL component contracts.
Int. J. Softw. Tools Technol. Transf.
John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter
2025 C conf
End-to-End Formal Methods Integrated Development with SysMLv2 Using HAMR.
FMICS
John Hatcliff, Jason Belt, Robby, Clint McKenzie, Catalina Liang
2025 J jnl
Logika: the Sireum verification framework.
Int. J. Softw. Tools Technol. Transf.
Robby, John Hatcliff, Jason Belt
2025 C conf
Proof Engineering in Logika: Synergistically Integrating Automated and Semi-automated Program Verification.
FMICS
Stefan Hallerstede, Robby, John Hatcliff, Jason Belt, David S. Hardin
2025 — conf
The Isolette System: Illustrating End-to-End Artifacts for Rigorous Model-Based Engineering.
The Combined Power of Research, Education, and Dissemination
John Hatcliff, Jason Belt
2024 — conf
Integrated Contract-Based Unit and System Testing for Component-Based Systems.
NFM
John Hatcliff, Jason Belt, Robby, David S. Hardin
2024 C conf
Logika: The Sireum Verification Framework.
FMICS
Robby, John Hatcliff, Jason Belt
2023 C conf
Automated Property-Based Testing from AADL Component Contracts.
FMICS
John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter
2023 J jnl
Model-driven development for the seL4 microkernel using the HAMR framework.
J. Syst. Archit.
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
2021 C conf
HAMR: An AADL Multi-platform Code Generation Toolset.
ISoLA
John Hatcliff, Jason Belt, Robby, Todd Carpenter
2018 — conf
A Unified Approach for Modeling, Developing, and Assuring Critical Systems.
ISoLA (1)
John Hatcliff, Brian R. Larson, Jason Belt, Robby, Yi Zhang
2018 — conf
Model-Based Development for High-Assurance Embedded Systems.
ISoLA (1)
Robby, John Hatcliff, Jason Belt
2013 A* conf
Explicating symbolic execution (xSymExe): an evidence-based verification framework.
ICSE
John Hatcliff, Robby, Patrice Chalin, Jason Belt
2013 — conf
Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq.
HILT
Pierre Courtieu, Maria-Virginia Aponte, Tristan Crolard, Zhi Zhang, Robby, Jason Belt, John Hatcliff, Jérôme Guitton, Trevor Jennings
2012 C conf
Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK.
SCAM
Hariharan Thiagarajan, John Hatcliff, Jason Belt, Robby
2012 — conf
Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems.
NASA Formal Methods
Jason Belt, Robby, Patrice Chalin, John Hatcliff, Xianghua Deng
2012 — conf
Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan.
HILT
Jason Belt, Patrice Chalin, John Hatcliff, Robby
2011 — conf
Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution.
NASA Formal Methods
Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng
2011 — conf
Enhancing spark's contract checking facilities using symbolic execution.
SIGAda
Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng
2009 — conf
Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses.
ESEC/SIGSOFT FSE
Jason Belt, Robby, Xianghua Deng
2006 — conf
UML Analysis Using State Diagrams.
Software Engineering Research and Practice
Mohammad Alanazi, Jason Belt, David Gustafson