Name: Model-based Development for seL4 Microkit/Rust with Integrated Formal Methods using HAMR
Start: 2025-09-03T09:10:00+0200
End: 2025-09-03T10:00:00+0200

The schedule is subject to change, so please check back before the event for the most up to date information.

Please note that all session times are listed below in Central European Summer Time (CEST), UTC +2.

Wednesday September 3, 2025 09:10 - 10:00 CEST

CD Ballroom

Speakers

John Hatcliff

Kansas State University

Co-Authors

Jason Belt

Kansas State University

Junaid Babar

Collins Aerospace

Robby

Kansas State University

Robert VanVossen

Embedded Systems Engineer, Dornerworks

I am an embedded systems engineer at DornerWorks in Grand Rapids, Michigan. I have done work with ARINC653 extensions for the Xen Hypervisor. I am also involved with providing support for Xen on the Xilinx Zynq Ultrascale+ MPSoC.I co-presented at the 2014 Xen Developer's Summit.

Stefan Hallerstede

Aarhus University

Wednesday September 3, 2025 09:10 - 10:00 CEST
CD Ballroom

Keynote Session

seL4 Summit 2025

John Hatcliff

Jason Belt

Junaid Babar

Robby

Robert VanVossen

Stefan Hallerstede

Get help with the event

seL4 Summit 2025

John Hatcliff

Jason Belt

Junaid Babar

Robby

Robert VanVossen

Stefan Hallerstede

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Get help with the event