Ivar Rummelhoff

Ivar Rummelhoff; Thor O. Kristoffersen; Bjarte Mayanja Østvold; Reproducible preservation of databases through executable specifications 2024. Vitenskapelig foredrag

Thor O. Kristoffersen; Ivar Rummelhoff; Audun Stolpe; Bjarte M. Østvold; Regelverk, digitalisering og automatisering 2023. Rapport

Thor O. Kristoffersen; Bjarte M. Østvold; Ivar Rummelhoff; O3.1: Process definition and guidelines for system decommissioning 2023. Rapport

Ivar Rummelhoff; Thor O. Kristoffersen; Bjarte M. Østvold; O3.2-3: The DbSpec Executable Specification Language 2023. Rapport

Bjarte M. Østvold; Ivar Rummelhoff; Lars Haukli; Malware analysis: Tool support and innovation opportunities 2023. Rapport

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. Vitenskapelig artikkel

Thor O. Kristoffersen; Ivar Rummelhoff; Operational Risk: Future Directions in Security, Resilience and Maturity 2022. Rapport

Thor O. Kristoffersen; Ivar Rummelhoff; Preservation of decommissioned IT systems: Strategies, technologies, and state of the art 2022. Rapport

Eyvind Aker; Charlotte Juliette Sanchis; Per Røe; Heidi Kjønsberg; Daniel Martin L Barker; et al. PCube Reference Manual 2021. Rapport

Eyvind Aker; Daniel Martin L Barker; Torstein Mæland Fjeldstad; Ragnar Hauge; Heidi Kjønsberg; et al. PCube User Manual Version 9.0 2021. Rapport

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. Vitenskapelig artikkel

Per Røe; Eyvind Aker; Daniel Martin L Barker; Ragnar Hauge; Heidi Kjønsberg; et al. PCube+ User Manual Version 8.0 2020. Rapport

Eyvind Aker; Charlotte Juliette Sanchis; Per Røe; Heidi Kjønsberg; Daniel Martin L Barker; et al. PCube Reference Manual 2020. Rapport

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. Rapport

Thor O. Kristoffersen; Bjarte M. Østvold; Ivar Rummelhoff; PCAS Deliverable D8.1: Security Evaluation – Communication 2016. Rapport

Thor O. Kristoffersen; Ivar Rummelhoff; PCAS Deliverable D6.3: Security evaluation of STG and communications 2016. Rapport

Ivar Rummelhoff; Thor O. Kristoffersen; PCAS Deliverable D6.4: Secured Trusted Gateway (STG) 2016. Rapport

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. Vitenskapelig artikkel

Thor O. Kristoffersen; Ivar Rummelhoff; Daniel Andrade; Evyatar Nassie; PCAS Deliverable D6.2 IDM, Authentication, Access and Provisioning Service Design 2015. Rapport

Ivar Rummelhoff; Thor O. Kristoffersen; Åsmund Skomedal; Alex Shani; Omer Dagan; et al. PCAS Deliverable D4.6 SPD Report on Data Encryption Mechanisms 2015. Rapport

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. Vitenskapelig artikkel

Ivar Rummelhoff; Normal Domain Representations of Topological Spaces Mathematical logic quarterly, pp. 409 412 , 2001. Vitenskapelig artikkel