Projects per year
Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Projects
- 5 Finished
-
ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, M. (Principal Investigator), Olszewska, M. (Co-Investigator), Edmunds, A. (Co-Investigator), Ostroumov, S. (Co-Investigator), Petre, L. (Co-Investigator), Boström, P. (Co-Investigator) & Neovius, M. (Co-Investigator)
01/09/13 → 31/08/17
Project: Research Council of Finland/Other Research Councils
-
FResCo: High-quality Measurement Infrastructure for Future Resilient Control Systems
Petre, L. (Principal Investigator), Walden, M. (Co-Investigator), Kamali, M. (Co-Investigator), Kamali, M. (Co-Investigator), Neovius, M. (Co-Investigator) & Sandvik, P. (Co-Investigator)
01/01/13 → 31/12/15
Project: Research Council of Finland/Other Research Councils
-
DEPLOY: Industrial deployment of system engineering methods providing high dependability and productivity
Troubitsyna, E. (Principal Investigator), Walden, M. (Principal Investigator), Petre, L. (Principal Investigator), Boström, P. (Principal Investigator), Neovius, M. (Principal Investigator), Olszewska, M. (Principal Investigator) & Sere, K. (Principal Investigator)
01/01/08 → 31/12/12
Project: EU
-
MATISSE: Methodologies and Technologies for Industrial Strength Systems Engineering (IST-1999-11435) (EU-project)
Walden, M. (Co-Principal Investigator), Sere, K. (Principal Investigator), Troubitsyna, E. (Co-Principal Investigator), Petre, L. (Co-Investigator), Boström, P. (Co-Investigator), Tsiopoulos, L. (Co-Investigator), Jansson, M. (Co-Investigator) & Engblom, N. (Co-Investigator)
01/05/00 → 28/02/03
Project: EU
-
DESIRE: Design of Reliable Embedded Systems (Academy of Finland)
Walden, M. (Co-Investigator), Sere, K. (Principal Investigator), Troubitsyna, E. (Co-Investigator), Petre, L. (Co-Investigator), Jansson, M. (Co-Investigator) & Qvist, M. (Co-Investigator)
01/01/99 → 31/12/01
Project: Research Council of Finland/Other Research Councils
Publications
-
Detecting Gravitational Waves as Anomalies with Convolutional Autoencoders
Morawski, F. M., Bejger, M., Cuoco, E. & Petre, L., 12 Apr 2025, Gravitational Wave Science with Machine Learning. Cuoco, E. (ed.). Springer, Singapore, p. 173-197 29 p. (Springer Series in Astrophysics and Cosmology).Research output: Chapter in Book/Conference proceeding › Chapter › Scientific › peer-review
-
Special Collection on Computer Science Education
Petre, L. (Editor) & Cavalcanti, A. (Editor), 6 Feb 2025, In: Formal Aspects of Computing. 37, 1Research output: Contribution to journal › Special issue › Professional
-
Special Collection on Computer Science Education
Petre, L. & Cavalcanti, A., 6 Feb 2025, In: Formal Aspects of Computing. 37, 1, p. 1-2 2 p.Research output: Contribution to journal › Editorial › Professional
-
Scalable reaction network modeling with automatic validation of consistency in Event-B
Sanwal, U., Hoang, T. S., Petre, L. & Petre, I., Jan 2022, In: Scientific Reports. 12, 9 p., 1287.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile3 Citations (Scopus)29 Downloads (Pure) -
Anomaly detection in gravitational waves data using convolutional autoencoders
Morawski, F., Bejger, M., Cuoco, E. & Petre, L., 2021, In: Machine Learning: Science and Technology. 2, 4, 29 p., 045014.Research output: Contribution to journal › Article › Scientific › peer-review
Open AccessFile21 Citations (Scopus)66 Downloads (Pure)