Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 90 (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 (25)

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

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)

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)

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)

Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems (Nov 2020)
Maryam Bagheri , Edward Lee, Eunsuk Kang , Marjan Sirjani, Ehsan Khamespanah , Ali Movaghar
18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

Network Fault Tolerance by Means of Diverse Physical Layers (Sep 2020)
Pablo Gutiérrez Peón, Wilfried Steiner , Elisabeth Uhlemann
The 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA2020)

From Requirements to Verifiable Executable Models using Rebeca (Sep 2020)
Marjan Sirjani, Luciana Provenzano, Sara Abbaspour, Mahshid Helali Moghadam
Software Engineering and Formal Methods Collocated Workshops 2020 (SEFMW 2020)

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)

Items per page: