 | Information Technologies and the trustworthy information society without exclusion
| Speaker: | José María Díaz Nafría | | Date: | 19th June, 2013 - 11:00--12:00 | | Venue: | U2-032 (see room guide) | | Slides: | N/A |
|
| Can information technologies contribute to building participatory democracy? A case example at the European Higher Education Area and beyond - MyUniversity
| Speaker: | José María Díaz Nafría, University of Leon, Spain | | Date: | 18th June, 2013 - 14:15--15:15 | | Venue: | U2-032 (see room guide) | | Slides: | N/A |
|
 | Josip Maras: PhD Proposal
|
 | PhD Thesis defense: Henrik Abrahamsson
|
| Parallel-Task Scheduling on Multiple Resources
| Speaker: | Mike Holenderski | | Date: | 9th November, 2012 - 13:30--14:30 | | Venue: | U1-048A (see room guide) | | Slides: | N/A |
|
 | Licentiate seminar: On Reliable Real Time Communication in Industrial Wireless Sensor Networks
| Speaker: | Kan Yu | | Date: | 16th October, 2012 - 13:15--15:15 | | Venue: | room Gamma, MDH Västerås (see room guide) | | Slides: | N/A |
|
| Manycore Accelerators and Time
| Speaker: | Vesa Hirvisalo, Aalto University | | Date: | 12th October, 2012 - 13:30--14:30 | | Venue: | Ypsilon (see room guide) | | Slides: | N/A |
|
 | Doctoral proposition
|
| Composability and Predictability in the CoMPSoC Platform
| Speaker: | Benny Åkesson | | Date: | 11th May, 2012 - 09:15--12:15 | | Venue: | Lambda (see room guide) | | Slides: | N/A |
|
 | Pragmatic Approaches for Timing Analysis of Real-Time Embedded Systems
|
 | Lic presentation: Towards a predictable component-based run-time system
| Speaker: | Rafia Inam | | Date: | 9th January, 2012 - 10:15--12:15 | | Venue: | Kappa, MDH, Västerås (see room guide) | | Slides: | N/A |
|
 | Defense of Sigrid Eldh’s doctoral thesis in Computer Science
| Speaker: | Sigrid Eldh | | Date: | 21st October, 2011 - 13:15--15:15 | | Venue: | Delta, Västerås (see room guide) | | Slides: | N/A |
|
| Yue Lu - PhD Proposal - Approximate Timing Analysis Techniques for Complex Industrial Real-Time Embedded Systems
| Speaker: | Yue Lu | | Date: | 21st June, 2011 - 13:30--14:30 | | Venue: | U2-040 (see room guide) | | Slides: | N/A |
|
| Challenges of the Synthesis of ProCom Component
| Speaker: | *** | | Date: | 15th December, 2010 - 14:00--15:00 | | Venue: | Ypsilon (see room guide) | | Slides: | N/A |
|
 | Moris Behnam, PhD Defense
|
| Yue Lu, Licentiate Seminar
| Speaker: | Yue Lu | | Date: | 1st October, 2010 - 10:15--12:15 | | Venue: | Lambda (see room guide) | | Slides: | N/A |
|
 | Kurt Wallnau, PHD Defense
|
| Artificial Intelligence
| Speaker: | Assoc. Prof. Iulian Nastac | | Date: | 30th August, 2010 - 11:00--12:00 | | Venue: | U2-040 (see room guide) | | Slides: |  |
|
| A Verification-Intensive CBSE/MDD Development Process – Introduction & Process Simulation
| Speaker: | Branka Pavetic, Rikard Land | | Date: | 10th May, 2010 - 14:15--15:15 | | Venue: | Ypsilon (see room guide) | | Slides: | N/A |
|
| Object Oriented Integrated Approach for Design of Scalable ECG System
| Speaker: | Dusanka Boskovic | | Date: | 4th May, 2010 - 14:15--14:45 | | Venue: | Ypsilon (see room guide) | | Slides: | N/A |
|
| SEMINAR: Artificial Neural Networks in Prediction of Secondary Protein Structure
| Speaker: | Prof. dr Zikrija Avdagic | | Date: | 4th May, 2010 - 13:15--14:15 | | Venue: | Ypsilon (see room guide) | | Slides: | N/A |
|
| The Multiprocessor Real-Time Scheduling of General Task Systems
| Speaker: | Prof. Nathan Fisher | | Date: | 16th April, 2010 - 10:15--11:15 | | Venue: | Kappa (to be confirmed) (see room guide) | | Slides: | N/A |
|
 | Defining and Supporting Evolution Strategies for Model Driven Software Projects
|
 | Model Driven Engineering for the Design of Critical and Adaptative Embedded Systems
|
 | Hybrid Measurement-Based WCET Analysis: Instrumentation Point Graphs and Beyond
|
 | Tool supported Real-Time System Verification Techniques with Combination of Abstraction/Deduction and Model Checking
