Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKaisa 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
Journal Articles
- 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, Linas Laibinis, Luigia Petre, Kaisa Sere:
Formal development of wireless sensor-actor networks. Sci. Comput. Program. 80: 25-49 (2014) - 2013
- [j24]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): 3-26 (2013) - [j23]Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere:
A distributed design of a network recovery algorithm. Int. J. Crit. Comput. Based Syst. 4(1): 45-68 (2013) - [j22]Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere:
Formal approach to agent-based dynamic reconfiguration in Networks-On-Chip. J. Syst. Archit. 59(9): 709-728 (2013) - 2010
- [j21]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): 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) - 2005
- [j19]Juha Plosila, Kaisa Sere, Marina Waldén:
Asynchronous system synthesis. Sci. Comput. Program. 55(1-3): 259-288 (2005) - 2004
- [j18]Kaisa Sere, Marina Waldén:
Guest Editors' Foreword. Nord. J. Comput. 11(2): 73-74 (2004) - 2003
- [j17]Mauno Rönkkö, Anders P. Ravn, Kaisa Sere:
Hybrid action systems. Theor. Comput. Sci. 290(1): 937-973 (2003) - 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) - 1999
- [j12]Kaisa Sere:
Guest Editor's Foreword. Nord. J. Comput. 6(3): 213-214 (1999) - 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) - 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) - 1991
- [j3]Ralph-Johan Back, Kaisa Sere:
Stepwise Refinement of Action Systems. Struct. Program. 12(1): 17-30 (1991) - 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)
Conference and Workshop Papers
- 2015
- [c56]Mats Neovius, Luigia Petre, Kaisa Sere:
A Theory of Service Dependency. Refine@FM 2015: 112-128 - 2014
- [c55]Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu:
Refinement of Structured Interactive Systems. ICTAC 2014: 133-150 - 2013
- [c54]Sergey Ostroumov, Leonidas Tsiopoulos, Kaisa Sere, Juha Plosila:
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, Kaisa Sere:
Node Coordination in Peer-to-Peer Networks. COORDINATION 2012: 196-211 - [c50]Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain:
Refinement-Based Development of Timed Systems. IFM 2012: 69-83 - [c49]Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu:
Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. IFM 2012: 221-236 - 2011
- [c48]Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab:
Formal Modeling of Multicast Communication in 3D NoCs. DSD 2011: 634-642 - [c47]Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab:
Refinement-Based Modeling of 3D NoCs. FSEN 2011: 236-252 - [c46]Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab:
CorreComm: A formal hierarchical framework for communication designs. NESEA 2011: 1-7 - [c45]Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén:
Concurrent Scheduling of Event-B Models. Refine@FM 2011: 166-182 - 2010
- [c44]Luigia Petre, Kaisa Sere, Leonidas Tsiopoulos:
Model-Based Analysis Tools for Component Synthesis. FMCO 2010: 102-121 - [c43]Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere:
Self-Recovering Sensor-Actor Networks. FOCLASA 2010: 47-61 - 2008
- [c42]Mats Neovius, Kaisa Sere:
Formal Modular Modelling of Context-Awareness. FMCO 2008: 102-118 - 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, Lu Yan, Kaisa Sere:
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
- [c35]Zheng Liang, Juha Plosila, Lu Yan, Kaisa Sere:
On-chip Debug for an Asynchronous Java Accelerator. PDCAT 2005: 312-315 - 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
- [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 - 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 - 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
- [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
- [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
- [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 - 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
Editorship
- 2008
- [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] - 2002
- [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]
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 20:21 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:
