Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Cristin-person-ID:
21099
Person
Einar Broch Johnsen
Professor
ved Institutt for datateknologi, elektroteknologi og realfag ved Høgskulen på Vestlandet
Professor
ved Pålitelige systemer ved Universitetet i Oslo
Professor
ved Institutt for fysikk og teknologi ved UiT Norges arktiske universitet
Førsteamanuensis
ved Institutt for informasjons- og kommunikasjonsteknologi ved Universitetet i Agder
Klassifisering
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
Kontaktinformasjon
Kontaktinformasjon
ebjohnsen.org
Resultater
Resultater
Active Object Languages: Current Research Trends.
de Boer, Frank; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch; Kamburjan, Eduard. 2024, Springer Nature. UIO
Vitenskapelig 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, UIO
Leder
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. UIO
Vitenskapelig 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, ITU
Vitenskapelig 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). UIO
Vitenskapelig artikkel
1
-
5
av
265
|
Neste
|
Siste »
Tilknyttede prosjekter
Tilknyttede prosjekter
Smart Journey Mining: Towards successful digitalisation of services
Ragnhild Halvorsrud + 2 deltakere
SINTEF Digital ved SINTEF AS
7 resultater
Aktivt prosjekt
Connect (Active Behavioral Interfaces for Seamless Network Integration)
Olaf Owe + 2 deltakere
Pålitelige systemer ved Universitetet i Oslo
Avsluttet prosjekt
Creol (A formal framework for reflective component modelling)
Olaf Owe + 2 deltakere
Pålitelige systemer ved Universitetet i Oslo
Avsluttet prosjekt
HATS (Highly Adaptable and Trustworthy Software using Formal Models)
Martin Steffen + 2 deltakere
Pålitelige systemer ved Universitetet i Oslo
Avsluttet prosjekt
Credo: Modeling and analysis of evolutionary structures for distributed services
Olaf Owe + 4 deltakere
Uppsala universitet
Christian-Albrechts-Universität zu Kiel
Norsk Regnesentral
Oslo universitetssykehus HF
Universidade das Nações Unidas/Instituto internacional de Software e Tecnología
Pålitelige systemer ved Universitetet i Oslo
Centrum voor Wiskunde en Informatica
Technische Universität Dresden
Avsluttet prosjekt
1
-
5
av
6
|
Neste
|
Siste »