• HOME
• ABOUT US
  • Organization
  • Personnel
• NEWS&EVENTS
  • News & Events archive
  • Newsletter archive
  • Conference archive
  • Travel reports
• COOPERATION
  • International Involvement
  • National Involvement
  • Regional Involvement
• EDUCATION
  • Master's Programmes
  • TUCS Graduate Programmes
  • Information for Students
  • Courses
  • TUCS Short Courses
• PUBLICATIONS
  • TUCS Publication Series
  • How to Publish in TUCS Series
  • Publication Search
  • Publication Graph
  • Publication Input
  • Publication Input Guide
  • JuFo Browser
• RESEARCH
  • Focus areas
  • Research Programmes
  • Research Units
  • Distinguished Lectures

Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search

• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Department: Any ÅAU / Department of Information Technologies UTU / Department of Information Technology UTU / Department of Mathematics and Statistics UTU / Turku School of Economics, Institute of Information Systems Sciences

Research Unit: Any Algorithmics and Computational Intelligence Group (ACI) Biomathematics Research Unit (BIOMATH) Communication Systems (ComSys) Computational Biomodeling Laboratory (Combio Lab) Data Mining and Knowledge Management Laboratory Distributed Systems Laboratory (DS Lab) Embedded Computer and Electronic Systems (ECES) Embedded Systems Laboratory (ESLAB) FUNDIM, Fundamentals of Computing and Discrete Mathematics Institute for Advanced Management Systems Research (IAMSR) Learning and Reasoning Lab Software Construction Laboratorium Software Development Laboratory (SwDev) Software Engineering Laboratory (SE Lab) Turku BioNLP Group Turku Optimization Group (TOpGroup) UTU Information Systems Science (ISS)

Publication type: Any Monographs Edited books Edited special issues of journals Edited proceedings Articles in journals Articles in proceedings Chapters in edited books Ph.D. thesis Lic. thesis Technical reports

Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points

Sort output by publication type Sort output by publication year

and display below and download in BibTeX and download as CSV and download as 2014-CSV

Edited books (2):

• Luigia Petre, Kaisa Sere, Elena Troubitsyna (Eds.), Dependability and Computer Engineering: Concepts for Software-Intensive Systems, IGI Global, 2011.
• Jorge Cuellar, Tom Maibaum, Kaisa Sere (Eds.), FM 2008: Formal Methods, Lecture Notes in Computer Science 5014, Springer, 2008.

Edited special issues of journals (1):

• Kaisa Sere, Marina Waldén (Eds.), The 15th Nordic Workshop on Programming Theory. Nordic Journal of Computing 11(2), 2004.

Edited proceedings (5):

