Senior Research Scientist
Ivar Rummelhoff
- Department DART
- Phone number +47 22 85 25 70
- E-mail ivarru@nr.no
Publications
- 25 publications found
- Publisher
Ivar Rummelhoff; Thor O. Kristoffersen; Bjarte Mayanja Østvold; Reproducible preservation of databases through executable specifications 2024. Scientific lecture
Thor O. Kristoffersen; Ivar Rummelhoff; Audun Stolpe; Bjarte M. Østvold; Regelverk, digitalisering og automatisering 2023. Report
Thor O. Kristoffersen; Bjarte M. Østvold; Ivar Rummelhoff; O3.1: Process definition and guidelines for system decommissioning 2023. Report
Ivar Rummelhoff; Thor O. Kristoffersen; Bjarte M. Østvold; O3.2-3: The DbSpec Executable Specification Language 2023. Report
Bjarte M. Østvold; Ivar Rummelhoff; Lars Haukli; Malware analysis: Tool support and innovation opportunities 2023. Report
Audun Stolpe; Ivar Rummelhoff; Jo Erskine Hannay; A logic-based event controller for means-end reasoning in simulation environments Simulation (San Diego, Calif.), vol. 99, pp. 34 , (ISSN 0037-5497 1741-3133 ), doi: https://doi.org/10.1177/00375497231157384 , 2023. Scientific article
Thor O. Kristoffersen; Ivar Rummelhoff; Operational Risk: Future Directions in Security, Resilience and Maturity 2022. Report
Thor O. Kristoffersen; Ivar Rummelhoff; Preservation of decommissioned IT systems: Strategies, technologies, and state of the art 2022. Report
Eyvind Aker; Charlotte Juliette Sanchis; Per Røe; Heidi Kjønsberg; Daniel Martin L Barker; et al. PCube Reference Manual 2021. Report
Eyvind Aker; Daniel Martin L Barker; Torstein Mæland Fjeldstad; Ragnar Hauge; Heidi Kjønsberg; et al. PCube User Manual Version 9.0 2021. Report
Ivar Rummelhoff; Eladio Gutiérrez; Thor O. Kristoffersen; Ole Liabø; Bjarte Mayanja Østvold; et al. An Abstract Machine Approach to Preserving Digital Information IEEE Access, vol. 9, pp. 154914 154932 , (ISSN 2169-3536 2169-3536 ), doi: https://doi.org/10.1109/ACCESS.2021.3128382 , 2021. Scientific article
Per Røe; Eyvind Aker; Daniel Martin L Barker; Ragnar Hauge; Heidi Kjønsberg; et al. PCube+ User Manual Version 8.0 2020. Report
Eyvind Aker; Charlotte Juliette Sanchis; Per Røe; Heidi Kjønsberg; Daniel Martin L Barker; et al. PCube Reference Manual 2020. Report
Ivar Rummelhoff; Bjarte M. Østvold; Ole Liabø; Immortal Virtual Machine – solving the problem of file format and infrastructure obsolescence 2019. Lecture
Per Røe; Eyvind Aker; Ivar Rummelhoff; Ragnar Hauge; Heidi Kjønsberg; et al. This is a user manual for PCube. PCube is a seismic inversion software that computes lithology and fluid probabilities from seismic AVO data. 2018. Report
Thor O. Kristoffersen; Bjarte M. Østvold; Ivar Rummelhoff; PCAS Deliverable D8.1: Security Evaluation – Communication 2016. Report
Thor O. Kristoffersen; Ivar Rummelhoff; PCAS Deliverable D6.3: Security evaluation of STG and communications 2016. Report
Ivar Rummelhoff; Thor O. Kristoffersen; PCAS Deliverable D6.4: Secured Trusted Gateway (STG) 2016. Report
Daniel Andrade; Thor O. Kristoffersen; Ivar Rummelhoff; Alex Gerdov; Joao Nuno Silva; Thwarting data exfiltration by repackaged applications Symposium on Reliable Distributed Systems. Proceedings, vol. 2016-October, pp. 43 48 , (ISSN 1060-9857 2575-8462 ), doi: https://doi.org/10.1109/SRDSW.2016.18 , 2016. Scientific article
Thor O. Kristoffersen; Ivar Rummelhoff; Daniel Andrade; Evyatar Nassie; PCAS Deliverable D6.2 IDM, Authentication, Access and Provisioning Service Design 2015. Report
Ivar Rummelhoff; Thor O. Kristoffersen; Åsmund Skomedal; Alex Shani; Omer Dagan; et al. PCAS Deliverable D4.6 SPD Report on Data Encryption Mechanisms 2015. Report
Ivar Rummelhoff; The future is reactive 2011. Lecture popular
Ivar Rummelhoff; Polymorphic Π1 Types and a Simple Approach to Propositions, Types and Sets 2007. Doctor dissertat
Ivar Rummelhoff; Polynat in PER models Theoretical Computer Science, pp. 215 224 10 , 2004. Scientific article
Ivar Rummelhoff; Normal Domain Representations of Topological Spaces Mathematical logic quarterly, pp. 409 412 , 2001. Scientific article