Type: Date:

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

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)

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)

Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control (Jan 2021)
Maryam Bagheri , Marjan Sirjani, Ehsan Khamespanah , Christel Baier , Ali Movaghar
IEEE Transactions on Software Engineering (TSE)

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

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

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

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

Concepts and relationships in safety and security ontologies: A comparative study (Nov 2022)
Malina Adach, Kaj Hänninen, Kristina Lundqvist
6th 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)

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

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)

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)

Partial Order Reduction for Timed Actors
Maryam Bagheri , Marjan Sirjani, Ehsan Khamespanah , Hossein Hojjat , Ali Movaghar
Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'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)

Towards Formal Analysis of Vehicle Platoons Using Actor Model
Zeinab Sharifi , Ramtin Khosravi , Marjan Sirjani, Ehsan Khamespanah
The 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA2020)

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)

Model Checking Software in Cyberphysical Systems (Jul 2020)
Marjan Sirjani, Edward Lee, Ehsan Khamespanah
44th Annual Computers, Software, and Applications Conference (COMPSAC 2020)

Formal Modeling and Analysis of Medical Systems (Jun 2020)
Mahsa Zarneshan , Fatemeh Ghasemi , Marjan Sirjani
International Conference on Coordination Languages and Models (COORDINATION2020)

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)

Secrecy Performance Analysis of Cooperative NOMA Networks With Active Protection under α − µ Fading (Nov 2019)
Tung Pham Huu , Van Nhan Vo , Tran Hung, Quach Xuan Truong
International Conference on Advanced Technologies for Communications (ATC)

Experiences from Applying an Ontology in Hazard Analysis of Autonomous System of Systems.
Malina Adach, Kaj Hänninen, Luciana Provenzano, Kristina Lundqvist
Aerospace Technology Congress 2019 (FT2019)

Analysing Real-time Distributed Systems using Timed Actors (Oct 2019)
Marjan Sirjani
IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2019)

Reactive actors: isolation for efficient analysis of distributed systems (Oct 2019)
Marjan Sirjani, Ehsan Khamespanah , Fatemeh Ghasemi
IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2019)

A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems (Sep 2019)
Narges Khakpour , Jetty Kleijn , Marjan Sirjani
International Conference on Fundamentals of Software Engineering (FSEN 2017)

On-Off Attack on a Blockchain-based IoT System (Sep 2019)
Fereidoun Moradi, Ali Sedaghatbaf, Sara Abbaspour, 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)

Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca (Sep 2019)
Saed Dehnavi , Ali Sedaghatbaf, Bahar Salmani , Marjan Sirjani, Mehdi Kargahi , Ehsan Khamespanah
The 16th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)

Items per page: