Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 28

Journal article (5)

Synergies of Operation, Information, and Communication Technology for Solving New Societal and Industrial Challenges: Future Directions (Oct 2023)
Wenbin Dai , Paulo Leitao , Kim Fung Tsang , Yang Shi , Gerhard Hancke , Lei Shu , Moris Behnam, Vyatkin Valeriy

Supporting 5G Service Orchestration with Formal Verification (Mar 2023)
Peter Backeman, Ashalatha Kunnappilly, Cristina Seceleanu
Computer Science and Information Systems (ComSIS,10(1))

Correctness-Guaranteed Strategy Synthesis and Compression for Multi-Agent Autonomous Systems (Sep 2022)
Rong Gu, Peter Jensen , Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist
Science of Computer Programming (SCICO-223)

Architecting Digital Twins (May 2022)
Enxhi Ferko, Moris Behnam, Alessio Bucaioni
Journal of IEEE Access (IEEE-Access)

Model Testing of Complex Embedded Systems using EAST-ADL and Energy-Aware Mutations (Feb 2020)
Eduard Paul Enoiu, Cristina Seceleanu
MDPI Designs Journal (MDPI Designs)

Conference/Workshop Paper (22)

Guess and then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems (Jul 2024)
Rong Gu, Zahra Moezkarimi, Marjan Sirjani
44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2024)

Synthesizing Understandable Strategies (Nov 2023)
Peter Backeman
8th International Conference on Engineering of Computer-based Systems (ECBS2023)

Pattern-Based Verification of ROS 2 Nodes using UPPAAL (Sep 2023)
Lukas Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen
FMICS 2023 - International Conference on Formal Methods for Industrial Critical Systems (FMICS 2023)

Analysing Interoperability in Digital Twin Software Architectures for Manufacturing (Sep 2023)
Enxhi Ferko, Alessio Bucaioni, Moris Behnam, Patrizio Pelliccione
17th European Conference on Software Architecture (ECSA 2023)

Experimental Evaluation of Callback Behavior in ROS 2 Executors (Sep 2023)
Lukas Dust, Emil Persson, Mikael Ekström, Saad Mubeen, Cristina Seceleanu, Rong Gu
28th International Conference on Emerging Technologies and Factory Automation (ETFA 2023)

Automatic Clustering of Performance Events (Sep 2023)
Shamoona Imtiaz, Gabriele Capannini, Jan Carlson, Moris Behnam, Marcus Jägemar
28th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA2023) (ETFA2023)

Test Generation and Mutation Analysis of Energy Consumption using UPPAAL SMC and MATS (Aug 2023)
Jonatan Larsson , Eduard Paul Enoiu
The 7th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS 2023)

Model-Based Policy Synthesis and Test-Case Generation for Autonomous Systems (Apr 2023)
Rong Gu, Eduard Paul Enoiu
19th Workshop on Advances in Model Based Testing (A-MOST 2023)

Supporting Technical Adaptation and Implementation of Digital Twins in Manufacturing (Apr 2023)
Enxhi Ferko, Alessio Bucaioni, Moris Behnam
20th International Conference on Information Technology : New Generations (ITNG 2023)

Standardisation in Digital Twin Architectures in Manufacturing (Mar 2023)
Enxhi Ferko, Alessio Bucaioni, Patrizio Pelliccione , Moris Behnam
20TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE (ICSA 2023)

Automatic Segmentation of Resource Utilization Data (Dec 2022)
Shamoona Imtiaz, Moris Behnam, Gabriele Capannini, Jan Carlson, Marcus Jägemar
1st IEEE Industrial Electronics Society Annual On-Line Conference (ONCON2022)

Reliable Visibility Algorithms for Emergency Stop Systems in Smart Industries (Jun 2022)
Gabriele Capannini, Jan Carlson, Roger Mellander
46th Annual IEEE Computers, Software, and Applications Conference (COMPSAC 2022)

Model Checking Collision Avoidance of Nonlinear Autonomous Vehicle Models (Nov 2021)
Rong Gu, Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist
Formal Methods 2021 (FM'21)

Automatic Quality of Service Control in Multi-core Systems using Cache Partitioning (Oct 2021)
Jakob Danielsson, Tiberiu Seceleanu, Marcus Jägemar, Moris Behnam, Mikael Sjödin
26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2021)

Automatic Platform-Independent Monitoring and Ranking of Hardware Resource Utilization (Sep 2021)
Shamoona Imtiaz, Jakob Danielsson, Moris Behnam, Gabriele Capannini, Jan Carlson, Marcus Jägemar
26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2021)

Towards Automatic Application Fingerprinting Using Performance Monitoring Counters (May 2021)
Shamoona Imtiaz, Jakob Danielsson, Moris Behnam, Gabriele Capannini, Jan Carlson, Marcus Jägemar
7th international Conference on the Engineering of Computer Based Systems (ECBS 2021)

Thou Shalt Not Move - A Visibility-based Emergency Stop System for Smart Industries (May 2021) -- Best Paper Award--
Gabriele Capannini, Jan Carlson, Roger Mellander
7th international Conference on the Engineering of Computer Based Systems (ECBS 2021)

Assured Cloud Platforms for Industrial Cyber-Physical Systems: The ACICS Approach (Apr 2021)
Cristina Seceleanu, Eduard Paul Enoiu, Moris Behnam, Gabriele Capannini, Jan Carlson, Kristina Lundqvist, Séverine Sentilles
7th international Conference on the Engineering of Computer Based Systems (ECBS 2021)

Specification and Automated Verification of Atomic Concurrent Real-time Transactions (Oct 2020)
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS '20)

Probabilistic Mission Planning and Analysis for Multi-agent Systems (Oct 2020)
Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Kristina Lundqvist
9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2020)

Verification and Validation of Concurrent and Distributed Systems (Track Summary) (Oct 2020)
Marieke Huisman , Cristina Seceleanu
9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020)

Verifiable and Scalable Mission-Plan Synthesis for Multiple Autonomous Agents (Sep 2020) -- Best Paper Award--
Rong Gu, Eduard Paul Enoiu, Cristina Seceleanu, Kristina Lundqvist
25TH INTERNATIONAL CONFERENCE ON FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS (FMICS)

Report - MRTC (1)

Modeling and Verification of ROS Systems Using Stochastic Timed Automata (Jun 2024)
Peter Backeman, Cristina Seceleanu
MRTC Report, Mälardalen Real-Time Research Centre (MRTC 2024)

Items per page: