Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search

info
AND
AND
AND
AND




Articles in journals (4):

Articles in proceedings (19):

  • Mats Neovius, Kati Launis, Olli Nurmi, Exploring Library Loan Data for Modelling the Reading Culture: Project LibDat. In: Eetu Mäkelä, Mikko Tolonen, Jouni Tuominen (Eds.), Proceedings of the Digital Humanities in the Nordic Countries 3rd Conference, CEUR-WS 2084, 386–393, CEUR-WS, 2018.
  • Marin Aranitasi, Benjamin Byholm, Mats Neovius, Quantifying Uncertainty for Preemptive Resource Provisioning in the Cloud. In: A Min Tjoa, Roland R. Wagner (Eds.), 28th International Workshop on Database and Expert Systems Applications (DEXA), 127–131, IEEE Computer Society, 2017.
  • Mats Neovius, Bob Duncan, Anomaly Detection for Soft Security in Cloud Based Auditing of Accounting Systems. In: Donald Ferguson, Víctor Méndez Muñoz, Jorge Cardoso, Markus Helfert, Claus Pahl (Eds.), Proceedings of the 7th International Conference on Cloud Computing and Services Science, 499–506, INSTICC, 2017.
  • Mats Neovius, A Model for Experience-Based Agent Specific Trust. In: Jaime Lloret Mauri, Mario Freire (Eds.), In proceedings of The Eighth International Conference on Adaptive and Self-Adaptive Systems and Applications, 10–15, IARIA XPS Press, 2016.
  • Mats Neovius, Luigia Petre, Kaisa Sere, A Theory of Service Dependency. In: John Derrick, Eerke Boiten, Steve Reeves (Eds.), Proceedings 17th International Workshop on Refinement (Refine'15), Oslo, Norway, 22nd June 2015, 209, 112–128, Electronic Proceedings in Theoretical Computer Science (EPTCS), 2016.
  • Mats Neovius, Adaptive Experience-Based Composition of Continuously Changing Quality of Context. In: The Seventh International Conference on Adaptive and Self-Adaptive Systems and Applications, 21 – 26, IARIA, 2015.
  • Seppo Horsmanheimo, Maryam Kamali, Mikko Kolehmainen, Mats Neovius, Luigia Petre, Mauno Rönkkö, Petter Sandvik, On Proving Recoverability of Smart Electrical Grids. In: Julia M. Badger, Kristin Yvonne Rozier (Eds.), 6th International Symposium, NFM 2014, Houston, TX, USA, April 29 - May 1, 2014. , Lecture Notes in Computer Science 8430, 77–92, Springer-Verlag, 2014.
  • Mats Neovius, Markus Stocker, Mauno Rönkkö, Luigia Petre, Trustworthiness Modelling on Continuous Environmental Measurement. In: D.P. Ames, N.W.T. Quinn, A.E. Rizzoli (Eds.), Proceedings of the 7th International Congress on Environmental Modelling and Software (iEMSs), 1–8, International Congress on Environmental Modelling and Software , 2014.
  • Mauno Rönkkö, Markus Stocker, Mats Neovius, Luigia Petre, Mikko Kolehmainen, Designing Resilence Mediators for Control Systems. In: M. H. Hamza (Ed.), The 33rd IASTED International Conference on Modelling, Identification and Control, 147–154, Acta Press, 2014.
  • Mats Neovius, Fredrik Degerlund, Kaisa Sere, Inter-service Dependency in the Action System Formalism. In: Gordon J. Pace, Gerardo Schneider (Eds.), Third Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS’09 , 45 - 53, University of Oslo, Department of Informatics, 2009.
  • Petter Sandvik, Mats Neovius, The Distance-Availability Weighted Piece Selection Method for BitTorrent: A BitTorrent Piece Selection Method for On-Demand Streaming. In: Antonio Liotta, Nick Antonopoulos, George Exarchakos, Takahiro Hara (Eds.), Proceedings of The First International Conference on Advances in P2P Systems (AP2PS 2009), 198–202, IEEE Computer Society, 2009.
  • Mats Neovius, Kaisa Sere, Formal Modular Modelling of Context-Awareness. In: Frank S. de Boer, Marcello M. Bonsangue, Eric Madelain (Eds.), Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Revised Lectures, 102-118, Lecture Notes in Computer Science , 2008.
  • Pontus Boström, Mats Neovius, Ian Oliver, Marina Waldén, Formal Transformation of Platform Independent Models into Platform Specific Models. In: Jacques Julliand, Olga Kouchnarenko (Eds.), B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings, Lecture Notes in Computer Science 4355, 186–200, Springer-Verlag, 2007.
  • Fredrik Degerlund, Mats Neovius, Kaisa Sere, A Framework for Formal Reasoning about Distributed Webs of Trust. In: Olaf Owe Einar Broch Johnsen, Gerardo Schneider (Eds.), Proceedings of the 19th Nordic Workshop on Programming Theory, Universitetet i Oslo - Institutt for informatikk Research Report 366, 78-80, University of Oslo, 2007.
  • Mats Neovius, Fredrik Degerlund, Extending Dependability to Include User-Specific Trust. In: Kaisa Sere Elena Troubitsyna Luigia Petre, Einar Broch Johnsen (Eds.), NODES 07 - NOrdic workshop and doctoral symposium on DEpendability and Security, Oslo, Norway, October 2007, Abstracts, Åbo Akademi Reports on Computer Science & Mathematics Ser. B. No. 37, Åbo Akademi University, 2007.
  • Mats Neovius, Kaisa Sere, Lu Yan, Manoranjan Satpathy, A Formal Model of Context-Awareness and Context-Dependency. In: Van Hung Dang, Pandya Paritosh (Eds.), Proceedings of the fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), 2006., 177 - 185, IEEE Computer Society Press, 2006.
  • Mats Neovius, Lu Yan, A Design Framework for Wireless Sensor Networks . In: Khaldoun Al Agha (Ed.), Ad-Hoc Networking: IFIP 19th World Computer Congress, TC-6, IFIP Interactive Conference on Ad-Hoc Networking, August 20-25, 2006, Santiago, Chile , IFIP International Federation for Information Processing 212, 119 – 127, Springer, 2006.
  • Kaisa Sere, Lu Yan, Mats Neovius, Dependability Challenge in Ubiquitous Computing. In: Proceedings of the International Workshop on Software Engineering Challenges for Ubiquitous Computing (SEUC 2006), June 1-2, 2006 - Lancaster, UK, 2006.
  • Mats Neovius, An Abstract Model for Incentive-Enhanced Trust in P2P Networks. In: Tomoya Enokido, Lu Yan, Bin Xiao, Daeyoung Kim, Yuanshun Dai, Laurence T. Yang (Eds.), Embedded and Ubiquitous Computing - EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 6-9, 2005. , Lecture Notes in Computer Science 3823, 602 – 611, Springer Berlin / Heidelberg, 2005.

Chapters in edited books (2):

  • Mats Neovius, Mauno Rönkkö, Marina Waldén, A Provably Correct Resilience Mediator Pattern. In: Luigia Petre, Emil Sekerinski (Eds.), From Action Systems to Distributed Systems - The Refinement Approach, Computer and Information Science Series, 125–141, Taylor & Francis, 2016.
  • Lu Yan, Mats Neovius, Context Awareness: A Formal Foundation. In: Yang Laurance T., Waluyo Agustinus Borgy, Ma Jianhua, Tan Ling, Srinivasan Bala (Eds.), Mobile Intelligence, 279 – 293, John Wiley & Sons, 2010.

Ph.D. thesis (1):

Technical reports (4):