default search action
Kaisa Sere
Person information
- affiliation: Abo Akademi University, Turku, Finland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2015
- [c56]Mats Neovius, Luigia Petre, Kaisa Sere:
A Theory of Service Dependency. Refine@FM 2015: 112-128 - 2014
- [j26]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): 281-303 (2014) - [j25]Maryam Kamali
Formal development of wireless sensor-actor networks. Sci. Comput. Program. 80: 25-49 (2014) - [c55]Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu:
Refinement of Structured Interactive Systems. ICTAC 2014: 133-150 - 2013
- [j24]Kristian Lumme, Luigia Petre, Petter Sandvik
A formal approach to H.264 video decoding on multicore systems. Int. J. Crit. Comput. Based Syst. 4(1): 3-26 (2013) - [j23]Maryam Kamali
A distributed design of a network recovery algorithm. Int. J. Crit. Comput. Based Syst. 4(1): 45-68 (2013) - [j22]Sergey Ostroumov, Leonidas Tsiopoulos
Formal approach to agent-based dynamic reconfiguration in Networks-On-Chip. J. Syst. Archit. 59(9): 709-728 (2013) - [c54]Sergey Ostroumov, Leonidas Tsiopoulos
Generation of Structural VHDL Code with Library Components from Formal Event-B Models. DSD 2013: 111-118 - [c53]Luigia Petre, Kaisa Sere:
Location-aware resource availability. HPCS 2013: 626 - [c52]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: 189-194 - 2012
- [c51]Luigia Petre, Petter Sandvik
Node Coordination in Peer-to-Peer Networks. COORDINATION 2012: 196-211 - [c50]Jesper Berthing, Pontus Boström
Refinement-Based Development of Timed Systems. IFM 2012: 69-83 - [c49]Denisa Diaconescu, Ioana Leustean
Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. IFM 2012: 221-236 - 2011
- [c48]Maryam Kamali
Formal Modeling of Multicast Communication in 3D NoCs. DSD 2011: 634-642 - [c47]Maryam Kamali
Refinement-Based Modeling of 3D NoCs. FSEN 2011: 236-252 - [c46]Maryam Kamali
CorreComm: A formal hierarchical framework for communication designs. NESEA 2011: 1-7 - [c45]Pontus Boström
Concurrent Scheduling of Event-B Models. Refine@FM 2011: 166-182 - 2010
- [j21]Leonidas Tsiopoulos
Modeling Communication in Multi-Processor Systems-on-Chip Using Modular Connectors. Int. J. Embed. Real Time Commun. Syst. 1(2): 23-44 (2010) - [j20]Luigia Petre, Kaisa Sere:
Towards Sustainable Development of Energy-Aware Systems. Int. J. Embed. Real Time Commun. Syst. 1(2): 45-60 (2010) - [c44]Luigia Petre, Kaisa Sere, Leonidas Tsiopoulos
Model-Based Analysis Tools for Component Synthesis. FMCO 2010: 102-121 - [c43]Maryam Kamali
Self-Recovering Sensor-Actor Networks. FOCLASA 2010: 47-61
2000 – 2009
- 2008
- [c42]Mats Neovius, Kaisa Sere:
Formal Modular Modelling of Context-Awareness. FMCO 2008: 102-118 - [e2]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. Lecture Notes in Computer Science 5014, Springer 2008, ISBN 978-3-540-68235-6 [contents] - 2007
- [c41]Lu Yan, Kaisa Sere:
Dependability Aspects of Ubiquitous Computing. ARES 2007: 451-453 - [c40]Fredrik Degerlund, Kaisa Sere:
A Framework for Incorporating Trust into Formal Systems Development. ICTAC 2007: 154-168 - [c39]Fredrik Degerlund, Marina Waldén, Kaisa Sere:
Implementation Issues Concerning the Action Systems Formalism. PDCAT 2007: 471-479 - 2006
- [c38]Luigia Petre, Kaisa Sere, Marina Waldén:
A Language for Modeling Network Availability. ICFEM 2006: 639-659 - [c37]Zheng Liang, Juha Plosila
Implementing a Self-Timed Low-Power Java Accelerator for Network-on-Chip Applications. PDCAT 2006: 344-347 - [c36]Mats Neovius, Kaisa Sere, Lu Yan, Manoranjan Satpathy:
A Formal Model of Context-Awareness and Context-Dependency. SEFM 2006: 177-185 - 2005
- [j19]Juha Plosila
Asynchronous system synthesis. Sci. Comput. Program. 55(1-3): 259-288 (2005) - [c35]Zheng Liang, Juha Plosila, Lu Yan, Kaisa Sere:
On-chip Debug for an Asynchronous Java Accelerator. PDCAT 2005: 312-315 - 2004
- [j18]Kaisa Sere, Marina Waldén:
Guest Editors' Foreword. Nord. J. Comput. 11(2): 73-74 (2004) - [c34]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 - [c33]Lu Yan, Moisés Ferrer Serra, Guangcheng Niu, Xinrong Zhou, Kaisa Sere:
SkyMin: A Massive Peer-to-Peer Storage System. GCC 2004: 527-534 - [c32]Lu Yan, Kaisa Sere:
A Formalism for Context-Aware Mobile Computing. ISPDC/HeteroPar 2004: 14-21 - 2003
- [j17]Mauno Rönkkö, Anders P. Ravn, Kaisa Sere:
Hybrid action systems. Theor. Comput. Sci. 290(1): 937-973 (2003) - [c31]Lu Yan, Kaisa Sere:
Stepwise Development of Peer-to-Peer Systems. IWFM 2003 - 2002
- [c30]Juha Plosila, Kaisa Sere, Marina Waldén:
Design with Asynchronously Communicating Components. FMCO 2002: 424-442 - [e1]Michael J. Butler, Luigia Petre, Kaisa Sere:
Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings. Lecture Notes in Computer Science 2335, Springer 2002, ISBN 3-540-43703-7 [contents] - 2001
- [j16]Kaisa Sere, Wang Li:
Guest Editors' Foreword. Nord. J. Comput. 8(1): 1 (2001) - [j15]Kaisa Sere, Marina Waldén:
Structuring and Verifying Distributed Algorithms. Nord. J. Comput. 8(2): 193-218 (2001) - 2000
- [j14]Kaisa Sere, Marina Waldén:
Data Refinement of Remote Procedures. Formal Aspects Comput. 12(4): 278-297 (2000) - [j13]Eric J. Hedman, Joost N. Kok, Kaisa Sere:
Coordinating action systems. Theor. Comput. Sci. 240(1): 91-115 (2000) - [c29]Joost N. Kok, Kaisa Sere:
Coordination-Based Design of Distributed Systems. COORDINATION 2000: 347-352 - [c28]Luigia Petre, Kaisa Sere:
Developing Control Systems Components. IFM 2000: 156-175
1990 – 1999
- 1999
- [j12]Kaisa Sere:
Guest Editor's Foreword. Nord. J. Comput. 6(3): 213-214 (1999) - [c27]Luigia Petre, Kaisa Sere:
Coordination Among Mobile Objects. COORDINATION 1999: 227-242 - [c26]Kaisa Sere, Elena Troubitsyna:
Safety Analysis in Formal Specification. World Congress on Formal Methods 1999: 1564-1583 - [c25]Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere:
Developing Object-based Distributed Systems. FMOODS 1999 - [c24]Mauno Rönkkö, Kaisa Sere:
Refinement and Continuous Behaviour. HSCC 1999: 223-237 - [c23]Kaisa Sere, Elena Troubitsyna:
Hazard Analysis in Formal Specification. SAFECOMP 1999: 350-360 - [c22]Luigia Petre, Kaisa Sere, Marina Waldén:
A topological approach to distributed computing. WDS@FCT 1999: 59-80 - 1998
- [j11]Marina Waldén, Kaisa Sere:
Reasoning about Action Systems using the B-Method. Formal Methods Syst. Des. 13(1): 5-35 (1998) - [j10]Henk Goeman, Joost N. Kok, Kaisa Sere, Rob T. Udink:
Coordination in the ImpUNITY Framework. Sci. Comput. Program. 31(2-3): 313-334 (1998) - [c21]Samuel Holmström, Kaisa Sere:
Reconfigurable Hardware - A Study in Codesign. FPL 1998: 451-455 - [c20]Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere:
An Approach to Object-Orientation in Action Systems. MPC 1998: 68-95 - 1997
- [c19]Juha Plosila, Kaisa Sere:
Action Systems in Pipelined Processor Design. ASYNC 1997: 156-166 - [c18]Eric J. Hedman, Joost N. Kok, Kaisa Sere:
Coordinating Action Systems. COORDINATION 1997: 302-319 - [c17]Kaisa Sere, Marina Waldén:
Data Refinement and Remote Procedures. TACS 1997: 267-294 - 1996
- [j9]Emil Sekerinski, Kaisa Sere:
A Theory of Prioritizing Composition. Comput. J. 39(8): 701-712 (1996) - [j8]Ralph-Johan Back, Kaisa Sere:
Superposition Refinement of Reactive Systems. Formal Aspects Comput. 8(3): 324-346 (1996) - [j7]Kaisa Sere:
Procedures and Atomicity Refinement. Inf. Process. Lett. 60(2): 67-74 (1996) - [j6]Ralph-Johan Back, Alain J. Martin, Kaisa Sere:
Specifying the Caltech Asynchronous Microprocessor. Sci. Comput. Program. 26(1-3): 79-97 (1996) - [j5]Kaisa Sere, Marina Waldén:
Reverse Engineering Distributed Algorithms. J. Softw. Maintenance Res. Pract. 8(2): 117-144 (1996) - [j4]Ralph-Johan Back, Kaisa Sere:
From Action Systems to Modular Systems. Softw. Concepts Tools 17(1): 26-39 (1996) - [c16]Henk Goeman, Joost N. Kok, Kaisa Sere, Rob T. Udink:
Coordination in the ImpUNITY Framework. COORDINATION 1996: 215-230 - [c15]Marina Waldén, Kaisa Sere:
Refining Action Systems within B-Tool. FME 1996: 85-104 - [c14]V. Kasurinen, Kaisa Sere:
Integrating Action Systems and Z in a Medical System Specification. FME 1996: 105-119 - [c13]Michiel C. van Wezel, Joost N. Kok, Kaisa Sere:
Determining the number of dimensions underlying customer-choices with a competitive neural network. ICNN 1996: 484-489 - 1995
- [c12]Michael J. Butler, Emil Sekerinski, Kaisa Sere:
An Action System Approach to the Steam Boiler Problem. Formal Methods for Industrial Applications 1995: 129-148 - [c11]Barbro Back, Guido Osteroom, Kaisa Sere, Michiel C. van Wezel:
Intelligent IS within business: bankruptcy predictions using neural networks. ECIS 1995: 99-112 - [c10]Ralph-Johan Back, Alain J. Martin, Kaisa Sere:
An Action System Specification of the Caltech Asynchronous Microprocessor. MPC 1995: 159-179 - 1994
- [c9]Ralph-Johan Back, Kaisa Sere:
From Action Systems to Modular Systems. FME 1994: 1-25 - [c8]Kaisa Sere, Marina Waldén:
Verification of a Distributed Algorithm (Abstract). PODC 1994: 391 - [c7]Ralph-Johan Back, Kaisa Sere:
Action Systems with Synchronous Communication. PROCOMET 1994: 107-126 - 1993
- [c6]Kaisa Sere:
A Formalization of Superposition Refinement. ISTCS 1993: 222-230 - 1991
- [j3]Ralph-Johan Back, Kaisa Sere:
Stepwise Refinement of Action Systems. Struct. Program. 12(1): 17-30 (1991) - [c5]Ralph-Johan Back, Kaisa Sere:
Superposition Refinement of Parallel Algorithms. FORTE 1991: 475-493 - [c4]Kaisa Sere:
Stepwise Refinement of Reactive Processor Farms. PSTV 1991: 109-124 - [c3]Joakim von Wright, Kaisa Sere:
Program Transformations and Refinements in HOL. TPHOLs 1991: 231-239
1980 – 1989
- 1989
- [j2]Marina Waldén, Kaisa Sere:
Free text retrieval on transputer networks. Microprocess. Microsystems 13(3): 179-187 (1989) - [j1]Ralph-Johan Back, Kaisa Sere:
Stepwise Refinement of Parallel Algorithms. Sci. Comput. Program. 13(1): 133-180 (1989) - [c2]Ralph-Johan Back, Kaisa Sere:
Stepwise Refinement of Action Systems. MPC 1989: 115-138 - 1987
- [c1]Kaisa Sere:
Stepwise Removal of Virtual Channels in Distributed Algorithms. WDAG 1987: 408-428
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-31 17:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: