Formal Modeling and Verification of Low-Level OS Code using Abstract Interpretation

Vignesh Manjunath, Konrad Diwold, Marcel Carsten Baunach

Publikation: Konferenzbeitrag › Abstract › Begutachtung

Originalsprache	englisch
Publikationsstatus	Veröffentlicht - 17 März 2022
Veranstaltung	2022 GI Fachgruppentreffen Betriebssysteme - Hybrider Event, Deutschland Dauer: 17 März 2022 → 18 März 2022 https://www.betriebssysteme.org/aktivitaeten/treffen/2022-hamburg/

Konferenz	2022 GI Fachgruppentreffen Betriebssysteme
Land/Gebiet	Deutschland
Ort	Hybrider Event
Zeitraum	17/03/22 → 18/03/22
Internetadresse	https://www.betriebssysteme.org/aktivitaeten/treffen/2022-hamburg/

Fields of Expertise

CompEAS-BSW1 - Kompositorische eingebettete Fahrzeugsysteme - Basissoftware
Baunach, M. C., Manjunath, V., Nagarajan, D. & Krisper, M.
1/11/20 → 31/03/25
Projekt: Forschungsprojekt
Embedded Automotive Systems
Baunach, M. C., Batista Ribeiro, L., Martins Gomes, R., Malenko, M., Scheipel, T. P., Saikia, A., Nagarajan, D., Manjunath, V., Kissich, M. & Kanics, K.
1/09/14 → 31/12/24
Projekt: Arbeitsgebiet
Betriebssysteme für eingebettete Systeme
Baunach, M. C., Martins Gomes, R., Batista Ribeiro, L., Malenko, M., Mauroner, F. & Scheipel, T. P.
1/09/15 → 31/12/23
Projekt: Forschungsprojekt

@conference{723d89fe5d08405db05a648a12361ad7,

title = "Formal Modeling and Verification of Low-Level OS Code using Abstract Interpretation",

author = "Vignesh Manjunath and Konrad Diwold and Baunach, {Marcel Carsten}",

year = "2022",

month = mar,

day = "17",

language = "English",

note = "2022 GI Fachgruppentreffen Betriebssysteme ; Conference date: 17-03-2022 Through 18-03-2022",

url = "https://www.betriebssysteme.org/aktivitaeten/treffen/2022-hamburg/",

}