Events List

Type:
Scope:

Event Type:

Licentiate presentation

Title:

Resource Optimization for Multi-processor Real-time Systems

Date:

Jun 13, 2017 14:00

Location:

Lambda, MDH, Västerås

Contact person:

Hamid Reza Faragardi

Event Type:

Licentiate presentation

Title:

Pattern-based Specification and Formal Analysis of Embedded Systems Requirements and Behavioral Models

Date:

Apr 20, 2017 13:15

Location:

Mälardalens högskola, Västerås campus, room Gamma

Contact person:

Predrag Filipovikj

Event Type:

Licentiate presentation

Title:

Exploring interaction design perspectives on Heavy Vehicles

Date:

Mar 31, 2017 13:15

Location:

Gamma, Mälardalen University, Västerås

Contact person:

Markus Wallmyr

Event Type:

Licentiate presentation

Title:

Towards a Multi-OS Architecture for Consistent User Interface Experience

Date:

Dec 16, 2016 13:00

Location:

Room Paros, Mälardalen University, Västerås

Contact person:

Tobias Holstein

Event Type:

Licentiate presentation

Title:

A Decision Support System For Integration Test Selection

Date:

Oct 25, 2016 13:00

Location:

Room Omega, Block R, Mälardalen University, Campus Västerås

Contact person:

Markus Bohlin

Event Type:

Licentiate presentation

Title:

An ALARP stop-test Decision for the worst case Timing characteristics of safety-critical systems

Date:

Sep 19, 2016 13:00

Location:

Room Gamma (MDH)

Contact person:

Sasikumar Punnekkat

Event Type:

Licentiate presentation

Title:

Utilizing Hardware Monitoring to Improve the Performance of Industrial Systems

Date:

Jun 20, 2016 13:00

Location:

Mälardalen University

Contact person:

Marcus Jägemar

Event Type:

Licentiate presentation

Title:

Bugs and Debugging of Concurrent and Multicore Software

Date:

May 23, 2016 10:15

Location:

Gamma, MDH Västerås

Contact person:

Sara Abbaspour Asadollah

Event Type:

Licentiate presentation

Title:

Securing Clock Synchronization in Industrial Heterogeneous Networks

Date:

May 18, 2016 13:15

Location:

Kappa room, MDH, Västerås

Contact person:

Elena Lisova

Event Type:

Licentiate presentation

Title:

Signal processing of MEMS-sensor based motion analysis systems

Date:

May 02, 2016 13:15

Location:

Room Gamma, Mälardalen University, Västerås

Contact person:

Jiaying Du

Event Type:

Licentiate presentation

Title:

Incorporating Functional Safety in Model-based Development of Product Lines

Date:

Apr 22, 2016 13:15

Location:

Mälardalen University, room Delta

Contact person:

Stephan Baumgart

Event Type:

Licentiate presentation

Title:

High Performance Breath Analysis

Date:

Jan 28, 2016 09:15

Location:

Delta

Contact person:

Jonas Ljungblad

Event Type:

Licentiate presentation

Title:

Efficient Resource Management for Many-Core based Industrial Real-Time Systems

Date:

Nov 06, 2015 09:30

Location:

Gamma, Västerås

Contact person:

Matthias Becker

Event Type:

Licentiate presentation

Title:

Facilitating Reuse of Safety Case Artefacts Using Safety Contracts

Date:

Jun 11, 2015 14:00

Location:

Gamma room, MDH, Västerås

Contact person:

Irfan Sljivo

Event Type:

Licentiate presentation

Title:

Mathematical models for optimising decision support systems in the railway industry

Date:

Apr 28, 2015 13:30

Location:

Room Zeta, T Block, Mälardalen University, Campus Västerås

Contact person:

Sara Gestrelius

Event Type:

Licentiate presentation

Title:

Model-checking and Model-based Testing of Automotive Embedded Systems: Starting from the System Architecture

Date:

Dec 19, 2014 13:15

Location:

Gamma, MDH, Västerås

Contact person:

Raluca Marinescu

Event Type:

Licentiate presentation

Title:

Productivity Improvements in Construction Site operation through lean thinking and wireless Real-Time control

Date:

Dec 16, 2014 13:15

Location:

Room Gamma, Mälardalen University, Västerås

Contact person:

David Rylander

Event Type:

Licentiate presentation

Title:

Static Timing Analysis of Parallel Systems Using Abstract Execution

Date:

Dec 15, 2014 10:00

Location:

Omega

Contact person:

Andreas Gustavsson

Event Type:

Licentiate presentation

Title:

Formal Verification of Adaptive Real-Time Systems by Extending Task Automata

Date:

Nov 28, 2014 13:15

Location:

Kappa

Contact person:

Leo Hatvani

Event Type:

Licentiate presentation

Title:

Multi-Hop Real-Time Communication over Switched Ethernet Technology

Date:

Nov 18, 2014 13:30

Location:

Delta

Contact person:

Mohammad Ashjaei

Event Type:

Licentiate presentation

Title:

Model Checking-Based Software Testing for Function Block Diagrams

Date:

Nov 07, 2014 10:15

Location:

Room Zeta, MDH, Västerås

Contact person:

Eduard Paul Enoiu

Event Type:

Licentiate presentation

Title:

Towards Immersive Motion Capture Acting - Design, Exploration and Development of an Augmented System Solution

Date:

Oct 31, 2014 13:15

Location:

Kappa, MDH, Västerås

Contact person:

Daniel Kade

Event Type:

Licentiate presentation

Title:

Applications of Optimization Methods in Industrial Maintenance Scheduling and Software Testing

Date:

Oct 14, 2014 13:30

Location:

Room "Case" (R building, 2nd floor) MDH, Västerås

Contact person:

Kivanc Doganay

Event Type:

Licentiate presentation

Title:

An Observer-Based Technique with Trace Links for Requirements Validation in Embedded Real-Time Systems

Date:

Oct 13, 2014 13:15

Location:

Kappa, MDH, Västerås

Contact person:

Jiale Zhou

Event Type:

Licentiate presentation

Title:

Initial Trust Establishment for Heterogeneous Industrial Communication Networks

Date:

Jun 16, 2014 13:15

Location:

Kappa, MDH Västerås

Contact person:

Apala Ray

Event Type:

Licentiate presentation

Title:

Multiple Property-based Partitioning for Embedded Applications

Date:

Jun 10, 2014 13:15

Location:

MDH. GAMMA

Contact person:

Gaetana Sapienza