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 (10):

  • 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.
  • Mauno Rönkkö, Xuandong Li, Linear Hybrid Action Systems. In: the 11th Nordic Workshop on Programming Theory, 1999.
  • Mauno Rönkkö, Anders P. Ravn, Action Systems with Continuous Behaviour. In: Proceedings of the Hybrid Systems V, LNCS 1567, 304-323, Springer-Verlag, 1999.
  • Mauno Rönkkö, Kaisa Sere, Refinement and Continuous Behaviour. In: Hybrid Systems: Computation and Control, Second International Workshop HSCC'99, LNCS 1569, 223-237, Springer-Verlag, 1999.
  • Mauno Rönkkö, Kaisa Sere, Refinement and Continuous Behaviour. In: the 10th Nordic Workshop on Programming Theory, 1998.
  • Mauno Rönkkö, Anders P. Ravn, Differential Equations as Actions. In: Hybrid Systems V, Fifth International Hybrid Systems Workshop, 145--150, 1997.
  • Mauno Rönkkö, Anders P. Ravn, Hybrid Action Systems. In: 9th Nordic Workshop on Programming Theory, 1997.
  • Mauno Rönkkö, Emil Sekerinski, Kaisa Sere, Control Systems as Action Systems. In: Proc. of Workshop on Discrete Event Systems (WODES'96), 1996.

Chapters in edited books (1):

  • 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.

Ph.D. thesis (2):

Technical reports (11):