• Bokmål
  • English

Nettstedskart

Publication profile

Publication profile

Bjarte M. Østvold

Bjarte M., Østvold
Name: Bjarte M. Østvold
Title: Seniorforsker / Senior Research Scientist
Phone: (+47) 22852622
Email: bjarte [at] nr [dot] no
Scientific areas: Security, Formal methods, Software engineering
Homepage: http://www.nr.no/~bjarte/
Add to contacts (vCard)
 Show publications

 

    Academic anthologies

    2005

    Malenfant, Jacques; Østvold, Bjarte Mayanja (eds). Object-Oriented Technology. ECOOP 2004 Workshop Reader. Springer. (ISBN 3-540-23988-X). pp 215. 2005.

    Academic journal articles

    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. Full-text 

    Academic chapters

    2012

    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. 2012. Full-text 

    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. Full-text 

    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. 2012. Full-text 

    Ø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. Full-text 

    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. 2011. Full-text 

    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.

    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.

    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. Full-text 

    Academic lectures

    2001

    Østvold, Bjarte M.. Introduksjon til typete funksjonelle språk og Haskell. Konferanse, Hovedfagsseminar i logikk, 29.03.2001.

    1997

    Østvold, Bjarte M.. On inductive synthesis of declarative programs. Konferanse, International Joint Conference on Artificial Intelligence; Nagoya, 23.08.1997 - 29.08.1997.

    Posters at scientific conferences

    1997

    Østvold, Bjarte M.. Inductive synthesis of recursive functional programs. ACM International Conference on Functional Programming; Amsterdam, 09.06.1997 - 11.06.1997.

    Doctoral dissertations

    2009

    Berg, Henrik. Evolutionary Machine Learning: Neutrality, Diversity and Applications. : 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. Trondheim: NTNU - IDI, Tapir trykkeri . pp 118. 1999.

    Reports

    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, Oslo. 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, Oslo. pp 8. 2016.

    Kristoffersen, Thor O.; Østvold, Bjarte M.; Rummelhoff, Ivar. PCAS Deliverable D8.1: Security Evaluation – Communication. Norsk Regnesentral, . pp 52. 2016.

    2015

    Eskeland, Sigurd; Kristoffersen, Thor O.; Østvold, Bjarte M.. Deliverable D2.5: Prototype of Secure Software Element -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral, Oslo. pp 36. 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, Oslo. pp 21. 2015.

    Kristoffersen, Thor O.; Østvold, Bjarte M.. Deliverable D3.1: Protocol Security Design -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral, Oslo. pp 19. 2015.

    Kristoffersen, Thor O.; Østvold, Bjarte M.. Deliverable D3.4: Test and Security and Privacy Risk Analysis -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral, Oslo. pp 29. 2015.

    Østvold, Bjarte M.. Deliverable D2.7: Final Test Report -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral, Oslo. pp 9. 2015.

    Østvold, Bjarte M.; Hagalisletto, Moen Anders. Deliverable D2.4: Test strategy and plan -- HighTrustWallet FP7-SME-2013-605960. Norsk Regnesentral, Oslo. pp 10. 2015.

    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.

    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.

    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.

    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.

    Hermansen, Gudmund Horn; Østvold, Bjarte M.. INPRED: Intelligent prediction for package transport. Norsk Regnesentral, Oslo. NR-notat DART/14/2014. 2014.

    Kristoffersen, Thor; Nassie, Evyatar; Østvold, Bjarte M.. PCAS Project Deliverable 2.1: PCAS High-level Design. AFCON, . pp 58. 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; Hagalisletto, Moen Anders; Skomedal, Åsmund; Østvold, Bjarte M.. PCAS Project Deliverable 2.3: Secure Communication Protocols and Services. Norsk Regnesentral, . pp 35. 2014.

    Østvold, Bjarte M.; Kristoffersen, Thor; Gröne, Michael. HighTrustWallet Deliverable D1.1: Project Handbook. Norsk Regnesentral, . pp 12. 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, Oslo. 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. Full-text 

    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, Oslo. Report at the Norwegian Computing Center 1022. pp 37. 2009. Full-text  Full-text 

    Østvold, Bjarte M.. Resultatrapport for prosjekt 165763 - Reducing Software Entropy. , . DART/08/2009. pp 7. 2009. Full-text 

    2008

    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.

    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. Full-text 

    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. Full-text 

    Østvold, Bjarte M.; Fretland, Truls; Hagalisletto, Anders Moen. Security assessment of the mBricks net protocol version 2.2. Norsk Regnesentral, Oslo. NR-notat DART/08/07. pp 16. 2007.

    2006

    Dimakos, Xeni Kristine; Østvold, Bjarte M.. Europlay pre-study. Norsk Regnesentral, Oslo. NR-notat DART/05/06. pp 17. 2006.

    Holmqvist, Knut; Østvold, Bjarte M.; Leister, Wolfgang. Bruk av åpne standarder i offentlig forvaltning. , . 1010. pp 23. 2006.

    Østvold, Bjarte M.; Kristoffersen, Thor. Pre-study: software solutions for scheduling. Norsk Regnesentral, Oslo. NR-notat DART/01/06. 2006.

    2005

    Østvold, Bjarte M.; Kristoffersen, Thor. Analysis of object-oriented programs: a survey. Norsk Regnesentral, Oslo. NR-notat DART/11/05. pp 15. 2005. Full-text 

    Ø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. Full-text 

    2002

    Aarhus, Lars Thore; Kristoffersen, Thor; Leister, Wolfgang; Røe, Per; Østvold, Bjarte M.. MobileSLM pre-project - Development Report. Norsk Regnesentral, Oslo. 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, Oslo. NR-notat OMNI/07/01. pp 10. 2001.

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

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

    2000

    Haugsand, Jon; Mazaher, Shahrzade; Moen, Anders; Østvold, Bjarte M.; Groven, Arne-Kristian; Hegna, Håvard. Mowgli - Mobile Work, Gadgets, Language and Infrastructure. , . 968. pp 59. 2000. Full-text 

    Kristoffersen, Thor; Østvold, Bjarte M.. Design and Implementation of the Generic Multimedia Server Platform. Norsk Regnesentral, Oslo. NR-notat OMNI/04/00. pp 75. 2000.

    Popular scientific lectures

    2008

    Østvold, Bjarte M.. Security protocol design and evaluation. , . Full-text 

    Popular scientific articles

    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. Full-text 

Postadresse:
Norsk Regnesentral
Postboks 114 Blindern
0314 Oslo
Besøksadresse:
Norsk Regnesentral
Gaustadalleen 23a
Kristen Nygaards hus
0373 Oslo
Tlf:
(+47) 22 85 25 00
Adresse Hvordan komme til NR
Sosiale media Del på sosiale media
Personvernerklæring Personvernerklæring
Postadresse: Norsk Regnesentral, Postboks 114 Blindern, 0314 Oslo
Besøksadresse: Norsk Regnesentral, Gaustadalleen 23a, Kristen Nygaards hus, 0373 Oslo
Tlf: (+47) 22 85 25 00
AdresseHvordan komme til NR