Gudmund Grov

English version of this page
Brukernavn
Besøksadresse Gaustadalléen 23B 0373 Oslo
Postadresse Postboks 1080 0316 Oslo

Publikasjoner

  • Grov, Gudmund; Ireland, Andrew & Llano, Maria Teresa (2021). Reasoned Modelling: Harnessing the Synergies Between Reasoning and Modelling. I Michaelson, Gregory (Red.), Mathematical Reasoning: The History and Impact of the DReaM Group. Springer Nature. ISSN 978-3-030-77879-8. s. 105–127. doi: 10.1007/978-3-030-77879-8_6.
  • Asprusten, Markus Leira; Gjerstad, Julie Lidahl; Grov, Gudmund; Kjellstadli, Espen Hammer; Flood, Robert & Clausen, Henry (2021). A containerised approach to labelled C&C traffic . Norsk Informasjonssikkerhetskonferanse (NISK). ISSN 1893-6563. Fulltekst i vitenarkiv
  • Clausen, Henry; Grov, Gudmund & Aspinall, David (2021). Cbam: A contextual model for network anomaly detection. Computers. ISSN 2073-431X. 10(6), s. 1–28. doi: 10.3390/computers10060079. Fulltekst i vitenarkiv
  • Clausen, Henry; Grov, Gudmund; Sabate, Marc & Aspinall, David (2021). Better Anomaly Detection for Access Attacks Using Deep Bidirectional LSTMs. I Renault, Eric; Boumerdassi, Selma & Mühlethaler, Paul (Red.), Machine Learning for Networking Third International Conference, MLN 2020, Paris, France, November 24–26, 2020, Revised Selected Papers. Springer. ISSN 978-3-030-70866-5. s. 1–18. doi: https%3A/doi.org/10.1007/978-3-030-70866-5_1.
  • Grov, Gudmund; Sabate, Marc; Cheng, Wei & Aspinall, David (2019). Towards Intelligible Robust Anomaly Detection by Learning Interpretable Behavioural Models. Norsk Informasjonssikkerhetskonferanse (NISK). ISSN 1893-6563.
  • Grov, Gudmund; Mancini, Federico & Mestl, Elsie Margrethe (2019). Challenges for Risk and Security Modelling in Enterprise Architecture. Lecture Notes in Business Information Processing. ISSN 1865-1348. 369, s. 215–225. doi: 10.1007/978-3-030-35151-9_14.
  • Lin, Yuhui; Bundy, Alan; Grov, Gudmund & Maclean, Ewen (2019). Automating Event-B invariant proofs by rippling and proof patching. Formal Aspects of Computing. ISSN 0934-5043. s. 1–35. doi: 10.1007/s00165-018-00476-7.

Se alle arbeider i Cristin

Publisert 10. juni 2021 10:44 - Sist endret 10. juni 2021 10:44