Cristin-person-ID: 1172
Person

Aktiv cristin-person Martin Steffen

  • Stilling:
    Professor
    ved PROG Programmering ved Universitetet i Oslo

Klassifisering

Vitenskapsdisipliner

Informasjons- og kommunikasjonsvitenskap

Emneord

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

Kontaktinformasjon

Sted
Ole-Johan-Dahls Hus (IFI-2 building, the ``black tower''), 8th floor

Resultater Resultater

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

Ready, set, Go! Data-race detection and the Go language.

Fava, Daniel Schnetzer; Steffen, Martin. 2020, Science of Computer Programming. UIOVitenskapelig artikkel

Synthesis of railway signaling layout from local capacity specifications.

Luteberget, Bjørnar; Johansen, Christian; Steffen, Martin. 2019, Lecture Notes in Computer Science (LNCS). UIO, ANDREINSTVitenskapelig artikkel
1 - 5 av 118 | Neste | Siste »