| 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 | 44* | 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 | 29 | 2018 |
| 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 | 25 | 2016 |
| 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 | 19 | 2019 |
| 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 | 18 | 2010 |
| 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 | 16 | 2016 |
| Code evaluation using fuzzy logic Z Avdagic, D Boskovic, A Delic Proceedings of the 9th WSEAS International Conference on Fuzzy Systems, 20-25, 2008 | 9 | 2008 |
| A risk and threat assessment approaches overview in autonomous systems of systems A Čaušević 2017 XXVI International Conference on Information, Communication and …, 2017 | 8 | 2017 |
| 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 | 6 | 2019 |
| 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 | 6 | 2014 |
| 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 | 5 | 2019 |
| 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 | 5 | 2019 |
| 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 | 5 | 2013 |
| Formal reasoning of resource-aware services A Causevic, C Seceleanu, P Pettersson | 5 | 2010 |
| 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 | 5 | 2009 |
| 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 | 4 | 2012 |
| Access Control for Smart Manufacturing Systems B Leander, A Čaušević, H Hansson, T Lindström European Conference on Software Architecture, 463-476, 2020 | 3 | 2020 |
| 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 | 3 | 2019 |
| 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 | 3 | 2018 |
| 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 | 3 | 2017 |
