Kaisa Sere

Kaisa Sere is a Professor of Computer Science and Engineering at Åbo Akademi University since 1997. She got her PhD in 1990 on the formal design of parallel algorithms from Åbo Akademi University. Between 1993-97, she was Associate Professor in Computer Science at University of Kuopio. She is the founder and leader of the Distributed Systems Laboratory that contains about 25 researchers. Her current research interests are within the design of dependable distributed systems, especially refinement-based approaches to the construction of systems ranging from pure software to hardware and digital circuits. Her research has been supported by the Academy of Finland as well as by the EU framework programmes 5 to 7 with several grants. She has organised several summer schools, conferences, and workshops within her research areas. She was the vice chair of the Council of Natural and Engineering Sciences at the Academy of Finland (1.1.2004-1.12.2009). Kaisa Sere has more than 100 refereed publications.

Publications

Dependability and Computer Engineering: Concepts for Software-Intensive Systems
Dependability and Computer Engineering: Concepts for Software-Intensive Systems
Luigia Petre, Kaisa Sere, Elena Troubitsyna. © 2012. 515 pages.
Rapid development of digital technologies has led to the widespread use of software in all aspects of our life. The degree of reliance that can be justifiably placed on...
Network Availability for Distributed Applications
Network Availability for Distributed Applications
Luigia Petre, Kaisa Sere, Marina Waldén. © 2012. 21 pages.
Dependability (the degree of reliance that can be justifiably placed on software-intensive systems) is characterized by several attributes, including availability. In this...
Development of Controllers Using Simulink and Contract-Based Design
Development of Controllers Using Simulink and Contract-Based Design
Pontus Boström, Mikko Huova, Marta (Plaska) Olszewska, Matti Linjama, Mikko Heikkilä, Kaisa Sere, Marina Waldén. © 2012. 19 pages.
This chapter describes the application of contract-based design in Simulink to the development of a digital hydraulic controller. A semi-formal approach to the development is...
Towards Sustainable Development of Energy-Aware Systems
Towards Sustainable Development of Energy-Aware Systems
Luigia Petre, Kaisa Sere. © 2012. 16 pages.
Smart devices have pervaded our society and encouraged lifestyles that depend on them. One of the fundamental requirements for a successful dependency is that the general public...
Modeling Communication in Multi–Processor Systems–on–Chip Using Modular Connectors
Modeling Communication in Multi–Processor Systems–on–Chip Using Modular Connectors
Leonidas Tsiopoulos, Kaisa Sere, Juha Plosila. © 2012. 22 pages.
Formal methods of concurrent programming can be used to develop and verify complex Multi–Processor Systems–On–Chip in order to ensure that these systems satisfy their functional...
Towards Sustainable Development of Energy-Aware Systems
Towards Sustainable Development of Energy-Aware Systems
Luigia Petre, Kaisa Sere. © 2012. 16 pages.
Smart devices have pervaded our society and encouraged lifestyles that depend on them. One of the fundamental requirements for a successful dependency is that the general public...
Location-Awareness with Action Systems
Location-Awareness with Action Systems
Luigia Petre, Kaisa Sere, Marina Waldén. © 2012. 21 pages.
The location of various network resources is of outmost interest when trying to model and analyze various computing and communicating contemporary platforms. Formal methods -...
Modeling Communication in Multi–Processor Systems–on–Chip Using Modular Connectors
Modeling Communication in Multi–Processor Systems–on–Chip Using Modular Connectors
Leonidas Tsiopoulos, Kaisa Sere, Juha Plosila. © 2010. 22 pages.
Formal methods of concurrent programming can be used to develop and verify complex Multi–Processor Systems–On–Chip in order to ensure that these systems satisfy their functional...