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
Network
Projects
- 5 Finished
-
ADVICeS: Adaptive Integrated Formal Design of Safety-Critical Systems (Academy of Finland)
Walden, M., Olszewska, M., Edmunds, A., Ostroumov, S., Petre, L., Boström, P. & Neovius, M.
01/09/13 → 31/08/17
Project: Academy of Finland/Other Research Councils
-
FResCo: High-quality Measurement Infrastructure for Future Resilient Control Systems
Petre, L., Walden, M., Kamali, M., Kamali, M., Neovius, M. & Sandvik, P.
01/01/13 → 31/12/15
Project: Academy of Finland/Other Research Councils
-
DEPLOY: Industrial deployment of system engineering methods providing high dependability and productivity
Troubitsyna, E., Walden, M., Petre, L., Boström, P., Neovius, M., Olszewska, M. & Sere, K.
01/01/08 → 31/12/12
Project: EU
-
MATISSE: Methodologies and Technologies for Industrial Strength Systems Engineering (IST-1999-11435) (EU-project)
Walden, M., Sere, K., Troubitsyna, E., Petre, L., Boström, P., Tsiopoulos, L., Jansson, M. & Engblom, N.
01/05/00 → 28/02/03
Project: EU
-
DESIRE: Design of Reliable Embedded Systems (Academy of Finland)
Walden, M., Sere, K., Troubitsyna, E., Petre, L., Jansson, M. & Qvist, M.
01/01/99 → 31/12/01
Project: Academy of Finland/Other Research Councils
Publications
-
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 AccessFile1 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 AccessFile8 Citations (Scopus)8 Downloads (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. (eds.). Springer, p. 536-552 17 p. (Communications in Computer and Information Science; vol. 1439).Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review
Open AccessFile8 Downloads (Pure) -
Challenges of Artificial Intelligence and Machine Learning Software in Autonomous Vessels
Ashraf, A., Lilius, J., Porres Paltor, I., Walden, M. & Petre, L., 2021, p. –.Research output: Contribution to conference › Abstract › Scientific
Open AccessFile51 Downloads (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., Nov 2021, 1 p.Research output: Other contribution › peer-review