| Distributed system development in B MJ Butler, M Waldén IRIN (Institut de Recherche en Informatique de Nantes), 1996 | 92 | 1996 |
| Design and implementation of energy saving digital hydraulic control system M Linjama, M Huova, P Boström, A Laamanen, L Siivonen, L Morel, ... In: Vilenius, J. & Koskinen, KT (eds.) The Tenth Scandinavian International …, 2007 | 73 | 2007 |
| Reasoning about action systems using the B-Method M Waldén, K Sere Formal Methods in System Design 13 (1), 5-35, 1998 | 59 | 1998 |
| ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings D Bert, JP Bowen, S King, M Waldén Springer, 2003 | 50* | 2003 |
| DevOps meets formal modelling in high-criticality complex systems M Olszewska, M Waldén Proceedings of the 1st International Workshop on Quality-Aware DevOps, 7-12, 2015 | 40 | 2015 |
| Data refinement of remote procedures K Sere, M Waldén Theoretical Aspects of Computer Software, 267-294, 1997 | 32 | 1997 |
| Free text retrieval on transputer networks M Waldén, K Sere Microprocessors and Microsystems 13 (3), 179-187, 1989 | 29 | 1989 |
| Tailoring complexity metrics for simulink models M Olszewska, Y Dajsuren, H Altinger, A Serebrenik, M Waldén, ... Proccedings of the 10th European Conference on Software Architecture …, 2016 | 26 | 2016 |
| Data refinement of remote procedures K Sere, M Waldén Formal Aspects of Computing 12 (4), 278-297, 2000 | 25 | 2000 |
| Refinement of Statemachines using Event B semantics C Snook, M Waldén B 2007: Formal Specification and Development in B, 171-185, 2006 | 20 | 2006 |
| Stepwise development of Simulink models using the refinement calculus framework P Boström, L Morel, M Waldén Theoretical Aspects of Computing–ICTAC 2007, 79-93, 2007 | 19 | 2007 |
| Parallel programming with the B Method M Butler, M Waldén Program Development by Refinement, 183-195, 1999 | 18 | 1999 |
| A language for modeling network availability L Petre, K Sere, M Waldén Formal Methods and Software Engineering, 639-659, 2006 | 16 | 2006 |
| Use of U2B for specifying B action systems C Snook, M Walden Proc. of Workshop on Refinement of Critical Systems: Methods, Tools and …, 2002 | 15 | 2002 |
| Reverse engineering distributed algorithms K Sere, M Waldén Journal of Software Maintenance 8 (2), 117-144, 1996 | 15 | 1996 |
| Design and validation of digital controllers for hydraulics systems P Boström, M Linjama, L Morel, L Siivonen, M Waldén The 10th Scandinavian International Conference on Fluid Power, Tampere, Finland, 2007 | 14 | 2007 |
| Formal development of NoC systems in B L Tsiopoulos, M Waldén Nordic Journal of Computing 13 (1), 127-145, 2006 | 14 | 2006 |
| A case study in requirement analysis of control systems using UML and B C Snook, L Tsiopoulos, M Waldén Turku Centre for Computer Science, 2003 | 14 | 2003 |
| Derivation of concurrent programs by stepwise scheduling of Event-B models P Boström, F Degerlund, K Sere, M Waldén Formal Aspects of Computing, 1-23, 0 | 14 | |
| Documenting the Progress of the System Development M Pląska, M Waldén, C Snook Methods, Models and Tools for Fault Tolerance, 251-274, 2009 | 13 | 2009 |
Luigia PetreAssociate Professor in Computer Science, Åbo Akademi University, FinlandVerified email at abo.fi
