Asst. Research Director

Bjarte M. Østvold

Projects

Smart real estate transactions

  • Digital security
  • Digital transformation

Privacy Matters

  • ICT
  • Digital transformation

Better price assessment of homes

  • ICT
  • Digital transformation

Digitization-friendly regulations

Publications

  • 85 publications found
  • Publisher

Thor O. Kristoffersen; Ivar Rummelhoff; Audun Stolpe; Bjarte M. Østvold; Regelverk, digitalisering og automatisering 2023. Rapport

Publisher Norsk Regnesentral

Feiyang Tang; Bjarte M. Østvold; Magiel Bruntink; Identifying Personal Data Processing for Code Review pp. 568 575 , doi: https://doi.org/10.5220/0011725700003405 , 2023. Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Thor O. Kristoffersen; Audun Stolpe; Bjarte M. Østvold; Sustainability: Regulation, processes, and technology 2023. Rapport

Publisher Norsk Regnesentral

Bjarte M. Østvold; Ivar Rummelhoff; Lars Haukli; Malware analysis: Tool support and innovation opportunities 2023. Rapport

Publisher Norsk Regnesentral

Feiyang Tang; Bjarte M. Østvold; Magiel Bruntink; Helping Code Reviewer Prioritize: Pinpointing Personal Data and Its Processing pp. 109 124 , doi: https://doi.org/10.3233/FAIA230228 , 2023. Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Feiyang Tang; Bjarte M. Østvold; Magiel Bruntink; Identifying Personal Data Processing for Code Review pp. 568 575 , doi: https://doi.org/10.5220/0011725700003405 , 2023. Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Feiyang Tang; Bjarte Mayanja Østvold; Transparency in App Analytics: Analyzing the Collection of User Interaction Data pp. 405 415 10 , doi: https://doi.org/10.1109/PST58708.2023.10320181 , 2023. Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Ivar Rummelhoff; Thor O. Kristoffersen; Bjarte M. Østvold; O3.2-3: The DbSpec Executable Specification Language 2023. Rapport

Publisher Norsk Regnesentral

Audun Stolpe; Thor O. Kristoffersen; Bjarte M. Østvold; R2030: Digitaliseringsvennlig regelverk. Metoder for regelverksforenkling, med eksempler fra bruksforskriften 2023. Rapport

Publisher Norsk Regnesentral

Thor O. Kristoffersen; Bjarte M. Østvold; Ivar Rummelhoff; O3.1: Process definition and guidelines for system decommissioning 2023. Rapport

Publisher Norsk Regnesentral

Fredrik Andreas Dahl; Ragnar Hauge; Bjarte M. Østvold; Sjakkjuks 2023. Rapport

Publisher Norsk Regnesentral

Audun Stolpe; Thor O. Kristoffersen; Bjarte M. Østvold; Automatisering av bærekraftsrevisjon 2022. Rapport

Publisher Norsk Regnesentral

Bjarte Mayanja Østvold; Applying for innovation projects 2022. Lecture

Jo Erskine Hannay; Kristin Skeide Fuglerud; Bjarte Mayanja Østvold; Stakeholder Perceptions on Requirements for Accessible Technical Condition Information in Residential Real Estate Transactions Lecture Notes in Computer Science (LNCS), vol. 13308, pp. 242 259 , (ISSN 0302-9743 1611-3349 ), doi: https://doi.org/10.1007/978-3-031-05028-2_16 , 2022. Vitenskapelig artikkel

Publisher Springer

Jo Erskine Hannay; Kristin Skeide Fuglerud; Bjarte Mayanja Østvold; Stakeholder Perceptions on Requirements for Accessible Technical Condition Information in Residential Real Estate Transactions 2022. Vitenskapelig foredrag

Jo Erskine Hannay; Kristin Skeide Fuglerud; Bjarte Mayanja Østvold; Eliciting and Prioritizing Services for Accessible Information for Residential Real Estate Transactions Estate Technical Conditions Information Lecture Notes in Computer Science (LNCS), vol. 13521, pp. 378 395 , (ISSN 0302-9743 1611-3349 ), doi: https://doi.org/10.1007/978-3-031-17902-0_27 , 2022. Vitenskapelig artikkel

Publisher Springer

Jo Erskine Hannay; Kristin Skeide Fuglerud; Bjarte Mayanja Østvold; Eliciting and Prioritizing Services for Accessible Information for Residential Real Estate Transactions Estate Technical Conditions Information 2022. Vitenskapelig foredrag

