Publications
Number of publications matching the search criterion: 54 (showing 1 - 50)
Doctoral Thesis (1)
Formal Approaches for Behavioral Modeling and Analysis of Design-time Services and Service Negotiations (Dec 2013) Aida Causevic
Licentiate Thesis (1)
Formal Approaches to Service-oriented Design: From Behavioral Modeling to Service Analysis (Jun 2011) Aida Causevic
Book chapter (1)
Survey on Data Security and Privacy in Wireless Sensor Systems for Health (Nov 2017) Aida Causevic, Hossein Fotouhi, Kristina Lundqvist Security and Privacy in Cyber-Physical Systems: Foundations, Principles and Applications (Wiley)
Journal article (5)
Ethics of Autonomous Collective Decision-Making: the CAESAR Framework (Nov 2022) Mirgita Frasheri , Václav Struhár, Alessandro Papadopoulos, Aida Causevic Science and Engineering Ethics (JSEE'22)
Toward an ideal Access Control Strategy for Industry 4.0 Manufacturing Systems (Aug 2021) Björn Leander, Aida Causevic, Hans Hansson, Tomas Lindström Journal of IEEE Access (IEEE-Access)
Safety and Security Co-Analyses: A Systematic Literature Review (Dec 2018) Elena Lisova, Irfan Sljivo, Aida Causevic IEEE Systems Journal 2018 (ISJ-2018)
A Design Tool for Service-oriented Systems (May 2013) Eduard Paul Enoiu, Raluca Marinescu, Aida Causevic, Cristina Seceleanu International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2012)
Applying REMES Behavioral Modeling to PLC Systems (Dec 2009) Aneta Vulgarakis Feljan, Aida Causevic Mechatronic Systems
Conference/Workshop Paper (39)
Evaluation of an OPC UA-based Access Control Enforcement Architecture (Sep 2024) Björn Leander, Aida Causevic, Tomas Lindström , Hans Hansson 28th European Symposium on Research in Computer Security (ESORICS 2023)
Developing and Evaluating MQTT Connectivity for an Industrial Controller (Jun 2023) Selma Opacin , Lejla Rizvanovic , Björn Leander, Aida Causevic, Saad Mubeen 11th International Conference on Cyber Physical Systems and IoT (CPS&IoT'23)
Access Control Enforcement Architectures for Dynamic Manufacturing Systems (Mar 2023) Björn Leander, Aida Causevic, Tomas Lindström , Hans Hansson 20TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE (ICSA 2023)
Simulation Environment for Modular Automation Systems (Oct 2022) Björn Leander, Tijana Markovic, Aida Causevic, Tomas Lindström , Hans Hansson, Sasikumar Punnekkat 48th Annual Conference of the Industrial Electronics Society (IECON 2022)
Early Concept Evaluation of a Runtime Monitoring Approach for Safe Automated Driving Ayhan Mehmed, Aida Causevic, Wilfried Steiner , Sasikumar Punnekkat Zooming Innovation in Consumer Technologies Conference (Zinc2022)
A Questionnaire Study on the Use of Access Control in Industrial Systems (Sep 2021) Björn Leander, Aida Causevic, Hans Hansson, Tomas Lindström 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2021)
Securing System-of-Systems through a Game Theory Approach (Mar 2021) Jamal El Hachem , Elena Lisova, Aida Causevic The 36th ACM/SIGAPP Symposium On Applied Computing (SAC2021)
Systematic False Positive Mitigation in Safe Automated Driving Systems (Nov 2020) Ayhan Mehmed, Wilfried Steiner , Aida Causevic 2020 International Symposium on Industrial Electronics and Applications (INDEL 2020)
Data-driven Anomaly Detection for Railway Propulsion Control Systems (Oct 2020) Ajna Hodzic , Dzenita Skulj , Aida Causevic 46th Annual Conference of the IEEE Industrial Electronics Society (IECON 2020)
Access Control for Smart Manufacturing Systems (Sep 2020) Björn Leander, Aida Causevic, Hans Hansson, Tomas Lindström 2nd Workshop on Systems, Architectures, and Solutions for Industry 4.0 (SASI4)
An Actor-based Approach for Security Analysis of Cyber-Physical Systems (Sep 2020) Fereidoun Moradi, Sara Abbaspour, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn Talcott 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS20)
Service Realizability Check as a Technique to Support a Service Security Assurance Case (Feb 2020) Predrag Filipovikj, Aida Causevic, Elena Lisova 21st IEEE International Conference on Industrial Technology (ICIT'20)
Using Bayesian Networks for a Cyberattacks Propagation Analysis in Systems-of-Systems (Dec 2019) Jamal El Hachem , Ali Sedaghatbaf, Elena Lisova, Aida Causevic Asia-Pacific Software Engineering Conference (APSEC 2019)
Classification of PROFINET I/O Configurations utilizing Neural Networks (Sep 2019) Bjarne Johansson, Björn Leander, Aida Causevic, Alessandro Papadopoulos, Thomas Nolte The 24th IEEE Conference on Emerging Technologies and Factory Automation (ETFA2019)
On-Off Attack on a Blockchain-based IoT System (Sep 2019) Fereidoun Moradi, Ali Sedaghatbaf, Sara Abbaspour, Aida Causevic, Marjan Sirjani First Workshop on Secure and Trustable Wirelessly Connected Industrial IoT (ETFA - WS01)
Cybersecurity Challenges in Large Industrial IoT Systems (Sep 2019) Björn Leander, Aida Causevic, Hans Hansson The 24th IEEE Conference on Emerging Technologies and Factory Automation (ETFA2019)
Applicability of the IEC 62443 standard in Industry 4.0 / IIoT (Aug 2019) Björn Leander, Aida Causevic, Hans Hansson 14th International Conference on Availability, Reliability and Security (ARES 2019)
Towards a Framework for Safe and Secure Adaptive Collaborative Systems (Jul 2019) Aida Causevic, Alessandro Papadopoulos, Marjan Sirjani IEEE Computer Society Conference on Computers, Software and Applications (COMPSAC 2019)
Investigating Attack Propagation in a SoS via a Service Decomposition (Jul 2019) Elena Lisova, Jamal El Hachem , Aida Causevic IEEE SERVICES Workshop on Cyber Security and Resilience in the Internet of Things (CSR 2019)
On Incorporating Security Parameters in Service Level Agreements (May 2019) Aida Causevic, Elena Lisova, Mohammad Ashjaei, Syed Usman Ashgar The 9th International Conference on Cloud Computing and Services Science (CLOSER2019)
Towards Security Case Run-time Adaptation by System Decomposition into Services (Oct 2018) Elena Lisova, Aida Causevic 44th Annual Conference of the IEEE Industrial Electronics Society (IECON'18)
Incorporating Attacks Modeling into Safety Process (Sep 2018) Amer Surkovic, Dzana Hanic, Elena Lisova, Aida Causevic, Kristina Lundqvist, David Wenslandt , Carl Falk 6th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018)
A Systematic Way to Incorporate Security in Safety Analysis (Jun 2018) Elena Lisova, Aida Causevic, Kaj Hänninen, Henrik Thane, Hans Hansson 3rd Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS'18)
Towards Attack Models in Autonomous Systems of Systems (May 2018) Amer Surkovic, Dzana Hanic, Elena Lisova, Aida Causevic, David Wenslandt , Carl Falk System of Systems Engineering Conference (SoSE 2018)
Clock Synchronization Considerations in Security Informed Safety Assurance of Autonomous Systems of Systems (Oct 2017) Elena Lisova, Aida Causevic, Elisabeth Uhlemann, Mats Björkman 43rd Annual Conference of the IEEE Industrial Electronics Society (IECON 2017)
A Risk and Threat Assessment Approaches Overview in Autonomous Systems of Systems (Oct 2017) Aida Causevic The 26th International Conference on Information, Communication and Automation Technologies (ICAT2017)
Enabling Safe, Secure and Reliable Data Communication in IoT AAL Healthcare Applications (Oct 2017) Aida Causevic, Maryam Vahabi, Hossein Fotouhi Medicinteknikdagarna 2017 (MTD 2017)
Communication and Security in Health Monitoring Systems - A Review (Jun 2016) Hossein Fotouhi, Aida Causevic, Kristina Lundqvist, Mats Björkman COMPSAC 2016: The 40th IEEE Computer Society International Conference on Computers, Software & Applications (COMPSAC'16)
Interoperability in heterogeneous low-power wireless networks for health monitoring systems (May 2016) Hossein Fotouhi, Aida Causevic, Maryam Vahabi, Mats Björkman
An Overview on the Internet of Things for Health Monitoring Systems (Oct 2015) Mobyen Uddin Ahmed, Mats Björkman, Aida Causevic, Hossein Fotouhi, Maria Lindén 2nd EAI International Conference on IoT Technologies for HealthCare (HealthyIoT'15)
Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions (Nov 2014) Aida Causevic, Cristina Seceleanu, Paul Pettersson 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2014)
An Analyzable Model of Automated Service Negotiation (Mar 2013) Aida Causevic, Cristina Seceleanu, Paul Pettersson International Symposium on Service-Oriented System Engineering (IEEE SOSE 2013)
Checking Correctness of Services Modeled as Priced Timed Automata (Oct 2012) Aida Causevic, Cristina Seceleanu, Paul Pettersson International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2012)
Modeling and Reasoning about Service Behaviors and their Compositions (Oct 2010) Aida Causevic, Cristina Seceleanu, Paul Pettersson International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2010)
Applying REMES behavioral modeling to PLC systems (Oct 2009) Aneta Vulgarakis Feljan, Aida Causevic 22 International Symposium on Information, Communication and Automation Technologies (ICAT 2009)
Behavioral Modeling and Refinement of Services (Oct 2009) Aida Causevic, Cristina Seceleanu, Paul Pettersson 21st Nordic Workshop on Programming Theory (NWPT'09)
Towards a Unified Behavioral Model for Component-Based and Service-Oriented Systems (Jul 2009) Aida Causevic, Aneta Vulgarakis Feljan 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2009)
Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability (Dec 2008) Aida Causevic, Paul Pettersson, Cristina Seceleanu International Conference on Computational Intelligence for Modelling Control & Automation (CIMCA/ISE)
Code Evaluation Using Fuzzy Logic (May 2008) Zikrija Avdagic , Dusanka Boskovic , Aida Causevic World Scientific and Engineering Academy and Society (WSEAS)
Report - MRTC (5)
A Recipe-based Algorithm for Access Control in Modular Automation Systems (Sep 2020) Björn Leander, Aida Causevic, Hans Hansson
Formal Verification of an Approach for Systematic False Positive Mitigation in Safe Automated Driving System (Apr 2020) Ayhan Mehmed, Wilfried Steiner , Aida Causevic
Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions (Oct 2013) Aida Causevic, Cristina Seceleanu, Paul Pettersson
