Mats Neovius

E-post: mats.neovius@abo.fi


Referentgranskade publikationer

A4 Konferenspublikationer
Exploring Library Loan Data for Modelling the Reading Culture: Project LibDat (2018)
Mats Neovius, Kati Launis, Olli Nurmi
CEUR Workshop Proceedings
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Mitä naiset lukevat? Vantaan kaupunginkirjaston digitaalisen lainausdatan tulkintaa (2018)
Kati Launis, Eugene Cherny, Mats Neovius, Olli Nurmi, Mikko Vainio
Kirjallisuudentutkimuksen Aikakauslehti Avain
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Providing Tamper-Resistant Audit Trails with Distributed Ledger based Solutions for Forensics of IoT Systems using Cloud Resources (2018)
Magnus Westerlund, Mats Neovius, Göran Pulkkis
International Journal on Advances in Security
A4 Konferenspublikationer
Anomaly Detection for Soft Security in Cloud Based Auditing of Accounting Systems (2017)
Mats Neovius, Bob Duncan
SCITEPRESS Science And Technology Publications
Visa på utgivarens sida
A4 Konferenspublikationer
Anomaly Detection in Cloud Based Application using System Calls (2017)
Marin Aranitasi, Mats Neovius
Iaria xps press
A4 Konferenspublikationer
Quantifying Uncertainty for Preemptive Resource Provisioning in the Cloud (2017)
Marin Aranitasi, Benjamin Byholm, Mats Neovius
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
A Model for Experience-Based Agent Specific Trust (2016)
Mats Neovius
Iaria xps press
A3 Bokavsnitt, kapitel i forskningsböcker
A Provably Correct Resilience Mediator Pattern (2016)
Mats Neovius, Mauno Rönkkö, Marina Waldén
CRC Press
Visa på utgivarens sida
A4 Konferenspublikationer
A Theory of Service Dependency (2016)
Mats Neovius, Luigia Petre, Kaisa Sere
Electronic Proceedings in Theoretical Computer Science
Open Publishing Association
Visa på utgivarens sida
A4 Konferenspublikationer
Adaptive Experience-Based Composition of Continuously Changing Quality of Context (2015)
Neovius Mats
Iaria xps press
A4 Konferenspublikationer
Designing Resilence Mediators for Control Systems (2014)
Rönkkö Mauno, Stocker Markus, Neovius Mats, Petre Luigia, Kolehmainen Mikko
ACTA Press
Visa på utgivarens sida
A4 Konferenspublikationer
On Proving Recoverability of Smart Electrical Grids (2014)
Horsmanheimo Seppo, Kamali Maryam, Kolehmainen Mikko, Neovius Mats, Petre Luigia, Rönkkö Mauno, Sandvik Petter
Lecture Notes in Computer Science
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Trustworthiness Modelling on Continuous Environmental Measurement (2014)
Mats Neovius, Markus Stocker, Mauno Rönkkö, Luigia Petre
International congress on environmental modelling and software
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Formal Development of System of Systems (2013)
Maryam Kamali, Mats Neovius, Luigia Petre, Petter Sandvik
ISRN Software Engineering
Visa på utgivarens sida
A4 Konferenspublikationer
Formal Transformation of Platform Independent Models into Platform Specific Models (2007)
Pontus Boström, Mats Neovius, Ian Oliver, Marina Waldén
Springer
Visa på utgivarens sida


Övriga publikationer

D4 Publicerad utvecklings- eller forskningsrapport eller studie
Programming by Construction (2013)
Mauno Rönkkö, Markus Stocker, Mats Neovius, Mikko Kolehmainen, Luigia Petre

Senast uppdaterad 2018-19-09 vid 19:49