• Bokmål
  • English

Sitemap

Publication profile

Publication profile

Bjarte M. Østvold

Bjarte M., Østvold
Name: Bjarte M. Østvold
Title: Sjefsforsker / Chief Research Scientist
Phone: (+47) +47 22 85 26 22 Mob: +47 976 47 389
Email: bjarte [at] nr [dot] no
Scientific areas: Security, Formal methods, Software engineering
Add to contacts (vCard)
 Show publications

 

Academic anthology/Conference proceedings
2005
Malenfant, Jacques; Østvold, Bjarte Mayanja (eds). Object-Oriented Technology. ECOOP 2004 Workshop Reader. Springer. (ISBN 3-540-23988-X). pp 215. 2005.
Academic article
2021
Rummelhoff, Ivar; Gutiérrez, Eladio; Kristoffersen, Thor O.; Liabø, Ole; Østvold, Bjarte Mayanja; Plata, Oscar; Romero, Sergio. An Abstract Machine Approach to Preserving Digital Information. IEEE Access (ISSN 2169-3536). 9 pp 154914-154932. doi: 10.1109/ACCESS.2021.3128382. 2021.
2020
Hannay, Jo Erskine; Fuglerud, Kristin Skeide; Østvold, Bjarte M.. Stakeholder Journey Analysis for Innovation: A Multiparty Analysis Framework for Startups. Lecture Notes in Computer Science (LNCS) (ISSN 0302-9743). 12189 doi: 10.1007/978-3-030-49108-6_27. 2020. Arkiv
2015
Soleimanifard, Siavash; Gurov, Dilian; Schaefer, Ina; Østvold, Bjarte M.; Markov, Minko. Model mining and efficient verification of software product lines. Serdica Journal of Computing (ISSN 1312-6555). 9(1) pp 35-82. 2015.
2002
Aarhus, Lars Thore; Hegna, Håvard; Kristoffersen, Thor; Leister, Wolfgang; Moen, Anders; Østvold, Bjarte M.. Streamed multimedia presentation for low-bandwidth mobile terminals: A virtual machine approach. World Wireless Congress (ISSN 1529-2592). 3Gwireless'2002 2002. Fulltekst
Academic chapter/article/Conference paper
2012
Østvold, Bjarte M.; Karlsen, Edvard Kristoffer. Public review of e-voting source code: Lessons learnt from E-vote 2011. In: Norsk informatikkonferanse NIK 2012; Universitetet i Nordland 19 – 21 november 2012. (ISBN 978-82-321-0013-2). pp 201-212. 2012. Fulltekst
Karlsen, Edvard Kristoffer; Høst, Einar W.; Østvold, Bjarte M.. Finding and fixing Java naming bugs with the Lancelot Eclipse plugin. In: Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation. (ISBN 978-1-4503-1118-2). pp 35-38. doi: 10.1145/2103746.2103756. 2012. Fulltekst
Albert, Elvira; Østvold, Bjarte M.; Rojas, José Miguel. Automated Extraction of Abstract Behavioural Models from JMS Applications. In: Formal Methods for Industrial Critical Systems. 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings. (ISBN 978-3-642-32469-7). pp 16-31. doi: 10.1007/978-3-642-32469-7_2. 2012. Fulltekst
Gurov, Dilian; Østvold, Bjarte M.; Schaefer, Ina. A hierarchical variability model for software product lines. In: Leveraging Applications of Formal Methods, Verification, and Validation. (ISBN 978-3-642-34781-8). pp 181-199. 2012. Fulltekst
2011
Høst, Einar Waaler; Østvold, Bjarte M.. Canonical Method Names for Java - Using Implementation Semantics to Identify Synonymous Verbs. In: Software Language Engineering - Third International Conference, SLE 2010. (ISBN 978-3-642-19439-9). pp 226-245. doi: 10.1007/978-3-642-19440-5_14. 2011. Fulltekst
2009
Høst, Einar W.; Østvold, Bjarte M.. The Java Programmer's Phrase Book. In: Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers. (ISBN 978-3-642-00433-9). pp 322-341. 2009.
Høst, Einar W.; Østvold, Bjarte M.. Debugging Method Names. In: ECOOP 2009 - Object-Oriented Programming, 23rd European Conference. (ISBN 978-3-642-03012-3). pp 294-317. 2009.
2007
Høst, Einar W.; Østvold, Bjarte M.. The Programmer's Lexicon, Volume I: The Verbs. In: Seventh IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2007), September 30 - October 1, 2007, Paris, France. (ISBN 0-7695-2880-5). pp 193-202. 2007.
2002
Leister, Wolfgang; Hegna, Håvard; Kristoffersen, Thor; Aarhus, Lars Thore; Moen, Anders; Østvold, Bjarte M.. Multimedia-Präsentationen auf persönlichen digitalen Assistenten mit geringer Übertragungsrate. In: Simulation und Visualisierung 2002. (ISBN 1-56555-234-2). pp 147-159. 2002. Fulltekst
Academic lecture
2001
Østvold, Bjarte M.. Introduksjon til typete funksjonelle språk og Haskell. Hovedfagsseminar i logikk, 3/29/2001.
1997
Østvold, Bjarte M.. On inductive synthesis of declarative programs. International Joint Conference on Artificial Intelligence; Nagoya, 8/23/1997 - 8/29/1997.
Lecture
2022
Østvold, Bjarte Mayanja. Applying for innovation projects. NORA.startup Webinars #28: Innovation Project in the Industrial Sector (IPN); OsloMet, 2/11/2022.
2019
Østvold, Bjarte M.. Data-drevet autentisering for mobile tjenester. Sikkerhetsfestivalen 2019; Lillehammer, 8/26/2019 - 8/28/2019.
Rummelhoff, Ivar; Østvold, Bjarte M.; Liabø, Ole. Immortal Virtual Machine – solving the problem of file format and infrastructure obsolescence. DLM Forum Annual General Meeting; Bern, 5/21/2019 - 5/22/2019.
Poster
1997
Østvold, Bjarte M.. Inductive synthesis of recursive functional programs. ACM International Conference on Functional Programming; Amsterdam, 6/9/1997 - 6/11/1997.
Doctoral dissertation
2009
Berg, Henrik. Evolutionary Machine Learning: Neutrality, Diversity and Applications. Oslo: Unipub forlag Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo (ISSN 1501-7710). (900). pp 114. 2009.
1999
Østvold, Bjarte M.. Synthesis of Recursive Functional Programs from Examples. NTNU - IDI, Tapir trykkeri. pp 118. 1999.
Report
2020
Leister, Wolfgang; Halbach, Till; Schulz, Trenton Wade; Østvold, Bjarte M.. Security & Privacy in Social Robots. Norsk Regnesentral. NR-notat DART/03/2020. pp 23. 2020.
2018
Eskeland, Sigurd; Østvold, Bjarte M.. Assuring authenticity in Piql Preservation Services. Norsk Regnesentral. NR-notat DART/02/2018. pp 56. 2018.
2016
Kristoffersen, Thor O.; Østvold, Bjarte M.; Rummelhoff, Ivar. PCAS Deliverable D8.1: Security Evaluation – Communication. Norsk Regnesentral. pp 52. 2016.
Bai, Aleksander; Mork, Heidi Camilla; Fuglerud, Kristin Skeide; Halbach, Till; Tjøstheim, Ingvar; Leister, Wolfgang; Østvold, Bjarte M.. State of the art: Universal Design of Ambient Hybrid Environments. Norsk Regnesentral. NR-notat DART/10/2016. pp 22. 2016.
Christoph, Endres; Oussama, Renuli; Østvold, Bjarte M.. 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. Norsk Regnesentral. pp 8. 2016.
2015
Østvold, Bjarte M.; Hagalisletto, Moen Anders. Deliverable D2.4: Test strategy and plan -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 10. 2015.
Østvold, Bjarte M.. Deliverable D2.7: Final Test Report -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 9. 2015.
Kristoffersen, Thor O.; Østvold, Bjarte M.. Deliverable D3.4: Test and Security and Privacy Risk Analysis -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 29. 2015.
Kristoffersen, Thor O.; Østvold, Bjarte M.. Deliverable D3.1: Protocol Security Design -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 19. 2015.
Hagalisletto, Moen Anders; Torjusen, Arild Braathen; Østvold, Bjarte M.. Deliverable D2.3: Evaluation Plan Against Chosen Security Standard -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 21. 2015.
Eskeland, Sigurd; Kristoffersen, Thor O.; Østvold, Bjarte M.. Deliverable D2.5: Prototype of Secure Software Element -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral. pp 36. 2015.
2014
Hermansen, Gudmund Horn; Østvold, Bjarte M.. INPRED: Intelligent prediction for package transport. Norsk Regnesentral. NR-notat DART/14/2014. 2014.
Kristoffersen, Thor; Hagalisletto, Moen Anders; Skomedal, Åsmund; Østvold, Bjarte M.. PCAS Project Deliverable 2.3: Secure Communication Protocols and Services. Norsk Regnesentral. pp 35. 2014.
Gröne, Michael; Stüble, Christian; Schmidt-Egermann, Stefan; Hagalisletto, Moen Anders; van der Leest, Vincent; Olsen, John Olav; Østvold, Bjarte M.. HighTrustWallet Deliverable D1.3: Test Scenarios. Norsk Regnesentral. 2014.
Gröne, Michael; Kristoffersen, Thor; Østvold, Bjarte M.; Torjusen, Arild Braathen; Hagalisletto, Moen Anders; Stüble, Christian. HighTrustWallet Deliverable D1.2: Security Requirements. Norsk Regnesentral. pp 27. 2014.
Østvold, Bjarte M.; Kristoffersen, Thor; Gröne, Michael. HighTrustWallet Deliverable D1.1: Project Handbook. Norsk Regnesentral. pp 12. 2014.
Andrade, Daniel; Silva, Joao Nuno; Gerdov, Alex; Kristoffersen, Thor; Nassie, Evyatar; Østvold, Bjarte M.; Shani, Alex. PCAS Project Deliverable D5.1: Smartphone/Desktop Software Architecture. INESC-ID. pp 59. 2014.
Allalouf, Miriam; Andrade, Daniel; Fish, Gila; Guerra, Javier; Korman, Avner; Nassie, Evyatar; Østvold, Bjarte M.; Silva, Joao Nuno; Sousa, Paulo. PCAS Project Deliverable 1.1: PCAS Scenarios and Use Cases. AFCON. pp 95. 2014.
Kristoffersen, Thor; Østvold, Bjarte M.; Skomedal, Åsmund; Guerra, Javier; Andrade, Daniel; Gerdov, Alex; Mor Ofek, David; Nassie, Evyatar. PCAS Project Deliverable 2.2: Precise Architecture Model. Norsk Regnesentral. pp 82. 2014.
Kristoffersen, Thor; Nassie, Evyatar; Østvold, Bjarte M.. PCAS Project Deliverable 2.1: PCAS High-level Design. AFCON. pp 58. 2014.
2012
Østvold, Bjarte M.; Karlsen, Edvard K.. Random value transformers: Motivation and idea. Norsk Regnesentral. NR-notat DART/19/2012. pp 14. 2012.
2011
Karlsen, Edvard K.; Østvold, Bjarte M.. Finding and fixing Java naming bugs with the Lancelot Eclipse plugin. Norsk Regnesentral. NR-notat DART/07/11. pp 15. 2011.
2010
Østvold, Bjarte M.. PETweb II deliverable D8: Case study — Privacy-relevant information flow in identity management systems. DART/06/10. pp 15. 2010. Fulltekst
2009
Leister, Wolfgang; Liang, Xuedong; Klüppelholz, Sascha; Klein, Joachim; Owe, Olaf; Kazemeyni, Fatemeh Sadat; Bjørk, Joakim; Østvold, Bjarte Mayanja. Modelling of Biomedical Sensor Networks using the Creol Tools. Norsk Regnesentral. Report at the Norwegian Computing Center 1022. (ISBN 978-82-539-0532-7) pp 37. 2009. Fulltekst Fulltekst
Østvold, Bjarte M.. Resultatrapport for prosjekt 165763 - Reducing Software Entropy. DART/08/2009. pp 7. 2009. Fulltekst
2008
Salden, Alfons; Stam, Andries; Chothia, Tom; Leister, Wolfgang; Østvold, Bjarte M.; Liang, Xuedong; Kyas, Marcel. Deliverable D6.2: Initial modelling with service interfaces. The Credo Consortium FP6 IST-33826. Deliverable D6.2. pp 36. 2008. Fulltekst
Salden, Alfons; Stam, Andries; Balasingham, Ilangko; Steffen, Martin; Kyas, Marcel; Leister, Wolfgang; Liang, Xuedong; Østvold, Bjarte M.. Deliverable D6.1 - User Driven Requirements - Addendum. Deliverable D6.1 Addendum. pp 19. 2008.
2007
Østvold, Bjarte M.; Fretland, Truls; Hagalisletto, Anders Moen. Security assessment of the mBricks net protocol version 2.2. Norsk Regnesentral. NR-notat DART/08/07. pp 16. 2007.
Balasingham, Ilangko; Kyas, Marcel; Leister, Wolfgang; Liang, Xuedong; Østvold, Bjarte M.; Rossum, Anne van; Salden, Alfons; Steffen, Martin; Valk, Jeroen M.. CREDO - Deliverable D6.1: User driven requirements. pp 51. 2007. Fulltekst
2006
Dimakos, Xeni Kristine; Østvold, Bjarte M.. Europlay pre-study. Norsk Regnesentral. NR-notat DART/05/06. pp 17. 2006.
Østvold, Bjarte M.; Kristoffersen, Thor. Pre-study: software solutions for scheduling. Norsk Regnesentral. NR-notat DART/01/06. 2006.
Holmqvist, Knut; Østvold, Bjarte M.; Leister, Wolfgang. Bruk av åpne standarder i offentlig forvaltning. 1010. pp 23. 2006.
2005
Østvold, Bjarte M.; Kristoffersen, Thor. Analysis of object-oriented programs: a survey. Norsk Regnesentral. NR-notat DART/11/05. pp 15. 2005. Fulltekst
Østvold, Bjarte M.; Rivertz, Hans Jakob. Performance evaluation of the Velocity Database Engine. DART/03/05. pp 18. 2005.
2004
Østvold, Bjarte M.. A functional reconstruction of anti-unification. DART/04/04. pp 20. 2004. Fulltekst
2002
Aarhus, Lars Thore; Kristoffersen, Thor; Leister, Wolfgang; Røe, Per; Østvold, Bjarte M.. MobileSLM pre-project - Development Report. Norsk Regnesentral. NR-notat DART/01/02. pp 37. 2002.
2001
Aarhus, Lars Thore; Hegna, Håvard; Kristoffersen, Thor; Leister, Wolfgang; Moen, Anders; Østvold, Bjarte M.. Streamed Multimedia Presentation for Low-Bandwidth Mobile Terminals: A Virtual Machine Approach. Norsk Regnesentral. NR-notat OMNI/07/01. pp 10. 2001.
Moen, Anders; Østvold, Bjarte M.. Rule-based form validation: Requirements. pp 21. 2001.
Kristoffersen, Thor; Moen, Anders; Østvold, Bjarte M.. Form validation mechanism: Design relevant standards and technology. pp 19. 2001.
2000
Kristoffersen, Thor; Østvold, Bjarte M.. Design and Implementation of the Generic Multimedia Server Platform. Norsk Regnesentral. NR-notat OMNI/04/00. pp 75. 2000.
Haugsand, Jon; Mazaher, Shahrzade; Moen, Anders; Østvold, Bjarte M.; Groven, Arne-Kristian; Hegna, Håvard. Mowgli - Mobile Work, Gadgets, Language and Infrastructure. 968. (ISBN 82-539-0474-6) pp 59. 2000. Fulltekst
Popular scientific lecture
2008
Østvold, Bjarte M.. Security protocol design and evaluation. , . Fulltekst
Popular scientific article
2002
Leister, Wolfgang; Hegna, Håvard; Kristoffersen, Thor; Aarhus, Lars Thore; Moen, Anders; Østvold, Bjarte M.. Multimedia-presentasjoner på mobile terminaler med lav båndbredde. Norsigd Info (ISSN 0803-8317). (1/2002) pp 5-12. 2002. Fulltekst
Programme management
2022
Goodwin, Morten; Øverby, Erlend; Riemer-Sørensen, Signe; Østvold, Bjarte M.. #56: Innovation Project in the Industrial Sector (IPN). 2022. Data
Postal address:
Norsk Regnesentral/
Norwegian Computing Center
P.O. Box 114 Blindern
NO-0314 Oslo
Norway
Visit address:
Norsk Regnesentral
Gaustadalleen 23a
Kristen Nygaards hus
NO-0373 Oslo.
Phone:
(+47) 22 85 25 00
Address How to get to NR
Social media Share on social media
Privacy policy Privacy policy
Postal address: Norsk Regnesentral/Norwegian Computing Center, P.O. Box 114 Blindern, NO-0314 Oslo, Norway
Visit address: Norsk Regnesentral, Gaustadalleen 23a, Kristen Nygaards hus, NO-0373 Oslo.
Phone: (+47) 22 85 25 00
AddressHow to get to NR