Login / Signup
Karl Hoech
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Arrival Times
Website
Model Driven Development
Reasoning Systems
Top Venues
J. Syst. Archit.
NFM
</>
Publications
</>
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)
Cong Liu
,
Junaid Babar
,
Isaac Amundson
,
Karl Hoech
,
Darren D. Cofer
,
Eric Mercer
Assume-Guarantee Reasoning with Scheduled Components.
NFM
(2022)