Automated Protection and Prevention to Meet Security Requirements in DevOps Environments D1.3 (Mar 2021) Gunnar Widforss, Olga Hendel, Eduard Paul Enoiu, Dragos Truscan , Andrey Sadovykh , Alessandra Bagnato , Rosa Iglesias , Cristina Seceleanu, Damir Bilic
Dependable real-time communications for systems with integrated wired and wireless connectivity (Sep 2024) Pablo Gutiérrez Peón
On Transient Communication Outages among Collaborating Connected and Automated Vehicles (Sep 2023) Shahriar Hasan
Improving the Efficiency and Reliability of Text Messaging Gateways (Nov 2022) Daniel Brahneborg Doctoral Thesis (PhD Thesis)
Formal Methods for Scalable Synthesis and Verification of Autonomous Systems (May 2022) Rong Gu
Intelligence-Driven Software Performance Assurance (May 2022) Mahshid Helali Moghadam
Automatic Characterization and Mitigation ofShared-resource Contention in Multi-coreSystems (Nov 2021) Jakob Danielsson
Space Computing using COTS Heterogeneous Platforms (Nov 2021) Nandinbaatar Tsog
Industrial System Level Test Automation (Oct 2021) Daniel Flemström
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
Monitoring for Securing Clock Synchronization (Apr 2018) Elena Lisova
Optimizing Timing-Critical Cloud Resources in a Smart Factory (Mar 2018) Hamid Reza Faragardi
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)
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
Relaying for Industrial Wireless Networks (Feb 2016) Svetlana Girs
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
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)
Unmasking fault tolerance (Feb 2014) Nils Müllner
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
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
Resource Sharing in Real-Time Systems on Multiprocessors (May 2012) Farhang Nemati
On Safe and Secure Communication in Process Automation (Nov 2011) Johan Åkerberg
Jag älskar att allt ligger överst: En designstudie av ytinteraktion för kollaborativa multimedia-framträdanden (Jun 2009) Rikard Lindell
Adaptive Bounding Volume Hierarchies for Efficient Collision Queries (Jan 2009) Thomas Larsson
Efficient Memory Utilization in Resource Constrained Real-Time Systems (Jun 2008) Kaj Hänninen
Structural System-Level Testing of Embedded Real-Time Systems (Feb 2008) Daniel Sundmark
Reverse Engineering of Legacy Real-Time Systems: An Automated Approach Based on Execution-Time Recording (Jun 2007) Joel Huselius
Event Pattern Detection for Embedded Systems (Jun 2007) Jan Carlson
Share-Driven Scheduling of Embedded Networks (May 2006) Thomas Nolte
Combining Off-line Schedule Construction and Fixed Priority Scheduling in Real-Time Computer Systems (Sep 2005) Radu Dobrin
Adapting to Varying Demands in Resource Constrained Real-Time Devices (Sep 2005) Tomas Lennvall
Retrieve and Classify (Aug 2005) Markus Nilsson
Crossing Boundaries, Focusing Foundations, Trying Translations: Feminist Technoscience Strategies in Computer Science (May 2005) Christina Björkman
Flexible Scheduling for Media Processing in Resource Constrained Real-Time Systems (Nov 2004) Damir Isovic
Cache and Compiler Interaction (how to analyze, optimize and time cache behavior) (Jan 2004) Xavier Vera
A Modular Tool Architecture for Worst-Case Execution Time Analysis (Jun 2003) Andreas Ermedahl
Analysis and Design of Real-Time Control Systems with Varying Control Timing Constraints (Jul 2002) Pau Marti
Enforcing Temporal Constraints in Embedded Control Systems (Apr 2002) Kristian Sandström
Monitoring, Testing and Debugging of Distributed Real-Time Systems (May 2000) Henrik Thane
Analyzing Execution-Time of Object-Oriented Programs Using Abstract Interpretation (May 2000) Jan Gustafsson
Modelling and Verification of Real-Time Systems Using Timed Automata: Theory and Practice (Feb 1999) Paul Pettersson