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.
- 6 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., 31 Mar 2021, In: Machine Learning: Science and Technology. 29 p.Research output: Contribution to journal › Article › Scientific › peer-review
Open Access -
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
File14 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
-
Preface
Dongol, B., Petre, L. & Smith, G., 2019, Formal Methods Teaching, third International Workshop and Tutorial, FMTea 2019. Dongol, B., Petre, L. & Smith, G. (eds.). Springer Verlag, p. v–viResearch output: Chapter in Book/Conference proceeding › Chapter › Scientific › peer-review