Aida Causevic

Sci. Eng. Ethics, 2022

Simulation Environment for Modular Automation Systems.

[BibT_eX]

[DOI]

Proceedings of the IECON 2022, 2022

2021

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

[BibT_eX]

[DOI]

IEEE Access, 2021

Securing system-of-systems through a game theory approach.

[BibT_eX]

[DOI]

Jamal El Hachem

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.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

2020

Data-driven Anomaly Detection for Railway Propulsion Control Systems.

[BibT_eX]

[DOI]

Ajna Hodzic

Dzenita Skulj

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.

[BibT_eX]

[DOI]

Predrag Filipovikj

Proceedings of the 2020 IEEE International Conference on Industrial Technology, 2020

An Actor-Based Approach for Security Analysis of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Fereidoun Moradi

Sara Abbaspour Asadollah

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

Access Control for Smart Manufacturing Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 14th European Conference, 2020

2019

Safety and Security Co-Analyses: A Systematic Literature Review.

[BibT_eX]

[DOI]

Irfan Sljivo

IEEE Syst. J., 2019

Investigating Attack Propagation in a SoS via a Service Decomposition.

[BibT_eX]

[DOI]

Jamal El Hachem

Proceedings of the 2019 IEEE World Congress on Services, 2019

On-Off Attack on a Blockchain-based IoT System.

[BibT_eX]

[DOI]

Fereidoun Moradi

Ali Sedaghatbaf

Sara Abbaspour Asadollah

Marjan Sirjani

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Cybersecurity Challenges in Large Industrial IoT Systems.

[BibT_eX]

[DOI]

Björn Leander

Hans Hansson

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Classification of PROFINET I/O Configurations utilizing Neural Networks.

[BibT_eX]

[DOI]

Bjarne Johansson

Björn Leander

Alessandro Vittorio Papadopoulos

Thomas Nolte

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Towards a Framework for Safe and Secure Adaptive Collaborative Systems.

[BibT_eX]

[DOI]

Alessandro Vittorio Papadopoulos

Marjan Sirjani

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

On Incorporating Security Parameters in Service Level Agreements.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019

Applicability of the IEC 62443 standard in Industry 4.0 / IIoT.

[BibT_eX]

[DOI]

Björn Leander

Hans Hansson

Proceedings of the 14th International Conference on Availability, Reliability and Security, 2019

2018

Towards Attack Models in Autonomous Systems of Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th Annual Conference on System of Systems Engineering, 2018

Incorporating Attacks Modeling into Safety Process.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2018

Towards Security Case Run-Time Adaptation by System Decomposition into Services.

[BibT_eX]

[DOI]

Proceedings of the IECON 2018, 2018

A Systematic Way to Incorporate Security in Safety Analysis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the XXVI International Conference on Information, 2017

2016

Interoperability in heterogeneous Low-Power Wireless Networks for Health Monitoring Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communication, 2016

Communication and Security in Health Monitoring Systems - A Review.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015

An Overview on the Internet of Things for Health Monitoring Systems.

[BibT_eX]

[DOI]

Proceedings of the Internet of Things. IoT Infrastructures, 2015

2014

Formal Approaches for Behavioral Modeling and Analysis of Design-time Services and Service Negotiations.

[BibT_eX]

[DOI]

PhD thesis, 2014

Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

2013

An Analyzable Model of Automated Service Negotiation.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Symposium on Service-Oriented System Engineering, 2013

2012

A Design Tool for Service-oriented Systems.

[BibT_eX]

[DOI]

Eduard Paul Enoiu

Raluca Marinescu

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Applying REMES behavioral modeling to PLC systems.

[BibT_eX]

[DOI]

Aneta Vulgarakis

Proceedings of the XXII International Symposium on Information, 2009

Towards a Unified Behavioral Model for Component-Based and Service-Oriented Systems.

[BibT_eX]

[DOI]

Aneta Vulgarakis

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.

[BibT_eX]

[DOI]