Kaisa Sere: In Memoriam

Kaisa Sere, a wonderful person and scientist, passed away on December 5, 2012, after a long and devastating illness. Apart from her husband Thorbjörn Andersson and the rest of her family, Kaisa is going to be missed by so many colleagues in Finland and worldwide. Kaisa was born in 1954 in Kokkola, Finland. She graduated from Åbo Akademi University with a M.Sc. in Mathematics and received a Ph.D. in Computer Science from the same university in 1990. She was a lecturer at Ohio State University, US, during 1984 –1985 and a post-doctoral researcher in the Department of Computer Science, at Utrecht University, the Netherlands, during 1991–1992. She held an Associate Professorship at the University of Kuopio, in the Department of Computer Science and Applied Mathematics, during 1993–1998, she became a Docent of Computer Science at the same department in 1997, and held a senior research professorship from the Academy of Finland during 1998–1999. She became a full

[1]  Alexander Romanovsky.  DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability , 2008, SOEN.

[2]  Lu Yan,et al.  A Formal Model of Context-Awareness and Context-Dependency , 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).

[3]  Petter Sandvik,et al.  Node Coordination in Peer-to-Peer Networks , 2012, COORDINATION.

[4]  Jean-Raymond Abrial,et al.  The B-book - assigning programs to meanings , 1996 .

[5]  Kaisa Sere,et al.  A Language for Modeling Network Availability , 2006, ICFEM.

[6]  Kaisa Sere,et al.  Superposition refinement of reactive systems , 2005, Formal Aspects of Computing.

[7]  Kaisa Sere,et al.  A Theory of Prioritizing Composition , 1996, Comput. J..

[8]  Petter Sandvik,et al.  Formal Analysis and Verification of Peer-to-Peer Node Behaviour , 2011, AP2PS 2011.

[9]  Kaisa Sere,et al.  Network Availability for Distributed Applications , 2012 .

[10]  Thai Son Hoang,et al.  Rodin: an open toolset for modelling and reasoning in Event-B , 2010, International Journal on Software Tools for Technology Transfer.

[11]  Kaisa Sere,et al.  Towards Sustainable Development of Energy-Aware Systems , 2010, Int. J. Embed. Real Time Commun. Syst..

[12]  Kaisa Sere,et al.  Dependability and Computer Engineering: Concepts for Software-Intensive Systems , 2011 .

[13]  Kaisa Sere,et al.  Formal development of wireless sensor-actor networks , 2014, Sci. Comput. Program..

[14]  Kaisa Sere,et al.  Coordination Among Mobile Objects , 1999, COORDINATION.

[15]  Kaisa Sere,et al.  Data Refinement of Remote Procedures , 2000, Formal Aspects of Computing.

[16]  Kaisa Sere,et al.  Developing Object-based Distributed Systems , 1999, FMOODS.

[17]  Kaisa Sere,et al.  Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems , 2012, IFM.

[18]  Kaisa Sere,et al.  Structuring and Verifying Distributed Algorithms , 2001, Nord. J. Comput..

[19]  Kaisa Sere,et al.  A topological approach to distributed computing , 1999, Electron. Notes Theor. Comput. Sci..

[20]  Kaisa Sere,et al.  From Action Systems to Modular Systems , 1994, Softw. Concepts Tools.

[21]  Kaisa Sere,et al.  Modeling Communication in Multi-Processor Systems-on-Chip Using Modular Connectors , 2010, Int. J. Embed. Real Time Commun. Syst..

[22]  Kaisa Sere,et al.  Toward Self-Placing Applications on 2D and 3D NoCs , 2011 .

[23]  Lu Yan,et al.  Stepwise Development of Peer-to-Peer Systems , 2003, IWFM.

[24]  Kaisa Sere,et al.  Formal Modular Modelling of Context-Awareness , 2009, FMCO.

[25]  Kaisa Sere,et al.  Developing Control Systems Components , 2000, IFM.

[26]  Ralph-Johan Back,et al.  Decentralization of Process Nets with Centralized Control , 1983, PODC.

[27]  L. Futcher,et al.  IFIP – The International Federation for Information Processing , 2004 .

[28]  Kaisa Sere,et al.  Self-Recovering Sensor-Actor Networks , 2010, FOCLASA.

[29]  Kaisa Sere,et al.  Derivation of concurrent programs by stepwise scheduling of Event-B models , 2012, Formal Aspects of Computing.

[30]  Kaisa Sere,et al.  An Approach to Object-Orientation in Action Systems , 1998, MPC.

[31]  Kaisa Sere,et al.  A distributed design of a network recovery algorithm , 2013, Int. J. Crit. Comput. Based Syst..

[32]  Kaisa Sere,et al.  Reasoning about Action Systems using the B-Method , 1998, Formal Methods Syst. Des..

[33]  Kaisa Sere,et al.  Asynchronous system synthesis , 2005, Sci. Comput. Program..

[34]  Bernhard Beckert,et al.  Formal Methods for Components and Objects , 2013, Lecture Notes in Computer Science.

[35]  Kaisa Sere,et al.  Refinement-Based Modeling of 3D NoCs , 2011, FSEN.

[36]  Kaisa Sere,et al.  Reverse Engineering Distributed Algorithms , 1996, J. Softw. Maintenance Res. Pract..