Bjarte M. Østvold
Bjarte M. Østvold
Norwegian Computing Center
Verified email at - Homepage
Cited by
Cited by
Debugging method names
EW Høst, BM Østvold
ECOOP 2009–Object-Oriented Programming, 294-317, 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
The Java programmer’s phrase book
EW Høst, BM Østvold
Software Language Engineering, 322-341, 2009
Abstract rewriting
D Bert, R Echahed, BM Østvold
Static Analysis: Third International Workshop, WSA'93 Padova, Italy …, 1993
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
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
Assessing software privacy using the privacy flow-graph
F Tang, BM Østvold
Proceedings of the 1st International Workshop on Mining Software …, 2022
Canonical Method Names for Java
EW Høst, BM Østvold
Software Language Engineering, 226-245, 2011
A functional reconstruction of anti-unification
BM Østvold
Technical Report DART/04/04, Norwegian Computing, 2004
A Hierarchical Variability Model for Software Product Lines
D Gurov, BM Østvold, I Schaefer
Leveraging Applications of Formal Methods, Verification, and Validation …, 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
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
Public review of e-voting source code: Lessons Learnt from E-vote 2011
BM Østvold, EK Karlsen
Norsk informatikkonferanse, 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
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
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
Object-Oriented Technology. ECOOP 2004 Workshop Reader: ECOOP 2004 Workshop, Oslo, Norway, June 14-18, 2004, Final Reports
J Malenfant, BM Østvold
Springer, 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
Inductive synthesis of recursive functional programs
BM Østvold
ACM SIGPLAN Notices 32 (8), 323, 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
The system can't perform the operation now. Try again later.
Articles 1–20