Contact information

Marta Olszewska (Pląska)

Marta Olszewska née Pląska
Postdoctoral researcher
Åbo Akademi University
Department of Information Technologies
Distributed Systems Laboratory
Integrated Design of Quality Systems group (InDeQS)
Joukahaisenkatu 3-5, room A5042
20540 Turku, Finland
E-mail address: mplaska [at] abo [dot] fi

Research

Interests

Involvement in research projects

Participation in summer schools, seminars, self-education

Awards

Publications

  1. Marta Pląska, Marina Waldén and Colin Snook. Documenting the Progress of the System Development;
    in: Proceedings of Workshop on Methods, Models and Tools for Fault Tolerance, Oxford (United Kingdom), July 2007
  2. Marta Pląska, Marina Waldén and Colin Snook. Visualising Program Transformations in a Stepwise Manner;
    in: Proceedings of 19th Nordic Workshop on Programming Theory (NWPT'07), Oslo (Norway), October 2007
  3. Marta Pląska and Marina Waldén. Quality Comparison and Evaluation of Digital Hydraulic Control Systems;
    TUCS Technical Report number 857, Turku (Finland), 2008
  4. Marta Pląska, Marina Waldén and Colin Snook. Documenting the Progress of the System Development;
    in: Book on Methods, Models and Tools for Fault Tolerance; Butler, M.; Jones, C.B.; Romanovsky, A.; Troubitsyna, E. (Eds.), LNCS 5454, Springer, 2009
  5. Pontus Boström, Marta Plaska, Mikko Huova, Matti Linjama, Mikko Heikkilä, Kaisa Sere and Marina Waldén. Contract-based Design in Controller Development and its Evaluation;
    in: NODES 09, Linköping, Sweden, April 27, 2009
  6. Mikko Huova, Marta Pląska, Lauri Siivonen, Matti Linjama, Marina Waldén, Matti Vilenius and Kaisa Sere. Controller Design of Digital Hydraulic Flow Control Valve;
    in: Proceedings of 11th SICFP, June 2009
  7. Marta Olszewska (Pląska), Mikko Huova, Marina Waldén, Kaisa Sere, Matti Linjama. Quality Analysis of Simulink Models;
    in: Proceedings of the CONQUEST 2009, dpunkt.verlag GmbH Heidelberg, Germany, 2009
  8. Marta Olszewska (Pląska). Towards Event-B Specification Metrics;
    in: Deploy Technical Workshop 2009, Aix-en-Provence, France; Technical Report CS-TR Number 1187, School of Computing Science Newcastle University, January 2010
  9. Marta Olszewska (Pląska) and Kaisa Sere. Specification Metrics for Event-B Developments;
    in: Proceedings of the CONQUEST 2010, Dresden, Germany, September 2010
  10. Marta Olszewska (Pląska). Simulink-Specific Design Quality Metrics;
    in: TUCS Technical Report number 1002, February 2011
  11. Marta Olszewska (Pląska). SMARTER Metrics;
    In Proceeding of the 5th World Congress for Software Quality (WCSQ2011) "United Under one Banner: Best of Best Quality", Shanghai, China, October-November 2011
  12. Marta Olszewska. On the Impact of Rigorous Approaches on the Quality of Development;
    PhD Thesis in TUCS Dissertation Series, No 143, December 2011
  13. Marta Olszewska (Pląska) and Marina Waldén. Measuring the Progress of a System Development;
    In the book on Dependability and Computer Engineering: Concepts for Software-Intensive Systems; L. Petre, K. Sere, and E. Troubitsyna (Eds.), IGI Publishing House, 2012
  14. Pontus Boström, Mikko Huova, Marta Olszewska (Pląska), Matti Linjama, Mikko Heikkilä, Kaisa Sere and Marina Waldén. Development of Controllers Using Simulink and Contract-Based Design;
    In the book on Dependability and Computer Engineering: Concepts for Software-Intensive Systems; L. Petre, K. Sere, and E. Troubitsyna (Eds.), IGI Publishing House, 2012
  15. Marta Olszewska, Jeanette Heidenberg, Max Weijola, Kirsi Mikkonen, Ivan Porres Did it actually go this well? a Large-Scale Case Study on an Agile Transformation;
    TUCS Technical Report number 1108, May 2014
  16. Marta Olszewska, Marina Waldén FormAgi - A Concept for More Flexible Formal Developments;
    TUCS Technical Report number 1124, November 2014
  17. Masoumeh Parsa, Colin Snook, Marta Olszewska, Marina Walden Parallel Development of Event-B Systems with Agile Methods;
    In Proceedings of 26th Nordic Workshop on Programming Theory, NWPT'14. M.R. Mousavi and W. Taha (Eds). Halmstad University, 2014
  18. Marta Olszewska and Marina Waldén DevOps Meets Formal Modelling in High-Criticality Complex Systems;
    In Proceedings of 1st International Workshop on Quality-Aware DevOps, QUDOS'15, 1st September, Bergamo, Italy. Doi: 10.1145/2804371.2804373.
  19. Andrew Edmunds, Marta Olszewska and Marina Waldén Using the Event-B Formal Method for Disciplined Agile Delivery of Safety-critical Systems.;
    In Proceedings of The Second International Conference on Advances and Trends in Software Engineering, SOFTENG 2016, February 2016, Lisbon, Portugal. INRIA.
  20. Marta Olszewska, Sergey Ostroumov and Marina Waldén Synergising Event-B and Scrum - Experimentation on a Formal Development in an Agile Setting;
    TUCS Technical Report number 1152, March 2016
  21. Marta Olszewska, Jeanette Heidenberg, Max Weijola, Kirsi Mikkonen and Ivan Porres. Quantitatively measuring a large-scale agile transformation;
    In The Journal of Systems and Software, Vol. 117, pp. 258-273, Elsevier, March 2016.

Teaching

Courses

This document is valid XHTML 1.0 and it is styled with valid CSS 2.1