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

Projects 

CRESTA

An EU-funded FP7 project

Cloud Software Program

DISCO

Extension of grid computation to GP-GPU devices

DIEM

Device and Interoperability and Ecosystems

EUFORIA

EU Fusion fOR Iter Applications

PAM

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

RECOMP

Reduced Certification Costs Using Trusted Multi-core

SimITER

A problem-driven computational project within fusion physics

VAMOLA

Validation of Many Models in Many Languages

Publications 

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

The latest updated publications:

Fredrik Abbors, Tanwir Ahmad, Dragos Truscan, Ivan Porres, Model-Based Performance Testing in the Cloud Using the MBPeT Tool. In: Seelam Seetharami (Ed.), Proceedings of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE '13), ACM/SPEC International Conference on Performance Engineering 1, 423–424, ACM, 2013.

Adnan Ashraf, Cost-Efficient Virtual Machine Provisioning for Multi-tier Web Applications and Video Transcoding. In: Pavan Balaji, Dick Epema, Thomas Fahringer (Eds.), 13th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid), 66–69, IEEE Computer Society, 2013.

Adnan Ashraf, Fareed Jokhio, Tewodros Deneke, Sebastien Lafond, Ivan Porres, Johan Lilius, Stream-Based Admission Control and Scheduling for Video Transcoding in Cloud Computing. In: Pavan Balaji, Dick Epema, Thomas Fahringer (Eds.), 13th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid), 482–489, IEEE Computer Society, 2013.

Fareed Ahmed Jokhio, Adnan Ashraf, Sébastien Lafond, Ivan Porres, Johan Lilius, Prediction-Based Dynamic Resource Allocation for Video Transcoding in Cloud Computing. In: Peter Kilpatrick, Peter Milligan, Rainer Stotzka (Eds.), Proceedings of the 21st International Euromicro Conference on Parallel, Distributed and Network-based Processing, Belfast, UK 27 February - 1 March 2013, 254 – 261, IEEE Computer society, 2013.

Ali Hanzala Khan, Irum Rauf, Ivan Porres, Consistency of UML Class and Statechart Diagrams with State Invariants. In: Joaquim Filipe, Rui César das Neves (Eds.), First International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2013, 1, 1–11, SciTePress Digital Library (http://www.scitepress.org/DigitalLibrary/). SciTePress is member of CrossRef (http://www.crossref.org/). , 2013.

Tanwir Ahmad, Fredrik Abbors, Dragos Truscan, Ivan Porres, Model-Based Performance Testing Using the MBPeT Tool. TUCS Technical Reports 1066, Turku Centre for Computer Science, 2013.

Espen Suenson, Method and Fieldwork in a Hermeneutical Perspective. RMN Newsletter 4, 23–31, 2012.

Ville Timonen, Low-Complexity Intervisibility in Height Fields. COMPUTER GRAPHICS FORUM 31(8), 15, 2012.

Fredrik Abbors, Tanwir Ahmad, Dragos Truscan, Ivan Porres, MBPeT – A Model-Based Performance Testing Tool. In: Amir Alimohammad, Petre Dini (Eds.), 4th International Conference on Advances in System Testing and Validation Lifecycle, 1–8, IARIA, 2012.

Adnan Ashraf, Benjamin Byholm, Joonas Lehtinen, Ivan Porres, Feedback Control Algorithms to Deploy and Scale Multiple Web Applications per Virtual Machine. In: Vittorio Cortellessa, Henry Muccini, Onur Demirors (Eds.), 38th Euromicro Conference on Software Engineering and Advanced Applications, 431–438, IEEE Computer Society, 2012.

Adnan Ashraf, Benjamin Byholm, Ivan Porres, A Session-Based Adaptive Admission Control Approach for Virtualized Application Servers. In: Carlos Varela, Manish Parashar (Eds.), The 5th IEEE/ACM International Conference on Utility and Cloud Computing, 65–72, IEEE Computer Society, 2012.

Adnan Ashraf, Benjamin Byholm, Ivan Porres, CRAMP: Cost-Efficient Resource Allocation for Multiple Web Applications with Proactive Scaling. In: Tomasz Wiktor Wlodarczyk, Ching-Hsien Hsu, Wu-chun Feng (Eds.), 4th IEEE International Conference on Cloud Computing Technology and Science (CloudCom), 581–586, IEEE Computer Society, 2012.

Adnan Ashraf, Cost-Efficient Resource Allocation for Multi-tier Web Applications in a Cloud Environment. In: Erwin Grosspietsch, Konrad Klöckner (Eds.), Work in Progress Session held in connection with the 38th EUROMICRO Conference on Software Engineering and Advanced Applications, 1–2, Institute for Systems Engineering and Automation, Johannes Kepler University Linz, Austria, 2012.

Jerker Björkqvist, Luigia Petre, Karl Rönnholm, Dragos Truscan, Integrating Innovation Activities in a Master Level Capstone Project Course. In: Jerker Björkqvist, Mikko-Jussi Laakso, Janne Roslöf, Raija Tuohi, Seppo Virtanen (Eds.), International Conference on Engineering Education, Research Reports 38, 1065–1072, Turku University of Applied Sciences, 2012.

Jeanette Heidenberg, Max Weijola, Kirsi Mikkonen, Ivan Porres, A Model for Business Value in Large-Scale Agile and Lean Software Development. In: Dietmar Winkler, Rory V. O´Connor, Messnarz Richard (Eds.), Systems, Software and Services Process Improvement, Communications in Computer and Information Science 301, 49–60, Springer, 2012.

Irum Rauf, Ali Hanzala Khan, Ivan Porres, Analyzing Consistency of Behavioral REST Web Service Interfaces. In: Josep Silva, Francesco Tiezzi (Eds.), The 8th International Workshop on Automated Specification and Verification of Web Systems, Electronic Proceedings in Theoretical Computer Science, 1–15, EPTCS, 2012.

M. Mohsin Saleemi, Natalia Díaz Rodríguez, Espen Suenson, Johan Lilius, Ivan Porres, Ontology Driven Smart Space Application Development. In: Salvatore F. Pileggi, Carlos Fernandez-Llatas (Eds.), Semantic Interoperability: Issues, Solutions, and Challenges, 101–125., 1–25, River Publishers, 2012.