Kaisa Sere

Publication Activity (10 Years)

Years Active: 1987-2015
Publications (10 Years): 0

Top Topics

Resource Availability

Multiview Video Coding

Interactive Systems

Top Venues

Int. J. Crit. Comput. Based Syst.

Formal Aspects Comput.

Publications

Mats Neovius, Luigia Petre, Kaisa Sere
A Theory of Service Dependency. Refine@FM (2015)
Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu
Refinement of Structured Interactive Systems. ICTAC (2014)
Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
Derivation of concurrent programs by stepwise scheduling of Event-B models. Formal Aspects Comput. 26 (2) (2014)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
Formal development of wireless sensor-actor networks. Sci. Comput. Program. 80 (2014)
Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere
Formal approach to agent-based dynamic reconfiguration in Networks-On-Chip. J. Syst. Archit. 59 (9) (2013)
Luigia Petre, Kaisa Sere
Location-aware resource availability. HPCS (2013)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
A distributed design of a network recovery algorithm. Int. J. Crit. Comput. Based Syst. 4 (1) (2013)
Kristian Lumme, Luigia Petre, Petter Sandvik, Kaisa Sere
A formal approach to H.264 video decoding on multicore systems. Int. J. Crit. Comput. Based Syst. 4 (1) (2013)
Sergey Ostroumov, Leonidas Tsiopoulos, Kaisa Sere, Juha Plosila
Generation of Structural VHDL Code with Library Components from Formal Event-B Models. DSD (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. PECCS (2013)
Luigia Petre, Petter Sandvik, Kaisa Sere
Node Coordination in Peer-to-Peer Networks. COORDINATION (2012)
Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain
Refinement-Based Development of Timed Systems. IFM (2012)
Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu
Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. IFM (2012)
Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
Formal Modeling of Multicast Communication in 3D NoCs. DSD (2011)
Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
CorreComm: A formal hierarchical framework for communication designs. NESEA (2011)
Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
Concurrent Scheduling of Event-B Models Refine@FM (2011)
Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab
Refinement-Based Modeling of 3D NoCs. FSEN (2011)
Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere
Self-Recovering Sensor-Actor Networks FOCLASA (2010)
Luigia Petre, Kaisa Sere
Towards Sustainable Development of Energy-Aware Systems. Int. J. Embed. Real Time Commun. Syst. 1 (2) (2010)
Luigia Petre, Kaisa Sere, Leonidas Tsiopoulos
Model-Based Analysis Tools for Component Synthesis. FMCO (2010)
Leonidas Tsiopoulos, Kaisa Sere, Juha Plosila
Modeling Communication in Multi-Processor Systems-on-Chip Using Modular Connectors. Int. J. Embed. Real Time Commun. Syst. 1 (2) (2010)
Mats Neovius, Kaisa Sere
Formal Modular Modelling of Context-Awareness. FMCO (2008)
Fredrik Degerlund, Kaisa Sere
A Framework for Incorporating Trust into Formal Systems Development. ICTAC (2007)
Fredrik Degerlund, Marina Waldén, Kaisa Sere
Implementation Issues Concerning the Action Systems Formalism. PDCAT (2007)
Lu Yan, Kaisa Sere
Dependability Aspects of Ubiquitous Computing. ARES (2007)
Luigia Petre, Kaisa Sere, Marina Waldén
A Language for Modeling Network Availability. ICFEM (2006)
Mats Neovius, Kaisa Sere, Lu Yan, M. Satpathy
A Formal Model of Context-Awareness and Context-Dependency. SEFM (2006)
Zheng Liang, Juha Plosila, Lu Yan, Kaisa Sere
Implementing a Self-Timed Low-Power Java Accelerator for Network-on-Chip Applications. PDCAT (2006)
Juha Plosila, Kaisa Sere, Marina Waldén
Asynchronous system synthesis. Sci. Comput. Program. 55 (1-3) (2005)
Zheng Liang, Juha Plosila, Lu Yan, Kaisa Sere
On-chip Debug for an Asynchronous Java Accelerator. PDCAT (2005)
Lu Yan, Kaisa Sere, Xinrong Zhou, Jun Pang
Towards an Integrated Architecture for Peer-to-Peer and Ad Hoc Overlay Network Applications. FTDCS (2004)
Lu Yan, Kaisa Sere
A Formalism for Context-Aware Mobile Computing. ISPDC/HeteroPar (2004)
Lu Yan, Moisés Ferrer Serra, Guangcheng Niu, Xinrong Zhou, Kaisa Sere
SkyMin: A Massive Peer-to-Peer Storage System. GCC (2004)
Kaisa Sere, Marina Waldén
Guest Editors' Foreword. Nord. J. Comput. 11 (2) (2004)
Lu Yan, Kaisa Sere
Stepwise Development of Peer-to-Peer Systems. IWFM (2003)
Mauno Rönkkö, Anders P. Ravn, Kaisa Sere
Hybrid action systems. Theor. Comput. Sci. 290 (1) (2003)
Juha Plosila, Kaisa Sere, Marina Waldén
Design with Asynchronously Communicating Components. FMCO (2002)
Kaisa Sere, Marina Waldén
Structuring and Verifying Distributed Algorithms. Nord. J. Comput. 8 (2) (2001)
Kaisa Sere, Wang Li
Guest Editors' Foreword. Nord. J. Comput. 8 (1) (2001)
Joost N. Kok, Kaisa Sere
Coordination-Based Design of Distributed Systems. COORDINATION (2000)
Kaisa Sere, Marina Waldén
Data Refinement of Remote Procedures. Formal Aspects Comput. 12 (4) (2000)
Luigia Petre, Kaisa Sere
Developing Control Systems Components. IFM (2000)
Eric J. Hedman, Joost N. Kok, Kaisa Sere
Coordinating action systems. Theor. Comput. Sci. 240 (1) (2000)
Luigia Petre, Kaisa Sere, Marina Waldén
A topological approach to distributed computing. Electron. Notes Theor. Comput. Sci. 28 (1999)
Mauno Rönkkö, Kaisa Sere
Refinement and Continuous Behaviour. HSCC (1999)
Kaisa Sere
Guest Editor's Foreword. Nord. J. Comput. 6 (3) (1999)
Kaisa Sere, Elena Troubitsyna
Hazard Analysis in Formal Specification. SAFECOMP (1999)
Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere
Developing Object-based Distributed Systems. FMOODS (1999)
Luigia Petre, Kaisa Sere
Coordination Among Mobile Objects. COORDINATION (1999)
Kaisa Sere, Elena Troubitsyna
Safety Analysis in Formal Specification. World Congress on Formal Methods (1999)
Marina Waldén, Kaisa Sere
Reasoning about Action Systems using the B-Method. Formal Methods Syst. Des. 13 (1) (1998)
Henk Goeman, Joost N. Kok, Kaisa Sere, Rob T. Udink
Coordination in the ImpUNITY Framework. Sci. Comput. Program. 31 (2-3) (1998)
Samuel Holmström, Kaisa Sere
Reconfigurable Hardware - A Study in Codesign. FPL (1998)
Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere
An Approach to Object-Orientation in Action Systems. MPC (1998)
Juha Plosila, Kaisa Sere
Action Systems in Pipelined Processor Design. ASYNC (1997)
Kaisa Sere, Marina Waldén
Data Refinement and Remote Procedures. TACS (1997)
Eric J. Hedman, Joost N. Kok, Kaisa Sere
Coordinating Action Systems. COORDINATION (1997)
Kaisa Sere, Marina Waldén
Reverse Engineering Distributed Algorithms. J. Softw. Maintenance Res. Pract. 8 (2) (1996)
Emil Sekerinski, Kaisa Sere
A Theory of Prioritizing Composition. Comput. J. 39 (8) (1996)
V. Kasurinen, Kaisa Sere
Integrating Action Systems and Z in a Medical System Specification. FME (1996)
Kaisa Sere
Procedures and Atomicity Refinement. Inf. Process. Lett. 60 (2) (1996)
Ralph-Johan Back, Kaisa Sere
From Action Systems to Modular Systems. Softw. Concepts Tools 17 (1) (1996)
Ralph-Johan Back, Alain J. Martin, Kaisa Sere
Specifying the Caltech Asynchronous Microprocessor. Sci. Comput. Program. 26 (1-3) (1996)
Ralph-Johan Back, Kaisa Sere
Superposition Refinement of Reactive Systems. Formal Aspects Comput. 8 (3) (1996)
Michiel C. van Wezel, Joost N. Kok, Kaisa Sere
Determining the number of dimensions underlying customer-choices with a competitive neural network. ICNN (1996)
Henk Goeman, Joost N. Kok, Kaisa Sere, Rob T. Udink
Coordination in the ImpUNITY Framework. COORDINATION (1996)
Marina Waldén, Kaisa Sere
Refining Action Systems within B-Tool. FME (1996)
Michael J. Butler, Emil Sekerinski, Kaisa Sere
An Action System Approach to the Steam Boiler Problem. Formal Methods for Industrial Applications (1995)
Barbro Back, Guido Osteroom, Kaisa Sere, Michiel C. van Wezel
Intelligent IS within business: bankruptcy predictions using neural networks. ECIS (1995)
Ralph-Johan Back, Alain J. Martin, Kaisa Sere
An Action System Specification of the Caltech Asynchronous Microprocessor. MPC (1995)
Ralph-Johan Back, Kaisa Sere
Action Systems with Synchronous Communication. PROCOMET (1994)
Ralph-Johan Back, Kaisa Sere
From Action Systems to Modular Systems. FME (1994)
Kaisa Sere, Marina Waldén
Verification of a Distributed Algorithm (Abstract). PODC (1994)
Kaisa Sere
A Formalization of Superposition Refinement. ISTCS (1993)
Ralph-Johan Back, Kaisa Sere
Stepwise Refinement of Action Systems. Struct. Program. 12 (1) (1991)
Ralph-Johan Back, Kaisa Sere
Superposition Refinement of Parallel Algorithms. FORTE (1991)
Joakim von Wright, Kaisa Sere
Program Transformations and Refinements in HOL. TPHOLs (1991)
Kaisa Sere
Stepwise Refinement of Reactive Processor Farms. PSTV (1991)
Marina Waldén, Kaisa Sere
Free text retrieval on transputer networks. Microprocess. Microsystems 13 (3) (1989)
Ralph-Johan Back, Kaisa Sere
Stepwise Refinement of Parallel Algorithms. Sci. Comput. Program. 13 (1) (1989)
Ralph-Johan Back, Kaisa Sere
Stepwise Refinement of Action Systems. MPC (1989)
Kaisa Sere
Stepwise Removal of Virtual Channels in Distributed Algorithms. WDAG (1987)