 | 2008 |
|---|
| 59 |       | Jorge Cuéllar,
T. S. E. Maibaum,
Kaisa Sere:
FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings
Springer 2008 |
| 58 |  | Mats Neovius,
Kaisa Sere:
Formal Modular Modelling of Context-Awareness.
FMCO 2008: 102-118 |
| 2007 |
|---|
| 57 | | Lu Yan,
Kaisa Sere:
Dependability Aspects of Ubiquitous Computing.
ARES 2007: 451-453 |
| 56 | | Fredrik Degerlund,
Kaisa Sere:
A Framework for Incorporating Trust into Formal Systems Development.
ICTAC 2007: 154-168 |
| 55 | | Fredrik Degerlund,
Marina A. Waldén,
Kaisa Sere:
Implementation Issues Concerning the Action Systems Formalism.
PDCAT 2007: 471-479 |
| 2006 |
|---|
| 54 | | Luigia Petre,
Kaisa Sere,
Marina A. Waldén:
A Language for Modeling Network Availability.
ICFEM 2006: 639-659 |
| 53 | | Zheng Liang,
Juha Plosila,
Lu Yan,
Kaisa Sere:
Implementing a Self-Timed Low-Power Java Accelerator for Network-on-Chip Applications.
PDCAT 2006: 344-347 |
| 52 | | Mats Neovius,
Kaisa Sere,
Lu Yan,
M. Satpathy:
A Formal Model of Context-Awareness and Context-Dependency.
SEFM 2006: 177-185 |
| 2005 |
|---|
| 51 | | Zheng Liang,
Juha Plosila,
Lu Yan,
Kaisa Sere:
On-chip Debug for an Asynchronous Java Accelerator.
PDCAT 2005: 312-315 |
| 50 | | Juha Plosila,
Kaisa Sere,
Marina A. Waldén:
Asynchronous system synthesis.
Sci. Comput. Program. 55(1-3): 259-288 (2005) |
| 2004 |
|---|
| 49 | | Lu Yan,
Kaisa Sere,
Xinrong Zhou,
Jun Pang:
Towards an Integrated Architecture for Peer-to-Peer and Ad Hoc Overlay Network Applications.
FTDCS 2004: 312-318 |
| 48 | | Lu Yan,
Moisés Ferrer Serra,
Guangcheng Niu,
Xinrong Zhou,
Kaisa Sere:
SkyMin: A Massive Peer-to-Peer Storage System.
GCC 2004: 527-534 |
| 47 | | Lu Yan,
Kaisa Sere:
A Formalism for Context-Aware Mobile Computing.
ISPDC/HeteroPar 2004: 14-21 |
| 46 | | Kaisa Sere,
Marina A. Waldén:
Guest Editors' Foreword.
Nord. J. Comput. 11(2): 73-74 (2004) |
| 2003 |
|---|
| 45 | | Lu Yan,
Kaisa Sere:
Stepwise Development of Peer-to-Peer Systems.
IWFM 2003 |
| 44 | | Mauno Rönkkö,
Anders P. Ravn,
Kaisa Sere:
Hybrid action systems.
Theor. Comput. Sci. 290(1): 937-973 (2003) |
| 2002 |
|---|
| 43 | | Michael J. Butler,
Luigia Petre,
Kaisa Sere:
Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings
Springer 2002 |
| 42 | | Juha Plosila,
Kaisa Sere,
Marina A. Waldén:
Design with Asynchronously Communicating Components.
FMCO 2002: 424-442 |
| 2001 |
|---|
| 41 | | Kaisa Sere,
Wang Li:
Guest Editors' Foreword.
Nord. J. Comput. 8(1): 1 (2001) |
| 40 | | Kaisa Sere,
Marina A. Waldén:
Structuring and Verifying Distributed Algorithms.
Nord. J. Comput. 8(2): 193-218 (2001) |
| 2000 |
|---|
| 39 | | Joost N. Kok,
Kaisa Sere:
Coordination-Based Design of Distributed Systems.
COORDINATION 2000: 347-352 |
| 38 | | Luigia Petre,
Kaisa Sere:
Developing Control Systems Components.
IFM 2000: 156-175 |
| 37 | | Kaisa Sere,
Marina A. Waldén:
Data Refinement of Remote Procedures.
Formal Asp. Comput. 12(4): 278-297 (2000) |
| 36 | | Eric J. Hedman,
Joost N. Kok,
Kaisa Sere:
Coordinating action systems.
Theor. Comput. Sci. 240(1): 91-115 (2000) |
| 1999 |
|---|
| 35 | | Luigia Petre,
Kaisa Sere:
Coordination Among Mobile Objects.
COORDINATION 1999: 227-242 |
| 34 | | Marcello M. Bonsangue,
Joost N. Kok,
Kaisa Sere:
Developing Object-based Distributed Systems.
FMOODS 1999 |
| 33 | | Mauno Rönkkö,
Kaisa Sere:
Refinement and Continuous Behaviour.
HSCC 1999: 223-237 |
| 32 | | Kaisa Sere,
Elena Troubitsyna:
Hazard Analysis in Formal Specification.
SAFECOMP 1999: 350-360 |
| 31 | | Kaisa Sere,
Elena Troubitsyna:
Safety Analysis in Formal Specification.
World Congress on Formal Methods 1999: 1564-1583 |
| 30 | | Luigia Petre,
Kaisa Sere,
Marina A. Waldén:
A topological approach to distributed computing.
Electr. Notes Theor. Comput. Sci. 28: (1999) |
| 29 | | Kaisa Sere:
Guest Editor's Foreword.
Nord. J. Comput. 6(3): 213-214 (1999) |
| 1998 |
|---|
| 28 | | Samuel Holmström,
Kaisa Sere:
Reconfigurable Hardware - A Study in Codesign.
FPL 1998: 451-455 |
| 27 | | Marcello M. Bonsangue,
Joost N. Kok,
Kaisa Sere:
An Approach to Object-Orientation in Action Systems.
MPC 1998: 68-95 |
| 26 | | Marina A. Waldén,
Kaisa Sere:
Reasoning about Action Systems using the B-Method.
Formal Methods in System Design 13(1): 5-35 (1998) |
| 25 | | Henk Goeman,
Joost N. Kok,
Kaisa Sere,
Rob T. Udink:
Coordination in the ImpUNITY Framework.
Sci. Comput. Program. 31(2-3): 313-334 (1998) |
| 1997 |
|---|
| 24 | | Juha Plosila,
Kaisa Sere:
Action Systems in Pipelined Processor Design.
ASYNC 1997: 156-166 |
| 23 | | Eric J. Hedman,
Joost N. Kok,
Kaisa Sere:
Coordinating Action Systems.
COORDINATION 1997: 302-319 |
| 22 | | Kaisa Sere,
Marina A. Waldén:
Data Refinement and Remote Procedures.
TACS 1997: 267-294 |
| 1996 |
|---|
| 21 | | Henk Goeman,
Joost N. Kok,
Kaisa Sere,
Rob T. Udink:
Coordination in the ImpUNITY Framework.
COORDINATION 1996: 215-230 |
| 20 | | V. Kasurinen,
Kaisa Sere:
Integrating Action Systems and Z in a Medical System Specification.
FME 1996: 105-119 |
| 19 | | Marina A. Waldén,
Kaisa Sere:
Refining Action Systems within B-Tool.
FME 1996: 85-104 |
| 18 | | Emil Sekerinski,
Kaisa Sere:
A Theory of Prioritizing Composition.
Comput. J. 39(8): 701-712 (1996) |
| 17 | | Ralph-Johan Back,
Kaisa Sere:
Superposition Refinement of Reactive Systems.
Formal Asp. Comput. 8(3): 324-346 (1996) |
| 16 | | Kaisa Sere:
Procedures and Atomicity Refinement.
Inf. Process. Lett. 60(2): 67-74 (1996) |
| 15 | | Ralph-Johan Back,
Alain J. Martin,
Kaisa Sere:
Specifying the Caltech Asynchronous Microprocessor.
Sci. Comput. Program. 26(1-3): 79-97 (1996) |
| 14 | | Ralph-Johan Back,
Kaisa Sere:
From Action Systems to Modular Systems.
Software - Concepts and Tools 17(1): 26-39 (1996) |
| 1995 |
|---|
| 13 | | Michael J. Butler,
Emil Sekerinski,
Kaisa Sere:
An Action System Approach to the Steam Boiler Problem.
Formal Methods for Industrial Applications 1995: 129-148 |
| 12 | | Ralph-Johan Back,
Alain J. Martin,
Kaisa Sere:
An Action System Specification of the Caltech Asynchronous Microprocessor.
MPC 1995: 159-179 |
| 1994 |
|---|
| 11 | | Ralph-Johan Back,
Kaisa Sere:
From Action Systems to Modular Systems.
FME 1994: 1-25 |
| 10 | | Kaisa Sere,
Marina A. Waldén:
Verification of a Distributed Algorithm (Abstract).
PODC 1994: 391 |
| 9 | | Ralph-Johan Back,
Kaisa Sere:
Action Systems with Synchronous Communication.
PROCOMET 1994: 107-126 |
| 1993 |
|---|
| 8 | | Kaisa Sere:
A Formalization of Superposition Refinement.
ISTCS 1993: 222-230 |
| 1991 |
|---|
| 7 | | Ralph-Johan Back,
Kaisa Sere:
Superposition Refinement of Parallel Algorithms.
FORTE 1991: 475-493 |
| 6 | | Kaisa Sere:
Stepwise Refinement of Reactive Processor Farms.
PSTV 1991: 109-124 |
| 5 | | Joakim von Wright,
Kaisa Sere:
Program Transformations and Refinements in HOL.
TPHOLs 1991: 231-239 |
| 4 | | Ralph-Johan Back,
Kaisa Sere:
Stepwise Refinement of Action Systems.
Structured Programming 12(1): 17-30 (1991) |
| 1989 |
|---|
| 3 | | Ralph-Johan Back,
Kaisa Sere:
Stepwise Refinement of Action Systems.
MPC 1989: 115-138 |
| 2 | | Ralph-Johan Back,
Kaisa Sere:
Stepwise Refinement of Parallel Algorithms.
Sci. Comput. Program. 13(1): 133-180 (1989) |
| 1987 |
|---|
| 1 | | Kaisa Sere:
Stepwise Removal of Virtual Channels in Distributed Algorithms.
WDAG 1987: 408-428 |
