Where academic tradition
meets the exciting future

Software Engineering Laboratory (SE Lab)

The mission of the Software Engineering Laboratory is to research, develop and evaluate processes, methods and tools to engineer high-quality software-intensive systems, with a focus on software performance and developer productivity.

Research Unit Web Page: https://research.it.abo.fi/research/high-performance-computing

Research Unit Web Page: https://research.it.abo.fi/research/software-engineering-laboratory

Leader of the unit

Ivan Porres

Co-leader of the unit

Jan Westerholm

Senior Researchers

Mats Aspnäs Jeanette Heidenberg Ivan Porres Dragos Truscan Jan Westerholm



An EU-funded FP7 project

Cloud Software Program


Extension of grid computation to GP-GPU devices


Device and Interoperability and Ecosystems


EU Fusion fOR Iter Applications


Practical Applications of Model-based technologies to continuous integration & testing methodologies


Reduced Certification Costs Using Trusted Multi-core


A problem-driven computational project within fusion physics


Validation of Many Models in Many Languages


Click here to see the full list of publications from the TUCS Publication Database

The latest updated publications:

Tanwir Ahmad, Dragos Truscan, Ivan Porres, Identifying Worst-Case User Scenarios for Performance Testing of Web Applications Using Markov-Chain Workload Models. Future Generation Computer Systems: The International Journal of Grid Computing: Theory Methods and Applications , 11, 2018.

Adnan Ashraf, Benjamin Byholm, Ivan Porres, Distributed virtual machine consolidation: A systematic mapping study. Computer Science Review 28C, 118–130, 2018.

Jurka Rahikkala, Sami Hyrynsalmi, Ville Leppänen, Ivan Porres, The Role of Organisational Phenomena in Software Cost Estimation: A Case Study of Supporting and Hindering Factors. E-Informatica Software Engineering Journal 12(1), 168–198, 2018.

Adnan Ashraf, Ivan Porres, Multi-Objective Dynamic Virtual Machine Consolidation in the Cloud Using Ant Colony System. International Journal of Parallel, Emergent and Distributed Systems , 1–18, 2017.

Wasif Afzal, Hugo Bruneliere, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini, Eric Cariou, Dragos Truscan, Jordi Cabot, Daniel Field, Luigi Pomante, Pavel Smrz, The MegaM@Rt2 ECSEL Project – MegaModelling at Runtime – Scalable Model-based Framework for Continuous Development and Runtime Validation of Complex Systems. In: Euromicro Conference on Digital System Design (DSD), 1–10, IEEE, 2017.

Marin Aranitasi, Benjamin Byholm, Mats Neovius, Quantifying Uncertainty for Preemptive Resource Provisioning in the Cloud. In: A Min Tjoa, Roland R. Wagner (Eds.), 28th International Workshop on Database and Expert Systems Applications (DEXA), 127–131, IEEE Computer Society, 2017.

Benjamin Byholm, Ivan Porres, Optimized Deployment Plans for Platform As a Service Clouds. In: Geoffrey Fox, Yong Chen (Eds.), Companion Proceedings of the 10th International Conference on Utility and Cloud Computing, UCC '17 Companion, 41–46, ACM, 2017.

Junaid Iqbal, Dragos Truscan, Juri Vain, Ivan Porres, Reconstructing Timed Symbolic Traces from Rtioco-Based Timed Test Sequences Using Backward-Induction. In: George Angelos Papadopoulos, Ondrej Rysavy, Valentino Vranić (Eds.), Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, 6:1–6:10, ACM, 2017.

Jüri Vain, Dragos Truscan, Junaid Iqbal, Leonidas Tsiopoulos, On the Benefits of Using Aspect-Orientation in UPPAAL Timed Automata. In: Sunil Kumar Khatri, R.K. Kapur, Ajay Rana, Sanjay Singh, P.K. Kapur (Eds.), International Conference on Infocom Technologies and Unmanned Systems (ICTUS 2017), 978-1-5386-0514-1 , 81–88, IEEE, 2017.

Faezeh Siavashi, Junaid Iqbal, Dragos Truscan, Juri Vain, Testing Web Services with Model-Based Mutation. In: Enrique Cabello, Jorge Cardoso, Andre Ludwig, Leszek A. Maciaszek, Marten van Sinderen (Eds.), Software Technologies, 743, 45–67, Springer, 2017.

Benjamin Byholm, Ivan Porres, Fast Algorithms for Fragmentable Items Bin Packing. TUCS Technical Reports 1181, TUCS, 2017.

Benjamin Byholm, Ivan Porres, Dynamic Horizontal and Vertical Scaling of Multiple Cloud Services in Soft Real-Time. TUCS Technical Reports 1182, TUCS, 2017.

Kristian Nybom, Adnan Ashraf, Ivan Porres, A Systematic Mapping Study on Tools for API Documentation Generation. TUCS Technical Reports 1180, TUCS, 2017.