Feiyang Tang; Bjarte M. Østvold; Assessing Software Privacy using the Privacy Flow-Graph , 2022. Vitenskapelig foredrag

Feiyang Tang; Bjarte Mayanja Østvold; Assessing Software Privacy using the Privacy Flow-Graph (ISSN 9781450394574 ), 2022. Vitenskapelig antologi/Konferanseserie

Publisher Association for Computing Machinery (ACM)

Thor O. Kristoffersen; Audun Stolpe; Bjarte M. Østvold; Automatiserte prosesser innen regnskap, revisjon og finans 2022. Rapport

Publisher Norsk Regnesentral

Feiyang Tang; Bjarte M. Østvold; Assessing software privacy using the privacy flow-graph pp. 7 15 , doi: https://doi.org/10.1145/3549035.3561185 , 2022. Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Ivar Rummelhoff; Eladio Gutiérrez; Thor O. Kristoffersen; Ole Liabø; Bjarte Mayanja Østvold; et al. An Abstract Machine Approach to Preserving Digital Information IEEE Access, vol. 9, pp. 154914 154932 , (ISSN 2169-3536 2169-3536 ), doi: https://doi.org/10.1109/ACCESS.2021.3128382 , 2021. Vitenskapelig artikkel

Publisher Institute of Electrical and Electronics Engineers (IEEE)

Wolfgang Leister; Till Halbach; Trenton Wade Schulz; Bjarte M. Østvold; Security & Privacy in Social Robots 2020. Rapport

Publisher Norsk Regnesentral

Jo Erskine Hannay; Kristin Skeide Fuglerud; Bjarte M. Østvold; Stakeholder Journey Analysis for Innovation: A Multiparty Analysis Framework for Startups Lecture Notes in Computer Science (LNCS), vol. 12189, (ISSN 0302-9743 1611-3349 ), doi: https://doi.org/10.1007/978-3-030-49108-6_27 , 2020. Vitenskapelig artikkel

Publisher Springer

Bjarte M. Østvold; Data-drevet autentisering for mobile tjenester 2019. Lecture

Ivar Rummelhoff; Bjarte M. Østvold; Ole Liabø; Immortal Virtual Machine – solving the problem of file format and infrastructure obsolescence 2019. Lecture

Sigurd Eskeland; Bjarte M. Østvold; Assuring authenticity in Piql Preservation Services 2018. Rapport

Publisher Norsk Regnesentral

Thor O. Kristoffersen; Bjarte M. Østvold; Ivar Rummelhoff; PCAS Deliverable D8.1: Security Evaluation – Communication 2016. Rapport

Publisher Norsk Regnesentral

Aleksander Bai; Heidi Camilla Mork; Kristin Skeide Fuglerud; Till Halbach; Ingvar Tjøstheim; et al. State of the art: Universal Design of Ambient Hybrid Environments 2016. Rapport

Publisher Norsk Regnesentral
Publisher Norsk Regnesentral

Siavash Soleimanifard; Dilian Gurov; Ina Schaefer; Bjarte M. Østvold; Minko Markov; Model mining and efficient verification of software product lines Serdica Journal of Computing, vol. 9, pp. 35 82 , (ISSN 1312-6555 1314-7897 ), 2015. Vitenskapelig artikkel

Thor O. Kristoffersen; Bjarte M. Østvold; Deliverable D3.1: Protocol Security Design -- HighTrustWallet FP7-SME-2013-605960 2015. Rapport

Publisher Norsk Regnesentral
Publisher Norsk Regnesentral

Bjarte M. Østvold; Moen Anders Hagalisletto; Deliverable D2.4: Test strategy and plan -- HighTrustWallet FP7-SME-2013-605960 2015. Rapport

Publisher Norsk Regnesentral

Moen Anders Hagalisletto; Arild Braathen Torjusen; Bjarte M. Østvold; Deliverable D2.3: Evaluation Plan Against Chosen Security Standard -- HighTrustWallet FP7-SME-2013-605960 2015. Rapport

Publisher Norsk Regnesentral

Sigurd Eskeland; Thor O. Kristoffersen; Bjarte M. Østvold; Deliverable D2.5: Prototype of Secure Software Element -- HighTrustWallet FP7-SME-2013-605960 2015. Rapport

Publisher Norsk Regnesentral

Bjarte M. Østvold; Thor Kristoffersen; Michael Gröne; HighTrustWallet Deliverable D1.1: Project Handbook 2014. Rapport

