- Markus Lindgren, PhD Thesis
- Towards a Capability Model for Release Planning of Software Intensive Systems
- Mälardalen University
- Date: 2008-11-21
- Viktor Leijon, Licentiate thesis
- A time constrained real-time process calculus
- Luleå Tekniska Universitet
- Date: 2008
- Martin Thuresson, PhD Thesis
- Compression Techniques for Improved Bandwidth and Static Code Size in Computer Systems
- Chalmers tekniska högskola
- Date: 2008-09-19
- Erik Kuiper, Licentiate thesis
- Mobility and Routing in a Delay-tolerant Network of Unmanned Aerial Vehicles
- Linköpings universitet
- Date: 2008-05-13
Theses below this line is included in ARTES final report.
- Kaj Hänninen, PhD Thesis
- Efficient Memory Utilization in Resource Constrained Real-Time Systems
- Mälardalen University
- Date: June 4, 2008 at 10:15 in Gamma, U-Hus, MDH
- Supervisor: Mikael Nolin
- Mikael Åkerholm, PhD Thesis
- Reusability of Software Components in the Vehicular Domain
- Mälardalen University
- Date: May 29, 2008 at 14:00-17:00 in Gamma, U-Hus, MDH
- Supervisor: Kristian Sandström
- Olga Grinchtein, PhD Thesis
- Learning of Timed Systems
- Uppsala Universitet
- Date: May 23, 2008 at 13:15 in Polhemsalen, Ångström Laboratory
- Supervisors: Bengt Jonsson
- The 100:th ARTES RT-Phd Thesis
- Johan Lindhult, Licentiate thesis
- Operational Semantics for PLEX: A Basis for Safe Parallelization
- Mälardalen University
- Date: May 7, 2008
- Supervisors: Björn Lisper and Jan Gustafsson
- Larisa Rizvanovic, Licentiate thesis
- Resource Management Framework for Distributed Heterogeneous Systems
- Mälardalen University
- Date: April, 2008
- Supervisor: Gerhard Fohler
- Susanna Nordström, Licentiate thesis
- Configurable Hardware Support for Single Processor Real-Time Systems
- Mälardalen University
- Date: February 21, 2008
- Supervisor: Denny Åberg
- Ewa Hansen, Licentiate thesis
- Centralized Routing for Prolonged Network Lifetime in Wireless Sensor Networks
- Mälardalen University
- Date: January 18, 2008
- Supervisor: Mats Björkman
- Jianlin Shi, Licentiate thesis
- Model and Tool Integration in High Level Design of Embedded Systems
- KTH
- Date: December 20, 2007
- Supervisor: Martin Törngren
- Joakim Fröberg, PhD thesis
- Engineering Automotive Electronic Systems: Decision Support for Successful Integration
- Mälardalen University
- Date: December 19, 2007
- Supervisor: Christer Norström
- Sigrid Eldh, Licentiate thesis
- On Evaluating Test Techniques in an Industrial Setting
- Mälardalen University
- Date: December 18, 2007
- Supervisors: Hans Hansson, Sasikumar Punnekkat
- Sanny Syberfeldt, PhD thesis
- Optimistic Replication with Forward Conflict Resolution in Distributed Real-Time Databases
- Date: December 17, 2007
- Supervisor: Sten F. Andler
- Mehdi Amirijoo, PhD thesis
- QoS Control of Real-Time Data Services under Uncertain Workload
- Linköpings universitet
- Date: November 15, 2007
- Supervisors: Jörgen Hansson, Simin Nadjm-Tehrani
- Alexandru Andrei, PhD thesis
- Energy Efficient and Predictable Design of Real-Time Embedded Systems
- Linköpings universitet
- Date: October 16, 2007
- Supervisors: Petru Eles
- Mikael Asplund, Licentiate thesis
- Restoring Consistency after Network Partitions
- Linköpings universitet
- Date: October 16, 2007
- Supervisors: Simin Nadjm-Tehrani
- Jan Carlson, PhD thesis
- Event Pattern Detection for Embedded Systems
- Mälardalen University
- Date: June 15, 2007
- Supervisor: Björn Lisper
- Joel Huselius, PhD thesis
- Reverse Engineering of Legacy Real-time Systems: An Automated approach based on Execution-time Recording
- Mälardalen University
- Date: June 14, 2007
- Supervisors: Hans Hansson, Sasikumar Punnekkat, Henrik Thane
- Raul Barbosa, Licentiate thesis
- Multi-Layer Fault Tolerance for Distributed Real-Time Systems
- Chalmers University of Technology , Computer Engineering
- Date: June 12, 2007
- Supervisor: Johan Karlsson
- Traian Pop, PhD thesis
- Analysis and Optimisation of Distributed Embedded Systems with Heterogeneous Scheduling Policies
- Linköpings universitet, Institutionen för datavetenskap
- Date: June 11, 2007
- Supervisor: Petru Eles
- Xing Fan, PhD thesis
- Real-Time Services in Packet-Switched Networks for Embedded Applications
- Halmstad University
- Date: June 5, 2007
- Supervisors: Magnus Jonsson, Bertil Svensson
- Anders Hessel, PhD thesis
- Model-Based Test Case Generation for Real-Time Systems
- Uppsala University, Department of Information Technology
- Date: May 21, 2007
- Supervisors: Paul Pettersson and Bengt Jonsson
- Hoai Hoang, PhD thesis
- Enhancing the performance of Distributed Real-time Systems
- Halmstad University
- Date: May 14, 2007
- Supervisors: Magnus Jonsson, Bertil Svensson
- ARTES project: Switched Real-Time Communication for Industrial Applications
- Andreas Johnsson, PhD thesis
- Modeling, Implementation and Evaluation of IP Network Bandwidth Measurement Methods
- Mälardalen University
- Date: April 27, 2007
- Supervisors: Mats Björkman
- Mats Grindal, PhD thesis
- Handling Combinatorial Explosion in Software Testing
- University of Skövde
- Date: March 12, 2007
- Supervisors: Prof. Sten F Andler, Dr. Jonas Mellin, Prof. Jeff Offutt, Prof. Mariam Kamkar
- Pressmeddelande: 07-03-20
- Frank Lüders , PhD thesis
- An Evolutionary Approach to Software Components in Embedded Real-Time Systems
- Mälardalen University
- Date: December, 2006
- Supervisors: Ivica Crnkovic and Björn Lisper
- Najeem Lawal, Licentiate thesis
- Memory Synthesis for FPGA Implementation of Real-Time Video Processing Systems
- Mid Sweden Unviersity, Sundsvall
- Date: November 22, 2006
- Supervisor: Prof. Mattias O'Nils
- Viacheslav Izosimov, Licentiate thesis
- Scheduling and Optimization of Fault-Tolerant Embedded Systems
- Linköpings universitet
- Date: November 15, 2006
- Supervisor: Zebo Peng
- Robert Nilsson, PhD thesis
- A Mutation-based Framework for Automated Testing of Timeliness
- Högskolan i Skövde och Linköpings universitet
- Date: October 18, 2006
- Supervisor: Sten F. Andler
- Håkan Zeffer
, PhD thesis
- Towards Low-Complexity Scalable Shared-Memory Architectures
- Uppsala universitet
- Date: October 13, 2006
- Supervisor: Erik Hagersten
- Fredrik Törner, Licentiate thesis
- On Hazard Identification in the Automotive Domain
- Chalmers University of Technology
- Date: September 25, 2006
- Supervisors: Per Johannessen and Peter Öhman
- Kaj Hänninen, Licentiate thesis
- Introducing a Memory Efficient Execution Model in a Tool-Suite for Real-Time Systems
- Mälardalen University
- Date: September 22, 2006
- Supervisor: Mikael Nolin
- Rikard Land, PhD thesis
- Software Systems In-House Integration: Observations and Guidelines concerning Architecture and Process
- Mälardalen University
- Date: September, 2006
- Supervisor: Ivica Crnkovic
- Anders Nilsson, PhD thesis
- Tailoring native compilation of Java for real-time systems
- Lund University
- Date: June 14, 2006
- Supervisors: Boris Magnusson and Klas Nilsson
- Fredrik Warg, PhD thesis
- Techniques to Reduce Thread-Level Speculation Overhead
- Chalmers University of Technology
- Date: June 13, 2006
- Supervisor: Per Stenström
- ARTES project: Techniques for Module-Level Speculative Parallelization
on Shared-Memory Multiprocessors
- Jonas Neander, Licentiate thesis
- Using Existing Infrastructure as Support for Wireless Sensor Networks
- Mälardalen University
- Date: June 20, 2006
- Supervisor: Mats Björkman
- Torbjörn Ekman, PhD thesis
- Extensible Compiler Construction
- Lund University
- Date: June 5, 2006
- Supervisor: Boris Magnusson
- Sven Gestegård Robertz, PhD thesis
- Automatic memory management for flexible real-time systems
- Lund University
- Date: May 24, 2006
- Supervisors: Boris Magnusson and Klas Nilsson
- ARTES project: Integrated Control and Scheduling
- Thomas Nolte, PhD-thesis
- Share-Driven Scheduling of Embedded Networks
- Mälardalen University
- Date: May 5, 2006 room Beta in Västerås at 13:30
- Supervisors: Hans Hansson, Christer Norström and Sasikumar
Punnekkat
- ARTES project: RATAD,
Reliability And Timing Analysis of Distributed systems
- Jerker Bengtsson, Licentiate Thesis
- Efficient Implementation of Stream Applications on Processor Arrays
- Halmstad University
- Date: March 30, 2006
- Supervisor: Bertil Svensson
- Aleksandra Tesanovic, PhD Thesis
- Developing Reusable and Reconfigurable Real-Time Software using Aspects and Components
- Linköpings universitet
- Date: March 23, 2006
- Supervisor: Jörgen Hansson
- ARTES project: Embedded Databases for Embedded Real-Time Systems
- Anders Hessel, Licentiate Thesis
- Model-based Test-Case Selection and Generation for Real-Time Systems
- Uppsala University, Department of Information Technology
- Date: March 7, 2006
- Supervisors: Paul Pettersson and Bengt Jonsson
- Jad El-Khoury, PhD Thesis
- A Model Management and Integration Platform for Mechatronics Product Development
- KTH
- Date:March 3, 2006
- Supervisors: Martin Törngren
- ARTES project: Automatic Control in Distributed Applications (AIDA 2)
- Dan Henriksson, PhD thesis
- Resource-Constrained Embedded Control and Computing Systems
- Lund University
- Date: January 13, 2006
- Supervisor: Karl-Erik Årzén
- Martin Karlsson, PhD Thesis
- Memory System Design for Chip-Multiprocessors
- Uppsala Universitet
- Date: January 13, 2006
- Supervisor: Erik Hagersten
- ARTES project: Categorized and Specialized Caching for SMPs
- Sorin Manolache, PhD Thesis
- Analysis and Optimisation of Real-Time Systems with Stochastic Behaviour
- Linköpings universitet
- Date: Dec 16, 2005
- Supervisor: Petru Eles
- ARTES project: Design of Heterogeneous Multiprocessor Systems for
Real-Time Applications
- Dag Nyström, PhD Thesis
- Data Management in Vehicle Control-Systems
- Mälardalens högskola, Västerås
- Date: October 26 2005
- Supervisor: Christer Norström
- ARTES project: Embedded Databases for Embedded Real-Time Systems
- Radu Dobrin, PhD Thesis
- Combining Off-line Schedule Construction and Fixed Priority Scheduling in Real-Time Computer Systems
- Mälardalens högskola, Västerås
- Date: September 27, 2005
- Supervisor: Gerhard Fohler
- ARTES project: Extension of Project Flexible Reliable
Timing Constraints
- Tomas Lennvall, PhD Thesis
- Adapting to Varying Demands in Resource Constrained Real-Time Devices
- Mälardalens högskola, Västerås
- Date: September 27, 2005
- Supervisor: Gerhard Fohler
- Johan Glimming, Licentiate Thesis
- Dialgebraic Semantics of Typed Object Calculi
- Kungliga Tekniska högskolan
- Date: September 19, 2005
- Calin Curescu, PhD Thesis
- Utility-based optimisation of resource allocation for wireless networks
- Linköpings universitet
- Date: September 16, 2005
. There is more images behind the picture.
- Per Andersson, PhD Thesis
- Efficient Modelling and Synthesis of Data Intensive Reconfigurable Systems
- Lund University
- Date: June 17, 2005
- Johan Andersson, Licentiate Thesis
- Modeling the Temporal Behavior of Complex Embedded Systems - A Reverse Engineering Approach
- Mälardalens högskola, Västerås
- Date: June 16, 2005
- Supervisors: Christer Norström, Anders Wall and Björn Lisper
- Jonny Vinter, PhD thesis
- On the Effects of Soft Errors in Embedded Control Systems
Chalmers tekniska högskola
- Date: June 9, 2005
- Urban Bilstrup, Licentiate Thesis
- Design Space Exploration of Wireless Multihop Networks
- Högskolan i Halmstad
- Date: June 7, 2005
- Supervisor: Bertil Svensson
- ARTES project: Real-time Mobile Communication
- Håkan Zeffer, Licentiate Thesis
- Hardware-Software Tradeoffs in Shared-Memory Implementations
- Uppsala Universitet
- Date: May 30, 2005
- Supervisor: Erik Hagersten
- Jesper Wilhelmsson, Licentiate Thesis
- Efficient Memory Management for Message-Passing Concurrency
- Uppsala Universitet
- Date: May 27, 2005
- Supervisor: Konstantinos Sagonas
- Jukka Mäki-Turja, PhD Thesis
- Engineering Strength Response-Time Analysis --- A Timing Analysis Approach for the Development of Real-Time Systems
- Mälardalens högskola, Västerås
- Date: May 27, 2005
- Supervisors: Mikael Nolin and Christer Norström
- ARTES project: Incremental Iterative Static Scheduling
- Gert Jervan, PhD Thesis
- Hybrid Built-In Self-Test and Test Generation Techniques for Digital Systems
- Linköpings universitet
- Date: May 20, 2005
- Andreas Johnsson, Licentiate Thesis
- Bandwidth Measurements in Wired and Wireless Networks
- Mälardalens högskola, Västerås
- Date: April, 2005
- Johan Fredriksson, Licentiate Thesis
- Transformation of component models to real-time models
- Mälardalens högskola, Västerås
- Date: April, 2005
- Diana Szentivanyi, PhD Thesis
- Performance Studies of Fault-tolerant Middelware
- Linköpings universitet
- Date: March 29, 2005
- Luis Alejandro Cortés, PhD Thesis
- Verification and scheduling techniques for real-time embedded systems
- Linköpings universitet
- Date: March 2, 2005
- Marcus Nilsson, PhD Thesis
- Regular Model Checking
- Uppsala Universitet
- Date: March 2, 2005
- Supervisors: Parosh Abdulla, Bengt Jonsson
- Mikael Åkerholm, Licentiate Thesis
- A Software Component Technology for Vehicle Control Systems
- Mälardalens högskola, Västerås
- Date: February, 2005
- Anders Möller, Licenciate thesis
- Software Component Technologies for Heavy Vehicles
- Mälardalens högskola, Västerås
- Date: January 28, 2005
- Supervisors: Mikael Nolin and Hans Hansson
- Magnus Ekman, PhD Thesis
- Strategies to Reduce Energy and Resources in Chip Multiprocessor Systems
- Chalmers tekniska högskola
- Date: December 20, 2004
- Supervisor: Per Stenström
- ARTES project: Support for Real-Time 3-D Graphics on Future Mobile Terminals under Energy/Area Constraints
- Joakim Aidemark, PhD Thesis
- Node-level Fault Tolerance for Fixed Priority Scheduling
- Chalmers tekniska högskola
- Date: December 16, 2004
- Supervisor: Johan Karlsson
- ARTES project: Node-level Fault Tolerance for Fixed Priority Scheduling
- Pictures from the ball after the confirment.
- Per Johannessen, PhD thesis
- On the Design of Electrical Architectures for Safety-Critical Automotive Systems
- Chalmers Tekniska Högskola
- Date: November 25, 2004
- Supervisor: Jan Torin
- Disputationsbilder:

