Cristin-person-ID: 21099
Person

Einar Broch Johnsen

  • Stilling:
    Professor
    ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
  • Stilling:
    Professor
    ved Pålitelige systemer ved Universitetet i Oslo
  • Stilling:
    Professor
    ved Institutt for fysikk og teknologi ved UiT Norges arktiske universitet
  • Stilling:
    Førsteamanuensis
    ved Institutt for informasjons- og kommunikasjonsteknologi ved Universitetet i Agder

Klassifisering

Vitenskapsdisipliner

Teoretisk databehandling, programmeringsspråk og -teori • Sikkerhet og sårbarhet • Logikk

Emneord

Objektorientering • Termomskrivingssystemer • Program spesifikasjon • Programmeringsspråk • Databehandling • Bevissystemer • Objektorientert modellering/programmering • Åpne distribuerte systemer • Teoretisk databehandling • Formelle metoder • Parallelle systemer

Resultater Resultater

Active Object Languages: Current Research Trends.

de Boer, Frank; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Kamburjan, Eduard. 2024, Springer Nature. UIOVitenskapelig antologi/Konferanseserie

Preface for the special issue on “Fundamental Approaches to Software Engineering” (FASE 2022).

Jakobs, Marie-Christine; Johnsen, Einar Broch; Kamburjan, Eduard; Wimmer, Manuel. 2024, Science of Computer Programming. LM, JKUL, UIOLeder

Emerging Challenges in Compositionality and Correctness for Digital Twins.

Kamburjan, Eduard; Klungre, Vidar Norstein; Tapia Tarifa, Silvia Lizeth; Schlatte, Rudolf; Giese, Martin; Cameron, David B.; Johnsen, Einar Broch. 2023, CEUR Workshop Proceedings. UIOVitenskapelig artikkel

Symbolic Semantics for Probabilistic Programs.

Voogd, Eisse Hendrik; Johnsen, Einar Broch; Silva, Alexandra; Susag, Zachary; Wasowski, Andrzej. 2023, Lecture Notes in Computer Science (LNCS). CU, UIO, ITUVitenskapelig artikkel

User Journey Games: Automating User-Centric Analysis.

Kobialka, Paul; Tapia Tarifa, Silvia Lizeth; Bergersen, Gunnar R.; Johnsen, Einar Broch. 2024, Software and Systems Modeling (SoSyM). UIOVitenskapelig artikkel
1 - 5 av 265 | Neste | Siste »