• Luigia Petre, Kaisa Sere, Elena Troubitsyna, Einar Broch Johnsen (Eds.), NODES 07 - NOrdic workshop and doctoral symposium on DEpendability and Security, B 37, Åbo Akademi Reports on Computer Science and Mathematics, 2007.
• Kaisa Sere, Marina Waldén (Eds.), Nordic Journal of Computing, 11, 2004.
• Kaisa Sere, Marina Waldén (Eds.), Proceedings of the 15th Nordic Workshop on Programming Theory (NWPT'03), Åbo Akademi, Reports on Computer Science and Mathematics, 2003.
• Michael Butler, Luigia Petre, Kaisa Sere (Eds.), Proceedings of IFM 2002 - Third International Conference on Integrated Formal Methods, Lecture Notes in Computer Science 2335, Springer-Verlag, 2002.
• Ralph-Johan Reinhold Back, Kaisa Sere (Eds.), Proceedings of the 5th Nordic Workshop on Program Correctness, Reports on Computer Science and Mathematics, Ser. B, Åbo Akademi, 1994.

Articles in journals (29):

• Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén, Derivation of Concurrent Programs by Stepwise Scheduling of Event-B Models. Formal Aspects of Computing 26(2), 281–303, 2014.
• Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere, Formal Development of Wireless Sensor–Actor Networks. Science of Computer Programming 80 Part A, 25–49, 2014.
• Maryam Kamali, Linas Laibinis, Luigia Petre, Kaisa Sere, A Distributed Design of a Network Recovery Algorithm. International Journal of Critical Computer-Based Systems 4(1), 45–68, 2013.
• Kristian Lumme, Luigia Petre, Petter Sandvik, Kaisa Sere, A Formal Approach to H.264 Video Decoding on Multicore Systems. International Journal of Critical Computer-Based Systems 4(1), 3–26, 2013.
• Mats Neovius, Kaisa Sere, Mastering the Relevance of Subjective Information in Ubiquitous Computing. Journal of Communications and Information Sciences (JCIS) 3(4), 27 – 44, 2013.
• Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere, Formal Approach to Agent-Based Dynamic Reconfiguration in Networks-On-Chip. Journal of Systems Architecture 59(9), 709–728, 2013.
• Luigia Petre, Kaisa Sere, Towards Sustainable Development of Energy-Aware Systems. International Journal of Embedded and Real-Time Communication Systems 1(2), 45–60, 2010.
• Leonidas Tsiopoulos, Kaisa Sere, Juha Plosila, Modeling Communication in Multi–Processor Systems–on–Chip Using Modular Connectors. International Journal of Embedded and Real-Time Communication Systems 1(2), 23–44, 2010.
• Juha Plosila, Kaisa Sere, Marina Waldén, Asynchronous System Synthesis. Science of Computer Programming , 2004.
• Lu Yan, Kaisa Sere, Xinrong Zhou, Peer-to-Peer Networking with Firewalls. WSEAS Transactions on Computers 2, 566 - 571, 2003.
• Mauno Rönkkö, Anders P. Ravn, Kaisa Sere, Hybrid Action Systems. Theoretical Computer Science 1(290), 937–973, 2002.
• Kaisa Sere, Marina Waldén, Structuring and Verifying Distributed Algorithms. Nordic Journal of Computing 8(2), 193–218, 2001.
• Kaisa Sere, Marina Waldén, Data Refinement of Remote Procedures. Formal Aspects of Computing 12(4), 278–297, 2000.
• Eric J. Hedman, Joost N. Kok, Kaisa Sere, Coordinating Action Systems. Theoretical Computer Science , 1999.
• Barbro Back, Kaisa Sere, Hannu Vanharanta, Managing Complexity in Large Data Bases Using Self-Organizing Maps. Information and Organization 8(4), 191–210, 1998.
• Marina Waldén, Kaisa Sere, Reasoning about Action Systems using the B-Method. Formal Methods in System Design 13(1), 5 – 35, 1998.
• H. J. M. Goeman, Joost N. Kok, Kaisa Sere, Rob T. Udink, Coordination in the ImpUnity Framework. Science of Computer Programming , 1997.
• Barbro Back, Mikko Irjala, Kaisa Sere, Hannu Vanharanta, Competitive Financial Benchmarking using Self-Organizing Maps. Paperi ja Puu - Paper and Timber 78(8), 42--49, 1996.
• Barbro Back, Teija Laitinen, Kaisa Sere, Neural network and bankruptcy prediction - funds flows, accrual ratios and accounting data. Advances in Accounting 14, 23–27, 1996.
• Barbro Back, Teija Laitinen, Kaisa Sere, Neural Network and Genetic Algorithm for Bankruptcy Prediction. Expert Systems with Applications 11(4), 407–413, 1996.
• Ralph-Johan Back, Alain Martin, Kaisa Sere, Specifying the Caltech Asynchronous Microprocessor. 26, 1996.
• Ralph-Johan Back, Kaisa Sere, From Action Systems to Modular Systems. Software - Concepts and Tools (17), 26–39, 1996.
• Ralph-Johan Back, Kaisa Sere, Superposition Refinement of Reactive Systems. Formal Aspects of Computing 8(3), 324–346, 1996.
• Ralph-Johan Reinhold Back, Alain J. Martin, Kaisa Sere, Specifying the Caltech asynchronous microprocessor. Science of Computer Programming 26, 79–97, 1996.
• Emil Sekerinski, Kaisa Sere, A Theory of prioritizing composition. The Computer Journal 39(8), 701--712, 1996.
• Kaisa Sere, Procedures and atomicity refinement. Information Processing Letters 60, 67–74, 1996.
• Kaisa Sere, Marina Waldén, Reverse Engineering Distributed Algorithms. Journal of Software Maintenance and Evolution: Research and Practice 8(2), 117–144, 1996.
• Ralph-Johan Back, Kaisa Sere, Stepwise Refinement of Action Systems. 12, 1991.
• Ralph-Johan Back, Kaisa Sere, Stepwise Refinement of Parallel Algorithms. 13(2-3), 1990.

Articles in proceedings (104):

• Mats Neovius, Luigia Petre, Kaisa Sere, A Theory of Service Dependency. In: John Derrick, Eerke Boiten, Steve Reeves (Eds.), Proceedings 17th International Workshop on Refinement (Refine'15), Oslo, Norway, 22nd June 2015, 209, 112–128, Electronic Proceedings in Theoretical Computer Science (EPTCS), 2016.
• Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu, Refinement of Structured Interactive Systems. In: Gabriel Ciobanu, Dominique Méry (Eds.), Theoretical Aspects of Computing - ICTAC 2014, Lecture Notes in Computer Science 8687, 133–150, Springer, 2014.
• 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. In: César Benavente-Peces, Joaquim Filipe (Eds.), Proceedings of the 3rd International Conference on Pervasive Embedded Computing and Communication Systems, 189 – 194 , SCITEPRESS, 2013.
• Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere, Derivation of Structural VHDL from Component-Based Event-B Models. In: Michael Butler, Stefan Hallerstede, Marina Walden (Eds.), Proceedings of the 4th Rodin User and Developer Workshop, TUCS Lecture Notes 18, 31–32, TUCS, 2013.
• Sergey Ostroumov, Leonidas Tsiopoulos, Juha Plosila, Kaisa Sere, Generation of Structural VHDL Code with Library Components. In: José Silva, Francesco Leporati (Eds.), 16th Euromicro Conference on Digital System Design DSD 2013, 111–118, IEEE Conference Publishing Services (CPS), 2013.
• Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain, Refinement-Based Development of Timed Systems. In: Diego Latella, Helen Treharne (Eds.), 9th International Conference on Integrated Formal Methods (iFM 2012), Lecture Notes in Computer Science 7321, 69–84, Springer, Heidelberg, 2012.
• Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu, Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. In: Diego Latella, Helen Treharne (Eds.), 9th International Conference on Integrated Formal Methods (iFM 2012), Lecture Notes in Computer Science 7321, 221–236, Springer, Heidelberg, 2012.
• Mikko Huova, Miikka Ketonen, Petr Alexeev, Pontus Boström, Matti Linjama, Marina Waldén, Kaisa Sere, Simulations with Fault-Tolerant Controller Software of a Digital Valve. In: Arto Laamanen (Ed.), Proceedings of the Fifth Workshop on Digital Fluid Power - DFP12, Tampere, Finland, 223–242, Tampere University of Technology, Finland, 2012.
• Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab, Refinement-Based Modeling of 3D NoCs. In: Farhad Arbab, Marjan Sirjani (Eds.), 4th IPM International Conference on Fundamentals of Software Engineering, Lecture Notes in Computer Science 7141, 236–252, Springer, 2012.
• Luigia Petre, Petter Sandvik, Kaisa Sere, Node Coordination in Peer-to-Peer Networks. In: Marjan Sirjani (Ed.), COORDINATION 2012, Lecture Notes in Computer Science 7274, 196–211, Springer-Verlag GmbH Berlin Heidelberg, 2012.
• Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén, Concurrent Scheduling of Event-B Models. In: John Derrick, Eerke A. Boiten, Steve Reeves (Eds.), Proceedings 15th International Refinement Workshop, Electronic Proceedings in Theoretical Computer Science 55, 166–182, Open Publishing Association, 2011.
• Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab, CorreComm: A Formal Hierarchical Framework for Communication Designs. In: Danny Hughes, Kevin Lee, Ka Lok Man (Eds.), 2nd IEEE International Conference on Networked Embedded Systems for Enterprise Applications (NESEA 2011), 1–7, IEEE Computer Society, 2011.
• Maryam Kamali, Luigia Petre, Kaisa Sere, Masoud Daneshtalab, Formal Modeling of Multicast Communication in 3D NoCs. In: Paris Kitsos, Smail Niar (Eds.), 14th Euromicro Conference on Digital System Design (DSD 2011), 634 – 642 , IEEE/Euromicro, 2011.