Mats Neovius
Cited by
Cited by
A formal model of context-awareness and context-dependency
M Neovius, K Sere, L Yan, M Satpathy
Fourth IEEE International Conference on Software Engineering and Formal …, 2006
The distance-availability weighted piece selection method for bittorrent: A bittorrent piece selection method for on-demand streaming
P Sandvik, M Neovius
2009 First International Conference on Advances in P2P Systems, 198-202, 2009
Providing tamper-resistant audit trails with distributed ledger based solutions for forensics of IOT systems using cloud resources
M Westerlund, M Neovius, G Pulkkis
International Journal on Advances in Security 11 (3 & 4), 2018
Anomaly detection for soft security in cloud based auditing of accounting systems
M Neovius, B Duncan
Proceedings of the 7th International Conference on Cloud Computing and …, 2017
Providing tamper-resistant audit trails for cloud forensics with distributed ledger based solutions
M Neovius, J Karlsson, M Westerlund, G Pulkkis
CLOUD COMPUTING 2018, 29, 2018
A design framework for wireless sensor networks
M Neovius, L Yan
Ad-Hoc Networking, 119-127, 2006
Trustworthy context dependency in ubiquitous systems
M Neovius
Turku Centre for Computer Science (TUCS), 2012
Formal modular modelling of context-awareness
M Neovius, K Sere
International Symposium on Formal Methods for Components and Objects, 102-118, 2008
Formal transformation of platform independent models into platform specific models
P Boström, M Neovius, I Oliver, M Waldén
International Conference of B Users, 186-200, 2007
Adaptive experience-based composition of continuously changing quality of context
M Neovius
The Seventh International Conference on Adaptive and Self-Adaptive Systems …, 2015
On proving recoverability of smart electrical grids
S Horsmanheimo, M Kamali, M Kolehmainen, M Neovius, L Petre, ...
NASA Formal Methods Symposium, 77-91, 2014
Trustworthiness Modelling on Continuous Environmental Measurement
M Neovius, M Stocker, M Rönkkö, L Petre
Anomaly Detection in Cloud Based Application using System Calls
M Aranitasi, M Neovius
CLOUD COMPUTING 2017, 54, 2017
A further look at the distance-Availability weighted piece selection method
P Sandvik, M Neovius
International Journal on Advances in Networks and Services Volume 3, Number …, 2010
Revisiting the Tag Relevance Prediction Problem
D Kotkov, A Maslov, M Neovius
Proceedings of the 44th International ACM SIGIR Conference on Research and …, 2021
ClusterExplorer: Enable User Control over Related Recommendations via Collaborative Filtering and Clustering
D Kotkov, Q Zhao, K Launis, M Neovius
Fourteenth ACM Conference on Recommender Systems, 432-437, 2020
Exploring library loan data for modelling the reading culture: Project libDat
M Neovius, K Launis, O Nurmi
3rd Conference on Digital Humanities in the Nordic Countries, DHN 2018 …, 2018
Quantifying uncertainty for preemptive resource provisioning in the cloud
M Aranitasi, B Byholm, M Neovius
2017 28th International Workshop on Database and Expert Systems Applications …, 2017
Designing resilience mediators for control systems
M Rönkkö, M Stocker, M Neovius, L Petre, M Kolehmainen
Proceedings of the IASTED International Conference on Modelling …, 2014
Mastering the Relevance of Subjective Information in Ubiquitous Computing
M Neovius, K ,Sere
JCIS: Journal of Communications and Information Sciences; open access http …, 2013
The system can't perform the operation now. Try again later.
Articles 1–20