dblp.uni-trier.dewww.uni-trier.de

Kaisa Sere Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*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
58EEMats Neovius, Kaisa Sere: Formal Modular Modelling of Context-Awareness. FMCO 2008: 102-118
2007
57EELu Yan, Kaisa Sere: Dependability Aspects of Ubiquitous Computing. ARES 2007: 451-453
56EEFredrik Degerlund, Kaisa Sere: A Framework for Incorporating Trust into Formal Systems Development. ICTAC 2007: 154-168
55EEFredrik Degerlund, Marina A. Waldén, Kaisa Sere: Implementation Issues Concerning the Action Systems Formalism. PDCAT 2007: 471-479
2006
54EELuigia Petre, Kaisa Sere, Marina A. Waldén: A Language for Modeling Network Availability. ICFEM 2006: 639-659
53EEZheng Liang, Juha Plosila, Lu Yan, Kaisa Sere: Implementing a Self-Timed Low-Power Java Accelerator for Network-on-Chip Applications. PDCAT 2006: 344-347
52EEMats Neovius, Kaisa Sere, Lu Yan, M. Satpathy: A Formal Model of Context-Awareness and Context-Dependency. SEFM 2006: 177-185
2005
51EEZheng Liang, Juha Plosila, Lu Yan, Kaisa Sere: On-chip Debug for an Asynchronous Java Accelerator. PDCAT 2005: 312-315
50EEJuha Plosila, Kaisa Sere, Marina A. Waldén: Asynchronous system synthesis. Sci. Comput. Program. 55(1-3): 259-288 (2005)
2004
49EELu 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
48EELu Yan, Moisés Ferrer Serra, Guangcheng Niu, Xinrong Zhou, Kaisa Sere: SkyMin: A Massive Peer-to-Peer Storage System. GCC 2004: 527-534
47EELu 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
45EELu 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
42EEJuha 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)
40EEKaisa Sere, Marina A. Waldén: Structuring and Verifying Distributed Algorithms. Nord. J. Comput. 8(2): 193-218 (2001)
2000
39EEJoost N. Kok, Kaisa Sere: Coordination-Based Design of Distributed Systems. COORDINATION 2000: 347-352
38EELuigia Petre, Kaisa Sere: Developing Control Systems Components. IFM 2000: 156-175
37EEKaisa Sere, Marina A. Waldén: Data Refinement of Remote Procedures. Formal Asp. Comput. 12(4): 278-297 (2000)
36EEEric J. Hedman, Joost N. Kok, Kaisa Sere: Coordinating action systems. Theor. Comput. Sci. 240(1): 91-115 (2000)
1999
35EELuigia 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
33EEMauno Rönkkö, Kaisa Sere: Refinement and Continuous Behaviour. HSCC 1999: 223-237
32EEKaisa Sere, Elena Troubitsyna: Hazard Analysis in Formal Specification. SAFECOMP 1999: 350-360
31EEKaisa Sere, Elena Troubitsyna: Safety Analysis in Formal Specification. World Congress on Formal Methods 1999: 1564-1583
30EELuigia 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
28EESamuel Holmström, Kaisa Sere: Reconfigurable Hardware - A Study in Codesign. FPL 1998: 451-455
27EEMarcello 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
24EEJuha 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
20EEV. Kasurinen, Kaisa Sere: Integrating Action Systems and Z in a Medical System Specification. FME 1996: 105-119
19EEMarina 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)
16EEKaisa 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
11EERalph-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
1EEKaisa Sere: Stepwise Removal of Virtual Channels in Distributed Algorithms. WDAG 1987: 408-428

Coauthor Index

1Ralph-Johan Back [2] [3] [4] [7] [9] [11] [12] [14] [15] [17]
2Marcello M. Bonsangue [27] [34]
3Michael J. Butler [13] [43]
4Jorge Cuéllar [59]
5Fredrik Degerlund [55] [56]
6Henk Goeman [21] [25]
7Eric J. Hedman [23] [36]
8Samuel Holmström [28]
9V. Kasurinen [20]
10Joost N. Kok [21] [23] [25] [27] [34] [36] [39]
11Wang Li [41]
12Zheng Liang [51] [53]
13T. S. E. Maibaum (Thomas Stephen Edward Maibaum) [59]
14Alain J. Martin [12] [15]
15Mats Neovius [52] [58]
16Guangcheng Niu [48]
17Jun Pang [49]
18Luigia Petre [30] [35] [38] [43] [54]
19Juha Plosila [24] [42] [50] [51] [53]
20Anders P. Ravn [44]
21Mauno Rönkkö [33] [44]
22M. Satpathy [52]
23Emil Sekerinski [13] [18]
24Moisés Ferrer Serra [48]
25Elena Troubitsyna [31] [32]
26Rob T. Udink [21] [25]
27Marina A. Waldén [10] [19] [22] [26] [30] [37] [40] [42] [46] [50] [54] [55]
28Joakim von Wright [5]
29Lu Yan [45] [47] [48] [49] [51] [52] [53] [57]
30Xinrong Zhou [48] [49]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)