Formal Aspects of Computing

, Volume 26, Issue 2, pp 197–201 | Cite as

Kaisa Sere: In Memoriam

  • Luigia Petre
  • Elena Troubitsyna
  • Marina Waldén


  1. Abr96.
    Abrial J-R (1996) The B book: assigning programs to meanings. Cambridge University PressGoogle Scholar
  2. Abr10.
    Abrial J-R (2010) Modelling in event-B: systems and software engineering. Cambridge University PressGoogle Scholar
  3. ABHHMV.
    Abrial J-R, Butler M, Hallerstede S, Hoang TS, Mehta F, Voisin L: Rodin: an open toolset for modelling and reasoning in event-B. Int J Softw Tools Technol Transf 6, 447–466 (2010)CrossRefGoogle Scholar
  4. BaKu83.
    Back R-JR, Kurki-Suonio R (1983) Decentralization of process nets with centralized control. In: Proceedings of the 2nd ACM SIGACT-SIGOPS symposium of principles of distributed computing, pp 131–142Google Scholar
  5. BaSe96a.
    Back R-JR, Sere K: Superposition refinement of reactive systems. Formal Aspects Comput 8(3), 324–346 (1996)CrossRefzbMATHGoogle Scholar
  6. BaSe96b.
    Back R-JR, Sere K: From action systems to modular systems. Softw Concepts Tools (17, 26–39 (1996)Google Scholar
  7. BoKoSe98.
    Bonsangue M, Kok JN, Sere K (1998) An approach to object-orientation in action systems. In: Jeuring J (ed) Proceedings of MPC’98—fourth international conference on mathematics of program construction. Lecture notes in computer science, vol. 1422. Springer, pp 68–95Google Scholar
  8. BoKoSe99.
    Bonsangue M, Kok JN, Sere K (1999) Developing object-based distributed systems. In: Ciancarini P, Fantechi A, Gorrieri R (eds) Proceedings of FMOODS’99—third IFIP international conference on formal methods for open object-based distributed systems. IFIP the international federation for information processing. Springer science+business media, vol 10. New York, pp 19–34Google Scholar
  9. BDSW12.
    Boström P, Degerlund F, Sere K, Waldén M (2012) Derivation of concurrent programs by stepwise scheduling of Event-B models. Formal Aspects Comput doi: 10.1007/s00165-012-0260-5
  10. DEPLOY.
    DEPLOY (2012) Industrial deployment of advanced system engineering methods for high productivity and dependability. EU Seventh Framework IST Programme, 2008–2012.
  11. DLPSS12.
    Diaconescu D, Leustean I, Petre L, Sere K, Stefanescu G (2012) Refinement-preserving translation from event-B to register-voice interactive systems. In: Latella D, Treharne H (eds) 9th International conference on integrated formal methods (iFM 2012). Lecture notes in computer science. vol 7321. Springer, pp 221–236Google Scholar
  12. KLPS10.
    Kamali M, Laibinis L, Petre L, Sere K (2010) Self-recovering sensor-actor networks. In: Mousavi M, Salaün G (eds) Proceedings of the 9th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2010). Electronic proceedings in theoretical computer science (EPTCS) vol 30. pp 47–61Google Scholar
  13. KLPS12.
    Kamali M, Laibinis L, Petre L, Sere K (2012) Formal development of wireless sensor-actor networks. Sci Comput Progr J (SCP). doi: 10.1016/j.scico.2012.03.002 (In press)
  14. KLPS13.
    Kamali M, Laibinis L, Petre L, Sere K: A distributed design of a network recovery algorithm. Int J Crit Comput Based Syst 4(1), 45–68 (2013) (Inderscience Publishers)CrossRefGoogle Scholar
  15. KaPeSe13.
    Kamali M, Petre L, Sere K (2013) NetCorre: a hierarchical framework and theory for network design. (Submitted April 2013)Google Scholar
  16. KPSD12.
    Kamali M, Petre L, Sere K, Daneshtalab M (2012) Refinement-based modeling of 3D NoCs. In: Arbab F, Sirjani M (eds) 4th IPM international conference on fundamentals of software engineering (FSEN). Lecture Notes in Computer Science, vol 7141. Springer, pp 236–252Google Scholar
  17. MATISSE.
    MATISSE (2003) Methodologies and technologies for industrial strength systems engineering. In: EU fifth framework IST programme, 2000–2003.
  18. NeSe09.
    Neovius M, Sere K (2009) Formal modular modelling of context-awareness. In: de Boer FS, Bonsangue MM, Madelain E (eds) Formal methods for components and objects, 7th international symposium, FMCO 2008, revised lectures. Lecture notes in computer science, vol 5751. pp 102–118Google Scholar
  19. NeSe13.
    Neovius M, Sere K: Mastering the relevance of subjective information in ubiquitous computing. J Commun Inform Sci AICIT 3(4), 27–44 (2013)Google Scholar
  20. NSYS06.
    Neovius M, Sere K, Yan L, Satpathy M (2006) A formal model of context-awareness and context-dependency. In: Hung Dang V, Paritosh P (eds) Proceedings of the fourth IEEE international conference on software engineering and formal methods (SEFM’06). IEEE computer society press, pp 177–185Google Scholar
  21. PeSe99.
    Petre L, Sere K (1999) Coordination among mobile objects. In: Ciancarini P, Wolf A (eds) Proceedings of COORDINATION’99—the 3rd international conference on coordination languages and models. Lectures notes in computer science, vol 1594. Springer, pp 227–242Google Scholar
  22. PeSe00.
    Petre L, Sere K (2000) Developing control system components. In: Grieskamp W, Santen T, Stoddart B (eds) Proceedings of IFM’2000— The 2nd international conference on integrated formal methods. Lecture notes in computer science, vol 1945. Springer, pp 156–175Google Scholar
  23. PeSe10.
    Petre L, Sere K: Towards sustainable development of energy-aware systems. Int J Embed Real Time Commun Syst IGI Global 1(2), 45–60 (2010)CrossRefGoogle Scholar
  24. PeSaSe12.
    Petre L, Sandvik P, Sere K (2012) Node Coordination in Peer-to-Peer Networks. In: Sirjani M (ed) COORDINATION 2012. Lecture Notes in Computer Science, Springer-Verlag 7274:196–211Google Scholar
  25. PSTLP11.
    Petre L, Sere K, Tsiopoulos L, Liljeberg P, Plosila J (2011) Towards self-placing applications on 2D and 3D NoCs. In: Cong-Vinh P (ed) Autonomic networking-on-chip: bio-inspired specification, development, and verification, embedded multi-core systems (EMS) Book Series. CRC Press, pp 165–187Google Scholar
  26. PeSeWa99.
    Petre L, Sere K, Waldén M (1999) A Topological Approach to Distributed Computing, G. Ştefănescu (ed) Proceedings of FCT’99 – Workshop on Distributed Systems, Electronic Notes in Theoretical Computer Science. Elsevier Science 28:97–118Google Scholar
  27. PeSeWa06.
    Petre L, Sere K, Waldén M (2006) A Language for modeling network availability. In: Liu Z, He J (eds) Proceedings of the 8th international conference on formal engineering methods (ICFEM 2006). Lecture notes in computer science. vol 4260. Springer, pp 639–659Google Scholar
  28. PeSeWa11.
    Petre L, Sere K, Waldén M (2011) Network availability for distributed applications. In: Petre L, Sere K, Troubitsyna E (eds) Dependability and computer engineering: concepts for software-intensive systems. IGI Global, pp 36–57Google Scholar
  29. PSW04.
    Plosila J, Sere K, Waldén M: Asynchronous system synthesis. Sci Comput Program 55, 259–288 (2005)CrossRefzbMATHGoogle Scholar
  30. RODIN.
    RODIN (2007) Rigorous open platform for complex systems. In: EU sixth framework IST programme, 2004–2007.
  31. Rodin.
    Rodin tool platform (2013) . Accessed 21 June 2013
  32. SaSe11.
    Sandvik P, Sere K (2011) Formal analysis and verification of peer-to-peer node behaviour. In: Liotta A, Antonopoulos N, Di Fatta G, Hara T, Hieu Vu Q (eds) The third international conference on advances in P2P Systems (AP2PS 2011). IARIA, pp 47–52Google Scholar
  33. Sere90.
    Sere K (1990) Stepwise derivation of parallel algorithms. Ph.D. thesis, Åbo Akademi UniversityGoogle Scholar
  34. SeSe96.
    Sekerinski E, Sere K: A theory of prioritizing composition. Comput J 39(8), 701–712 (1996)CrossRefGoogle Scholar
  35. SeWa96.
    Sere K, Waldén M: Reverse engineering distributed algorithms. J Softw Maint Res Pract 8(2), 117–144 (1996)CrossRefGoogle Scholar
  36. SeWa00.
    Sere K, Waldén M: Data refinement of remote procedures. Formal Aspects Comput 12(4), 278–297 (2000)CrossRefzbMATHGoogle Scholar
  37. SeWa01.
    Sere K, Waldén M: Structuring and verifying distributed algorithms. Nordic J Comput 8(2), 193–218 (2001)zbMATHMathSciNetGoogle Scholar
  38. TsSePl10.
    Tsiopoulos L, Sere K, Plosila J: Modeling communication in multi-processor systems-on-chip using modular connectors. Int J Embed Real Time Commun Syst 1(2), 23–44 (2010)CrossRefGoogle Scholar
  39. WaSe98.
    Waldén M, Sere K: Reasoning about action systems using the B-Method. Formal Methods Syst Design 13(1), 5–35 (1998)CrossRefGoogle Scholar
  40. YaSe00.
    Yan L, Sere K (2003) Stepwise development of peer-to-peer systems. In: 6th international workshop in formal methods (IWFM’03) British computer society (BCS), eWiC—electronic workshops in computing, pp 1–16Google Scholar

Copyright information

© British Computer Society 2013

Authors and Affiliations

  • Luigia Petre
    • 1
  • Elena Troubitsyna
    • 1
  • Marina Waldén
    • 1
  1. 1.Department of Information TechnologiesÅbo Akademi UniversityTurkuFinland

Personalised recommendations