default search action

combined dblp search
author search
venue search
publication search

ask others

Jason Belt

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/RobbyHB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/RobbyHB24
Robby, John Hatcliff, Jason Belt:
Logika: The Sireum Verification Framework. FMICS 2024: 97-116
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/HatcliffBRH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/HatcliffBRH24
John Hatcliff, Jason Belt, Robby, David S. Hardin:
Integrated Contract-Based Unit and System Testing for Component-Based Systems. NFM 2024: 406-426
2023
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jsa/BeltHRSCCMABCHH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/BeltHRSCCMABCHH23
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: 102789 (2023)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/HatcliffBRLSC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/HatcliffBRLSC23
John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter:
Automated Property-Based Testing from AADL Component Contracts. FMICS 2023: 131-150
2021
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/HatcliffBRC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HatcliffBRC21
John Hatcliff, Jason Belt, Robby, Todd Carpenter:
HAMR: An AADL Multi-platform Code Generation Toolset. ISoLA 2021: 274-295

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/HatcliffLBRZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HatcliffLBRZ18
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
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/RobbyHB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/RobbyHB18
Robby, John Hatcliff, Jason Belt:
Model-Based Development for High-Assurance Embedded Systems. ISoLA (1) 2018: 539-545
2013
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/HatcliffRCB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/HatcliffRCB13
John Hatcliff, Robby, Patrice Chalin, Jason Belt:
Explicating symbolic execution (xSymExe): an evidence-based verification framework. ICSE 2013: 222-231
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/CourtieuACZRBHG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/CourtieuACZRBHG13
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: 21-22
2012
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/BeltRCHD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/BeltRCHD12
Jason Belt, Robby, Patrice Chalin, John Hatcliff, Xianghua Deng:
Efficient Symbolic Execution of Value-Based Data Structures for Critical Systems. NASA Formal Methods 2012: 295-309
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/ThiagarajanHBR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/ThiagarajanHBR12
Hariharan Thiagarajan, John Hatcliff, Jason Belt, Robby:
Bakar Alir: Supporting Developers in Construction of Information Flow Contracts in SPARK. SCAM 2012: 132-137
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/BeltCHR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/BeltCHR12
Jason Belt, Patrice Chalin, John Hatcliff, Robby:
Leading-edge Ada verification technologies: highly automated Ada contract checking using bakar kiasan. HILT 2012: 3-4
2011
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/BeltHRCHD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/BeltHRCHD11
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: 58-72
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sigada/BeltHRCHD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigada/BeltHRCHD11
Jason Belt, John Hatcliff, Robby, Patrice Chalin, David S. Hardin, Xianghua Deng:
Enhancing spark's contract checking facilities using symbolic execution. SIGAda 2011: 47-60

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BeltRD09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BeltRD09
Jason Belt, Robby, Xianghua Deng:
Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses. ESEC/SIGSOFT FSE 2009: 355-364
2006
[c1]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/serp/AlanaziBG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/serp/AlanaziBG06
Mohammad Alanazi, Jason Belt, David Gustafson:
UML Analysis Using State Diagrams. Software Engineering Research and Practice 2006: 569-576

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.