Aida Causevic

Orcid: 0000-0001-5293-3804

According to our database1, Aida Causevic authored at least 39 papers between 2008 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Developing and Evaluating MQTT Connectivity for an Industrial Controller.
Proceedings of the 12th Mediterranean Conference on Embedded Computing, 2023

Access Control Enforcement Architectures for Dynamic Manufacturing Systems.
Proceedings of the 20th IEEE International Conference on Software Architecture, 2023

Evaluation of an OPC UA-Based Access Control Enforcement Architecture.
Proceedings of the Computer Security. ESORICS 2023 International Workshops, 2023

2022
Ethics of Autonomous Collective Decision-Making: The Caesar Framework.
Sci. Eng. Ethics, 2022

Simulation Environment for Modular Automation Systems.
Proceedings of the IECON 2022, 2022

2021
Toward an Ideal Access Control Strategy for Industry 4.0 Manufacturing Systems.
IEEE Access, 2021

Securing system-of-systems through a game theory approach.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

A Questionnaire Study on the Use of Access Control in Industrial Systems.
Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

2020
Data-driven Anomaly Detection for Railway Propulsion Control Systems.
Proceedings of the 46th Annual Conference of the IEEE Industrial Electronics Society, 2020

Service Realizability Check as a Technique to Support a Service Security Assurance Case.
Proceedings of the 2020 IEEE International Conference on Industrial Technology, 2020

An Actor-Based Approach for Security Analysis of Cyber-Physical Systems.
Proceedings of the Formal Methods for Industrial Critical Systems, 2020

Access Control for Smart Manufacturing Systems.
Proceedings of the Software Architecture - 14th European Conference, 2020

2019
Safety and Security Co-Analyses: A Systematic Literature Review.
IEEE Syst. J., 2019

Investigating Attack Propagation in a SoS via a Service Decomposition.
Proceedings of the 2019 IEEE World Congress on Services, 2019

On-Off Attack on a Blockchain-based IoT System.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Cybersecurity Challenges in Large Industrial IoT Systems.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Classification of PROFINET I/O Configurations utilizing Neural Networks.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Towards a Framework for Safe and Secure Adaptive Collaborative Systems.
Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

On Incorporating Security Parameters in Service Level Agreements.
Proceedings of the 9th International Conference on Cloud Computing and Services Science, 2019

Using Bayesian Networks for a Cyberattacks Propagation Analysis in Systems-of-Systems.
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

Applicability of the IEC 62443 standard in Industry 4.0 / IIoT.
Proceedings of the 14th International Conference on Availability, Reliability and Security, 2019

2018
Towards Attack Models in Autonomous Systems of Systems.
Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018

Incorporating Attacks Modeling into Safety Process.
Proceedings of the Computer Safety, Reliability, and Security, 2018

Towards Security Case Run-Time Adaptation by System Decomposition into Services.
Proceedings of the IECON 2018, 2018

A Systematic Way to Incorporate Security in Safety Analysis.
Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018

2017
Clock synchronization considerations in security informed safety assurance of autonomous systems of systems.
Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

A risk and threat assessment approaches overview in autonomous systems of systems.
Proceedings of the XXVI International Conference on Information, 2017

2016
Interoperability in heterogeneous Low-Power Wireless Networks for Health Monitoring Systems.
Proceedings of the IEEE International Conference on Communication, 2016

Communication and Security in Health Monitoring Systems - A Review.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015
An Overview on the Internet of Things for Health Monitoring Systems.
Proceedings of the Internet of Things. IoT Infrastructures, 2015

2014
Formal Approaches for Behavioral Modeling and Analysis of Design-time Services and Service Negotiations.
PhD thesis, 2014

Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2013
An Analyzable Model of Automated Service Negotiation.
Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

2012
A Design Tool for Service-oriented Systems.
Proceedings of the Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2012

Checking Correctness of Services Modeled as Priced Timed Automata.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

2010
Modeling and Reasoning about Service Behaviors and Their Compositions.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009
Applying REMES behavioral modeling to PLC systems.
Proceedings of the XXII International Symposium on Information, 2009

Towards a Unified Behavioral Model for Component-Based and Service-Oriented Systems.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

2008
Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability.
Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008


  Loading...