Publications
Number of publications matching the search criterion: 2810 (showing 1 - 50)
Doctoral Thesis (70)
Dependable real-time communications for systems with integrated wired and wireless connectivity (Sep 2024) Pablo Gutiérrez Peón
Systematic Development of Collaborative Blended Modeling Environments (Jun 2024) Malvina Latifaj
Organizational Changes-aware Safety-centered Risk Assessment in Augmented Reality-equipped Socio-technical Systems (Feb 2023) Soheila Sheikh Bahaei
Efficient Design of Scalable Deep Neural Networks for Resource-Constrained Edge Devices (Oct 2022) Mohammad Loni
Formal Methods for Scalable Synthesis and Verification of Autonomous Systems (May 2022) Rong Gu
Information Visualization Using Transparent Displays in Mobile Cranes and Excavators (Jan 2022) Taufik Akbar Sitompul
Productivity Improvements in Construction Transport Operation through Lean Thinking and Systems of Systems (Dec 2021) David Rylander
Automatic Characterization and Mitigation ofShared-resource Contention in Multi-coreSystems (Nov 2021) Jakob Danielsson
Space Computing using COTS Heterogeneous Platforms (Nov 2021) Nandinbaatar Tsog
A Safety-centered Planning-time Framework for Automated Process Compliance Checking (Oct 2021) Julieth Patricia Castellanos Ardila
Industrial System Level Test Automation (Oct 2021) Daniel Flemström
Preemption-Delay Aware Schedulability Analysis of Real-Time Systems (Jun 2020) Filip Markovic
Modeling and Control of the Collaborative Behavior of Adaptive Autonomous Agents (Jun 2020) Mirgita Frasheri
Minimum Enclosing Balls and Ellipsoids in General Dimensions (Jan 2020) Linus Källberg
Systematic Design and Analysis of Customized Data Management for Real-Time Database Systems (Nov 2019) Simin Cai
Methods for Efficient and Adaptive Scheduling of Next-Generation Time-Triggered Networks (Oct 2019) Francisco Pozo
Automated Approaches for Formal Verification of Embedded Systems Artifacts (May 2019) Predrag Filipovikj
Utilizing Hardware Monitoring to Improve the Quality of Service and Performance of Industrial Systems (Oct 2018) Marcus Jägemar
Assurance Aware Contract-Based Design for Safety-Critical Systems (Sep 2018) Irfan Sljivo
GPU Support for Component-based Development of Embedded Systems (Sep 2018) Gabriel Campeanu
Optimizing Timing-Critical Cloud Resources in a Smart Factory (Mar 2018) Hamid Reza Faragardi
Quality Assurance for Dependable Embedded Systems (Jan 2018) Andreas Johnsen
An Ontological Approach to Safety Analysis of Safety-Critical Systems (Jan 2018) Jiale Zhou
A Model-driven Development Approach with Temporal Awareness for Vehicular Embedded Systems (Jan 2018) Alessio Bucaioni
Consolidating Automotive Real-Time Applications on Many-Core Platforms (Dec 2017) Matthias Becker Doctoral Thesis (PhD Thesis)
On Pre-deployment Assessment and Security Bootstrapping of Industrial Communication Networks (Jun 2017) Apala Ray
Real-Time Communication over Switched Ethernet with Resource Reservation (Nov 2016) Mohammad Ashjaei
Automatic Test Generation for Industrial Control Software (Oct 2016) Eduard Paul Enoiu
Static Execution Time Analysis of Parallel Systems (May 2016) Andreas Gustavsson
Limited Preemptive Scheduling in Real-time Systems (May 2016) Abhilash Thekkilakattil
Task Allocation Optimization for Multicore Embedded Systems (Dec 2015) Juraj Feljan
Adaptive and Flexible Scheduling Frameworks for Component-Based Real-Time Systems (Nov 2015) Nima Khalilzad
Introducing Mode Switch in Component-Based Software Development (Sep 2015) Hang Yin
Preservation of Extra-Functional Properties in Embedded Systems Development (Feb 2015) Mehrdad Saadatmand
Software and Hardware Models in Component-based Development of Embedded Systems (Jan 2015) Luka Lednicki
Hierarchical scheduling for predictable execution of real-time software components and legacy systems (Dec 2014) Rafia Inam
Communications-Oriented Modeling and Development of Vehicular Distributed Embedded Systems (Jun 2014) Saad Mubeen Doctoral Thesis (PhD Thesis 2014)
Automating Reuse in Web Application Development (Apr 2014) Josip Maras
From Models to Code and Back: A Round-trip Approach for Model-driven Engineering of Embedded Systems (Jan 2014) Federico Ciccozzi
Formal Approaches for Behavioral Modeling and Analysis of Design-time Services and Service Negotiations (Dec 2013) Aida Causevic
Parametric WCET Analysis (Jun 2013) Stefan Bygde
Quality of Test Design in Test Driven Development (Jun 2013) Adnan Causevic
Fault-Tolerance Strategies and Probabilistic Guarantees for Real-Time Systems (Jun 2012) Hüseyin Aysan
Data Management in Component-Based Embedded Real-Time Systems (Jun 2012) Andreas Hjertström
Pragmatic Approaches for Timing Analysis of Real-Time Embedded Systems (Jun 2012) Yue Lu
Managing Extra-Functional Properties in Component-Based Development of Embedded Systems (Jun 2012) Séverine Sentilles
A Resource-Aware Framework for Designing Predictable Component-Based Embedded Systems (Jun 2012) Aneta Vulgarakis Feljan
Resource Sharing in Real-Time Systems on Multiprocessors (May 2012) Farhang Nemati
On Test Design (Oct 2011) Sigrid Eldh
Lean Thinking Applied to System Architecting (Feb 2011) Håkan Gustavsson
