Projekteja vuodessa
Henkilökohtainen profiili
Asiantuntemus YK:n kestävän kehityksen tavoitteista
Vuonna 2015 YK:n jäsenvaltiot sopivat 17 maailmanlaajuisesta kestävän kehityksen tavoitteesta köyhyyden poistamiseksi, planeetan suojelemiseksi ja vaurauden takaamiseksi kaikille. Tämän henkilön työ edistää seuraavia kestävän kehityksen tavoitteita:
Sormenjälki
- 1 Samanlaiset profiilit
Yhteistyöt ja huippututkimusalueet viimeisiltä viideltä vuodelta
Projektit
- 5 Päättynyt
-
ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, M. (Vastuullinen tutkija), 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
Projekti: Research Council of Finland/Other Research Councils
-
FResCo: High-quality Measurement Infrastructure for Future Resilient Control Systems
Petre, L. (Vastuullinen tutkija), Walden, M. (CoI), Kamali, M. (CoI), Kamali, M. (CoI), Neovius, M. (CoI) & Sandvik, P. (CoI)
01/01/13 → 31/12/15
Projekti: Research Council of Finland/Other Research Councils
-
DEPLOY: Industrial deployment of system engineering methods providing high dependability and productivity
Troubitsyna, E. (Vastuullinen tutkija), Walden, M. (Vastuullinen tutkija), Petre, L. (Vastuullinen tutkija), Boström, P. (Vastuullinen tutkija), Neovius, M. (Vastuullinen tutkija), Olszewska, M. (Vastuullinen tutkija) & Sere, K. (Vastuullinen tutkija)
01/01/08 → 31/12/12
Projekti: EU
-
MATISSE: Methodologies and Technologies for Industrial Strength Systems Engineering (IST-1999-11435) (EU-project)
Walden, M. (CoPI), Sere, K. (Vastuullinen tutkija), 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
Projekti: EU
-
DESIRE: Design of Reliable Embedded Systems (Academy of Finland)
Walden, M. (CoI), Sere, K. (Vastuullinen tutkija), Troubitsyna, E. (CoI), Petre, L. (CoI), Jansson, M. (CoI) & Qvist, M. (CoI)
01/01/99 → 31/12/01
Projekti: Research Council of Finland/Other Research Councils
Julkaisut
-
Detecting Gravitational Waves as Anomalies with Convolutional Autoencoders
Morawski, F., Bejger, M., Cuoco, E. & Petre, L., 12 huhtik. 2025, Gravitational Wave Science with Machine Learning. Cuoco, E. (toim.). Springer, s. 173-197 29 Sivumäärä (Springer Series in Astrophysics and Cosmology).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Luku › Tieteellinen › vertaisarvioitu
-
Special Collection on Computer Science Education
Petre, L. & Cavalcanti, A., 6 helmik. 2025, julkaisussa: Formal Aspects of Computing. 37, 1, s. 1-2 2 Sivumäärä, 5.Tutkimustuotos: Lehtiartikkeli › Pääkirjoitus › Ammatillinen
-
Scalable reaction network modeling with automatic validation of consistency in Event-B
Sanwal, U., Hoang, T. S., Petre, L. & Petre, I., tammik. 2022, julkaisussa: Scientific Reports. 12, 9 Sivumäärä, 1287.Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto3 Sitaatiot (Scopus)30 Lataukset (Pure) -
Anomaly detection in gravitational waves data using convolutional autoencoders
Morawski, F., Bejger, M., Cuoco, E. & Petre, L., 2021, julkaisussa: Machine Learning: Science and Technology. 2, 4, 29 Sivumäärä, 045014.Tutkimustuotos: Lehtiartikkeli › Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto21 Sitaatiot (Scopus)73 Lataukset (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. (toim.). Springer, s. 536-552 17 Sivumäärä (Communications in Computer and Information Science; Vuosikerta 1439).Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto74 Lataukset (Pure)