Where academic tradition
meets the exciting future

You are here: TUCS > EDUCATION > TUCS Graduate Programme > Supervisors > Kaisa Sere

Kaisa Sere

TUCS GP Supervisor at Åbo Akademi University, Department of Information Technologies

TUCS Research Unit: Distributed Systems Laboratory (DS Lab)

e-mail: Kaisa.Sere@abo.fi

Current homepage: https://research.it.abo.fi/personnel/kaisa

Current TUCS GP Students:

Maryam Kamali (Åbo Akademi University, Department of Information Technologies)

Sergey Ostroumov (Åbo Akademi University, Department of Information Technologies)

Inna Pereverzeva (Åbo Akademi University, Department of Information Technologies)

Yuliya Prokhorova (Åbo Akademi University, Department of Information Technologies)

Petter Sandvik (Åbo Akademi University, Department of Information Technologies)

Alumni:

Pontus Boström (Åbo Akademi University, Department of Information Technologies)

Orieta Celiku (Åbo Akademi University, Department of Information Technologies)

Fredrik Degerlund (Åbo Akademi University, Department of Information Technologies)

Dubravka Ilic (Åbo Akademi University, Department of Information Technologies)

Mats Neovius (Åbo Akademi University, Department of Information Technologies)

Marta Olszewska (Åbo Akademi University, Department of Information Technologies)

Luigia Petre (Åbo Akademi University, Department of Information Technologies)

Rimvydas Ruksenas (Åbo Akademi University, Department of Information Technologies)

Mauno Rönkkö (Åbo Akademi University, Department of Information Technologies)

Tiberiu Seceleanu (Åbo Akademi University, Department of Information Technologies)

Anton Tarasyuk (Åbo Akademi University, Department of Information Technologies)

Elena Troubitsyna (Åbo Akademi University, Department of Information Technologies)

Marina Walden (Åbo Akademi University, Department of Information Technologies)

Lu Yan (Åbo Akademi University, Department of Information Technologies)

Latest publications:

Click here to see the full list of publications from the TUCS Publication Database

Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere, A Distributed Design of a Network Recovery Algorithm. International Journal of Critical Computer-Based Systems 4(1), 45–68, 2013.

Kristian Lumme, Luigia Petre, Petter Sandvik, Kaisa Sere, A Formal Approach to H.264 Video Decoding on Multicore Systems. International Journal of Critical Computer-Based Systems 4(1), 3–26, 2013.

Petr Alexeev, Pontus Boström, Marina Waldén, Mikko Huova, Matti Linjama, Kaisa Sere, Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems. In: César Benavente-Peces, Joaquim Filipe (Eds.), Proceedings of the 3rd International Conference on Pervasive Embedded Computing and Communication Systems, 189 – 194 , SCITEPRESS, 2013.

Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere, Generation of Structural VHDL Code with Library Components from Formal Event-B Models. TUCS Technical Reports 1073, 2013.

Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain, Refinement-Based Development of Timed Systems. In: Diego Latella, Helen Treharne (Eds.), 9th International Conference on Integrated Formal Methods (iFM 2012), Lecture Notes in Computer Science 7321, 69–84, Springer, Heidelberg, 2012.

Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu, Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. In: Diego Latella, Helen Treharne (Eds.), 9th International Conference on Integrated Formal Methods (iFM 2012), Lecture Notes in Computer Science 7321, 221–236, Springer, Heidelberg, 2012.

Mikko Huova, Miikka Ketonen, Petr Alexeev, Pontus Boström, Matti Linjama, Marina Waldén, Kaisa Sere, Simulations with Fault-Tolerant Controller Software of a Digital Valve. In: Arto Laamanen (Ed.), Proceedings of the Fifth Workshop on Digital Fluid Power - DFP12, Tampere, Finland, 223–242, Tampere University of Technology, Finland, 2012.

Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab, Refinement-Based Modeling of 3D NoCs. In: Farhad Arbab, Marjan Sirjani (Eds.), 4th IPM International Conference on Fundamentals of Software Engineering, Lecture Notes in Computer Science 7141, 236–252, Springer, 2012.

Luigia Petre, Petter Sandvik, Kaisa Sere, Node Coordination in Peer-to-Peer Networks. In: Marjan Sirjani (Ed.), COORDINATION 2012, Lecture Notes in Computer Science 7274, 196–211, Springer-Verlag GmbH Berlin Heidelberg, 2012.

Luigia Petre, Kaisa Sere, Marina Waldén, Location-Awareness with Action Systems. In: Paulo Alencar, Donald Cowan (Eds.), Handbook of Research on Mobile Software Engineering - Design, Implementation, and Emergent Applications, 1, 463–483, IGI Global, 2012.

Radu Gramatovici, Luigia Petre, Kaisa Sere, Alin Stefanescu, Gheorghe Stefanescu, Synchronization in Timed Interactive Systems. TUCS Technical Reports 1047, 2012.

Luigia Petre, Petter Sandvik, Kaisa Sere, A Modular Approach to Formal Modelling of Peer-to-Peer Networks. TUCS Technical Reports 1039, Turku Centre for Computer Science, 2012.