Marina Walden

Akademilektor, Datavetenskap
E-post: marina.walden@abo.fi
Mobiltelefon: +358-469208547
Telefon: +358-2-2154675


Referentgranskade publikationer

C2 Redigerat verk
NWPT 2017 - Special issue (2019)
Waldén Marina
Elsevier
Visa på utgivarens sida
A4 Konferenspublikationer
A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks (2018)
Jonatan Wiik, Johan Ersfolk, Marina Waldén
IEEE
Visa på utgivarens sida
C2 Redigerat verk
Proceedings of the 29th Nordic Workshop on Programming Theory (2017)
Waldén Marina
Turku Centre for Computer Science
A4 Konferenspublikationer
Visual Component-Based Development of Formal Models (2017)
S. Ostroumov, M. Waldén
Iaria xps press
A3 Bokavsnitt, kapitel i forskningsböcker
A Provably Correct Resilience Mediator Pattern (2016)
Mats Neovius, Mauno Rönkkö, Marina Waldén
CRC Press
Visa på utgivarens sida
A4 Konferenspublikationer
Modelling ‘Operation-Calls’ in Event-B with Shared-Event Composition (2016)
Andrew Edmunds, Marina Waldén
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
On Component-Based Reuse for Event-B (2016)
Andrew Edmunds, Colin Snook, Marina Waldén
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Optimal Digital Valve Control Using Embedded GPU (2016)
Johan Ersfolk, Pontus Boström, Ville Timonen, Jan Westerholm, Jonatan Wiik, Otso Karhu, Matti Linjama, Marina Waldén
Tampereen teknillinen yliopisto
A4 Konferenspublikationer
Tailoring Complexity Metrics for Simulink Models (2016)
Marta Olszewska, Yanja Dajsuren, Harald Altinger, Alexander Serebrenik, Marina Waldén, Mark G. J. van den Brand
ACM
Visa på utgivarens sida
A4 Konferenspublikationer
Using Scrum to Develop a Formal Model – An Experience Report (2016)
Marta Olszewska, Sergey Ostroumov, Marina Waldén
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Using the Event-B Formal Method for Disciplined Agile Delivery of Safety-critical Systems (2016)
Andrew Edmunds, Marta Olszewska, Marina Walden
Iaria xps press
A4 Konferenspublikationer
Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems (2015)
Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Derivation of Parallel and Resilient Programs from Simulink Models (2015)
Sergey Ostroumov, Pontus Boström, Marina Waldén
IEEE
Visa på utgivarens sida
A4 Konferenspublikationer
DevOps Meets Formal Modelling in High-Criticality Complex Systems (2015)
Marta Olszewska, Marina Waldén
ACM
Visa på utgivarens sida
A4 Konferenspublikationer
Analysis of Real-Time Properties of a Digital Hydraulic Power Management System (2014)
Pontus Boström, Petr Alexeev, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
Lecture notes for computer science
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Derivation of Concurrent Programs by Stepwise Scheduling of Event-B Models (2014)
Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
Formal Aspects of Computing
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
Hierarchical Agent-Based Monitoring Systems for Dynamic Reconfiguration in NoC Platforms: A Formal Approach (2014)
Sergey Ostroumov, Leonidas Tsiopoulos, Marina Waldén, Juha Plosila
IGI Global
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Kaisa Sere: In Memoriam. (2014)
Luigi Petre, Elena Troubitsyna, Marina Waldén
Formal Aspects of Computing
Visa på utgivarens sida
A4 Konferenspublikationer
Parallel Development of Event-B Systems with Agile Methods (2014)
Masoumeh Parsa, Colin Snook, Marta Olszewska, Marina Walden
Halmstad University
A4 Konferenspublikationer
Verification and Validation of a Pressure Control Unit for Hydraulic Systems (2014)
Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
Lecture notes for computer science
Visa på utgivarens sida
A4 Konferenspublikationer
Fault-tolerant Scheduling of Stateful Tasks in Uniprocessor Real-time Systems (2013)
Petr Alexeev, Pontus Boström, Marina Waldén, Mikko Huova, Matti Linjama, Kaisa Sere
SCITEPRESS Digital Library
Visa på utgivarens sida
A4 Konferenspublikationer
Concurrent Scheduling of Event-B Models (2011)
Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
Electronic Proceedings in Theoretical Computer Science
Open Publishing Association
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
Development of Controllers Using Simulink and Contract-Based Design (2011)
Pontus Boström, Mikko Huova, Marta (Plaska) Olszewska, Matti Linjama, Mikko Heikkilä, Kaisa Sere, Marina Waldén
Information science reference IGI
Visa på utgivarens sida
A3 Bokavsnitt, kapitel i forskningsböcker
Measuring the Progress of a System Development (2011)
Marta (Pląska) Olszewska, Marina Waldén
Information science reference IGI
Visa på utgivarens sida
A4 Konferenspublikationer
Contract-based Design in Controller Development and its Evaluation (2009)
Pontus Boström, Marta Pląska, Mikko Huova, Matti Linjama, Mikko Heikkilä, Kaisa Sere, Marina Waldén
Linköping university electronic press
A4 Konferenspublikationer
Controller Design of Digital Hydraulic Flow Control Valve (2009)
Huova M, Pląska M, Siivonen L, Linjama M, Waldén M, Vilenius M, Sere K
A4 Konferenspublikationer
Quality Analysis of Simulink Models (2009)
Marta Olszewska (Pląska), Mikko Huova, Marina Waldén, Kaisa Sere, Matti Linjama
dpunkt.verlag GmbH
A4 Konferenspublikationer
Design and Implementation of Energy Saving Digital Hydraulic Control System (2007)
Matti Linjama, Mikko Huova, Pontus Boström, Arto Laamanen, Lauri Siivonen, Lionel Morel, Marina Waldén, Matti Vilenius
Tampere University of Technology
A4 Konferenspublikationer
Design and Validation of Digital Controllers for Hydraulics Systems (2007)
Pontus Boström, Matti Linjama, Lionel Morel, Lauri Siivonen, Marina Waldén
Tampere University of Technology
A4 Konferenspublikationer
Documenting the Progress of the System Development (2007)
Marta Pląska, Marina Waldén, Colin Snook
A4 Konferenspublikationer
Formal Transformation of Platform Independent Models into Platform Specific Models (2007)
Pontus Boström, Mats Neovius, Ian Oliver, Marina Waldén
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Stepwise Development of Simulink Models Using the Refinement Calculus Framework (2007)
Pontus Boström, Lionel Morel, Marina Waldén
Springer
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Visualising Program Transformations in a Stepwise Manner (2007)
Marta Pląska, Marina Waldén, Colin Snook
University of Oslo
A4 Konferenspublikationer
An Extension of Event B for Developing Grid Systems (2005)
Pontus Boström, Marina Waldén
Springer
Visa på utgivarens sida
A4 Konferenspublikationer
Development of Fault Tolernt Grid Applications Using Distributed B (2005)
Pontus Boström, Marina Waldén
Springer
Visa på utgivarens sida
A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)
Implementation of Control Systems using B Action Systems - A Case Study (2004)
Boström P, Waldén M
Nordic Journal of Computing


