Jason Belt

According to our database, Jason Belt authored at least 14 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Model-driven development for the seL4 microkernel using the HAMR framework.

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

J. Syst. Archit., 2023

Automated Property-Based Testing from AADL Component Contracts.

John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

2021

HAMR: An AADL Multi-platform Code Generation Toolset.

John Hatcliff, Jason Belt, Robby, Todd Carpenter

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

2018

Model-Based Development for High-Assurance Embedded Systems.

Robby, John Hatcliff, Jason Belt

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

A Unified Approach for Modeling, Developing, and Assuring Critical Systems.

John Hatcliff, Brian R. Larson, Jason Belt, Robby, Yi Zhang

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

2013

Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq.

Pierre Courtieu, Maria-Virginia Aponte, Tristan Crolard, Zhi Zhang, Robby, Jason Belt, John Hatcliff, Jérôme Guitton, Trevor Jennings

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

Explicating symbolic execution (xSymExe): an evidence-based verification framework.

John Hatcliff, Robby, Patrice Chalin, Jason Belt

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan.

Jason Belt, Patrice Chalin, John Hatcliff, Robby

Proceedings of the 2012 ACM Conference on High Integrity Language Technology, 2012

Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK.

Hariharan Thiagarajan, John Hatcliff, Jason Belt, Robby

Proceedings of the 12th IEEE International Working Conference on Source Code Analysis and Manipulation, 2012

Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems.

Jason Belt, Robby, Patrice Chalin, John Hatcliff, Xianghua Deng

Proceedings of the NASA Formal Methods, 2012

2011

Enhancing spark's contract checking facilities using symbolic execution.

Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng

Proceedings of the 2011 Annual ACM SIGAda International Conference on Ada, 2011

Bakar Kiasan: Flexible Contract Checking for Critical Systems Using Symbolic Execution.

Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng

Proceedings of the NASA Formal Methods, 2011

2009

Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses.

Jason Belt, Robby, Xianghua Deng

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

2006

UML Analysis Using State Diagrams.

Mohammad Alanazi, Jason Belt, David Gustafson

Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006