Aida Delic Causevic
Aida Delic Causevic
Senior Lecturer, Docent at Mälardalen University, Control Safety Engineer Bombardier Transportation
Dirección de correo verificada de mdh.se - Página principal
Título
Citado por
Citado por
Año
An Overview on the Internet of Things for Health Monitoring Systems
M Uddin Ahmed, M Björkman, A Causevic, H Fotouhi, M Lindén
2nd EAI International Conference on IoT Technologies for HealthCare, 2015
38*2015
Safety and security co-analyses: A systematic literature review
E Lisova, I Šljivo, A Čaušević
IEEE Systems Journal 13 (3), 2189-2200, 2018
202018
Communication and Security in Health Monitoring Systems--A Review
H Fotouhi, A Causevic, K Lundqvist, M Björkman
2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC …, 2016
202016
Modeling and reasoning about service behaviors and their compositions
A Čaušević, C Seceleanu, P Pettersson
International Symposium On Leveraging Applications of Formal Methods …, 2010
182010
Interoperability in heterogeneous low-power wireless networks for health monitoring systems
H Fotouhi, A Causevic, M Vahabi, M Björkman
Workshop on Convergent Internet of Things, 2016
162016
Code evaluation using fuzzy logic
Z Avdagic, D Boskovic, A Delic
Proceedings of the 9th WSEAS International Conference on Fuzzy Systems, 20-25, 2008
92008
Applicability of the IEC 62443 standard in Industry 4.0/IIoT
B Leander, A Čaušević, H Hansson
Proceedings of the 14th International Conference on Availability …, 2019
82019
A risk and threat assessment approaches overview in autonomous systems of systems
A Čaušević
2017 XXVI International Conference on Information, Communication and …, 2017
62017
Distributed energy management case study: A formal approach to analyzing utility functions
A Čaušević, C Seceleanu, P Pettersson
International Symposium On Leveraging Applications of Formal Methods …, 2014
52014
A design tool for service-oriented systems
EP Enoiu, R Marinescu, A Čaušević, C Seceleanu
Electronic Notes in Theoretical Computer Science 295, 95-100, 2013
52013
Formal reasoning of resource-aware services
A Causevic, C Seceleanu, P Pettersson
52010
Towards a unified behavioral model for component-based and service-oriented systems
A Causevic, A Vulgarakis
2009 33rd Annual IEEE International Computer Software and Applications …, 2009
52009
On-off attack on a blockchain-based IoT system
F Moradi, A Sedaghatbaf, SA Asadollah, A Čaušević, M Sirjani
2019 24th IEEE International Conference on Emerging Technologies and Factory …, 2019
42019
Towards a framework for safe and secure adaptive collaborative systems
A Causevic, AV Papadopoulos, M Sirjani
2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC …, 2019
42019
Checking correctness of services modeled as priced timed automata
A Čaušević, C Seceleanu, P Pettersson
International Symposium On Leveraging Applications of Formal Methods …, 2012
42012
Incorporating attacks modeling into safety process
A Šurković, D Hanić, E Lisova, A Čaušević, K Lundqvist, D Wenslandt, ...
International Conference on Computer Safety, Reliability, and Security, 31-41, 2018
32018
Cybersecurity Challenges in Large Industrial IoT Systems
B Leander, A Čaušević, H Hansson
2019 24th IEEE International Conference on Emerging Technologies and Factory …, 2019
22019
Classification of PROFINET I/O Configurations utilizing Neural Networks
B Johansson, B Leander, A Čaušević, AV Papadopoulos, T Nolte
2019 24th IEEE International Conference on Emerging Technologies and Factory …, 2019
22019
A systematic way to incorporate security in safety analysis
E Lisova, A Cauševic, K Hänninen, H Thane, H Hansson
2018 48th Annual IEEE/IFIP International Conference on Dependable Systems …, 2018
22018
Data Security and Privacy in Cyber‐Physical Systems for Healthcare
A Čaušević, H Fotouhi, K Lundqvist
Security and Privacy in Cyber‐Physical Systems: Foundations, Principles and …, 2017
22017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20