Publications
Number of publications matching the search criterion: 95 (showing 1 - 50)
Book chapter (2)
Using Afra in Different Domains by Tool Orchestration (Jul 2021) Ehsan Khamespanah , Pavle Mrvaljevic , Anas Fattouh, Marjan Sirjani Springer International Publishing (Cham)
Integration and Orchestration of Analysis Tools (Jul 2021) Robert Heinrich , Erwan Bousse , Sandro Koch , Arend Rensink , Elvinia Riccobene , Daniel Ratiu , Marjan Sirjani
Journal article (27)
Enhancing Cybersecurity through Comprehensive Investigation of Data Flow-Based Attack Scenarios (Oct 2024) Sara Abbaspour, Shamoona Imtiaz, Alireza Dehlaghi Ghadim, Mikael Sjödin, Marjan Sirjani Journal of Cybersecurity and Privacy (JCP)
CRYSTAL framework: Cybersecurity assurance for cyber-physical systems (Apr 2024) Fereidoun Moradi, Sara Abbaspour, Bahman Pourvatan , Zahra Moezkarimi, Marjan Sirjani Journal of Logical and Algebraic Methods in Programming (JLAMP)
Tiny Twins for detecting cyber-attacks at runtime using concise Rebeca time transition (Feb 2024) Fereidoun Moradi, Bahman Pourvatan , Sara Abbaspour, Marjan Sirjani Journal of Parallel and Distributed Computing (JPDC 185)
Dealing with Jamming Attacks in Uplink Pairwise NOMA Using Outage Analysis, Smart Relaying and Redundant Transmissions (Dec 2023) Van Lan Dao, Elisabeth Uhlemann, Svetlana Girs IEEE Open Journal of the Communications Society (OJCOMS)
A Global Survey of Standardization and Industry Practices of Automotive Cybersecurity Validation and Verification Testing Processes and Tools (Nov 2023) Andrew Roberts , Stefan Marksteiner, Mujdat Soyturk , Berkay Yaman , Yi Yang SAE International Journal of Connected and Automated Vehicles (JCAV)
Wireless Security in Vehicular Ad Hoc Networks: A Survey (Aug 2022) Thomas Blazek , Fjolla Ademaj , Stefan Marksteiner, Peter Priller , Hans-Peter Bernhard SAE International Journal of Connected and Automated Vehicles (JCAV)
A Comprehensive Exploration of Languages for Parallel Computing (Jan 2022) Federico Ciccozzi, Lorenzo Addazi, Sara Abbaspour, Björn Lisper, Abu Naser Masud, Saad Mubeen ACM Computing Surveys (CSUR'21)
Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control (Jan 2022) Maryam Bagheri , Marjan Sirjani, Ehsan Khamespanah , Christel Baier , Ali Movaghar IEEE Transactions on Software Engineering (TSE)
A Comprehensive Study on Artificial Intelligence Algorithms to Implement Safety Using Communication Technologies (Dec 2021) Rafia Inam, Alberto Yukinobu Hata , Vlasjov Prifti , Sara Abbaspour Wireless Personal Communications Journal (WIRE)
Defeating Jamming Using Outage Performance Aware Joint Power Allocation and Access Point Placement in Uplink Pairwise NOMA (Aug 2021) Van Lan Dao, Le-Nam Hoang, Svetlana Girs, Elisabeth Uhlemann IEEE Open Journal of the Communications Society (OJCOMS)
Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems (May 2021) Marjan Sirjani, Luciana Provenzano, Sara Abbaspour, Mahshid Helali Moghadam, Mehrdad Saadatmand Journal of Internet Services and Applications (JISA)
Performance Analysis of an Energy-Harvesting IoT System Using a UAV Friendly Jammer and NOMA Under Cooperative Attack (Dec 2020) Van Nhan Vo , Chakchai So-In , Tran Hung, Dung Duc Tran , Tung Pham Huu IEEE Access (IEEE-ACCESS)
Safe Design of Flow Management Systems Using Rebeca (Sep 2020) Giorgio Forcina, Ali Sedaghatbaf, Stephan Baumgart, Ali Jafari , Ehsan Khamespanah , Pavle Mrvaljevic , Marjan Sirjani Journal of Information Processing (IPSJ)
A Systematic Literature Study on Definition and Modeling of Service-Level Agreements for Cloud Services in IoT (Aug 2020) Svetlana Girs, Séverine Sentilles, Sara Abbaspour, Mohammad Ashjaei, Saad Mubeen IEEE Access (ACCESS'20)
Verification of Cyberphysical Systems (Jul 2020) Marjan Sirjani, Edward Lee, Ehsan Khamespanah Mathematics (Mathematics)
VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance (Jun 2020) Farnaz Yousefi , Ehsan Khamespanah , Mohammed Gharib , Marjan Sirjani, Ali Movaghar International Journal on Software Tools for Technology Transfer (STTT)
Timing Predictability and Security in Safety-critical Industrial Cyber-physical Systems: A Position Paper (Apr 2020) Saad Mubeen, Elena Lisova, Aneta Vulgarakis Feljan Applied Sciences--Special Issue "Emerging Paradigms and Architectures for Industry 4.0 Applications" (ApplSci'21)
On Communication Performance in Energy Harvesting WSNs Under a Cooperative Jamming Attack (Feb 2020) Van Nhan Vo , Tran Hung, Van Lan Dao, Chakchai So-In , Dung Duc Tran , Elisabeth Uhlemann IEEE Systems Journal (IEEE SJ)
Secrecy Performance of Cooperative Cognitive Radio Networks Under Joint Secrecy Outage and Primary User Interference Constraints (Jan 2020) Quach Xuan Truong , Tran Hung, Elisabeth Uhlemann, Mai Tran Truc IEEE Access (IEEE-ACCESS)
On Security and Throughput for Energy Harvesting Untrusted Relays in IoT Systems Using NOMA (Nov 2019) Van Nhan Vo , Tran Hung, Chakchai So-In , Dung Duc Tran Journal of IEEE Access (IEEE-Access)
Relay Grouping to Guarantee Timeliness and Reliability in Wireless Networks (Jun 2019) Le-Nam Hoang, Elisabeth Uhlemann, Magnus Jonsson IEEE Communications Letters (IEEE COML )
Secrecy Performance in the Internet of Things: Optimal Energy Harvesting Time Under Constraints of Sensors and Eavesdroppers (Feb 2019) Chakchai So-In , Tran Hung, Van Nhan Vo , Gia Tri Nguyen Mobile Networks and Applications, Springer (MNA)
Actor-based macroscopic modeling and simulation for smart urban planning (Dec 2018) Jacopo de Berardinis , Marjan Sirjani, Giorgio Forcina, Ali Jafari Science of Computer Programming (SCICO)
Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking (Oct 2018) Ehsan Khamespanah , Marjan Sirjani, Kirill Mechitov , Gul Agha International Journal on Software Tools for Technology Transfer (STTT)
Performance Analysis of DF/AF Cooperative MISO Wireless Sensor Networks with NOMA and SWIPT over Nakagami-m Fading (Sep 2018) Dung Duc Tran , Van Nhan Vo , Dac-Binh Ha , Chakchai So-In , Tran Hung Journal of IEEE Access (IEEE-Access)
Secrecy Performance Analysis for Fixed-Gain Energy Harvesting in an Internet of Things with Untrusted Relays (Aug 2018) Van Nhan Vo , Dung Duc Tran , Chakchai So-In , Tran Hung IEEE Access (IEEE-ACCESS)
Coordinated Actor Model of Self-adaptive Track-based Traffic Control Systems (May 2018) Maryam Bagheri , Marjan Sirjani, Ehsan Khamespanah , Narges Khakpour , Ilge Akkaya , Ali Movaghar , Edward Lee Journal of Systems and Software (JSS)
Conference/Workshop Paper (56)
A Hybrid Ontology for Identifying Safety Hazards and Security Threats (Nov 2024) Malina Adach, Alessio Bucaioni, Federico Ciccozzi The 8th International Conference on System Reliability and Safety (ICSRS24)
Mitigation Ontology for Analysis of Safety-Critical Systems (Jun 2024) Nazakat Ali, Kristina Lundqvist, Kaj Hänninen The 34th European Safety and Reliability Conference (ESREL'34)
How do practitioners reason about security requirements? An interview study (Jun 2024) Luciana Provenzano, Robbert Jongeling Requirements Engineering 2024 (RE'24)
A Systematic Approach Towards Enhancing Digital Privacy in Industrial Applications (Jun 2024) Sara Abbaspour 12th International Conference of Security, Privacy and Trust Management (SPTM)
From TARA to Test: Automated Automotive Cybersecurity Test Generation Out of Threat Modeling (Dec 2023) Stefan Marksteiner, Christoph Schmittner , Korbinian Christl , Dejan Nickovic , Mikael Sjödin, Marjan Sirjani 7th ACM Computer Science in Cars Symposium (CSCS'23)
Enhancing CRYSTAL: Preventive Recovery in Brief (Nov 2023) Fereidoun Moradi, Zahra Moezkarimi, Marjan Sirjani
Using Automata Learning for Compliance Evaluation of Communcation Protocols on an NFC Handshake Example (Oct 2023) Stefan Marksteiner, Marjan Sirjani, Mikael Sjödin 8th International Conference on Engineering of Computer-based Systems (ECBS2023)
Outage Performance Comparison of Adaptive Relaying Schemes Subject to Jamming (Sep 2023) Van Lan Dao, Svetlana Girs, Elisabeth Uhlemann 28th International Conference on Emerging Technologies and Factory Automation (ETFA 2023)
Defeating Jamming Attacks in Downlink Pairwise NOMA Using Relaying (Jul 2023) Van Lan Dao, Svetlana Girs, Elisabeth Uhlemann IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC2023)
Hazard Analysis on a System of Systems using the Hazard Ontology (Jun 2023) Malina Adach, Nazakat Ali, Kaj Hänninen, Kristina Lundqvist 18th Annual System Of Systems Engineering Conference (SoSE2023)
A Systematic Approach to Automotive Security (Mar 2023) Masoud Ebrahimi , Stefan Marksteiner, Dejan Nickovic , Roderick Bloem , David Schögler , Philipp Eisner , Samuel Sprung , Thomas Schober , Sebastian Chlup , Christoph Schmittner , Sandra König 25th International Symposium On Formal Methods (FM'23)
Concepts and relationships in safety and security ontologies: A comparative study (Nov 2022) Malina Adach, Kaj Hänninen, Kristina Lundqvist 5th International Conference on System Reliability and Safety (ICSRS-2022)
Communication Patterns for Evaluating Vehicular E/E Architectures (Nov 2022) Elena Lisova, Ruben Broux, Joachim Denil , Alessio Bucaioni, Saad Mubeen The 2nd International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME 2022)
Anomaly Attack Detection in Wireless Networks Using DCNN (Oct 2022) Van Lan Dao, Björn Leander IEEE 8th World Forum on Internet of Things (WFIoT2022)
Security Ontologies:A Systematic Literature Review (Oct 2022) Malina Adach, Kaj Hänninen, Kristina Lundqvist 26th The Enterprise Computing Conference 2022 (EDOC 2022)
Cyberattacks: Modeling, Analysis, and Mitigation (Sep 2022) Sara Abbaspour 6th International Conference on Computer, Software and Modeling (ICCSM)
POSTER: Towards Cyber Resilience of Cyber-Physical Systems using Tiny Twins (Aug 2022) Fereidoun Moradi, Sara Abbaspour, Marjan Sirjani 7th IEEE European Symposium on Security and Privacy (EuroS&P 2022)
Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks (Aug 2022) Fereidoun Moradi, Maryam Bagheri , Hanieh Rahmati , Hamed Yazdi , Sara Abbaspour, Marjan Sirjani 25TH INTERNATIONAL CONFERENCE ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS)
A Combined Security Ontology based on the Unified Foundational Ontology (Jan 2022) Malina Adach, Kaj Hänninen, Kristina Lundqvist 16th IEEE International Conference on SEMANTIC COMPUTING 2022 (ICSC 2022)
Partial Order Reduction for Timed Actors (2022) Maryam Bagheri , Marjan Sirjani, Ehsan Khamespanah , Hossein Hojjat , Ali Movaghar Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'21)
Role-based approach as support for safety analysis of collaborative systems (Oct 2021) Luciana Provenzano, Kaj Hänninen, Kristina Lundqvist IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC'21)