|
| Verification and Controller Synthesis for Resource-Constrained Real-Time Systems - Case Study of an Autonomous Truck
| Speaker: | Shuhao Li | | Date: | 29th October, 2009 - 10:15--11:15 | | Venue: | U2-040 (see room guide) | | Slides: | N/A |
|
 | Predicated Worst-Case Execution-Time Analysis
|
 | Prof Tiziana Margaria, Seminar, Using Games for Improved Diagnosis in Trustworthy Design of Autonomic Systems
| Speaker: | Tiziana Margaria | | Date: | 17th September, 2009 - 10:15--11:15 | | Venue: | YPSILON (see room guide) | | Slides: | N/A |
|
| Seminar: Vedat Coskun - Quarantine Region Scheme against Spam Attacks in Wireless Sensor Networks
| Speaker: | Vedat Coskun | | Date: | 16th September, 2009 - 10:15--12:15 | | Venue: | U2-040 (see room guide) | | Slides: | N/A |
|
 | Heinz Schmidt, Seminar: Modes, failure and cost in component-based parallel architectures
|
 | Licentiate Proposal: Towards a Predictable Migration to Multi-core Platforms
|
 | Docent lecture: Hierarchical Scheduling for Embedded Systems
|
 | SCORE Master SE Contest
| Speaker: | SE Master Students | | Date: | 4th June, 2009 - 16:00--17:00 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
 | PROGRESS Seminar - A case study of Distributed Embedded System - iForestFire
|
 | Progress seminar: The TIMMO Project, AUTOSAR, and Perspectives for Modelling of Timing in Automotive Systems
| Speaker: | Freidhelm Stappert | | Date: | 17th March, 2009 - 10:15--12:15 | | Venue: | Ypsilon, MDH (see room guide) | | Slides: | N/A |
|
 | Quality of Service in Networks on Chip
| Speaker: | Axel Jantsch | | Date: | 16th February, 2009 - 14:15--15:15 | | Venue: | Lambda (see room guide) | | Slides: | N/A |
|
 | Anton Jansen, PROGRESS Seminar, Software Architecture & Knowledge
|
 | Docent lecture
|
 | Jörgen Hansson (SEI/CMU) , Seminar, Validation of Quality Attributes of Embedded Real-Time Systems using a Model-Based Engineering Approach and AADL.
| Speaker: | Jörgen Hansson | | Date: | 6th October, 2008 - 10:00--12:00 | | Venue: | Lambda (see room guide) | | Slides: | N/A |
|
 | SEMINAR: Premek Brada, The OSGi Platform and Update Process Enhancements
| Speaker: | Premek Brada, Plzen University | | Date: | 23rd September, 2008 - 14:00--15:00 | | Venue: | Turing (see room guide) | | Slides: | |
|
 | Progress seminar: Modeling Components using SaveCCM
| Speaker: | Ana Petricic, Luka Lednicki, Juraj Feljan | | Date: | 28th August, 2008 - 10:00--12:00 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
 | Progress seminar: Case Study on the Adoption of Agile Methods
|
| Progress seminar: Studying Customer-Supplier Relations in Global Software Development
|
 | PROGRESS Seminar - Antonio Cicchetti - Managing the evolution in Model-Driven Engineering
|
 | Steffen Zschaler, Seminar: Specification of non-functional properties in component-based systems
| Speaker: | Steffen Zschaler | | Date: | 30th May, 2008 - 11:00--12:00 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
 | Bran Selic - Seminar on 'Model-Driven Software Development: Its Essence and Opportunities'
| Speaker: | Prof. Bran Selic
President and Founder – Malina Software Corp. Canada | | Date: | 28th May, 2008 - 10:15--12:15 | | Venue: | Kappa (see room guide) | | Slides: | N/A |
|
 | Lars Grunske, Seminar: Probabilistic Model Checking and Safety Evaluation
| Speaker: | Lars Grunske | | Date: | 27th May, 2008 - 16:00--17:00 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
| Ivano Malavolta , Seminar, Models transformation tool Dually
| Speaker: | Ivano Malavolta | | Date: | 22nd May, 2008 - 11:00--12:00 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
 | Coding and Diversity for Wireless Real-Time Communications
|
 | COTS Selection Best Practices in Literature and in Industry
|
| Progress/FLEXI Seminar: Agile & CBSE
|
| F.N., State of the Art and State of the practice in Model-Based Software Engineering
| Speaker: | F.N | | Date: | 17th April, 2008 - 10:00--12:00 | | Venue: | Turing, IDT, Västerås (see room guide) | | Slides: | N/A |
|
| Reinder Bril, seminar: Worst-case response time analysis of real-time tasks under FPDS
| Speaker: | Reinder Bril | | Date: | 14th April, 2008 - 11:00--12:00 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
 | Nicolas Belloir, PAU, Seminar: SysML
| Speaker: | Nicolas Belloir | | Date: | 7th April, 2008 - 11:00--12:00 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
 | Martin Ouimet, Seminar: Engineering Embedded Real-Time Systems with the Hi-Five Framework