- Pressrelease: 05-01-03, Utveckling av säkerhetskritisk fordonselektronik.
- Pressklipp: Computer Sweden 05-01-04 Så är bilen på väg att bli automatisk
- Pressklipp: Lokaltidningen i Åmål 04-12-30: Per Johannessen-doktor i bilelektronik.
- Pictures from the ball after the confirment.
- Anders Orebäck, PhD Thesis
- A Component Framework for Autonomous Mobile Robots
- KTH, NADA
- Date:November, 19
- Xing Fan, Licenciate thesis
- Real-time communication services for distributed computing over switched Ethernet
- Halmstad University
- Date: November 17 2004
- Supervisor: Magnus Jonsson
- Damir Isovic, PhD thesis
- Flexible Scheduling for Media Processing in Resource Constrained Real-Time Systems
- Mälardalen University, Västerås
- Date: November 9, 2004
- Supervisors: Gerhard Fohler
- ARTES project: Flexible reliable timing constraints
- Håkan Sundell, PhD thesis
- Efficient and Practical Non-Blocking Data Structures
- Chalmers Tekniska Högskola
- Date: Nov 5, 2004
- Supervisor: Philippas Tsigas
- ARTES project: Applications of wait/lock-free protocols to real-time systems
- Start-up company: Parallel
Scalable Solutions AB. Information about the company start.
- Elisabeth Uhlemann, PhD thesis
- Adaptive Concatenated Coding for Wireless Real-Time Communications
- Halmstad University
- Date: October 22 2004
- Supervisors: Lars K. Rasmussen and Per-Arne Wiberg
- ARTES project: Real-time Mobile Communication
- Pressrelease: 2004-10-24, Effektivare trådlös kommunikation i realtid. pdf fil. MS word document.
- ComputerSweden, 04-11--12, Doktor trådlös... om Elisabeth Uhlemanns avhandling.
- Mohammed El Shobaki, Licentiate thesis
- On-Chip Monitoring for Non-Intrusive Hardware/Software Observability
- Mälardalen University, Västerås
- Date: September 24 2004
- Supervisors: Hans Hansson and Lennart Lindh
- Radoslaw Szymanek, PhD Thesis
- Constraint-Driven Design Space Exploration for Memory-Dominated Embedded Systems
- Lund University
- Date: June 16, 2004
- Supervisor: Krzysztof Kuchcinski
- De Jiu Chen, PhD Thesis
- Systems Modeling and Modularity Assessment for Embedded Computer Control Applications
- KTH
- Date: June 9, 2004
- Supervisors: Martin Törngren and Jan Wikander
- ARTES project: Real-time software for versatility, scalability and
reconfigusability in complex embedded feedback control
systems
- Martin Sanfridson, PhD Thesis
- Quality of Control and Real-time Scheduling - Allowing for time-variations in computer control systems
- KTH
- Date: June 4, 2004
- Supervisors: Martin Törngren and Jan Wikander
- Jonas Mellin, PhD Thesis
- Resource-Predictable and Efficient Monitoring of Events
- Högskolan i Skövde
- Date: June 3, 2004
- Supervisors: Sten F. Andler and Sharma Chakravarthy, University of Florida, Peter Fritzson, Ulf Nilsson, Linköpings universitet.
- Cecilia Ekelin, PhD Thesis
- An Optimization Framework for Scheduling of Embedded Real-Time Systems
- Chalmers tekniska högskola
- Date: May, 28, 2004
- Supervisor: Jan Jonsson
- ARTES project: Identification of Complexity-Reduction Techniques for Optimal Scheduling in Embedded Distributed Real-Time Systems
- Pictures from the ball after the confirment.
- Erik Herzog, PhD Thesis
- An Approach to Systems Engineering Tool Data Representation and Exchange
- Date: May, 7, 2004
- Mattias Weckstén, Licenciate thesis
- Resource Budgeting as a Tool for Reduced Development Cost for Embedded Real-time Computer Systems
- Halmstad University
- Date: April 20, 2004
- Joakim Fröberg, Licenciate thesis
- Engineering of Vehicle Electronic Systems: Business Requirements Reflected in Architecture
- Mälardalen University and Volvo CE, Industrial PhD, Västerås
- Date: April 2, 2004
- Magnus Larsson, PhD Thesis
- Predicting Quality Attributes in Component-based Software Systems
- Mälardalen University, Västerås
- Date: March, 2004
- Xavier Vera, PhD Thesis
- Cache and Compiler Interaction (how to analyze, optimize and time cache behavior)
- Mälardalen University, Västerås
- Date: January 26, 2004
- Supervisors: Björn Lisper, Jan Gustafsson (MdH), Jingling Xue (UNSW)
- Leif Enblom, Licentiate thesis
- Utilizing Concurrency to Gain Performance in an Industrial Automation System
- Mälardalen University and ABB, Västerås
- Date: November 28, 2003
- Supervisor: Lennart Lindh
- Elena Fersman, PhD Thesis
- A Generic Approach to Schedulability Analysis of Real-Time Systems
- Uppsala University
- Date: November 26, 2003
- Supervisor: Wang Yi
- Alexandre David, PhD Thesis
- Hierarchical Modeling and Analysis of Real Time Systems
- Uppsala University
- Date: November 26, 2003
- Supervisor: Wang Yi
- ARTES project: Hierarchical Design and Analysis of Timed Systems
- Julien d'Orso, PhD Thesis
- New Directions in Symbolic Model Checking
- Uppsala University
- Date: November 25, 2003
- Supervisor: Parosh Abdulla
- ARTES project: New directions in Symbolic Model Checkning for Real-Time
Systems
- Ola Larses, Licentiate thesis
- DEPENDABLE ARCHITECTURES for AUTOMOTIVE ELECTRONICS; Philosophy, Theory and Practice
- KTH and Scania
- Date: November 13, 2003
- Supervisor: Martin Törngren and Michael Blackenfeldt
- Joel Huselius, Licentiate thesis
- Preparing for Replay
- Mälardalen University, Västerås
- Date: November 10, 2003
- Supervisors: Hans Hansson, Henrik Thane
- Anders Pettersson, Licenciate thesis
- Analysis of Execution Behavior for Testing of Multi-Tasking Real-Time Systems
- Mälardalen University, Västerås
- Date: October 31, 2003
- Supervisor: Henrik Thane
- ARTES project: TATOO
Test And Testability Of
Distributed Real-time Systems
- Tobias Amnell, Licenciate thesis
- Code Synthesis for Timed Automata
- Uppsala University
- Date: October 13
- Supervisor: Paul Pettersson and Wang Yi
- Ulf Assarsson , PhD thesis
- A Real-Time Soft Shadow
Volume Algorithm
- Chalmers tekniska högskola
- Date: October 10, 2003
- Supervisors: Tomas Akenine-Möller and Per Stenström
- ARTES project: Design Strategies for Real-Time High-Performance Multimedia
Applications on Multiprocessors
- Pressrelease: 03-12-29, "Mjuka skuggor", mer realistiska skuggor i datorspel och virtual reality-applikationer. Om Ulf Assarssons avhandling. doc, pdf
- Ny Teknik 05-03-23, Realtidsdoktorn Ulf Assarsson svarar på fem frågor.
- Björn Andersson, PhD thesis
- Static-priority scheduling on multiprocessors
- Chalmers tekniska högskola
- Date: September 29, 2003
- Supervisor: Per Stenström, Jan Jonsson
- ARTES project: Design Strategies for Real-Time High-Performance Multimedia
Applications on Multiprocessors
- Martin Karlsson, Licenciate thesis
- Cache Memory Design Trade-offs for
Current and Emerging Workloads
- Uppsala University
- Date: September 26, 2003
- Supervisor: Erik Hagersten
- ARTES project: Categorized and Specialized Caching for SMPs
- Anders Wall, PhD thesis
- Architectural Modeling and Analysis of Complex Real-Time Systems
- Mälardalen University, Västerås
- Date: September 26, 2003
- Supervisors: Christer Norström, Wang Yi
- ARTES project: A tool environment for the development of embedded systems
- Magnus Ekman, Licenciate thesis
- Performance and Energy Aware Design Trade-Offs in Chip-Multiprocessors
- Chalmers tekniska högskola
- Date: September 12, 2003
- Supervisor: Per Stenström and Fredrik Dahlgren
- ARTES project: Support for Real-Time 3-D Graphics on Future Mobile Terminals under Energy/Area Constraints
- Paul Pop, PhD thesis
- Analysis and Synthesis of Communication-Intensive Heterogeneous Real-Time Systems.
- Linköping University
- Date: June 16, 2003
- Supervisor: Zebo Peng, Petru Eles
- ARTES project: Hardware-Software Co-Design of Real-Time Systems
- Yi Zhang, PhD thesis
- Non-blocking Synchronization: Algorithms and Performance Evaluation
- Chalmers tekniska högskola
- Date: June 12, 2003
- Supervisor: Philippas Tsigas
- ARTES project: Applications of wait/lock-free protocols to real-time systems
- Kristina Forsberg, PhD thesis
- Design Principles of Fly-By-Wire Architectures
- Chalmers tekniska högskola
- Date: June 10, 2003
- Fredrik Warg, Licenciate thesis
- Module-Level Speculative Execution Techniques on Chip Multiprocessors
- Chalmers tekniska högskola
- Date: June 6, 2003
- Supervisor: Per Stenström
- ARTES project: Techniques for Module-Level Speculative Parallelization
on Shared-Memory Multiprocessors
- Örjan Askerdal, PhD thesis
- On Impact and Tolerance of Data Errors with Varied Duration in Microprocessors
- Chalmers tekniska högskola
- Date: June 4, 2003
- Supervisor: Jan Torin
- Pictures from the ball after the confirment.
- Andreas Ermedahl, PhD thesis
- A Modular Tool Architecture for Worst-Case Execution Time Analysis
- Uppsala University
- Date: June 3, 2003
- Supervisor: Hans Hansson
- Aleksandra Tesanovic, Licenciate thesis
- Towards Aspectual Component-Based Real-Time System Development
- Linköping University
- Date: June 2, 2003
- Supervisors: Jörgen Hansson
- ARTES project: Embedded Databases for Embedded Real-Time Systems
- Hoai Hoang, Licenciate thesis
- Switched Real-Time Ethernet for Industrial Applications
- Halmstad University
- Date: May 27, 2003
- Supervisors: Magnus Jonsson, Bertil Svensson
- ARTES project: Switched Real-Time Communication for Industrial Applications
- Radu Dobrin, Licenciate thesis
- Transformation Methods for Off-line Schedules to Attributes for Fixed Priority Scheduling
- Mälardalen University
- Date: May 2003
- Supervisor: Gerhard Fohler
- ARTES project: Extension of Project Flexible Reliable
Timing Constraints
- Tomas Lennvall, Licenciate thesis
- Handling Aperiodic Tasks and Overload in Distributed Off-line Scheduled Real-Time Systems
- Mälardalen University
- Date: May 2003
- Supervisor: Gerhard Fohler
- Bo Lincoln, PhD thesis
- Dynamic Programming and Time-Varying Delay Systems
- Lund Institute of Technology
- Date: May 17, 2003
- Supervisors: Bo Bernhardsson
- Sven Gestegård Robertz, Licenciate thesis
- Flexible automatic memory management for real-time and embedded systems
- Lund Institute of Technology
- Date: May 12, 2003
- Supervisors: Boris Magnusson, Roger Henriksson and Klas Nilsson
- ARTES project: Integrated Control and Scheduling
- Dag Nyström, Licenciate thesis
- COMET: A Component-Based Real-Time Database for Vehicle Control-Systems.
- Mälardalen University
- Date: May 12, 2003
- Supervisor: Christer Norström
- ARTES project: Embedded Databases for Embedded Real-Time Systems
- Thomas Nolte, Licenciate thesis
- Reducing Pessimism and Increasing Flexibility in the Controller Area Network.
- Mälardalen University
- Date: May 12, 2003
- Supervisors: Hans Hansson, Christer Norström
- ARTES project: RATAD,
Reliability And Timing Analysis of Distributed systems
- Magnus Gäfvert, PhD thesis
- Topics in Modeling, Control, and Implementation in Automotive Systems
- Lund Institute of Technology
- Date: May 9, 2003
- Ola Redell, PhD thesis
- Response Time Analysis for Implementation of Distributed Control Systems
- KTH
- Date: May 8, 2003
- Supervisors: Jan Wikander , Martin Törngren and Christer Norström
- ARTES project: Pre-Implementation Analysis of Distributed Control Systems -
PICADOR
- Calin Curescu, Licentiate thesis
- Adaptive QoS-aware Resource Allocation for Wireless Networks
- Linköping University
- Date: May 6, 2003
- Supervisor: Simin Nadjm-Tehrani
- Anton Cervin, PhD thesis
- Integrated Control and Real-Time Scheduling
- Lund Institute of Technology
- Date: April 25, 2003
- Supervisor: Karl-Erik Årzén
- ARTES project: Integrated Control and Scheduling
- Martin Hiller, PhD thesis
- A Software Profiling Methodology for Design and Assessment of Dependable Software
- Chalmers University of Technology
- Date: 2002
- Supervisor: Jan Torin
- Sorin Manolache, Licenciate thesis
- Schedulability Analysis of Real-Time Systems with Stochastic Task Execution Times
- Linköping University
- Date: December 19, 2002
- Supervisor: Petru Eles, Zebo Peng
- ARTES project: Design of Heterogeneous Multiprocessor Systems for
Real-Time Applications
- Carl Bergenhem, Licenciate thesis
- Protocols with Heterogeneous Real-Time Services
for High-Performance Embedded Networks
- Halmstad University
- Date: December 19, 2002
- Supervisors: Magnus Jonsson, Bertil Svensson
- ARTES project: Methods for Integration of Heterogeneous Real-Time Services
into High-Performance Networks
- Flavius Gruian, PhD thesis
- Energy-Centric Scheduling for Real-Time Systems
- Lund University
- Date: December 17, 2002
- Supervisor: Krzysztof Kuchcinski
- ARTES project: Distributed Real-Time Systems with Minimal Energy Consumption:
Analysis and Synthesis
- Diana Szentivanyi, Licentiate thesis
- Performance and Availability Trade-offs in Fault-Tolerant Middleware
- Linköping University
- Date: December 13, 2002
- Supervisor: Simin Nadjm-Tehrani
- Filip Sebek, Licenciate thesis
- Instruction Cache Memory Issues in Real-Time Systems
- Mälardalen University
- Date: October 2002
- Johan Bengtsson, PhD thesis
- Clocks, DBMs and States in Timed Systems
- Uppsala University
- Date: June 7, 2002
- Supervisor: Wang Yi
- Thiemo Voigt, PhD thesis
- Architectures for Service Differentiation in Overloaded Internet Servers
- Uppsala University and SICS
- Date: May 27, 2002
- Supervisor: Per Gunningberg
- ARTES project: Predictable Parallel Protocol Processing
- Magnus Broberg, PhD thesis
- Performance Prediction and Improvement Techniques for Parallel Programs in Multiprocessors
- Blekinge Tekniska Högskola
- Date: May 3, 2002
- Supervisor: Lars Lundberg
- ARTES project: Design Guidelines and Visualization Support for Developing
Parallel Real-Time Applications
- Kristian Sandström, PhD thesis
- Enforcing Temporal Constraints in Embedded Control Systems
- KTH and MDH
- Date: April 26, 2002
- Jakob Engblom, PhD thesis
- Processor Pipelines and Static Worst-Case Execution Time Analysis
- Uppsala University
- Date: April 19, 2002
- Supervisor: Bengt Jonsson
- Håkan Sundell, Licentiate thesis
- Applications of Non-Blocking Data Structures to Real-Time Systems
- Chalmers
- Date: March 6, 2002
- Supervisor: Philippas Tsigas
- ARTES project: Applications of wait/lock-free protocols to real-time systems
- Joakim Aidemark, Licentiate thesis
- On the Design and Validation of Dependable Real-Time Systems
- Chalmers
- Date: December 17, 2001
- ARTES project: Node-level Fault Tolerance for Fixed Priority Scheduling
- Cecilia Ekelin, Licentiate thesis
- Scheduling of Embedded Real-Time Systems: A Constraint Programming Approach
- Chalmers
- Date: December 14, 2001
- ARTES project: Identification of Complexity-Reduction Techniques for Optimal Scheduling in Embedded Distributed Real-Time Systems
- Jonny Vinter, Licentiate thesis
- Software-Implemented Error Detection and Recovery for Control Applications
- Chalmers
- Date: December 14, 2001
- Paul Scerri, PhD thesis
- Designing Agents for Systems with Adjustable Autonomy
- Linköping University
- Date: December 14, 2001
- Supervisor: Nancy Reed
- ARTES project: Real-Time Responce and Control of Autonomous Agents
- Johan Furunäs, Licentiate thesis
- Interprocess Communication Utilising Special Purpose Hardware
- Mälardalen University and Uppsala University
- Date: December 11, 2001
- Supervisor: Lennart Lindh
- Per Johannessen, Licentiate thesis
- Design Methods for Safety Critical Automotive Architectures
- Chalmers
- Date: November 30 2001
- Håkan Sivencrona, Licentiate thesis
- On Analysis and Design of Dependable Distributed Systems
- Chalmers
- Date: November 16 2001
- Elisabeth Uhlemann, Licentiate thesis
- Hybrid ARQ Using Serially Concatenated Block
Codes for Real-Time Communication
- An Iterative Decoding Approach
- Högskolan i Halmstad
- Date: November 9, 2001
- Supervisor: Per-Arne Wiberg
- ARTES project: Real-time Mobile Communication
- Alexandre David, Licentiate thesis
- Practical Verification of Real-time Systems
- Abstract
- Institutionen för Informationsteknologi, Uppsala Universitet
- Date: October 12, 2001
- Supervisor: Wang Yi
- ARTES project: Hierarchical Design and Analysis of Timed Systems
- Daniel Häggander, PhD thesis
- Software Design Conflicts, Maintainability versus
Performance and Availability
- Institutionen för programvaruteknik och datavetenskap, Blekinge Tekniska Högskola.
- Date: September 14, 2001
- Supervisor: Lars Lundberg
- ARTES project: Design Guidelines and Visualization Support for Developing
Parallel Real-Time Applications
- Damir Isovic, Licentiate thesis
- Handling Sporadic Tasks in Real-time Systems - Combined Offline and Online Approach
- Institutionen för datateknik, Mälardalens Högskola
- Date: June 8, 2001
- Supervisor: Gerhard Fohler
- ARTES project: Flexible reliable timing constraints
- Björn Andersson, , Licentiate thesis
- Insights on Non-Partitioned Fixed-Priority Preemptive Scheduling
- Chalmers
- Date: June 8, 2001
- Supervisor: Dr. Jan Jonsson
- ARTES project: Design Strategies for Real-Time High-Performance Multimedia
Applications on Multiprocessors
- Ulf Assarsson , Licentiate thesis
- View Frustrum Culling and Animated Ray Tracing: Improvements and methodological Considerations
- Chalmers
- Date: May 28, 2001
- ARTES project: Design Strategies for Real-Time High-Performance Multimedia
Applications on Multiprocessors
- Johan Bengtsson, Licentiate thesis
- Efficient Symbolic State Exploration of Timed Systems: Theory and Implementation
- Uppsala University
- Date: May 22, 2001
- Supervisor: Wang Yi
- De-jiu Chen, Licentiate thesis
- Architecture for Systematic Development
of Mechatronics Software Systems
- KTH
- Date: March 30, 2001
- Supervisor: Martin Törngren
- ARTES project: Real-time software for versatility, scalability and
reconfigusability in complex embedded feedback control
systems
- Örjan Askerdal, Licentiate thesis
- Design and Evaluation Techniques
for Detection and Coverage
Estimation of Low-Level Errors
- Chalmers
- Date: December 8, 2000
- Supervisor: Jan Torin
- Kristina Ahlström, Licentiate thesis
- On Conceptual Design of By-Wire Systems
- Chalmers
- Date: December 6, 2000
- Supervisor: Jan Torin
- Markus Lindgren, Licentiate thesis
- Measurement and Simulation Based Techniques for Real-Time
Analysis
- Mälardalen University
- Date: December 6, 2000
- Supervisor: Hans Hansson
- Marcus Nilsson, Licentiate thesis
- Regular model checking
- Uppsala University
- Date:December 4, 2000
- Supervisor: Bengt Jonsson
- Magnus Larsson, Licentiate thesis
- Applying Configuration Management Techniques to Component-Based Systems
- Mälardalen University
- Date: December 1, 2000
- Supervisor: Hans Hansson
- Anders Wall, Licentiate thesis
- A Formal Approach to the Analysis of
Software Architechtures for Real Time Systems
- Abstract
- Mälardalen University and Uppsala University
- Date: Sept 15, 2000
- Supervisor: Wang Yi
- ARTES project: A tool environment for the development of embedded systems
- Paul Pop, Licentiate thesis
- Scheduling and Communication Synthesis for Distributed Real-Time Systems
- Linköping University
- Date: June 14, 2000
- Supervisors: Zebo Peng, Petru Eles
- ARTES project: Hardware-Software Co-Design of Real-Time Systems
- Esa Falkenroth, PhD Thesis
- Database Technology for Control and Simulation
- Linköping University
- Date: June 8, 2000
- Supervisor: Anders Törne
- Fredrik Larsson, Licentiate thesis
- Efficient Implementation of Model-Checkers for Networks of Timed Automata
- Uppsala University
- Date: May 30, 2000
- Supervisor: Wang Yi
- Martin Sanfridson, Licentiate thesis
- Timing problems in distributed control
- KTH
- Date: May 30, 2000
- Supervisors: Martin Törngren, Jan Wikander
- Anton Cervin, Licentiate Thesis
- Towards the Integration of Control and Real-Time Scheduling Design
- Lund University
- Date: May 26, 2000
- Supervisor: Karl-Erik Årzén
- ARTES project: Integrated Control and Scheduling
- Henrik Thane, PhD Thesis
- Monitoring, Testing and Debugging of Distributed Real-Time Systems
- Mälardalen University/KTH
- Date: May 26, 2000, at Royal Institute of Technology (KTH)
- Supervisors: Jan Wikander, Hans Hansson
- ARTES project: TATOO-Test and testability of distributed real-time systems
- Mikael Sjödin, PhD Thesis
- Predictable High-Speed Communications for Distributed Real-Time Systems
- Uppsala University
- Date: May 24, 2000
- Supervisor: Hans Hansson
- Jean Paul Meynard, Licentiate thesis
- Control of industrial robots through high-level task programming
- Linköping University
- Date: May 4, 2000
- Supervisor: Anders Törne
- Kristina Lundqvist, PhD Thesis
- Distributed Computing and Safety Critical Systems in Ada
- Uppsala University
- Date: April 14, 2000
- Supervisor: Lars Asplund
- Patrik Persson, Licentiate thesis
- Predicting Time and Memory Demands of Object-Oriented Programs
- Lund Institute of Technology
- Date: April 12, 2000
- Supervisors: Görel Hedin and Klas Nilsson
- ARTES project: Integrated Control and Scheduling
- Man Lin, PhD Thesis
- Analysis and synthesis of Reactive Systems: A Generic Layered Architecture
Perspective
- Linköping University
- Date: January 21, 2000
- Supervisor: Dimiter Driankov and Jacek Malec
- Knut Åkesson, Licentiate thesis
- Recipe Coordination in Chemical Batch Processes
- Chalmers Tekniska Högskola
- Date: December 21, 1999, Göteborg
- Supervisors: Bo Egardt, Martin Fabian
- Martin Hiller, Licentiate thesis
- Using Software to Handle Data Errors in Embedded Control Systems
- Chalmers Tekniska Högskola
- Date: December 16, 1999
- Supervisor: Jan Torin
- Magnus Karlsson, PhD thesis
- Data Prefetching Techniques Targeting Single and a Network of Processing Nodes
- Chalmers Tekniska Högskola
- Date: December 3, 1999
- Supervisor: Per Stenström
- Johan Eker, PhD thesis
- Flexible Embedded Control Systems - Design and Implementation
- Lunds Tekniska Högskola
- Date: December 2, 1999
- Supervisors: Karl-Johan Åström and Karl-Erik Årzén
- Daniel Häggander, Licentiate thesis
- Software Design When Migrating to Multiprocessors
- Högskolan i Karlskrona/Ronneby
- Date: November 23, 1999 Uppsala
- Supervisors: Lars Lundberg and Hans Hansson
- ARTES project: Design Guidelines and Visualization Support for Developing
Parallel Real-Time Applications
- Jim Nilsson, Licentiate thesis
- Reducing Ownership Overhead in Transaction Processing Multiprocessor Servers
- Chalmers Tekniska Högskola
- Date: October 15, 1999
- Supervisors: Fredrik Dahlgren, Per Stenström
- Henrik Lönn, PhD thesis
- Synchronization and Communication Results in Safety-Critical Real-Time Systems
- Chalmers Tekniska Högskola
- Date: October 8, 1999
- Supervisor: Prof. Jan Torin
- Jörgen Hansson, PhD thesis
- Value-Driven Multi-Class Overload Management in Real-Time Database Systems
- DRTS Högskolan i Skövde, PhD student at IDA Linköping.
- Date: September 21, 1999
- Supervisor: Prof Sten Andler
- Vilgot Claesson, Licentiate thesis
- Cost Effective Communication Services for Applications in Distributed Time
Triggered Real-Time Systems
- Chalmers University of Technology
- Date: June, 1999
- Supervisor: Jan Torin
- Thomas Lundqvist, Licentiate thesis
- A Static Timing Analysis Method for Programs on High-Performance
Processors
- Chalmers Tekniska Högskola
- Date: June, 1999
- Supervisor: Per Stenström
- Magnus Broberg, Licentiate thesis
- An Approach for Performance Tuning of Multithreaded Applications on Multiprocessors
- Högskolan i Karlskrona/Ronneby
- Date: June, 1999
- Supervisor: Per Stenström
- ARTES project: Design Guidelines and Visualization Support for Developing
Parallel Real-Time Applications
- Lennart Petterson, Licentiate thesis
- Control System Architecture for a Walking Robot
- KTH
- Date: June, 1999
- Supervisor: Jan Wikander
- Kristian Sandström, Licentiate thesis
- Modeling and Scheduling of Control Systems
- KTH, MDH
- Date: April, 1999
- Supervisor: Jan Wikander, Martin Törngren, and Christer Norström
- Charlotta Johnsson, PhD thesis
- A Graphical Language for Batch Control
- Depatment of Automatic Control, Lund Institute of Technology
- Date: March 25, 1999
- Paul Pettersson , PhD thesis
-
Modelling and Verification of Real-Time Systems Using Timed Automata: Theory and Practice
- Uppsala Universitet
- Date: February 19, 1999
- Supervisor: Wang Yi
- Joakim Eriksson, Licentiate thesis
- Specifying and Managing Rules in an Active Real-Time Database System
- Högskolan i Skövde
- Date: December, 1998
- Supervisor: Sten Andler
- Robert Feldt, Licentiate thesis
- Using Genetic Programming to Systematically Force Software Diversity
- Chalmers Tekniska Högskola
- Date: November, 1998
- Supervisor: Jan Torin
- Jonas Mellin, Licentiate thesis
- Predictable event monitoring.
- Högskolan i Skövde
- Date: 1998
- Supervisor: Sten Andler
- Ola Redell, Licentiate thesis
- Modelling of Distributed Real-Time Control Systems - An Approach for Design and Early Analysis
- KTH
- Date: May 7, 1998
- Supervisors: Jan Wikander & Martin Törngren
- Man Lin, Licentiate thesis
- Formal Analysis of Reactive Rule-Based Programs
- Linköping University
- Date: October 1997
- Supervisor: Jacek Malec