Projects per year
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: Research
-
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: Research
-
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: Research
-
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: Research
-
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: Research
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 Access -
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 AccessFile2 Citations (Scopus)2 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
-
Challenges of Artificial Intelligence and Machine Learning Software in Autonomous Vessels
Ashraf, A., Lilius, J., Porres Paltor, I., Walden, M. & Petre, L., 2021, Proceedings of International Seminar on Safety and Security of Autonomous Vessels (ISSAV'19). p. –Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific
File37 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