Aida Čaušević

Most-cited papers

Applicability of the IEC 62443 standard in Industry 4.0 / IIoT
B. Leander, Aida Čaušević, Hans A. Hansson
2019ARES84 citations
Semantic Scholar
Safety and Security Co-Analyses: A Systematic Literature Review
Elena Lisova, Irfan Šljivo, Aida Čaušević
2019IEEE Systems Journal75 citations Open access
Semantic Scholar
An Overview on the Internet of Things for Health Monitoring Systems
M. Ahmed, M. Björkman, Aida Čaušević, H. Fotouhi +1 more
2015IoT 36043 citations
Semantic Scholar
Communication and Security in Health Monitoring Systems -- A Review
H. Fotouhi, Aida Čaušević, K. Lundqvist, Mats Bjorkman
2016Annual International Computer Software and Applications Conference38 citations
Semantic Scholar
Modeling and Reasoning about Service Behaviors and Their Compositions
Aida Čaušević, C. Seceleanu, P. Pettersson
2010Leveraging Applications of Formal Methods19 citations
Semantic Scholar
Toward an Ideal Access Control Strategy for Industry 4.0 Manufacturing Systems
B. Leander, Aida Čaušević, Hans A. Hansson, Tomas Lindström
2021IEEE Access16 citations Open access
Semantic Scholar
Cybersecurity Challenges in Large Industrial IoT Systems
B. Leander, Aida Čaušević, Hans A. Hansson
2019IEEE International Conference on Emerging Technologies and Factory Automation16 citations
Semantic Scholar
Interoperability in heterogeneous Low-Power Wireless Networks for Health Monitoring Systems
H. Fotouhi, Aida Čaušević, M. Vahabi, Mats Bjorkman
2016International Conference on Intelligent Cloud Computing16 citations
Semantic Scholar
Access Control for Smart Manufacturing Systems
B. Leander, Aida Čaušević, Hans A. Hansson, Tomas Lindström
2020ECSA Companion12 citations
Semantic Scholar
Towards a Framework for Safe and Secure Adaptive Collaborative Systems
Aida Čaušević, A. Papadopoulos, M. Sirjani
2019Annual International Computer Software and Applications Conference12 citations
Semantic Scholar
Using Bayesian Networks for a Cyberattacks Propagation Analysis in Systems-of-Systems
Jamal El Hachem, Ali Sedaghatbaf, Elena Lisova, Aida Čaušević
2019Asia-Pacific Software Engineering Conference11 citations
Semantic Scholar
Simulation Environment for Modular Automation Systems
B. Leander, Tijana Markovic, Aida Čaušević, Tomas Lindström +2 more
2022Annual Conference of the IEEE Industrial Electronics Society10 citations
Semantic Scholar
An Actor-Based Approach for Security Analysis of Cyber-Physical Systems
Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Čaušević +2 more
2020International Workshop on Formal Methods for Industrial Critical Systems10 citations
Semantic Scholar
Towards a Unified Behavioral Model for Component-Based and Service-Oriented Systems
Aida Čaušević, Aneta Vulgarakis
20092009 33rd Annual IEEE International Computer Software and Applications Conference9 citations
Semantic Scholar
On-Off Attack on a Blockchain-based IoT System
Fereidoun Moradi, Ali Sedaghatbaf, Sara Abbaspour Asadollah, Aida Čaušević +1 more
2019IEEE International Conference on Emerging Technologies and Factory Automation8 citations
Semantic Scholar
A risk and threat assessment approaches overview in autonomous systems of systems
Aida Čaušević
2017International Symposium on Information, Communication and Automation Technologies8 citations Open access
Semantic Scholar
Systematic False Positive Mitigation in Safe Automated Driving Systems
Ayhan Mehmed, W. Steiner, Aida Čaušević
20202020 International Symposium on Industrial Electronics and Applications (INDEL)7 citations
Semantic Scholar
Access Control Enforcement Architectures for Dynamic Manufacturing Systems
B. Leander, Aida Čaušević, Tomas Lindström, Hans A. Hansson
2023International Conference on Software Architecture6 citations
Semantic Scholar
Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions
Aida Čaušević, C. Seceleanu, P. Pettersson
2014Leveraging Applications of Formal Methods6 citations
Semantic Scholar
A Design Tool for Service-oriented Systems
Eduard Paul Enoiu, R. Marinescu, Aida Čaušević, C. Seceleanu
2013FESCA6 citations Open access
Semantic Scholar
Checking Correctness of Services Modeled as Priced Timed Automata
Aida Čaušević, C. Seceleanu, P. Pettersson
2012Leveraging Applications of Formal Methods6 citations
Semantic Scholar
Ethics of Autonomous Collective Decision-Making: The Caesar Framework
M. Frasheri, Václav Struhár, A. Papadopoulos, Aida Čaušević
2022Science and Engineering Ethics5 citations Open access
Semantic Scholar
Investigating Attack Propagation in a SoS via a Service Decomposition
Elena Lisova, Jamal El Hachem, Aida Čaušević
2019World Congress on Services5 citations
Semantic Scholar
Classification of PROFINET I/O Configurations utilizing Neural Networks
Bjarne Johansson, B. Leander, Aida Čaušević, A. Papadopoulos +1 more
2019IEEE International Conference on Emerging Technologies and Factory Automation5 citations
Semantic Scholar
Data Security and Privacy in Cyber‐Physical Systems for Healthcare
Aida Čaušević, H. Fotouhi, K. Lundqvist
20175 citations
Semantic Scholar
Formal reasoning of resource-aware services
Aida Čaušević, C. Seceleanu, P. Pettersson
20105 citations
Semantic Scholar
Developing and Evaluating MQTT Connectivity for an Industrial Controller
Selma Opačin, Lejla Rizvanović, B. Leander, S. Mubeen +1 more
2023Mediterranean Conference on Embedded Computing4 citations
Semantic Scholar
Towards Attack Models in Autonomous Systems of Systems
Amer Surkovic, Dzana Hanic, Elena Lisova, Aida Čaušević +2 more
2018International Symposium on Service Oriented Software Engineering4 citations
Semantic Scholar
Clock synchronization considerations in security informed safety assurance of autonomous systems of systems
Elena Lisova, Aida Čaušević, Elisabeth Uhlemann, M. Björkman
2017Annual Conference of the IEEE Industrial Electronics Society4 citations Open access
Semantic Scholar
Applying REMES behavioral modeling to PLC systems
Aneta Vulgarakis, Aida Čaušević
20092009 XXII International Symposium on Information, Communication and Automation Technologies4 citations Open access
Semantic Scholar
A Systematic Way to Incorporate Security in Safety Analysis
Elena Lisova, Aida Čaušević, Kaj Hänninen, Henrik Thane +1 more
20182018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)3 citations
Semantic Scholar
Incorporating Attacks Modeling into Safety Process
Amer Surkovic, Dzana Hanic, Elena Lisova, Aida Čaušević +3 more
2018SAFECOMP Workshops3 citations
Semantic Scholar
An Analyzable Model of Automated Service Negotiation
Aida Čaušević, C. Seceleanu, P. Pettersson
20132013 IEEE Seventh International Symposium on Service-Oriented System Engineering3 citations
Semantic Scholar
Formal Approaches to Service-oriented Design : From Behavioral Modeling to Service Analysis
Aida Čaušević
20113 citations
Semantic Scholar
A Recipe-based Algorithm for Access Control in Modular Automation Systems
B. Leander, Aida Čaušević, Hans A. Hansson
20202 citations
Semantic Scholar
Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability
Aida Čaušević, P. Pettersson, C. Seceleanu
2008International Conference on Computational Intelligence for Modelling, Control and Automation2 citations Open access
Semantic Scholar
Securing system-of-systems through a game theory approach
Jamal El Hachem, Elena Lisova, Aida Čaušević
2021ACM Symposium on Applied Computing1 citations Open access
Semantic Scholar
Data-driven Anomaly Detection for Railway Propulsion Control Systems
Ajna Hodzic, Dzenita Skulj, Aida Čaušević
2020IECON 2020 The 46th Annual Conference of the IEEE Industrial Electronics Society1 citations
Semantic Scholar
Service Realizability Check as a Technique to Support a Service Security Assurance Case
Predrag Filipovikj, Aida Čaušević, Elena Lisova
2020International Conference on Industrial Technology1 citations
Semantic Scholar
On Incorporating Security Parameters in Service Level Agreements
Aida Čaušević, Elena Lisova, M. Ashjaei, Syed Usman Ashgar
2019International Conference on Cloud Computing and Services Science1 citations Open access
Semantic Scholar
Towards Security Case Run-Time Adaptation by System Decomposition into Services
Elena Lisova, Aida Čaušević
2018Annual Conference of the IEEE Industrial Electronics Society1 citations
Semantic Scholar
Risk Assessment in Autonomous System of Systems - A Review
Aida Čaušević
20161 citations
Semantic Scholar
Algorithmic Computation of Strongest Postconditions of Services as Priced Timed Automata
Aida Čaušević, C. Seceleanu, P. Pettersson
20121 citations
Semantic Scholar
Project Deliverable D3.1 Prediction Model Specification
D. Ardagna, S. Becker, Aida Čaušević, C. Ghezzi +7 more
20081 citations
Semantic Scholar
Evaluation of an OPC UA-Based Access Control Enforcement Architecture
B. Leander, Aida Čaušević, Hans A. Hansson, Tomas Lindström
2023ESORICS Workshops0 citations
Semantic Scholar
Early Concept Evaluation of a Runtime Monitoring Approach for Safe Automated Driving
Ayhan Mehmed, Aida Čaušević, W. Steiner, S. Punnekkat
20222022 IEEE Zooming Innovation in Consumer Technologies Conference (ZINC)0 citations
Semantic Scholar
A Questionnaire Study on the Use of Access Control in Industrial Systems
B. Leander, Aida Čaušević, Tomas Lindström, Hans A. Hansson
2021IEEE International Conference on Emerging Technologies and Factory Automation0 citations
Semantic Scholar
DATA DRIVEN ANOMALY CONTROL DETECTION FOR RAILWAY PROPULSION CONTROL SYSTEMS
Ajna Hodzic, T. Nolte, Aida Čaušević, Claes Lindskog
20200 citations
Semantic Scholar
Enabling Safe, Secure and Reliable Data Communication in IoT AAL Healthcare Applications
Aida Čaušević, M. Vahabi, H. Fotouhi
20170 citations
Semantic Scholar
Towards Safety, Security and Reliability of Data Communication in IoT AAL Applications
Aida Čaušević, M. Vahabi, H. Fotouhi, M. Björkman +1 more
2017B&H Electrical Engineering0 citations Open access
Semantic Scholar