| Debugging method names EW Høst, BM Østvold ECOOP 2009–Object-Oriented Programming, 294-317, 2009 | 231 | 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 | 111 | 2007 |
| The Java programmer’s phrase book EW Høst, BM Østvold Software Language Engineering, 322-341, 2009 | 54 | 2009 |
| Abstract rewriting D Bert, R Echahed, BM Østvold International Workshop on Static Analysis, 178-192, 1993 | 31 | 1993 |
| Assessing software privacy using the privacy flow-graph F Tang, BM Østvold Proceedings of the 1st International Workshop on Mining Software …, 2022 | 20 | 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 | 12 | 2020 |
| Canonical Method Names for Java EW Høst, BM Østvold Software Language Engineering, 226-245, 2011 | 11* | 2011 |
| A functional reconstruction of anti-unification BM Østvold Technical Report DART/04/04, Norwegian Computing, 2004 | 10 | 2004 |
| Helping code reviewer prioritize: pinpointing personal data and its processing F Tang, BM Østvold, M Bruntink New Trends in Intelligent Software Methodologies, Tools and Techniques, 109-124, 2023 | 9 | 2023 |
| 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 | 9 | 2012 |
| A Hierarchical Variability Model for Software Product Lines D Gurov, BM Østvold, I Schaefer Leveraging Applications of Formal Methods, Verification, and Validation …, 2012 | 9 | 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, ... Norsk Regnesentral, Oslo, Norway, Report 1022, 2009 | 8 | 2009 |
| Transparency in app analytics: analyzing the collection of user interaction data F Tang, BM Østvold 2023 20th Annual International Conference on Privacy, Security and Trust …, 2023 | 6 | 2023 |
| 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 | 5 | 2021 |
| 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 |
| 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 |
| ACM moral imperatives vs. lethal autonomous weapons C Staff Communications of the ACM 59 (3), 8-9, 2016 | 1 | 2016 |
| 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 |
Feiyang TangSURFVerified email at surf.nl
