Подписаться
Marina Waldén
Marina Waldén
University Lecturer of Computer Science, Åbo Akademi University
Подтвержден адрес электронной почты в домене abo.fi
Название
Процитировано
Процитировано
Год
Distributed system development in B
MJ Butler, M Waldén
IRIN (Institut de Recherche en Informatique de Nantes), 1996
911996
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
722007
Reasoning about action systems using the B-Method
M Waldén, K Sere
Formal Methods in System Design 13 (1), 5-35, 1998
591998
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
45*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
402015
Data refinement of remote procedures
K Sere, M Waldén
Theoretical Aspects of Computer Software, 267-294, 1997
321997
Free text retrieval on transputer networks
M Waldén, K Sere
Microprocessors and Microsystems 13 (3), 179-187, 1989
291989
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
252016
Data refinement of remote procedures
K Sere, M Waldén
Formal Aspects of Computing 12 (4), 278-297, 2000
252000
Refinement of Statemachines using Event B semantics
C Snook, M Waldén
B 2007: Formal Specification and Development in B, 171-185, 2006
222006
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
202007
Parallel programming with the B Method
M Butler, M Waldén
Program Development by Refinement, 183-195, 1999
181999
A language for modeling network availability
L Petre, K Sere, M Waldén
Formal Methods and Software Engineering, 639-659, 2006
162006
Formal development of NoC systems in B
L Tsiopoulos, M Waldén
Nordic Journal of Computing 13 (1), 127-145, 2006
152006
Use of U2B for specifying B action systems
C Snook, M Walden
Proc. of Workshop on Refinement of Critical Systems: Methods, Tools and …, 2002
152002
Reverse engineering distributed algorithms
K Sere, M Waldén
Journal of Software Maintenance 8 (2), 117-144, 1996
151996
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
15
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
142007
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
142003
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
132009
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20