Type: Date:

Number of publications matching the search criterion: 2319 (showing 1 - 50)

Deliverable (1)

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

Doctoral Thesis (46)

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

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

Licentiate Thesis (68)

Model-based system testing of safety-critical embedded software (Oct 2022)
Muhammad Nouman Zafar

Timing and Schedulability Analysis of Real-Time Systems using Hidden Markov Models (Jun 2022)
Anna Friebe

Configuring and Analysing TSN Networks Considering Low-priority Traffic (Dec 2021)
Bahar Houtan

Items per page: