Publication profile
Publication profile
Ivar Rummelhoff
Name:
Ivar Rummelhoff
Title:
Seniorforsker / Senior Research Scientist
Phone:
(+47) +47 22 85 25 70
Email:
ivarru [at] nr [dot] no
Scientific areas:
Security, Formal methods, Software engineering
Add to contacts (vCard) Show publications
Academic article
2023
. A logic based event controller for means-end reasoning in simulation environments. Simulation (San Diego, Calif.) (ISSN 0037-5497). doi: 10.1177/00375497231157384. 2023.
2021
. An Abstract Machine Approach to Preserving Digital Information. IEEE Access (ISSN 2169-3536). 9 pp 154914-154932. doi: 10.1109/ACCESS.2021.3128382. 2021.
2016
. Thwarting data exfiltration by repackaged applications. Symposium on Reliable Distributed Systems. Proceedings (ISSN 1060-9857). 2016-October pp 43-48. doi: 10.1109/SRDSW.2016.18. 2016.
2004
. Polynat in PER models. Theoretical Computer Science (ISSN 0304-3975). 316 pp 215-224. 2004.
2001
. Normal Domain Representations of Topological Spaces. Mathematical logic quarterly (ISSN 0942-5616). 47 pp 409-412. 2001.
Lecture
2019
. Immortal Virtual Machine – solving the problem of file format and infrastructure obsolescence. DLM Forum Annual General Meeting; Bern, 5/21/2019 - 5/22/2019.
Doctoral dissertation
2007
. Polymorphic Π1 Types and a Simple Approach to Propositions, Types and Sets. Oslo: Unipub forlag Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo (ISSN 1501-7710). (600). pp 196. 2007.
Report
2022
. Operational Risk: Future Directions in Security, Resilience and Maturity. Norsk Regnesentral. NR-notat DART/24/22. pp 26. 2022.
. Preservation of decommissioned IT systems: Strategies, technologies, and state of the art. Norsk Regnesentral. NR-notat DART/08/22. pp 28. 2022.
2021
. PCube User Manual Version 9.0. Norsk Regnesentral. NR-notat SAND/14/21. pp 109. 2021.
. PCube Reference Manual. Norsk Regnesentral. NR-notat SAND/18/21. pp 56. 2021.
2020
. PCube Reference Manual. Norsk Regnesentral. NR-notat SAND/03/20. pp 38. 2020.
. PCube+ User Manual Version 8.0. Norsk Regnesentral. NR-notat SAND/04/2020. pp 82. 2020.
2018
. This is a user manual for PCube. PCube is a seismic inversion software that computes lithology and fluid probabilities from seismic AVO data. Norsk Regnesentral. NR-notat SAND/05/18. pp 72. 2018.
2016
. PCAS Deliverable D8.1: Security Evaluation – Communication. Norsk Regnesentral. pp 52. 2016.
. PCAS Deliverable D6.4: Secured Trusted Gateway (STG). Norsk Regnesentral. pp 38. 2016.
. PCAS Deliverable D6.3: Security evaluation of STG and communications. Norsk Regnesentral. pp 27. 2016.
2015
. PCAS Deliverable D4.6 SPD Report on Data Encryption Mechanisms. OS New Horizon Ltd. pp 22. 2015.
. PCAS Deliverable D6.2 IDM, Authentication, Access and Provisioning Service Design. Norsk Regnesentral. pp 44. 2015.
Popular scientific lecture
2011
. The future is reactive. JavaZone 2011; Oslo, 9/7/2011.
| Name: | Ivar Rummelhoff |
| Title: | Seniorforsker / Senior Research Scientist |
| Phone: | (+47) +47 22 85 25 70 |
| Email: | ivarru [at] nr [dot] no |
| Scientific areas: | Security, Formal methods, Software engineering |
| Add to contacts (vCard) |
| Show publications |
Academic article
2023
. A logic based event controller for means-end reasoning in simulation environments. Simulation (San Diego, Calif.) (ISSN 0037-5497). doi: 10.1177/00375497231157384. 2023.
2021
. An Abstract Machine Approach to Preserving Digital Information. IEEE Access (ISSN 2169-3536). 9 pp 154914-154932. doi: 10.1109/ACCESS.2021.3128382. 2021.
2016
. Thwarting data exfiltration by repackaged applications. Symposium on Reliable Distributed Systems. Proceedings (ISSN 1060-9857). 2016-October pp 43-48. doi: 10.1109/SRDSW.2016.18. 2016.
2004
. Polynat in PER models. Theoretical Computer Science (ISSN 0304-3975). 316 pp 215-224. 2004.
2001
. Normal Domain Representations of Topological Spaces. Mathematical logic quarterly (ISSN 0942-5616). 47 pp 409-412. 2001.
Lecture
2019
. Immortal Virtual Machine – solving the problem of file format and infrastructure obsolescence. DLM Forum Annual General Meeting; Bern, 5/21/2019 - 5/22/2019.
Doctoral dissertation
2007
. Polymorphic Π1 Types and a Simple Approach to Propositions, Types and Sets. Oslo: Unipub forlag Series of dissertations submitted to the Faculty of Mathematics and Natural Sciences, University of Oslo (ISSN 1501-7710). (600). pp 196. 2007.
Report
2022
. Operational Risk: Future Directions in Security, Resilience and Maturity. Norsk Regnesentral. NR-notat DART/24/22. pp 26. 2022.
. Preservation of decommissioned IT systems: Strategies, technologies, and state of the art. Norsk Regnesentral. NR-notat DART/08/22. pp 28. 2022.
2021
. PCube User Manual Version 9.0. Norsk Regnesentral. NR-notat SAND/14/21. pp 109. 2021.
. PCube Reference Manual. Norsk Regnesentral. NR-notat SAND/18/21. pp 56. 2021.
2020
. PCube Reference Manual. Norsk Regnesentral. NR-notat SAND/03/20. pp 38. 2020.
. PCube+ User Manual Version 8.0. Norsk Regnesentral. NR-notat SAND/04/2020. pp 82. 2020.
2018
. This is a user manual for PCube. PCube is a seismic inversion software that computes lithology and fluid probabilities from seismic AVO data. Norsk Regnesentral. NR-notat SAND/05/18. pp 72. 2018.
2016
. PCAS Deliverable D8.1: Security Evaluation – Communication. Norsk Regnesentral. pp 52. 2016.
. PCAS Deliverable D6.4: Secured Trusted Gateway (STG). Norsk Regnesentral. pp 38. 2016.
. PCAS Deliverable D6.3: Security evaluation of STG and communications. Norsk Regnesentral. pp 27. 2016.
2015
. PCAS Deliverable D4.6 SPD Report on Data Encryption Mechanisms. OS New Horizon Ltd. pp 22. 2015.
. PCAS Deliverable D6.2 IDM, Authentication, Access and Provisioning Service Design. Norsk Regnesentral. pp 44. 2015.
Popular scientific lecture
2011
. The future is reactive. JavaZone 2011; Oslo, 9/7/2011.
How to get to NR
Share on social media
Privacy policy