Publications
Number of publications matching the search criterion: 36
Licentiate Thesis (1)
Automated Performance Profiling of Software Applications (Oct 2023) Shamoona Imtiaz
Book chapter (1)
Artificial Intelligence Techniques in System Testing (Jul 2023) Michael Felderer , Eduard Paul Enoiu, Sahar Tahvili Optimising the Software Development Process with Artificial Intelligence (Springer)
Journal article (8)
Verifying ROS-based Applications Using Timed and Stochastic Timed Automata Peter Backeman, Cristina Seceleanu Lecture Notes in Computer Science (LNCS)
Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions (Jun 2024) Rong Gu, Eduard Baranov , Afshin Ameri E., Eduard Paul Enoiu, Baran Çürüklü, Cristina Seceleanu, Axel Legay , Kristina Lundqvist ACM Transactions on Software Engineering and Methodology (TOSEM)
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)
Automated Test Case Generation for Digital System Designs: A Mapping Study on VHDL, Verilog and SystemVerilog Description Languages (Aug 2020) Ashish Alape Vivekananda , Eduard Paul Enoiu MDPI Designs Journal (MDPI Designs)
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 (25)
Predicting Cache Behaviour of Concurrent Applications (Sep 2024) Shamoona Imtiaz, Moris Behnam, Gabriele Capannini, Jan Carlson, Marcus Jägemar 29th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA2024)
Energy-Efficient Motion Planning for Autonomous Vehicles Using UPPAAL Stratego (Jul 2024) Muhammad Naeem, Rong Gu, Cristina Seceleanu, Kim Guldstrand Larsen , Brian Nielsen , Michele Albano The 18th International Symposium on Theoretical Aspects of Software Engineering (TASE2024)
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)
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)
Combining Model-Based Testing and Automated Analysis of Behavioural Models using GraphWalker and UPPAAL (Jan 2023) Saurabh Tiwari, Kumar Iyer , Eduard Paul Enoiu 29th Asia-Pacific Software Engineering Conference (APSEC) (APSEC 2022)
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)
