Concepedia

Marina Waldén

MW

9

Publications

199

Citations

9

H-Index

1989

Active since

Affiliations

Åbo Akademi University(Current)

Turku Centre for Computer Science

Marina Waldén is an author at Åbo Akademi University specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceSystems EngineeringFormal VerificationSoftware EngineeringSoftware DesignSystem SoftwareSoftware TestingDistributed Systems

Publications per year

1989–2016

9

Publications

9

Distributed System Development in B

Michael Butler, Marina Waldén · ePrints Soton (University of Southampton) · 1996 · 44 citations

System Development, Refinement Rules, Engineering +21

Reasoning about Action Systems using the B-Method

Marina Waldén, Kaisa Sere · Formal Methods in System Design · 1998 · 37 citations

Design and Implementation of Energy Saving Digital Hydraulic Control System

Matti Linjama, Mikko Huova, Pontus Boström et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2007 · 27 citations

Engineering, Energy Management, Mechanical Systems +7

DevOps meets formal modelling in high-criticality complex systems

Marta Olszewska, Marina Waldén · 2015 · 23 citations

Software Maintenance, Engineering, Software Engineering +21

Data Refinement of Remote Procedures

Kaisa Sere, Marina Waldén · Formal Aspects of Computing · 2000 · 23 citations

Rows per page

1–5 of 9