Projekt per år
Fingeravtryck
- 28 Liknande profiler
Projekt
- 4 Slutfört
-
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
Projekt: Forskning
-
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
Projekt: Forskning
-
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
Projekt: Forskning
-
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
Projekt: Forskning
Publikationer
-
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, I: Fundamenta Informaticae. 171, 1-4, s. 331–343Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review
-
Challenges of Artificial Intelligence and Machine Learning Software in Autonomous Vessels
Ashraf, A., Lilius, J., Porres Paltor, I., Walden, M. & Petre, L., 2020, Proceedings of International Seminar on Safety and Security of Autonomous Vessels (ISSAV'19). s. –Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig
Fil5 Nedladdningar (Pure) -
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. (red.), Petre, L. (red.) & Smith, G. (red.), 2019, Springer Verlag.Forskningsoutput: Bok/tidskrift/rapport › Antologi/redigerad tidskrift › Vetenskaplig › 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. (red.). Springer Verlag, s. v–viForskningsoutput: Kapitel i bok/konferenshandling › Kapitel › Vetenskaplig › Peer review
-
Stepwise Construction of a Metabolic Network in Event-B: The Heat Shock Response
Sanwal, M. U., Petre, L. & Petre, I., 2017, I: Computers in Biology and Medicine. 91, s. 1–12Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review