Kaisa Sere

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