Kaisa Sere: In Memoriam
Pages 197 - 201
References
References
[1]
Abrial J-R (1996) The B book: assigning programs to meanings. Cambridge University Press
[2]
Abrial J-R (2010) Modelling in event-B: systems and software engineering. Cambridge University Press
[3]
Abrial J-R, Butler M, Hallerstede S, Hoang TS, Mehta F, and Voisin L Rodin: an open toolset for modelling and reasoning in event-B Int J Softw Tools Technol Transf 2010 6 447-466
[4]
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
[5]
Back R-JR and Sere K Superposition refinement of reactive systems Formal Aspects Comput 1996 8 3 324-346
[6]
Back R-JR and Sere K From action systems to modular systems Softw Concepts Tools ( 1996 17 26-39
[7]
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
[8]
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
[9]
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
[10]
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/
[11]
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
[12]
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
[13]
Kamali M, Laibinis L, Petre L, Sere K (2012) Formal development of wireless sensor-actor networks. Sci Comput Progr J (SCP). (In press)
[14]
Kamali M, Laibinis L, Petre L, and Sere K A distributed design of a network recovery algorithm Int J Crit Comput Based Syst 2013 4 1 45-68 (Inderscience Publishers)
[15]
Kamali M, Petre L, Sere K (2013) NetCorre: a hierarchical framework and theory for network design. (Submitted April 2013)
[16]
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
[17]
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
[18]
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
[19]
Neovius M and Sere K Mastering the relevance of subjective information in ubiquitous computing J Commun Inform Sci AICIT 2013 3 4 27-44
[20]
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
[21]
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
[22]
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
[23]
Petre L and Sere K Towards sustainable development of energy-aware systems Int J Embed Real Time Commun Syst IGI Global 2010 1 2 45-60
[24]
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
[25]
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
[26]
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
[27]
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
[28]
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
[29]
Plosila J, Sere K, and Waldén M Asynchronous system synthesis Sci Comput Program 2005 55 259-288
[30]
RODIN (2007) Rigorous open platform for complex systems. In: EU sixth framework IST programme, 2004–2007. http://rodin.cs.ncl.ac.uk/
[31]
Rodin tool platform (2013) http://www.event-b.org/platform.html . Accessed 21 June 2013
[32]
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
[33]
Sere K (1990) Stepwise derivation of parallel algorithms. Ph.D. thesis, Åbo Akademi University
[34]
Sekerinski E and Sere K A theory of prioritizing composition Comput J 1996 39 8 701-712
[35]
Sere K and Waldén M Reverse engineering distributed algorithms J Softw Maint Res Pract 1996 8 2 117-144
[36]
Sere K and Waldén M Data refinement of remote procedures Formal Aspects Comput 2000 12 4 278-297
[37]
Sere K and Waldén M Structuring and verifying distributed algorithms Nordic J Comput 2001 8 2 193-218
[38]
Tsiopoulos L, Sere K, and Plosila J Modeling communication in multi-processor systems-on-chip using modular connectors Int J Embed Real Time Commun Syst 2010 1 2 23-44
[39]
Waldén M and Sere K Reasoning about action systems using the B-Method Formal Methods Syst Design 1998 13 1 5-35
[40]
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
Index Terms
- Kaisa Sere: In Memoriam
Index terms have been assigned to the content through auto-classification.
Recommendations
In Memoriam: Daniel G. Bobrow
Daniel G. Bobrow (1935–2017) was a research fellow at Xerox's Palo Alto Research Center and an early AI pioneer. Bobrow served as AAAI president from 1989–1991 and was a Fellow of AAAI and the Association of Computing Machinery (ACM). Prior to joining ...
In memoriam: Dr. Thomas (Tom) S. Tullis
Dr. Thomas S. Tullis was born on April 16, 1952, in Memphis, Tennessee and died from complications of COVID-19 on April 29, 2020. He leaves behind his wife, Susan (Richardson) Tullis, and two adult children, Cheryl Tullis Sirois (along with her husband, ...
In Memoriam: Raymond Pickholtz 1932-2022
In June, 2022, Professor Raymond Pickholtz passed away in Virginia. Ray was known as a brilliant engineer, a world-class researcher, an excellent instructor and mentor to his students, and a terrific husband and father to his family. He is survived by his ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
© British Computer Society 2013.
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 01 March 2014
Published in FAC Volume 26, Issue 2
Qualifiers
- Editorial
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 53Total Downloads
- Downloads (Last 12 months)31
- Downloads (Last 6 weeks)3
Reflects downloads up to 20 Dec 2024
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in