ADVICeS

List of publications



Number Publication
1 Marta Olszewska, Sergey Ostroumov, Mikolaj 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, September 2017
2 Marta Olszewska, Mikolaj Olszewski, Sergey Ostroumov, Gohar Shah, Haider Rizvi, Bilal Altaf. Experimenting with Event-B and Scrum on Student Project Course. TUCS Technical Reports 1176, TUCS, April 2017
3 Sergey Ostroumov, Marina Waldén. Visual Component-based Development of Formal Models. In proceedings of The Third International Conference on Advances and Trends in Software Engineering (SOFTENG), pp. 43-50, IARIA, April 2017
4 Marta Olszewska, Sergey Ostroumov, Marina Waldén. Using Scrum to Develop a Formal Model – An Experience Report. In proceedings of 17th International Conference on Product-Focused Software Process Improvement (PROFES), Springer, Trodnheim, October 2016.
5 A. Edmunds and M. Waldén. Modelling “Operation-Calls” in Event-B with Shared-Event Composition. In the Proceedings of the 19th Brazilian Symposium on Formal Methods (SBMF2016), Natal, Brazil, LNCS, November 2016.
6 Marta Olszewska, Yanja Dajsuren, Harald Altinger, Alexander Serebrenik, Marina Waldén, Mark G.J. van den Brand. Tailoring Complexity Metrics for Simulink Models. In proceedings of the 10th European Conference on Software Architecture (ECSA 2016), ACM, November 2016.
7 Marta Olszewska, Sergey Ostroumov, Marina Waldén. Synergising Event-B and Scrum - Experimentation on a Formal Development in an Agile Setting. TUCS Technical Reports 11528, TUCS, 2016.
8 Andrew Edmunds, Marta Olszewska, Marina Waldén. Using the Event-B Formal Method for Disciplined Agile Delivery of Safety-Critical Systems.Proceedings of The Second International Conference on Advances and Trends in Software Engineering, SOFTENG 2016, Lisbon, February 2016.
9 Sergey Ostroumov, Marina Waldén. Facilitating Formal Event-B Development by Visual Component-Based Design. TUCS Technical Reports 1148, TUCS, 2015.
10 Sergey Ostroumov, Marina Waldén. Formal Library of Visual Components. TUCS Technical Reports 1147, TUCS, 2015.
11 Andrew Edmunds, Marina Waldén. Modelling “Operation-Calls” in Event-B with Shared-Event Composition. TUCS Technical Reports 1144, TUCS, 2015.
12 Andrew Edmunds, Colin Snook, Marina Waldén. Towards Component-Based Reuse for Event-B. In: Luca Aceto, Anna Ingolfsdottir (Eds.), Proceedings of 27th Nordic Workshop on Programming Theory, NWPT'15, Reykjavik University, Iceland, 2015.
13 Andrew Edmunds, Colin Snook, Marina Waldén. Towards Component-Based Reuse for Event-B. TUCS Technical Reports 1140, TUCS, 2015.
14 Marta Olszewska (Pląska) and Marina Waldén. DevOps Meets Formal Modelling in High-Criticality Complex Systems. In Proceedings of QUDOS2015 workshop within European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), Bergamo, ACM, September 2015.
15 Marta Olszewska, Marina Waldén. FormAgi - A Concept for More Flexible Formal Developments. TUCS Technical Reports 1124, Åbo Akademi University, 2014.
16 Masoumeh Parsa, Colin Snook, Marta Olszewska, Marina Waldén. 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.
17 Masoumeh Parsa, Marina Waldén, Colin Snook. An Overview of Formal Specification Languages and Tools Supporting Visualisation of System Development. TUCS Technical Reports 1127, Åbo Akademi University, 2014.