Cristin-person-ID: 1172
Person

Aktiv cristin-person Martin Steffen

  • Stilling:
    Professor
    ved Pålitelige systemer ved Universitetet i Oslo

Klassifisering

Vitenskapsdisipliner

Informasjons- og kommunikasjonsvitenskap

Emneord

Objektorientering • Parallellprogrammering • Semantikk • Typeteori • Formell semantikk • Programmeringsspråk • Verifikasjon • Logikk

Kontaktinformasjon

Hjemmeside
www.ifi.uio.no/~msteffen
Sted
Ole-Johan-Dahls Hus (IFI-2 building, the ``black tower''), 8th floor

Resultater Resultater

Language-based Approaches for Enforcing Privacy and Security Policies.

Karami, Farzane. 2023, HK, UIODoktorgradsavhandling

Operational semantics of a weak memory model with channel synchronization.

Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker. 2019, Journal of Logical and Algebraic Methods in Programming. UIO, HVLVitenskapelig artikkel

SAT modulo discrete event simulation applied to railway design capacity analysis.

Luteberget, Bjørnar Steinnes; Claessen, Koen; Johansen, Christian; Steffen, Martin. 2021, Formal methods in system design. SINTEF, Cth, NTNU, UIOVitenskapelig artikkel

Assumption-Commitment Types for Resource Management in Virtually Timed Ambients.

Johnsen, Einar Broch; Steffen, Martin; Stumpf, Johanna Beate. 2020, Lecture Notes in Computer Science (LNCS). UIOVitenskapelig artikkel
1 - 5 av 121 | Neste | Siste »