Research output per year
Research output per year
- 13 results
Search results
-
1989
Free-Text Retrieval on Transputer Networks
Walden, M. & Sere, K., 1989, In: Microprocessors and Microsystems. 13, 3, p. 179-187Research output: Contribution to journal › Article › Scientific › peer-review
9 Citations (Scopus) -
1996
Reverse engineering Distributed Algorithms
Sere, K. & Walden, M., 1996, In: Journal of Software Maintenance: Research and Practice. 8, 2, p. 117-144Research output: Contribution to journal › Article › Scientific › peer-review
-
1998
Reasoning about Action Systems using the B-Method
Waldén, M. & Sere, K., 1998, In: Formal Methods in System Design. 13, 1, p. 5-35Research output: Contribution to journal › Article › Scientific › peer-review
27 Citations (Scopus) -
2000
Data Refinement of Remote Procedures
Sere, K. & Waldén, M., 2000, In: Formal Aspects of Computing. 12, p. 278-297Research output: Contribution to journal › Article › Scientific › peer-review
14 Citations (Scopus) -
2001
Structuring and Verifying Distributed Algorithms
Sere, K. & Waldén, M., 2001, In: Nordic Journal of Computing. 8, 2, p. 193-218Research output: Contribution to journal › Article › Scientific › peer-review
-
2004
Implementation of Control Systems using B Action Systems - A Case Study
Boström, P. & Walden, M., 2004, In: Nordic Journal of Computing. 11, 2, p. 75–101Research output: Contribution to journal › Article › Scientific › peer-review
-
2005
Asynchronous System Synthesis
Plosila, J., Sere, K. & Waldén, M., 2005, In: Science of Computer Programming. 55, 1-3, p. 259-288Research output: Contribution to journal › Article › Scientific › peer-review
5 Citations (Scopus) -
2006
Formal Development of NoC Systems in B
Tsiopoulos, L. & Waldén, M., 2006, In: Nordic Journal of Computing. 13, 1, p. 127-145Research output: Contribution to journal › Article › Scientific › peer-review
-
2008
Beyond Particle Systems: Operator Networks
Rönkkö, M., Waldén, M. & Back, R-J., 2008, In: Simulation Modelling Practice and Theory. 16, 7, p. 834-847Research output: Contribution to journal › Article › Scientific › peer-review
1 Citation (Scopus) -
2012
Guest Editors’ Foreword
Walden, M. & Petre, L., 2012, In: Journal of Logic and Algebraic Programming. 81, 3, p. 161–161Research output: Contribution to journal › Article › Scientific
-
2014
Derivation of Concurrent Programs by Stepwise Scheduling of Event-B Models
Boström, P., Degerlund, F., Sere, K. & Walden, M., 2014, In: Formal Aspects of Computing. 26, 2, p. 281–303Research output: Contribution to journal › Article › Scientific › peer-review
6 Citations (Scopus) -
Kaisa Sere: In Memoriam.
Petre, L., Troubitsyna, E. & Walden, M., 2014, In: Formal Aspects of Computing. 26, 2, p. 197–201Research output: Contribution to journal › Article › Scientific › peer-review
-
2020
Applying guidelines for system modelling in Event-B: A systematic literature review
Olszewska, M., Shokri-Manninen, F., Edmunds, A. & Walden, M., 2020, In: International Journal of Critical Computer-Based Systems. 10, 1, p. 1–36Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile1 Citation (Scopus)53 Downloads (Pure)