Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 10

Journal article (2)

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)

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

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)

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)

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)

Items per page: