| Debugging method names EW Høst, BM Østvold ECOOP 2009–Object-Oriented Programming, 294-317, 2009 | 223 | 2009 |
| The programmer's lexicon, volume I: The verbs EW Høst, BM Østvold Source Code Analysis and Manipulation, 2007. SCAM 2007. Seventh IEEE …, 2007 | 114 | 2007 |
| The Java programmer’s phrase book EW Høst, BM Østvold Software Language Engineering, 322-341, 2009 | 53 | 2009 |
| Abstract rewriting D Bert, R Echahed, BM Østvold Static Analysis: Third International Workshop, WSA'93 Padova, Italy …, 1993 | 30 | 1993 |
| Assessing software privacy using the privacy flow-graph F Tang, BM Østvold Proceedings of the 1st International Workshop on Mining Software …, 2022 | 11 | 2022 |
| Stakeholder journey analysis for innovation: A multiparty analysis framework for startups JE Hannay, KS Fuglerud, BM Østvold International Conference on Human-Computer Interaction, 370-389, 2020 | 10 | 2020 |
| Finding and fixing Java naming bugs with the Lancelot Eclipse plugin EK Karlsen, EW Høst, BM Østvold Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and …, 2012 | 10 | 2012 |
| Canonical Method Names for Java EW Høst, BM Østvold Software Language Engineering, 226-245, 2011 | 9* | 2011 |
| A functional reconstruction of anti-unification BM Østvold Technical Report DART/04/04, Norwegian Computing, 2004 | 9 | 2004 |
| A Hierarchical Variability Model for Software Product Lines D Gurov, BM Østvold, I Schaefer Leveraging Applications of Formal Methods, Verification, and Validation …, 2012 | 8 | 2012 |
| Modelling of biomedical sensor networks using the Creol tools W Leister, X Liang, S Klüppelholz, J Klein, O Owe, F Kazemeyni, J Bjørk, ... July 31, date, 2009 | 8 | 2009 |
| Report on the Core ABS Language and Methodology: Part A R Hähnle, EB Johnsen, BM Østvold, J Schäfer, M Steffen, AB Torjusen Highly Adaptable and Trustworthy Software using Formal Models (HATS …, 2010 | 5 | 2010 |
| Public review of e-voting source code: Lessons Learnt from E-vote 2011 BM Østvold, EK Karlsen Norsk informatikkonferanse, 2012 | 4 | 2012 |
| Automated Extraction of Abstract Behavioural Models from JMS Applications E Albert, BM Østvold, J Rojas Formal Methods for Industrial Critical Systems, 16-31, 2012 | 4 | 2012 |
| An abstract machine approach to preserving digital information I Rummelhoff, E Gutiérrez, T Kristoffersen, O Liabø, BM Østvold, O Plata, ... IEEE Access 9, 154914-154932, 2021 | 3 | 2021 |
| Stakeholder perceptions on requirements for accessible technical condition information in residential real estate transactions JE Hannay, KS Fuglerud, BM Østvold International Conference on Human-Computer Interaction, 242-259, 2022 | 2 | 2022 |
| Object-Oriented Technology. ECOOP 2004 Workshop Reader: ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports J Malenfant, BM Østvold Springer, 2005 | 1 | 2005 |
| Streamed multimedia presentation for low-bandwidth mobile terminals: A virtual machine approach L Aarhus, H Hegna, T Kristoffersen, W Leister, A Moen, B Østvold Proceedings 3Gwireless, San Francisco (CA, USA), 2002 | 1 | 2002 |
| Inductive synthesis of recursive functional programs BM Østvold ACM SIGPLAN Notices 32 (8), 323, 1997 | 1 | 1997 |
| Eliciting and Prioritizing Services for Accessible Information: For Residential Real Estate Transactions JE Hannay, KS Fuglerud, BM Østvold International Conference on Human-Computer Interaction, 378-395, 2022 | | 2022 |
Wolfgang LeisterActing Research Director, Norsk RegnesentralDirección de correo verificada de nr.no
