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. Vitenskapelig artikkel

O3.4: Validation 2025. Rapport

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

Legal knowledge representation and reasoning with generative AI 2025. Rapport

Finding Privacy-Relevant Source Code pp. 111 118 , doi: https://doi.org/10.1109/SANER-C62648.2024.00020 , 2024. Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

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. Vitenskapelig artikkel

Reproducible preservation of databases through executable specifications 2024. Vitenskapelig foredrag

Finding privacy-relevant source code 2024. Vitenskapelig foredrag

Generativ KI + regelverk = sant? 2024. Faglig foredrag

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

Sustainability: Regulation, processes, and technology 2023. Rapport

Malware analysis: Tool support and innovation opportunities 2023. Rapport

Identifying Personal Data Processing for Code Review pp. 568 575 , doi: https://doi.org/10.5220/0011725700003405 , 2023. Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Transparency in App Analytics: Analyzing the Collection of User Interaction Data pp. 405 415 , doi: https://doi.org/10.1109/PST58708.2023.10320181 , 2023. Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

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

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

Sjakkjuks 2023. Rapport

Regelverk, digitalisering og automatisering 2023. Rapport

O3.2-3: The DbSpec Executable Specification Language 2023. Rapport

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

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

Applying for innovation projects 2022. Faglig foredrag

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

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

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

Eliciting and Prioritizing Services for Accessible Information for Residential Real Estate Transactions Estate Technical Conditions Information 2022. Vitenskapelig foredrag

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

Automatiserte prosesser innen regnskap, revisjon og finans 2022. Rapport

Automatisering av bærekraftsrevisjon 2022. Rapport

Assessing software privacy using the privacy flow-graph pp. 7 15 , doi: https://doi.org/10.1145/3549035.3561185 , 2022. Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

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. Vitenskapelig artikkel

Security & Privacy in Social Robots 2020. Rapport

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

Data-drevet autentisering for mobile tjenester 2019. Faglig foredrag

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

Assuring authenticity in Piql Preservation Services 2018. Rapport

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

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

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

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

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

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

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

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

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

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

HighTrustWallet Deliverable D1.3: Test Scenarios 2014. Rapport

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

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

PCAS Project Deliverable 2.2: Precise Architecture Model 2014. Rapport

HighTrustWallet Deliverable D1.2: Security Requirements 2014. Rapport

HighTrustWallet Deliverable D1.1: Project Handbook 2014. Rapport

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

INPRED: Intelligent prediction for package transport 2014. Rapport

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

A hierarchical variability model for software product lines pp. 181 199 , , 2012. Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

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

Public review of e-voting source code: Lessons learnt from E-vote 2011 pp. 201 212 , , 2012. Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

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

Random value transformers: Motivation and idea 2012. Rapport

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

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

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

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

The Java Programmer's Phrase Book pp. 322 341 , 2009. Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Debugging Method Names pp. 294 317 , 2009. Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

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

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

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

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

The Programmer's Lexicon, Volume I: The Verbs pp. 193 202 , 2007. Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

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

Pre-study: software solutions for scheduling 2006. Rapport

Bruk av åpne standarder i offentlig forvaltning 2006. Rapport

Europlay pre-study 2006. Rapport

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

Object-Oriented Technology. ECOOP 2004 Workshop Reader (ISSN 9783540239888 ), 2005. Vitenskapelig antologi/Konferanseserie

A functional reconstruction of anti-unification , 2004. Rapport

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

MobileSLM pre-project - Development Report 2002. Rapport

Multimedia-presentasjoner på mobile terminaler med lav båndbredde Norsigd Info, pp. 5 12 , (ISSN 0803-8317 ), , 2002. Populærvitenskapelig artikkel

Multimedia-Präsentationen auf persönlichen digitalen Assistenten mit geringer Übertragungsrate pp. 147 159 , , 2002. Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

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

Rule-based form validation: Requirements 2001. Rapport

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

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

Mowgli - Mobile Work, Gadgets, Language and Infrastructure (ISSN 9788253904740 ), , 2000. Rapport