• HOME
• ABOUT US
  • Organization
  • Personnel
• NEWS&EVENTS
  • News & Events archive
  • Newsletter archive
  • Conference archive
  • Travel reports
• COOPERATION
  • International Involvement
  • National Involvement
  • Regional Involvement
• EDUCATION
  • Master's Programmes
  • TUCS Graduate Programmes
  • Information for Students
  • Courses
  • TUCS Short Courses
• PUBLICATIONS
  • TUCS Publication Series
  • How to Publish in TUCS Series
  • Publication Search
  • Publication Graph
  • Publication Input
  • Publication Input Guide
  • JuFo Browser
• RESEARCH
  • Focus areas
  • Research Programmes
  • Research Units
  • Distinguished Lectures

Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search

• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Department: Any ÅAU / Department of Information Technologies UTU / Department of Information Technology UTU / Department of Mathematics and Statistics UTU / Turku School of Economics, Institute of Information Systems Sciences

Research Unit: Any Algorithmics and Computational Intelligence Group (ACI) Biomathematics Research Unit (BIOMATH) Communication Systems (ComSys) Computational Biomodeling Laboratory (Combio Lab) Data Mining and Knowledge Management Laboratory Distributed Systems Laboratory (DS Lab) Embedded Computer and Electronic Systems (ECES) Embedded Systems Laboratory (ESLAB) FUNDIM, Fundamentals of Computing and Discrete Mathematics Institute for Advanced Management Systems Research (IAMSR) Learning and Reasoning Lab Software Construction Laboratorium Software Development Laboratory (SwDev) Software Engineering Laboratory (SE Lab) Turku BioNLP Group Turku Optimization Group (TOpGroup) UTU Information Systems Science (ISS)

Publication type: Any Monographs Edited books Edited special issues of journals Edited proceedings Articles in journals Articles in proceedings Chapters in edited books Ph.D. thesis Lic. thesis Technical reports

Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points

Sort output by publication type Sort output by publication year

and display below and download in BibTeX and download as CSV and download as 2014-CSV

Articles in journals (1):

• Marta Olszewska, Jeanette Heidenberg, Max Weijola, Kirsi Mikkonen, Ivan Porres, Quantitatively Measuring a Large-Scale Agile Transformation. Journal of Systems and Software 117, 258–273, 2016.

Articles in proceedings (6):

• Marta Olszewska, Sergey Ostroumov, Mikołaj Olszewski, To Agile or not to Agile Students (With a Twist) - Experience Report from a Student Project Course. In: Michael Felderer, Helena Holmström-Olsson (Eds.), The Proceedings of the 43rd Euromicro Conference on Software Engineering and Advanced Applications, 83–87, IEEE, 2017.
• Andrew Edmunds, Marta Olszewska, Marina Walden, Using the Event-B Formal Method for Disciplined Agile Delivery of Safety-critical Systems. In: Hermann Kaindl, Roberto Meli (Eds.), SOFTENG 2016: The Second International Conference on Advances and Trends in Software Engineering, 1–9, IARIA, 2016.
• Marta Olszewska, Yanja Dajsuren, Harald Altinger, Alexander Serebrenik, Marina Waldén, Mark G. J. van den Brand, Tailoring Complexity Metrics for Simulink Models. In: Rami Bahsoon, Rainer Weinreich (Eds.), Proccedings of the 10th European Conference on Software Architecture Workshops, 1–7, ACM New York, 2016.
• Marta Olszewska, Sergey Ostroumov, Marina Waldén, Using Scrum to Develop a Formal Model – An Experience Report. In: Pekka Abrahamsson, Andreas Jedlitschka, Anh Nguyen Duc, Michael Felderer, Sousuke Amasaki, Tommi Mikkonen (Eds.), Product-Focused Software Process Improvement: 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, LNCS 10027, 621–626, Springer International Publishing, 2016.
• Marta Olszewska, Marina Waldén, DevOps Meets Formal Modelling in High-Criticality Complex Systems. In: Danilo Ardagna, Andreas Brunnert, Giuliano Casale, Andre van Hoorn (Eds.), QUDOS 2015 Proceedings of the 1st International Workshop on Quality-Aware DevOps, ACM , 7–12, ACM New York, 2015.
• Masoumeh Parsa, Colin Snook, Marta Olszewska, Marina Walden, Parallel Development of Event-B Systems with Agile Methods. In: Mohammad Reza Mousavi, Walid Taha (Eds.), Proceedings of 26th Nordic Workshop on Programming Theory, NWPT '14, 1–3, Halmstad University, 2014.

Chapters in edited books (1):

• Pontus Boström, Mikko Heikkilä, Mikko Huova, Matti Linjama, Marta Olszewska, Kaisa Sere, Marina Waldén, Development of Controllers Using Simulink and Contract-Based Design. In: Luigia Petre, Kaisa Sere, Elena Troubitsyna (Eds.), Dependability and Computer Engineering: Concepts for Software-Intensive Systems, 151–169, IGI Global, 2011.

Ph.D. thesis (1):

• Marta Olszewska, On the Impact of Rigorous Approaches on the Quality of Development. TUCS Dissertations 143. Turku Centre for Computer Science, 2011.

Technical reports (5):

• Marta Olszewska, Fatima Shokri-Manninen, Andrew Edmunds, Marina Waldén, Improving the Modelling Experience in Event-B - A Literature Review. TUCS Technical Reports 1196, Åbo Akademi University, 2018.
• Marta Olszewska, Mikołaj Olszewski, Sergey Ostroumov, Gohar Shah, Haider Rizvi, Bilal Altaf, Experimenting with Event-B and Scrum on Student Project Course. TUCS Technical Reports 1176, TUCS, 2017.
• Marta Olszewska, Sergey Ostroumov, Marina Waldén, Synergising Event-B and Scrum – Experimentation on a Formal Development in an Agile Setting. TUCS Technical Reports 1152, TUCS, 2016.
• Marta Olszewska, Jeanette Heidenberg, Max Weijola, Mikkonen Kirsi, Ivan Porres, Did It Actually Go This Well? A Large-Scale Case Study on an Agile Tranformation. TUCS Technical Reports 1108, TUCS Turku Centre for Computer Science, 2014.
• Marta Olszewska, Marina Waldén, FormAgi – A Concept for More Flexible Formal Developments. TUCS Technical Reports 1124, Åbo Akademi University, 2014.