Peer-reviewed publications

A4 Conference proceedings
To Agile or not to Agile Students (With a Twist): Experience Report from a Student Project Course (2017)
Marta Olszewska, Sergey Ostroumov, Mikołaj Olszewski
IEEE
View on publisher's site
A1 Journal article (refereed)
Quantitatively Measuring a Large-Scale Agile Transformation (2016)
Mart Olszewska (née Pląska), Jeannette Heidenberg, Max Weijola, Kirsi Mikkonen, Ivan Porres
Journal of Systems and Software
View on publisher's site
A4 Conference proceedings
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
View on publisher's site
A4 Conference proceedings
Using Scrum to Develop a Formal Model – An Experience Report (2016)
Marta Olszewska, Sergey Ostroumov, Marina Waldén
Springer
View on publisher's site
A4 Conference proceedings
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 Conference proceedings
DevOps Meets Formal Modelling in High-Criticality Complex Systems (2015)
Marta Olszewska, Marina Waldén
ACM
View on publisher's site
A4 Conference proceedings
Parallel Development of Event-B Systems with Agile Methods (2014)
Masoumeh Parsa, Colin Snook, Marta Olszewska, Marina Walden
Halmstad University
A3 Book section, Chapters in research books
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
View on publisher's site
A3 Book section, Chapters in research books
Measuring the Progress of a System Development (2011)
Marta (Pląska) Olszewska, Marina Waldén
Information science reference IGI
View on publisher's site
G5 Doctoral dissertation (article)
On the Impact of Rigorous Approaches on the Quality of Development (2011)
Marta Olszewska
A4 Conference proceedings
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 Conference proceedings
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 Conference proceedings
Quality Analysis of Simulink Models (2009)
Marta Olszewska (Pląska), Mikko Huova, Marina Waldén, Kaisa Sere, Matti Linjama
dpunkt.verlag GmbH
A4 Conference proceedings
Towards Event-B Specification Metrics (2009)
Marta Olszewska (Pląska), Kaisa Sere
First Deploy Technical Workshop
A3 Book section, Chapters in research books
Documenting the Progress of the System Development (2008)
Pląska M, Waldén M, Snook C
A4 Conference proceedings
Documenting the Progress of the System Development (2007)
Marta Pląska, Marina Waldén, Colin Snook
A4 Conference proceedings
Visualising Program Transformations in a Stepwise Manner (2007)
Marta Pląska, Marina Waldén, Colin Snook
University of Oslo


Other publications

D4 Published development or research report or study
Improving the Modelling Experience in Event-B - A Literature Review (2018)
Marta Olszewska, Fatima Shokri-Manninen, Andrew Edmunds, Marina Waldén
D4 Published development or research report or study
Experimenting with Event-B and Scrum on Student Project Course (2017)
Marta Olszewska, Mikołaj Olszewski, Sergey Ostroumov, Gohar Shah, Haider Rizvi, Bilal Altaf
D4 Published development or research report or study
Synergising Event-B and Scrum - Experimentation on a Formal Development in an Agile Setting (2016)
Marta Olszewska, Sergey Ostroumov, Marina Waldén
D4 Published development or research report or study
Did It Actually Go This Well? A Large-Scale Case Study on an Agile Transformation (2014)
Marta Olszewska, Jeanette Heidenberg, Max Weijola, Kirsi Mikkonen, Ivan Porres
D4 Published development or research report or study
FormAgi – A Concept for More Flexible Formal Developments (2014)
Marta Olszewska, Marina Waldén
D4 Published development or research report or study
Simulink-Specific Design Quality Metrics (2011)
Marta Olszewska (Pląska)
D3 Professional conference proceedings
SMARTER Metrics (2011)
Olszewska (Pląska) M
D3 Professional conference proceedings
Specification Metrics for Event-B Developments (2010)
Olszewska (Pląska) M, Sere K
D4 Published development or research report or study
Quality Comparison and Evaluation of Digital Hydraulic Control Systems (2007)
Marta Pląska, Marina Waldén

Last updated on 2019-02-01 at 08:08