Peer-reviewed publications

A4 Conference proceedings
A Theory of Service Dependency (2016)
Mats Neovius, Luigia Petre, Kaisa Sere
Electronic Proceedings in Theoretical Computer Science
Open Publishing Association
View on publisher's site
A3 Book section, Chapters in research books
Towards Correct and Reusable Network-on-Chip Architectures (2015)
Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
Elsevier
A1 Journal article (refereed)
Derivation of Concurrent Programs by Stepwise Scheduling of Event-B Models (2014)
Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
Formal Aspects of Computing
View on publisher's site
A1 Journal article (refereed)
Formal Development of Wireless Sensor–Actor Networks (2014)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
Science of Computer Programming
View on publisher's site
A4 Conference proceedings
Refinement of Structured Interactive Systems (2014)
Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorge Stefanescu
Springer
A1 Journal article (refereed)
A Distributed Design of a Network Recovery Algorithm (2013)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
International Journal of Critical Computer-Based Systems
View on publisher's site
A1 Journal article (refereed)
A Formal Approach to H.264 Video Decoding on Multicore Systems (2013)
Kristian Lumme, Luigia Petre, Petter Sandvik, Kaisa Sere
International Journal of Critical Computer-Based Systems
View on publisher's site
A4 Conference proceedings
Derivation of Structural VHDL from Component-Based Event-B Models (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila and Kaisa Sere
TUCS
A4 Conference proceedings
Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems (2013)
Petr Alexeev, Pontus Boström, Marina Waldén, Mikko Huova, Matti Linjama, Kaisa Sere
SCITEPRESS Digital Library
View on publisher's site
A1 Journal article (refereed)
Formal Approach to Agent-Based Dynamic Reconfiguration in Networks-On-Chip (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere
Journal of Systems Architecture
View on publisher's site
A4 Conference proceedings
Generation of Structural VHDL Code with Library Components (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere
IEEE
View on publisher's site
A4 Conference proceedings
Refinement-Based Development of Timed Systems (2012)
Berthing J, Boström P, Sere K, Tsiopoulos L, Vain J
Springer
View on publisher's site
A4 Conference proceedings
Concurrent Scheduling of Event-B Models (2011)
Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
Electronic Proceedings in Theoretical Computer Science
Open Publishing Association
View on publisher's site
A3 Book section, Chapters in research books
Development of Controllers Using Simulink and Contract-Based Design (2011)
Pontus Boström, Mikko Huova, Marta (Plaska) Olszewska, Matti Linjama, Mikko Heikkilä, Kaisa Sere, Marina Waldén
Information science reference IGI
View on publisher's site
A4 Conference proceedings
Contract-based Design in Controller Development and its Evaluation (2009)
Pontus Boström, Marta Pląska, Mikko Huova, Matti Linjama, Mikko Heikkilä, Kaisa Sere, Marina Waldén
Linköping university electronic press
A4 Conference proceedings
Controller Design of Digital Hydraulic Flow Control Valve (2009)
Huova M, Pląska M, Siivonen L, Linjama M, Waldén M, Vilenius M, Sere K
A4 Conference proceedings
Quality Analysis of Simulink Models (2009)
Marta Olszewska (Pląska), Mikko Huova, Marina Waldén, Kaisa Sere, Matti Linjama
dpunkt.verlag GmbH
A4 Conference proceedings
Towards Event-B Specification Metrics (2009)
Marta Olszewska (Pląska), Kaisa Sere
First Deploy Technical Workshop


Other publications

D4 Published development or research report or study
Generation of Structural VHDL Code with Library Components from Formal Event-B Models (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere
D4 Published development or research report or study
The Hathi Project - A Research Project on Parallel Programming Technology 1986 - 88 (Final Report) (1989)
M. Aspnäs, R.J.R. Back, K. Sere

Last updated on 2019-25-04 at 14:01