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.
Collaborations and top research areas from the last five years
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 AccessFile51 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