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
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
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
The tag genome dataset for books
D Kotkov, A Medlar, A Maslov, UR Satyal, M Neovius, D Glowacka
Proceedings of the 2022 Conference on Human Information Interaction and …, 2022
Revisiting the tag relevance prediction problem
D Kotkov, A Maslov, M Neovius
Proceedings of the 44th International ACM SIGIR Conference on Research and …, 2021
Providing tamper-resistant audit trails for cloud forensics with distributed ledger based solutions
M Neovius, J Karlsson, M Westerlund, G Pulkkis
Cloud Comput 2018, 29, 2018
Anomaly detection for soft security in cloud based auditing of accounting systems
M Neovius, B Duncan
International Conference on Cloud Computing and Services Science 2, 499-506, 2017
Clusterexplorer: enable user control over related recommendations via collaborative filtering and clustering
D Kotkov, Q Zhao, K Launis, M Neovius
Proceedings of the 14th ACM Conference on Recommender Systems, 432-437, 2020
A design framework for wireless sensor networks
M Neovius, L Yan
Ad-Hoc Networking: IFIP 19th World Computer Congress, TC-6, IFIP Interactive …, 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
B 2007: Formal Specification and Development in B: 7th International …, 2006
Adaptive experience-based composition of continuously changing quality of context
M Neovius
Int. Conf. on Adaptive and Self-Adaptive Systems and Applications, 2015
Trustworthiness Modelling on Continuous Environmental Measurement
M Neovius, M Stocker, M Rönkkö, L Petre
Proc. of the 7th Int. Conf. on Environmental Modelling and Software, 2014
On proving recoverability of smart electrical grids
S Horsmanheimo, M Kamali, M Kolehmainen, M Neovius, L Petre, ...
NASA Formal Methods: 6th International Symposium, NFM 2014, Houston, TX, USA …, 2014
Anomaly Detection in Cloud Based Application using System Calls
M Aranitasi, M Neovius
CLOUD COMPUTING 2017, 54, 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
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
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
Rating consistency is consistently underrated: An exploratory analysis of movie-tag rating inconsistency
D Kotkov, A Medlar, UR Satyal, A Maslov, M Neovius, D Glowacka
Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, 1355-1364, 2022
The system can't perform the operation now. Try again later.
Articles 1–20