Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability. - Aida Causevic; Paul Pettersson; Cristina Cerschi Seceleanu (CIMCA/IAWTIC/ISE, 2008)

Towards a Unified Behavioral Model for Component-Based and Service-Oriented Systems. - Aida Causevic; Aneta Vulgarakis (COMPSAC (2), 2009)

Applying REMES behavioral modeling to PLC systems. - Aneta Vulgarakis; Aida Causevic (ICAT, 2009)

Modeling and Reasoning about Service Behaviors and Their Compositions. - Aida Causevic; Cristina Cerschi Seceleanu; Paul Pettersson (ISoLA (2), 2010)

Checking Correctness of Services Modeled as Priced Timed Automata. - Aida Causevic; Cristina Cerschi Seceleanu; Paul Pettersson (ISoLA (2), 2012)

A Design Tool for Service-oriented Systems. - Eduard Paul Enoiu; Raluca Marinescu; Aida Causevic; Cristina Cerschi Seceleanu (FESCA, 2012)

An Analyzable Model of Automated Service Negotiation. - Aida Causevic; Cristina Cerschi Seceleanu; Paul Pettersson (SOSE, 2013)

Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions. - Aida Causevic; Cristina Cerschi Seceleanu; Paul Pettersson (ISoLA (2), 2014)

Formal Approaches for Behavioral Modeling and Analysis of Design-time Services and Service Negotiations. - Aida Causevic (2014)

An Overview on the Internet of Things for Health Monitoring Systems. - Mobyen Uddin Ahmed; Mats Björkman; Aida Causevic; Hossein Fotouhi; Maria Lindén (IoT 360 (1), 2015)

Communication and Security in Health Monitoring Systems - A Review. - Hossein Fotouhi; Aida Causevic; Kristina Lundqvist; Mats Björkman (COMPSAC, 2016)

Interoperability in heterogeneous Low-Power Wireless Networks for Health Monitoring Systems. - Hossein Fotouhi; Aida Causevic; Maryam Vahabi; Mats Björkman (ICC Workshops, 2016)

A risk and threat assessment approaches overview in autonomous systems of systems. - Aida Causevic (ICAT, 2017)

Clock synchronization considerations in security informed safety assurance of autonomous systems of systems. - Elena Lisova; Aida Causevic; Elisabeth Uhlemann; Mats Björkman (IECON, 2017)

A Systematic Way to Incorporate Security in Safety Analysis. - Elena Lisova; Aida Causevic; Kaj Hänninen; Henrik Thane; Hans Hansson (DSN Workshops, 2018)

Towards Security Case Run-Time Adaptation by System Decomposition into Services. - Elena Lisova; Aida Causevic (IECON, 2018)

Incorporating Attacks Modeling into Safety Process. - Amer Surkovic; Dzana Hanic; Elena Lisova; Aida Causevic; Kristina Lundqvist; David Wenslandt; Carl Falk (SAFECOMP Workshops, 2018)

Towards Attack Models in Autonomous Systems of Systems. - Amer Surkovic; Dzana Hanic; Elena Lisova; Aida Causevic; David Wenslandt; Carl Falk (SoSE, 2018)

Applicability of the IEC 62443 standard in Industry 4.0 / IIoT. - Björn Leander; Aida Causevic; Hans Hansson (ARES, 2019)

Using Bayesian Networks for a Cyberattacks Propagation Analysis in Systems-of-Systems. - Jamal El Hachem; Ali Sedaghatbaf; Elena Lisova; Aida Causevic (APSEC, 2019)

On Incorporating Security Parameters in Service Level Agreements. - Aida Causevic; Elena Lisova; Mohammad Ashjaei; Syed Usman Ashgar (CLOSER, 2019)

Towards a Framework for Safe and Secure Adaptive Collaborative Systems. - Aida Causevic; Alessandro Vittorio Papadopoulos; Marjan Sirjani (COMPSAC (2), 2019)

Classification of PROFINET I/O Configurations utilizing Neural Networks. - Bjarne Johansson; Björn Leander; Aida Causevic; Alessandro Vittorio Papadopoulos; Thomas Nolte (ETFA, 2019)

Cybersecurity Challenges in Large Industrial IoT Systems. - Björn Leander; Aida Causevic; Hans Hansson (ETFA, 2019)

On-Off Attack on a Blockchain-based IoT System. - Fereidoun Moradi; Ali Sedaghatbaf; Sara Abbaspour Asadollah; Aida Causevic; Marjan Sirjani (ETFA, 2019)

Investigating Attack Propagation in a SoS via a Service Decomposition. - Elena Lisova; Jamal El Hachem; Aida Causevic (SERVICES, 2019)

Safety and Security Co-Analyses: A Systematic Literature Review. - Elena Lisova; Irfan Sljivo; Aida Causevic (IEEE Syst. J., 2019)

Access Control for Smart Manufacturing Systems. - Björn Leander; Aida Causevic; Hans Hansson; Tomas Lindström (ECSA Companion, 2020)

An Actor-Based Approach for Security Analysis of Cyber-Physical Systems. - Fereidoun Moradi; Sara Abbaspour Asadollah; Ali Sedaghatbaf; Aida Causevic; Marjan Sirjani; Carolyn L. Talcott (FMICS, 2020)

Service Realizability Check as a Technique to Support a Service Security Assurance Case. - Predrag Filipovikj; Aida Causevic; Elena Lisova (ICIT, 2020)

Data-driven Anomaly Detection for Railway Propulsion Control Systems. - Ajna Hodzic; Dzenita Skulj; Aida Causevic (IECON, 2020)

A Questionnaire Study on the Use of Access Control in Industrial Systems. - Björn Leander; Aida Causevic; Tomas Lindström; Hans Hansson (ETFA, 2021)

Securing system-of-systems through a game theory approach. - Jamal El Hachem; Elena Lisova; Aida Causevic (SAC, 2021)

Toward an Ideal Access Control Strategy for Industry 4.0 Manufacturing Systems. - Björn Leander; Aida Causevic; Hans Hansson; Tomas Lindström (IEEE Access, 2021)

Simulation Environment for Modular Automation Systems. - Björn Leander; Tijana Markovic; Aida Causevic; Tomas Lindström; Hans Hansson; Sasikumar Punnekkat (IECON, 2022)

Ethics of Autonomous Collective Decision-Making: The Caesar Framework. - Mirgita Frasheri; Václav Struhár; Alessandro Vittorio Papadopoulos; Aida Causevic (Sci. Eng. Ethics, 2022)

Evaluation of an OPC UA-Based Access Control Enforcement Architecture. - Björn Leander; Aida Causevic; Hans Hansson; Tomas Lindström (ESORICS Workshops (1), 2023)

Access Control Enforcement Architectures for Dynamic Manufacturing Systems. - Björn Leander; Aida Causevic; Tomas Lindström; Hans Hansson (ICSA, 2023)

Developing and Evaluating MQTT Connectivity for an Industrial Controller. - Selma Opacin; Lejla Rizvanovic; Björn Leander; Saad Mubeen; Aida Causevic (MECO, 2023)