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
-
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 accessTiedosto2 Sitaatiot (Scopus)27 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 accessTiedosto16 Sitaatiot (Scopus)58 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 accessTiedosto63 Lataukset (Pure) -
Challenges of Artificial Intelligence and Machine Learning Software in Autonomous Vessels
Ashraf, A., Lilius, J., Porres Paltor, I., Walden, M. & Petre, L., 2021, s. –.Tutkimustuotos: Konferenssiin myötävaikuttaminen › Tiivistelmä › Tieteellinen
Open accessTiedosto89 Lataukset (Pure) -
PATH-45. APOLLO: RAMAN-BASED PATHOLOGY OF MALIGNANT GLIOMA
Lita, A., Sjöberg, J., Filipescu, S., Celiku, O., Petre, L., Gilbert, M., Noushmehr, H., Petre, I. & Larion, M., marrask. 2021, 1 Sivumäärä.Tutkimustuotos: Muu myötävaikuttaminen › vertaisarvioitu