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
-
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 AccessFile2 Citations (Scopus)26 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 AccessFile16 Citations (Scopus)57 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 AccessFile61 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 AccessFile89 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