Jasmin Schult

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 2

Top Topics

Production Cost

Database Manager

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Ben Fiedler, Roman Meier, Jasmin Schult, Daniel Schwyn, Timothy Roscoe
Specifying the de-facto OS of a production SoC. KISV@SOSP (2023)
Jasmin Schult, Daniel David Schwyn, Michael Giardino, David Cock, Reto Achermann, Timothy Roscoe
Declarative Power Sequencing. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)