Projekt per år
Organisationsprofil
Organisationsprofil
Our research focuses on the design, verification and validation of resillient and secure software-intensive systems for mission critical applications.
Samarbeten och ledande forskningsområden under de senaste fem åren
Profiler
-
Andreas Lundell
- Fakulteten för naturvetenskaper och teknik, Informationsteknologi - Biträdande professor (tenure track, nivå 2)
- Fakulteten för naturvetenskaper och teknik, Data-driven green transition in industry
- Fakulteten för naturvetenskaper och teknik, High performance, energy efficient algorithms and low emission computing platforms for artificial intelligence and machine learning
- Fakulteten för naturvetenskaper och teknik, Mission critical software systems
Person: Akademisk
-
FAST: Finnish Software Engineering Doctoral Research Network
Porres Paltor, I. (Ansvarig forskare), Björkqvist, J. (CoI), Truscan, D. (CoI), Lafond, S. (CoI), Lundell, A. (CoI), Torbunova, A. (Koordinator), Kaya, A. (CoI), Ovsiannikova, E. (CoI), Gishene, T. Y. (CoI) & Kovelakuntla Huthasana, K. H. (CoI)
01/08/24 → …
Projekt: Forskning
-
VST: Virtual Sea Trial
Truscan, D. (Ansvarig forskare), Hellström, M. (Ansvarig forskare), Porres Paltor, I. (CoPI), Ahmad, T. (CoI), Chariyarupadannayil Sudheerbabu, G. (Projektmedarbetare), Yaseen, A. (Projektmedarbetare), Khan, S. (Projektmedarbetare) & Mughees, A. (Projektmedarbetare)
01/01/24 → 31/12/26
Projekt: Företag/Business Finland
-
Algorithms and Software for Large-Scale Optimization
Lundell, A. (Ansvarig forskare), Björkqvist, J. (CoI), Olama, A. (deltagare) & Blomqvist, J. (deltagare)
01/09/23 → 31/08/25
Projekt: Stiftelser och fonder
-
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 okt. 2024, Proceedings of 11th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH24). EasyChair, Vol. 103. s. 122-144 23 s. (EPiC Series in Computing; vol. 103).Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil46 Nedladdningar (Pure) -
Iterative Optimization of Hyperparameter-based Metamorphic Transformations
Sudheerbabu, G., Ahmad, T., Truscan, D., Vain, J. & Porres, I., 17 sep. 2024, Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024. IEEE, s. 13-20 (Proceedings - 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2024).Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
-
Localizer: A Visual Debugging Assistant for Python Programs
Khan, S., Sudheerbabu, G., Truscan, D. & Ahmad, T., 13 sep. 2024, DEBT 2024 - Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, Co-located with: ISSTA 2024. Boix, E. G. & Scholliers, C. (red.). New York, NY, USA: ACM, s. 34–35 (DEBT 2024 - Proceedings of the 2nd ACM International Workshop on Future Debugging Techniques, Co-located with: ISSTA 2024).Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review
Öppen tillgångFil6 Nedladdningar (Pure)
Aktiviteter
- 1 Organisering av konferens, symposium eller arbetsseminarium
-
5th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems
Saadatmand, M. (Organisatör), Truscan, D. (Organisatör) & Enoiu, E. P. (Organisatör)
12 apr. 2021Aktivitet: Deltagande i eller organisering av evenemang › Organisering av konferens, symposium eller arbetsseminarium