Bjarte M. Østvold

Kunstig intelligens som regelverksredaktør doi: https://doi.org/https://tankesmiengoforit.no/wp-content/uploads/2025/10/KI-som-regelverksredaktor-Bjarte-M.-Ostvold-.pdf , 2025. Lecture

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

O3.4: Validation 2025. Report

Digitaliseringsvennlig regelverk: et mål å gjøre regelverk enklere og tydeligere , 2025. Media participation

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

Reproducible preservation of databases through executable specifications 2024. Scientific lecture

Finding privacy-relevant source code 2024. Scientific lecture

Generativ KI + regelverk = sant? 2024. Lecture

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

Sustainability: Regulation, processes, and technology 2023. Report

Malware analysis: Tool support and innovation opportunities 2023. Report

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

O3.1: Process definition and guidelines for system decommissioning 2023. Report

Sjakkjuks 2023. Report

Regelverk, digitalisering og automatisering 2023. Report

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

Applying for innovation projects 2022. Lecture

#56: Innovation Project in the Industrial Sector (IPN) 2022. Media participation

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

Stakeholder Perceptions on Requirements for Accessible Technical Condition Information in Residential Real Estate Transactions 2022. Scientific lecture

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

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

Automatiserte prosesser innen regnskap, revisjon og finans 2022. Report

Automatisering av bærekraftsrevisjon 2022. Report

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

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

Data-drevet autentisering for mobile tjenester 2019. Lecture

Immortal Virtual Machine – solving the problem of file format and infrastructure obsolescence 2019. Lecture

Assuring authenticity in Piql Preservation Services 2018. Report

State of the art: Universal Design of Ambient Hybrid Environments 2016. Report

PCAS Deliverable D8.1: Security Evaluation – Communication 2016. Report

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

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

Deliverable D2.5: Prototype of Secure Software Element -- HighTrustWallet FP7-SME-2013-605960 2015. Report

Deliverable D2.3: Evaluation Plan Against Chosen Security Standard -- HighTrustWallet FP7-SME-2013-605960 2015. Report

Deliverable D2.4: Test strategy and plan -- HighTrustWallet FP7-SME-2013-605960 2015. Report

Deliverable D2.7: Final Test Report -- HighTrustWallet FP7-SME-2013-605960 2015. Report

Deliverable D3.4: Test and Security and Privacy Risk Analysis -- HighTrustWallet FP7-SME-2013-605960 2015. Report

Deliverable D3.1: Protocol Security Design -- HighTrustWallet FP7-SME-2013-605960 2015. Report

PCAS Project Deliverable 1.1: PCAS Scenarios and Use Cases 2014. Report

PCAS Project Deliverable 2.1: PCAS High-level Design 2014. Report

PCAS Project Deliverable 2.3: Secure Communication Protocols and Services 2014. Report

PCAS Project Deliverable 2.2: Precise Architecture Model 2014. Report

INPRED: Intelligent prediction for package transport 2014. Report

HighTrustWallet Deliverable D1.3: Test Scenarios 2014. Report

PCAS Project Deliverable D5.1: Smartphone/Desktop Software Architecture 2014. Report

HighTrustWallet Deliverable D1.2: Security Requirements 2014. Report

HighTrustWallet Deliverable D1.1: Project Handbook 2014. Report

A hierarchical variability model for software product lines pp. 181 199 , , 2012. Scientific chapter / article / conference article

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

Public review of e-voting source code: Lessons learnt from E-vote 2011 pp. 201 212 , , 2012. Scientific chapter / article / conference article

Random value transformers: Motivation and idea 2012. Report

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

Finding and fixing Java naming bugs with the Lancelot Eclipse plugin 2011. Report

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

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

Modelling of Biomedical Sensor Networks using the Creol Tools (ISSN 9788253905327 ), , 2009. Report

Debugging Method Names pp. 294 317 , 2009. Scientific chapter / article / conference article

Resultatrapport for prosjekt 165763 - Reducing Software Entropy , 2009. Report

The Java Programmer's Phrase Book pp. 322 341 , 2009. Scientific chapter / article / conference article

Deliverable D6.1 - User Driven Requirements - Addendum 2008. Report

Deliverable D6.2: Initial modelling with service interfaces , 2008. Report

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

Security assessment of the mBricks net protocol version 2.2 2007. Report

The Programmer's Lexicon, Volume I: The Verbs pp. 193 202 , 2007. Scientific chapter / article / conference article

CREDO - Deliverable D6.1: User driven requirements , 2007. Report

Europlay pre-study 2006. Report

Pre-study: software solutions for scheduling 2006. Report

Bruk av åpne standarder i offentlig forvaltning 2006. Report

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

Object-Oriented Technology. ECOOP 2004 Workshop Reader (ISSN 9783540239888 ), 2005. Scientific anthology / conference series

Analysis of object-oriented programs: a survey , 2005. Report

A functional reconstruction of anti-unification , 2004. Report

Streamed multimedia presentation for low-bandwidth mobile terminals: A virtual machine approach World Wireless Congress, vol. 3Gwireless'2002, (ISSN 1529-2592 ), , 2002. Scientific article

MobileSLM pre-project - Development Report 2002. Report

Multimedia-Präsentationen auf persönlichen digitalen Assistenten mit geringer Übertragungsrate pp. 147 159 , , 2002. Scientific chapter / article / conference article

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

Streamed Multimedia Presentation for Low-Bandwidth Mobile Terminals: A Virtual Machine Approach 2001. Report

Rule-based form validation: Requirements 2001. Report

Form validation mechanism: Design relevant standards and technology 2001. Report

Design and Implementation of the Generic Multimedia Server Platform 2000. Report

Mowgli - Mobile Work, Gadgets, Language and Infrastructure (ISSN 9788253904740 ), , 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