Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 48

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 (4)

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 (34)

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 Asadollah, 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 Asadollah, 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
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

Algorithmic Computation of Strongest Postconditions of Services as Priced Timed Automata (Apr 2012)
Aida Causevic, Cristina Seceleanu, Paul Pettersson

Formal reasoning of resource-aware services (Jun 2010)
Aida Causevic, Cristina Seceleanu, Paul Pettersson

Report (1)

Risk Assessment in Autonomous System of Systems - A Review (Oct 2016)
Aida Causevic

Other (1)

DPAC Newsletter Spring 2021 (Jun 2021)
Kristina Lundqvist, Mikael Sjödin, Nandinbaatar Tsog, Saad Mubeen, Fredrik Bruhn, Jakob Danielsson, Marcus Jägemar, Tiberiu Seceleanu, Moris Behnam, Afshin Ameri E., Baran Çürüklü, Branko Miloradovic, Mikael Ekström, LanAnh Trinh, Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Causevic, Marjan Sirjani, Carolyn Talcott

Items per page: