Projekt per år
Personlig profil
Expertis relaterad till FN:s globala mål för hållbar utveckling (SDG:er)
2015 godkände FN:s medlemsstater 17 globala mål för en hållbar utveckling (SDG:er), för att utrota fattigdomen, skydda planeten och garantera framgång för alla. Denna personens arbete bidrar till följande SDG(:er):
Fingeravtryck
- 1 Liknande profiler
Samarbeten och ledande forskningsområden under de senaste fem åren
Projekt
- 5 Slutfört
-
ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, M. (Ansvarig forskare), Olszewska, M. (CoI), Edmunds, A. (CoI), Ostroumov, S. (CoI), Petre, L. (CoI), Boström, P. (CoI) & Neovius, M. (CoI)
01/09/13 → 31/08/17
Projekt: Finlands Akademi/Övriga Forskningsråd
-
FResCo: High-quality Measurement Infrastructure for Future Resilient Control Systems
Petre, L. (Ansvarig forskare), Walden, M. (CoI), Kamali, M. (CoI), Kamali, M. (CoI), Neovius, M. (CoI) & Sandvik, P. (CoI)
01/01/13 → 31/12/15
Projekt: Finlands Akademi/Övriga Forskningsråd
-
DEPLOY: Industrial deployment of system engineering methods providing high dependability and productivity
Troubitsyna, E. (Ansvarig forskare), Walden, M. (Ansvarig forskare), Petre, L. (Ansvarig forskare), Boström, P. (Ansvarig forskare), Neovius, M. (Ansvarig forskare), Olszewska, M. (Ansvarig forskare) & Sere, K. (Ansvarig forskare)
01/01/08 → 31/12/12
Projekt: EU
-
MATISSE: Methodologies and Technologies for Industrial Strength Systems Engineering (IST-1999-11435) (EU-project)
Walden, M. (CoPI), Sere, K. (Ansvarig forskare), Troubitsyna, E. (CoPI), Petre, L. (CoI), Boström, P. (CoI), Tsiopoulos, L. (CoI), Jansson, M. (CoI) & Engblom, N. (CoI)
01/05/00 → 28/02/03
Projekt: EU
-
DESIRE: Design of Reliable Embedded Systems (Academy of Finland)
Walden, M. (CoI), Sere, K. (Ansvarig forskare), Troubitsyna, E. (CoI), Petre, L. (CoI), Jansson, M. (CoI) & Qvist, M. (CoI)
01/01/99 → 31/12/01
Projekt: Finlands Akademi/Övriga Forskningsråd
Publikationer
-
Detecting Gravitational Waves as Anomalies with Convolutional Autoencoders
Morawski, F., Bejger, M., Cuoco, E. & Petre, L., 12 apr. 2025, Gravitational Wave Science with Machine Learning. Cuoco, E. (red.). Springer, s. 173-197 29 s. (Springer Series in Astrophysics and Cosmology).Forskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › Peer review
-
Special Collection on Computer Science Education
Petre, L. & Cavalcanti, A., 6 feb. 2025, I: Formal Aspects of Computing. 37, 1, s. 1-2 2 s., 5.Forskningsoutput: Tidskriftsbidrag › Ledare › Professionell
-
Scalable reaction network modeling with automatic validation of consistency in Event-B
Sanwal, U., Hoang, T. S., Petre, L. & Petre, I., jan. 2022, I: Scientific Reports. 12, 9 s., 1287.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil3 Citeringar (Scopus)30 Nedladdningar (Pure) -
Anomaly detection in gravitational waves data using convolutional autoencoders
Morawski, F., Bejger, M., Cuoco, E. & Petre, L., 2021, I: Machine Learning: Science and Technology. 2, 4, 29 s., 045014.Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
Öppen tillgångFil21 Citeringar (Scopus)70 Nedladdningar (Pure) -
A software quality course: the breadth approach
Petre, L., 2021, Quality of Information and Communications Technology. Paiva, A. C. R., Cavalli, A. R., Ventura Martins, P. & Pérez-Castillo, R. (red.). Springer, s. 536-552 17 s. (Communications in Computer and Information Science; vol. 1439).Forskningsoutput: Kapitel i bok/konferenshandling › Publicerad konferensartikel › Vetenskaplig › Peer review
Öppen tillgångFil70 Nedladdningar (Pure)