Övriga publikationer

D4 Publicerad utvecklings- eller forskningsrapport eller studie
Agile Development of Formal Systems Models (2019)
Colin Snook, Marina Waldén, Andrew Edmunds, Michael Butler
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Improving the Modelling Experience in Event-B - A Literature Review (2018)
Marta Olszewska, Fatima Shokri-Manninen, Andrew Edmunds, Marina Waldén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Synergising Event-B and Scrum - Experimentation on a Formal Development in an Agile Setting (2016)
Marta Olszewska, Sergey Ostroumov, Marina Waldén
B3 Icke-referentgranskade konferenspublikationer
Towards Component-based Reuse for Event-B (2016)
Andrew Edmunds, Marina Walden, Colin Snook
Reykjavik University, Iceland
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Bayesian Statistical Analysis for Performance Evaluation in Real-Time Control Systems (2015)
Pontus Boström, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Facilitating Formal Event-B Development by Visual Component-based Design (2015)
Sergey Ostroumov, Marina Waldén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Formal Library of Visual Components (2015)
Sergey Ostroumov, Marina Waldén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Modelling “Operation-Calls” in Event-B with Shared-Event Composition (2015)
Andrew Edmunds, Marina Walden
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Towards Component-Based Reuse for Event-B (2015)
Andrew Edmunds, Colin Snook, Marina Walden
D4 Publicerad utvecklings- eller forskningsrapport eller studie
An Overview of Formal Specification Languages and Tools Supporting Visualisation of System Development (2014)
Masoumeh Parsa, Marina Walden,Colin Snook
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Deriving Efficient and Dependable Parallel Programs from Simulink Models (2014)
Sergey Ostroumov, Pontus Boström, Marina Waldén, Mikko Huova
D4 Publicerad utvecklings- eller forskningsrapport eller studie
FormAgi – A Concept for More Flexible Formal Developments (2014)
Marta Olszewska, Marina Waldén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Quality Comparison and Evaluation of Digital Hydraulic Control Systems (2007)
Marta Pląska, Marina Waldén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
Development of Fault Tolerant Grid Applications Using Distributed B (2005)
Pontus Boström, Marina Waldén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
A Healthcare Case Study: Fillwell (2003)
Pontus Boström, Micaela Jansson, Marina Waldén
D4 Publicerad utvecklings- eller forskningsrapport eller studie
A Methodology for integration of formal methods in a healthcare case study (2001)
Luigia Petre, Elena Troubitsyna, Marina Waldén, Pontus Boström, Niklas Engblom, Micaela Jansson

Senast uppdaterad 2018-19-09 vid 19:50

Kom i kontakt