Publisher Norsk Regnesentral

Daniel Andrade; Joao Nuno Silva; Alex Gerdov; Thor Kristoffersen; Evyatar Nassie; et al. PCAS Project Deliverable D5.1: Smartphone/Desktop Software Architecture 2014. Rapport

Publisher INESC-ID

Miriam Allalouf; Daniel Andrade; Gila Fish; Javier Guerra; Avner Korman; et al. PCAS Project Deliverable 1.1: PCAS Scenarios and Use Cases 2014. Rapport

Publisher AFCON

Michael Gröne; Christian Stüble; Stefan Schmidt-Egermann; Moen Anders Hagalisletto; Vincent van der Leest; et al. HighTrustWallet Deliverable D1.3: Test Scenarios 2014. Rapport

Publisher Norsk Regnesentral

Gudmund Horn Hermansen; Bjarte M. Østvold; INPRED: Intelligent prediction for package transport 2014. Rapport

Publisher Norsk Regnesentral

Michael Gröne; Thor Kristoffersen; Bjarte M. Østvold; Arild Braathen Torjusen; Moen Anders Hagalisletto; et al. HighTrustWallet Deliverable D1.2: Security Requirements 2014. Rapport

Publisher Norsk Regnesentral

Thor Kristoffersen; Bjarte M. Østvold; Åsmund Skomedal; Javier Guerra; Daniel Andrade; et al. PCAS Project Deliverable 2.2: Precise Architecture Model 2014. Rapport

Publisher Norsk Regnesentral

Thor Kristoffersen; Moen Anders Hagalisletto; Åsmund Skomedal; Bjarte M. Østvold; PCAS Project Deliverable 2.3: Secure Communication Protocols and Services 2014. Rapport

Publisher Norsk Regnesentral

Thor Kristoffersen; Evyatar Nassie; Bjarte M. Østvold; PCAS Project Deliverable 2.1: PCAS High-level Design 2014. Rapport

Publisher AFCON

Edvard Kristoffer Karlsen; Einar W. Høst; Bjarte M. Østvold; Finding and fixing Java naming bugs with the Lancelot Eclipse plugin pp. 35 38 , doi: https://doi.org/10.1145/2103746.2103756 , 2012. Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Bjarte M. Østvold; Edvard Kristoffer Karlsen; Public review of e-voting source code: Lessons learnt from E-vote 2011 pp. 201 212 , , 2012. Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Elvira Albert; Bjarte M. Østvold; José Miguel Rojas; Automated Extraction of Abstract Behavioural Models from JMS Applications pp. 16 31 , doi: https://doi.org/10.1007/978-3-642-32469-7_2 , 2012. Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Dilian Gurov; Bjarte M. Østvold; Ina Schaefer; A hierarchical variability model for software product lines pp. 181 199 , , 2012. Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Bjarte M. Østvold; Edvard K. Karlsen; Random value transformers: Motivation and idea 2012. Rapport

Publisher Norsk Regnesentral

Einar Waaler Høst; Bjarte M. Østvold; Canonical Method Names for Java - Using Implementation Semantics to Identify Synonymous Verbs pp. 226 245 , doi: https://doi.org/10.1007/978-3-642-19440-5_14 , 2011. Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Edvard K. Karlsen; Bjarte M. Østvold; Finding and fixing Java naming bugs with the Lancelot Eclipse plugin 2011. Rapport

Publisher Norsk Regnesentral

Einar W. Høst; Bjarte M. Østvold; The Java Programmer's Phrase Book pp. 322 341 , 2009. Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Einar W. Høst; Bjarte M. Østvold; Debugging Method Names pp. 294 317 , 2009. Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Wolfgang Leister; Xuedong Liang; Sascha Klüppelholz; Joachim Klein; Olaf Owe; et al. Modelling of Biomedical Sensor Networks using the Creol Tools (ISSN 978-82-539-0532-7 ), , 2009. Rapport

Publisher Norsk Regnesentral

Bjarte M. Østvold; Security protocol design and evaluation , 2008. Lecture popular

Alfons Salden; Andries Stam; Ilangko Balasingham; Martin Steffen; Marcel Kyas; et al. Deliverable D6.1 - User Driven Requirements - Addendum 2008. Rapport

Alfons Salden; Andries Stam; Tom Chothia; Wolfgang Leister; Bjarte M. Østvold; et al. Deliverable D6.2: Initial modelling with service interfaces , 2008. Rapport

