Article PDF
References
Abrial J-R (1996) The B book: assigning programs to meanings. Cambridge University Press
Abrial J-R (2010) Modelling in event-B: systems and software engineering. Cambridge University Press
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)
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–142
Back R-JR, Sere K: Superposition refinement of reactive systems. Formal Aspects Comput 8(3), 324–346 (1996)
Back R-JR, Sere K: From action systems to modular systems. Softw Concepts Tools (17, 26–39 (1996)
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–95
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–34
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
DEPLOY (2012) Industrial deployment of advanced system engineering methods for high productivity and dependability. EU Seventh Framework IST Programme, 2008–2012. http://www.deploy-project.eu/
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–236
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–61
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)
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)
Kamali M, Petre L, Sere K (2013) NetCorre: a hierarchical framework and theory for network design. (Submitted April 2013)
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–252
MATISSE (2003) Methodologies and technologies for industrial strength systems engineering. In: EU fifth framework IST programme, 2000–2003. http://cordis.europa.eu/result/report/rcn/30461_en.html
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–118
Neovius M, Sere K: Mastering the relevance of subjective information in ubiquitous computing. J Commun Inform Sci AICIT 3(4), 27–44 (2013)
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–185
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–242
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–175
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)
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–211
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–187
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–118
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–659
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–57
Plosila J, Sere K, Waldén M: Asynchronous system synthesis. Sci Comput Program 55, 259–288 (2005)
RODIN (2007) Rigorous open platform for complex systems. In: EU sixth framework IST programme, 2004–2007. http://rodin.cs.ncl.ac.uk/
Rodin tool platform (2013) http://www.event-b.org/platform.html . Accessed 21 June 2013
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–52
Sere K (1990) Stepwise derivation of parallel algorithms. Ph.D. thesis, Åbo Akademi University
Sekerinski E, Sere K: A theory of prioritizing composition. Comput J 39(8), 701–712 (1996)
Sere K, Waldén M: Reverse engineering distributed algorithms. J Softw Maint Res Pract 8(2), 117–144 (1996)
Sere K, Waldén M: Data refinement of remote procedures. Formal Aspects Comput 12(4), 278–297 (2000)
Sere K, Waldén M: Structuring and verifying distributed algorithms. Nordic J Comput 8(2), 193–218 (2001)
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)
Waldén M, Sere K: Reasoning about action systems using the B-Method. Formal Methods Syst Design 13(1), 5–35 (1998)
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–16
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Petre, L., Troubitsyna, E. & Waldén, M. Kaisa Sere: In Memoriam. Form Asp Comp 26, 197–201 (2014). https://doi.org/10.1007/s00165-013-0292-5
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00165-013-0292-5