Bjarte M. Østvold

Reproducible preservation of databases through executable specifications International Journal of Digital Curation, (ISSN 1746-8256 ), doi: https://doi.org/10.2218/ijdc.v19i1.922 , 2025. Scientific article

Groven Arne-Kristian; Bjarte M. Østvold; O3.4: Validation 2025. Report

Digitaliseringsvennlig regelverk: et mål å gjøre regelverk enklere og tydeligere , 2025. Popular science hosting

Bjarte M. Østvold; Ivar Rummelhoff; Audun Stolpe; Legal knowledge representation and reasoning with generative AI 2025. Report

Finding Privacy-Relevant Source Code pp. 111 118 , doi: https://doi.org/10.1109/SANER-C62648.2024.00020 , 2024. Scientific chapter / article / conference article

User Interaction Data in Apps: Comparing Policy Claims to Implementations IFIP Advances in Information and Communication Technology, vol. 695, pp. 64 80 , (ISSN 1868-4238 1868-422X ), doi: https://doi.org/10.1007/978-3-031-57978-3_5 , 2024. Scientific article

Ivar Rummelhoff; Thor O. Kristoffersen; Bjarte Mayanja Østvold; Reproducible preservation of databases through executable specifications 2024. Scientific lecture

Bjarte Mayanja Østvold; Finding privacy-relevant source code 2024. Scientific lecture

Bjarte Mayanja Østvold; Generativ KI + regelverk = sant? 2024. Lecture

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. Scientific chapter / article / conference article

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. Scientific chapter / article / conference article

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

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

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. Scientific chapter / article / conference article

Transparency in App Analytics: Analyzing the Collection of User Interaction Data pp. 405 415 , doi: https://doi.org/10.1109/PST58708.2023.10320181 , 2023. Scientific chapter / article / conference article

R2030: Digitaliseringsvennlig regelverk. Metoder for regelverksforenkling, med eksempler fra bruksforskriften , 2023. Report

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

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

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

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

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

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

#56: Innovation Project in the Industrial Sector (IPN) , 2022. Popular science hosting

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. Scientific article

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

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. Scientific article

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. Scientific lecture

Feiyang Tang; Bjarte Mayanja Østvold; Assessing Software Privacy using the Privacy Flow-Graph (ISSN 9781450394574 ), 2022. Scientific anthology / conference series

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

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

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. Scientific chapter / article / conference article

An Abstract Machine Approach to Preserving Digital Information IEEE Access, vol. 9, pp. 154914 154932 , (ISSN 2169-3536 ), doi: https://doi.org/10.1109/ACCESS.2021.3128382 , 2021. Scientific article

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

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. Scientific article

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. Report

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. Report

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

Endres Christoph; Renuli Oussama; Bjarte M. Østvold; Deliverable D5.2: Wallet framework with TSM supporting security levels QAA1 to QAA4 with physical and/or SSE, tested and validated -- HighTrustWallet FP7-SME-2013-605960 2016. Report

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. Scientific article

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

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

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

Bjarte M. Østvold; Deliverable D2.7: Final Test Report -- HighTrustWallet FP7-SME-2013-605960 2015. Report

Thor O. Kristoffersen; Bjarte M. Østvold; Deliverable D3.4: Test and Security and Privacy Risk Analysis -- HighTrustWallet FP7-SME-2013-605960 2015. Report

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

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. Report

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

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

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

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

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

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

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

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

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. Scientific chapter / article / conference article

Dilian Gurov; Bjarte M. Østvold; Ina Schaefer; A hierarchical variability model for software product lines pp. 181 199 , , 2012. Scientific chapter / article / conference article

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. Scientific chapter / article / conference article

Bjarte M. Østvold; Edvard Kristoffer Karlsen; Public review of e-voting source code: Lessons learnt from E-vote 2011 pp. 201 212 , , 2012. Scientific chapter / article / conference article

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

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

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. Scientific chapter / article / conference article

Bjarte M. Østvold; PETweb II deliverable D8: Case study — Privacy-relevant information flow in identity management systems , 2010. Report

Einar W. Høst; Bjarte M. Østvold; The Java Programmer's Phrase Book pp. 322 341 , 2009. Scientific chapter / article / conference article

Bjarte M. Østvold; Resultatrapport for prosjekt 165763 - Reducing Software Entropy , 2009. Report

Einar W. Høst; Bjarte M. Østvold; Debugging Method Names pp. 294 317 , 2009. Scientific chapter / article / conference article

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. Report

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. Report

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

Einar W. Høst; Bjarte M. Østvold; The Programmer's Lexicon, Volume I: The Verbs pp. 193 202 , 2007. Scientific chapter / article / conference article

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

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

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

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

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

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

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

Jacques Malenfant; Bjarte Mayanja Østvold; Object-Oriented Technology. ECOOP 2004 Workshop Reader (ISSN 3-540-23988-X ), 2005. Scientific anthology / conference series

A functional reconstruction of anti-unification , 2004. Report

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. Scientific chapter / article / conference article

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. Scientific article

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

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. Science for the public article

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

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

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

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. Report

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

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. Report

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

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

Bjarte M. Østvold; On inductive synthesis of declarative programs 1997. Scientific lecture