Projects per year
Fingerprint
Dive into the research topics where Luigia Petre is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
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
-
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 Access -
A software quality course: the breadth approach
Petre, L., 2021, Quality of Information and Communications Technology. Paiva, A., 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
File20 Downloads (Pure) -
A Computational Model for The Access to Medical Service in a Basic Prototype of a Healthcare System
Petre, I., Sanwal, M. U., Shah, G., Panchal, C., Tiwari, D. & Petre, L., 2020, In: Fundamenta Informaticae. 171, 1-4, p. 331–343Research output: Contribution to journal › Article › Scientific › peer-review
-
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Dongol, B. (ed.), Petre, L. (ed.) & Smith, G. (ed.), 2019, Springer Verlag.Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review