Referentgranskade publikationer

A4 Konferenspublikationer
A Theory of Service Dependency (2016)
Mats Neovius, Luigia Petre, Kaisa Sere
Electronic Proceedings in Theoretical Computer Science
Open Publishing Association
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
Towards Correct and Reusable Network-on-Chip Architectures (2015)
Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
Elsevier
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
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
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Formal Development of Wireless Sensor–Actor Networks (2014)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
Science of Computer Programming
Visa på utgivarens sida
A4 Konferenspublikationer
Refinement of Structured Interactive Systems (2014)
Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorge Stefanescu
Springer
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
A Distributed Design of a Network Recovery Algorithm (2013)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
International Journal of Critical Computer-Based Systems
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
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
Visa på utgivarens sida
A4 Konferenspublikationer
Derivation of Structural VHDL from Component-Based Event-B Models (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila and Kaisa Sere
TUCS
A4 Konferenspublikationer
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
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Formal Approach to Agent-Based Dynamic Reconfiguration in Networks-On-Chip (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere
Journal of Systems Architecture
Visa på utgivarens sida
A4 Konferenspublikationer
Generation of Structural VHDL Code with Library Components (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
Refinement-Based Development of Timed Systems (2012)
Berthing J, Boström P, Sere K, Tsiopoulos L, Vain J
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
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
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
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
Visa på utgivarens sida
A4 Konferenspublikationer
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 Konferenspublikationer
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 Konferenspublikationer
Quality Analysis of Simulink Models (2009)
Marta Olszewska (Pląska), Mikko Huova, Marina Waldén, Kaisa Sere, Matti Linjama
dpunkt.verlag GmbH
A4 Konferenspublikationer
Towards Event-B Specification Metrics (2009)
Marta Olszewska (Pląska), Kaisa Sere
First Deploy Technical Workshop


Övriga publikationer

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

Senast uppdaterad 2019-25-04 vid 14:01