Projects per year
Organisation profile
Organisation profile
Our research focuses on the design, verification and validation of resillient and secure software-intensive systems for mission critical applications.
UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. Our work contributes towards the following SDG(s):
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
Andreas Lundell
- Faculty of Science and Engineering, Information Technology - Associate Professor (tenure track)
- Faculty of Science and Engineering, Data-driven green transition in industry
- Faculty of Science and Engineering, High performance, energy efficient algorithms and low emission computing platforms for artificial intelligence and machine learning
- Faculty of Science and Engineering, Mission critical software systems
Person: Academic
-
FAST: Finnish Software Engineering Doctoral Research Network
Porres Paltor, I. (Principal Investigator), Björkqvist, J. (Co-Investigator), Truscan, D. (Co-Investigator), Lafond, S. (Co-Investigator), Lundell, A. (Co-Investigator), Torbunova, A. (Coordinator), Kaya, A. (Co-Investigator), Ovsiannikova, E. (Co-Investigator), Gishene, T. Y. (Co-Investigator) & Kovelakuntla Huthasana, K. H. (Co-Investigator)
01/08/24 → …
Project: Research
-
VST: Virtual Sea Trial
Truscan, D. (Principal Investigator), Hellström, M. (Principal Investigator), Porres Paltor, I. (Co-Principal Investigator), Ahmad, T. (Co-Investigator), Chariyarupadannayil Sudheerbabu, G. (Project staff), Yaseen, A. (Project staff), Khan, S. (Project staff) & Mughees, A. (Project staff)
01/01/24 → 31/12/26
Project: Industry/Business Finland
-
Algorithms and Software for Large-Scale Optimization
Lundell, A. (Principal Investigator), Björkqvist, J. (Co-Investigator), Olama, A. (Participant) & Blomqvist, J. (Participant)
01/09/23 → 31/08/25
Project: Foundation
-
ARCH-COMP 2024 Category Report: Falsification
Khandait, T., Formica, F., Arcaini, P., Chotaliya, S., Fainekos, G., Hekal, A., Kundu, A., Lew, E., Loreti, M., Menghi, C., Nenzi, L., Pedrielli, G., Peltomäki, J., Porres, I., Ray, R., Soloviev, V., Visconti, E., Waga, M. & Zhang, Z., 10 Oct 2024, Proceedings of 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24). EasyChair, Vol. 103. p. 122-144 23 p. (EPiC Series in Computing; vol. 103).Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile46 Downloads (Pure) -
Iterative Optimization of Hyperparameter-based Metamorphic Transformations
Sudheerbabu, G., Ahmad, T., Truscan, D., Vain, J. & Porres, I., 17 Sept 2024, Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024. IEEE, p. 13-20 (Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024).Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
-
Localizer: A Visual Debugging Assistant for Python Programs
Khan, S., Sudheerbabu, G., Truscan, D. & Ahmad, T., 13 Sept 2024, DEBT 2024 - Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, Co-located with: ISSTA 2024. Boix, E. G. & Scholliers, C. (eds.). New York, NY, USA: ACM, p. 34–35 (DEBT 2024 - Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, Co-located with: ISSTA 2024).Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile6 Downloads (Pure)
Activities
- 1 Organising a conference, symposium or workshop
-
5th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems
Saadatmand, M. (Organiser), Truscan, D. (Organiser) & Enoiu, E. P. (Organiser)
12 Apr 2021Activity: Participating in or organising an event › Organising a conference, symposium or workshop