| Speaker: | Martin Ouimet | | Date: | 20th March, 2008 - 11:00--12:00 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
 | Seminar: Henry Muccini, Model-based Testing in Model Driven Development: achievements, issues, and challenges
| Speaker: | Henry Muccini | | Date: | 12th February, 2008 - 11:00--12:00 | | Venue: | ZETA, MDH (see room guide) | | Slides: | N/A |
|
 | Seminar - Goran Martinovic: RESOURCE MANAGEMENT IN HETEROGENEOUS COMPUTER SYSTEMS
| Speaker: | Goran Martinovic | | Date: | 7th February, 2008 - 11:00--12:00 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
 | Judith Stafford, seminar Documented Software Architecture
| Speaker: | Judith Stafford | | Date: | 1st February, 2008 - 11:00--12:00 | | Venue: | Kappa (see room guide) | | Slides: | N/A |
|
| PROGRESS SEMINAR: REX, the Rule and Event eXplorer
| Speaker: | Ammi Eriksson | | Date: | 6th December, 2007 - 13:15--15:15 | | Venue: | GAMMA (see room guide) | | Slides: | N/A |
|
| WINSOC Project: Using Wireless Sensor Networks to Detect Rainfall Induced Landslides
| Speaker: | Dr. Krishnashree Achuthan, Amrita University (India) | | Date: | 16th November, 2007 - 10:00--11:00 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
| Verification of COMDES-II Systems Using UPPAAL with Model
| Speaker: | Xu Ke | | Date: | 25th October, 2007 - 10:15--11:15 | | Venue: | YPSILON (see room guide) | | Slides: | N/A |
|
 | Software Component Models
| Speaker: | Kung-Kiu Lau | | Date: | 20th September, 2007 - 10:00--11:00 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
 | Invariant Based Programming
| Speaker: | Ralph-Johan Back | | Date: | 24th May, 2007 - 10:30--11:30 | | Venue: | PAROS (see room guide) | | Slides: | N/A |
|
 | PROGRESS Seminar: Improving a Distributed Software System's Quality of Service via Architecture-Driven Dynamic Redeployment
| Speaker: | Prof. Nenad Medvidovic | | Date: | 25th April, 2007 - 11:00--12:00 | | Venue: | Lambda (see room guide) | | Slides: | N/A |
|
 | PROGRESS Seminar: Software Component Quality
| Speaker: | Alexandre Alvaro | | Date: | 12th April, 2007 - 11:00--12:00 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
| PROGRESS Seminar: WCET (Worst Case Execution Time) analysis research at IDE - presentation and discussion
|
| PROGRESS Seminar: Introduction to COMDES-II: From Models to Code
| Speaker: | Xu Ke, Mads Clausen Institute, DK | | Date: | 15th March, 2007 - 11:00--12:00 | | Venue: | Kappa (see room guide) | | Slides: | N/A |
|
 | PROGRESS Seminar: Simulating Embedded Systems for Software Development
| Speaker: | Jakob Engblom | | Date: | 1st March, 2007 - 10:15--12:15 | | Venue: | Gamma (see room guide) | | Slides: | N/A |
|
| PROGRESS Seminar: Learning of timed systems
| Speaker: | Olga Grinchtein | | Date: | 20th February, 2007 - 10:15--12:15 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
 | PROGRESS Seminar: Automated generation of software connectors
|
 | PROGRESS Seminar: Composition of non-functional attributes in software systems
|
 | PROGRESS Seminar: A Methodology for Constructing Correct Reactive Systems
|
 | PROGRESS Seminar: The Role of Uncertainty in Product Development
|
| PROGRESS Seminar: Thomas Nolte
|
 | PROGRESS Seminar: Activity plan discussions
|
 | PROGRESS Seminar: POSTPONED
|
 | PROGRESS Seminar: Data Management in Vehicle Control-Systems
|
 | PROGRESS Seminar: Combining Off-line Schedule Construction and Fixed Priority Scheduling in Real-Time Embedded Computer Systems
|
 | PROGRESS Seminar: Component code model checking against behavior specification
| Speaker: | Prof. Frantisek Plasil | | Date: | 12th October, 2006 - 10:15--12:15 | | Venue: | Lambda (see room guide) | | Slides: | |
|
| PROGRESS Seminar: Software Systems In-House Integration: Observations and Guidelines concerning Architecture and Process
|
| PROGRESS Seminar:Compositional Real-Time Scheduling Framework
|
| Jacky Estublier, Seminar
| Speaker: | Jacky Estublier | | Date: | 19th December, 2005 - 11:00--12:00 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
| Seminar - Pekka Abrahamsson: Researching into Agile Software Technologies
| Speaker: | Pekka Abrahamsson | | Date: | 3rd June, 2005 - 11:00--12:00 | | Venue: | ZETA (see room guide) | | Slides: | N/A |
|
| Education @ Westminster Univeristy, London
| Speaker: | Ljerka Beus-Dukic | | Date: | 11th March, 2005 - 11:00--12:00 | | Venue: | Turing room (see room guide) | | Slides: | N/A |
|