Publisher The Credo Consortium FP6 IST-33826

Einar W. Høst; Bjarte M. Østvold; The Programmer's Lexicon, Volume I: The Verbs pp. 193 202 , 2007. Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Bjarte M. Østvold; Truls Fretland; Anders Moen Hagalisletto; Security assessment of the mBricks net protocol version 2.2 2007. Rapport

Publisher Norsk Regnesentral

Ilangko Balasingham; Marcel Kyas; Wolfgang Leister; Xuedong Liang; Bjarte M. Østvold; et al. CREDO - Deliverable D6.1: User driven requirements , 2007. Rapport

Knut Holmqvist; Bjarte M. Østvold; Wolfgang Leister; Bruk av åpne standarder i offentlig forvaltning 2006. Rapport

Bjarte M. Østvold; Thor Kristoffersen; Pre-study: software solutions for scheduling 2006. Rapport

Publisher Norsk Regnesentral

Xeni Kristine Dimakos; Bjarte M. Østvold; Europlay pre-study 2006. Rapport

Publisher Norsk Regnesentral

Bjarte M. Østvold; Thor Kristoffersen; Analysis of object-oriented programs: a survey , 2005. Rapport

Publisher Norsk Regnesentral

Jacques Malenfant; Bjarte Mayanja Østvold; Object-Oriented Technology. ECOOP 2004 Workshop Reader (ISSN 3-540-23988-X ), 2005. Vitenskapelig antologi/Konferanseserie

Publisher Springer

Bjarte M. Østvold; Hans Jakob Rivertz; Performance evaluation of the Velocity Database Engine 2005. Rapport

Bjarte M. Østvold; A functional reconstruction of anti-unification , 2004. Rapport

Publisher Norsk Regnesentral

Wolfgang Leister; Håvard Hegna; Thor Kristoffersen; Lars Thore Aarhus; Anders Moen; et al. Multimedia-Präsentationen auf persönlichen digitalen Assistenten mit geringer Übertragungsrate pp. 147 159 , , 2002. Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Wolfgang Leister; Håvard Hegna; Thor Kristoffersen; Lars Thore Aarhus; Anders Moen; et al. Multimedia-presentasjoner på mobile terminaler med lav båndbredde Norsigd Info, pp. 5 12 , (ISSN 0803-8317 ), , 2002. Populærvitenskapelig artikkel

Lars Thore Aarhus; Håvard Hegna; Thor Kristoffersen; Wolfgang Leister; Anders Moen; et al. Streamed multimedia presentation for low-bandwidth mobile terminals: A virtual machine approach World Wireless Congress, vol. 3Gwireless'2002, (ISSN 1529-2592 ), , 2002. Vitenskapelig artikkel

Lars Thore Aarhus; Thor Kristoffersen; Wolfgang Leister; Per Røe; Bjarte M. Østvold; MobileSLM pre-project - Development Report 2002. Rapport

Publisher Norsk Regnesentral

Anders Moen; Bjarte M. Østvold; Rule-based form validation: Requirements 2001. Rapport

Bjarte M. Østvold; Introduksjon til typete funksjonelle språk og Haskell 2001. Vitenskapelig foredrag

Thor Kristoffersen; Anders Moen; Bjarte M. Østvold; Form validation mechanism: Design relevant standards and technology 2001. Rapport

Lars Thore Aarhus; Håvard Hegna; Thor Kristoffersen; Wolfgang Leister; Anders Moen; et al. Streamed Multimedia Presentation for Low-Bandwidth Mobile Terminals: A Virtual Machine Approach 2001. Rapport

Publisher Norsk Regnesentral

Thor Kristoffersen; Bjarte M. Østvold; Design and Implementation of the Generic Multimedia Server Platform 2000. Rapport

Publisher Norsk Regnesentral

Jon Haugsand; Shahrzade Mazaher; Anders Moen; Bjarte M. Østvold; Arne-Kristian Groven; et al. Mowgli - Mobile Work, Gadgets, Language and Infrastructure (ISSN 82-539-0474-6 ), , 2000. Rapport

Bjarte M. Østvold; Synthesis of Recursive Functional Programs from Examples 1999. Doctor dissertat

Publisher NTNU - IDI, Tapir trykkeri

Bjarte M. Østvold; On inductive synthesis of declarative programs 1997. Vitenskapelig foredrag

Bjarte M. Østvold; Inductive synthesis of recursive functional programs 1997. Poster