Mats Neovius

Research Associate, Information Technology common
Email: mats.neovius@abo.fi


Peer-reviewed publications

A4 Conference proceedings
Exploring Library Loan Data for Modelling the Reading Culture: Project LibDat (2018)
Mats Neovius, Kati Launis, Olli Nurmi
CEUR Workshop Proceedings
A1 Journal article (refereed)
Mitä naiset lukevat? Vantaan kaupunginkirjaston digitaalisen lainausdatan tulkintaa (2018)
Kati Launis, Eugene Cherny, Mats Neovius, Olli Nurmi, Mikko Vainio
Kirjallisuudentutkimuksen Aikakauslehti Avain
View on publisher's site
A1 Journal article (refereed)
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 Conference proceedings
Anomaly Detection for Soft Security in Cloud Based Auditing of Accounting Systems (2017)
Mats Neovius, Bob Duncan
SCITEPRESS Science And Technology Publications
View on publisher's site
A4 Conference proceedings
Anomaly Detection in Cloud Based Application using System Calls (2017)
Marin Aranitasi, Mats Neovius
Iaria xps press
A4 Conference proceedings
Quantifying Uncertainty for Preemptive Resource Provisioning in the Cloud (2017)
Marin Aranitasi, Benjamin Byholm, Mats Neovius
IEEE
View on publisher's site
A4 Conference proceedings
A Model for Experience-Based Agent Specific Trust (2016)
Mats Neovius
Iaria xps press
A3 Book section, Chapters in research books
A Provably Correct Resilience Mediator Pattern (2016)
Mats Neovius, Mauno Rönkkö, Marina Waldén
CRC Press
View on publisher's site
A4 Conference proceedings
A Theory of Service Dependency (2016)
Mats Neovius, Luigia Petre, Kaisa Sere
Electronic Proceedings in Theoretical Computer Science
Open Publishing Association
View on publisher's site
A4 Conference proceedings
Adaptive Experience-Based Composition of Continuously Changing Quality of Context (2015)
Neovius Mats
Iaria xps press
A4 Conference proceedings
Designing Resilence Mediators for Control Systems (2014)
Rönkkö Mauno, Stocker Markus, Neovius Mats, Petre Luigia, Kolehmainen Mikko
ACTA Press
View on publisher's site
A4 Conference proceedings
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
View on publisher's site
A4 Conference proceedings
Trustworthiness Modelling on Continuous Environmental Measurement (2014)
Mats Neovius, Markus Stocker, Mauno Rönkkö, Luigia Petre
International congress on environmental modelling and software
A1 Journal article (refereed)
Formal Development of System of Systems (2013)
Maryam Kamali, Mats Neovius, Luigia Petre, Petter Sandvik
ISRN Software Engineering
View on publisher's site
A4 Conference proceedings
Formal Transformation of Platform Independent Models into Platform Specific Models (2007)
Pontus Boström, Mats Neovius, Ian Oliver, Marina Waldén
Springer
View on publisher's site


Other publications

D4 Published development or research report or study
Programming by Construction (2013)
Mauno Rönkkö, Markus Stocker, Mats Neovius, Mikko Kolehmainen, Luigia Petre

Last updated on 2018-19-09 at 19:49