Events List

Type:
Scope:

Event Type:

PhD defense

Title:

Automated Approaches for Formal Verification of Embedded Systems Artifacts

Date:

Jun 17, 2019 13:30

Location:

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

Contact person:

Predrag Filipovikj

Event Type:

PhD defense

Title:

Assurance Aware Contract-Based Design for Safety-Critical Systems

Date:

Oct 02, 2018 13:30

Location:

Gamma room, MDH, Västerås

Contact person:

Irfan Sljivo

Event Type:

PhD defense

Title:

Real-Time Communication over Wormhole-Switched On-Chip Networks

Date:

Jun 20, 2017 09:15

Location:

Gamma, MDH, Västerås

Contact person:

Meng Liu

Event Type:

PhD defense

Title:

Automatic test generation for industrial control software

Date:

Nov 22, 2016 13:15

Location:

Mälardalen University (Västerås Campus) room Pi

Contact person:

Eduard Paul Enoiu

Event Type:

PhD defense

Title:

Multiple Criteria Decision Analysis-based HW/SW partitioning methodology for embedded applications

Date:

Nov 04, 2016 09:15

Location:

Mälardalen University (Västerås Campus) room Lambda

Contact person:

Gaetana Sapienza

Event Type:

PhD defense

Title:

Head-mounted Projection Display to Support and Improve Motion Capture Acting

Date:

Aug 30, 2016 09:15

Location:

Lambda

Contact person:

Daniel Kade

Event Type:

PhD defense

Title:

A Data-Driven Approach to Remote Fault Diagnosis of Heavy-duty Machines

Date:

Nov 10, 2015 14:00

Location:

Omega

Contact person:

Tomas Olsson

Event Type:

PhD defense

Title:

Adaptive and Flexible Scheduling Frameworks for Component-Based Real-Time Systems

Date:

Nov 05, 2015 13:15

Location:

Lambda, Västerås

Contact person:

Nima Khalilzad

Event Type:

PhD defense

Title:

Impediments for automated software test execution

Date:

Jun 15, 2015 10:00

Location:

Gamma

Contact person:

Kristian Wiklund

Event Type:

PhD defense

Title:

Preservation of Extra-Functional Properties in Embedded Systems Development

Date:

Feb 24, 2015 13:15

Location:

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

Contact person:

Mehrdad Saadatmand

Event Type:

PhD defense

Title:

Software and Hardware Models in Componentbased Development of Embedded Systems

Date:

Jan 27, 2015 13:00

Location:

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

Contact person:

Luka Lednicki

Event Type:

PhD defense

Title:

Communications-Oriented Modeling and Development of Vehicular Distributed Embedded Systems

Date:

Jun 16, 2014 10:00

Location:

U2-013

Contact person:

Saad Mubeen

Event Type:

PhD defense

Title:

PhD Thesis: Automating Reuse in Web Application Development

Date:

Apr 17, 2014 13:15

Location:

Gamma

Contact person:

Ivica Crnkovic

Event Type:

PhD defense

Title:

Synthesis and Synchronization Support for Hierarchically Scheduled Real-Time Systems

Date:

Jan 31, 2014 10:00

Location:

Room Gamma, Mälardalen university in Västerå

Contact person:

Thomas Nolte

Event Type:

PhD defense

Title:

From models to code and back – A round-trip approach for model-driven engineering of embedded systems

Date:

Jan 17, 2014 13:15

Location:

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

Contact person:

Mikael Sjödin

Event Type:

PhD defense

Title:

Formal Approaches for Behavioral Modeling and Analysis of Design-time Services and Service Negotations

Date:

Jan 15, 2014 09:00

Location:

Room Pi, Mälardalen University, Västerås campus

Contact person:

Paul Pettersson

Event Type:

PhD defense

Title:

Model Based Development of Embedded Systems using Logical Clock Constraints and Timed Automata

Date:

Dec 09, 2013 13:15

Location:

room Kappa, Mälardalen University, Västerås

Contact person:

Jagadish Suryadevara