 | IDT Open Seminar: Introduction to high availability cluster systems
| Speaker: | Erland Hedman (Xdin AB) | | Date: | 26th April, 2013 - 14:15--15:15 | | Venue: | Ypsilon (see room guide) | | Slides: | N/A |
|
 | Observing crowd dynamics: from extreme systems to complex networks
| Speaker: | Maarten van Steen | | Date: | 28th February, 2013 - 09:00--10:00 | | Venue: | Zeta (see room guide) | | Slides: |  |
|
 | 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
|
 | PhD defense: Fault-Tolerance Strategies and Probabilistic Guarantees for Real-Time Systems
|
 | PhD defense: A Resource-Aware Framework for Designing Predictable Component-Based Embedded Systems
|
 | Lic presentation: On the Development of Hierarchical Real-Time Systems
|
 | PhD defense: Data Management in Component-Based Embedded Real-Time Systems
|
| IDT Open Seminar: Commercialization of research
| Speaker: | Klas Magnusson | | Date: | 31st May, 2012 - 14:15--15:15 | | Venue: | Ypsilon (see room guide) | | Slides: | N/A |
|
 | PhD defense: Resource Sharing in Real-Time systems on Multiprocessors
|
 | From Copy and Past Reuse to Systematic Reuse with Software Product Lines: The Concepts, The Adoption Road and Some Industrial Experiences
| Speaker: | Eduardo Almeida | | Date: | 15th May, 2012 | | Venue: | Ypsilon (see room guide) | | Slides: | N/A |
|
 | Lic presentation: Satisfying Non-Functional Requirements in Model-Driven Development of Real-Time Embedded Systems
|
| 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
|
 | IDT Open Seminar: Towards Composable Safety Certification for Component-Based Embedded Systems
|
| IDT Open Seminar: Capturing the Essence of Software Engineering – A Reflection of Semat Initiative
| Speaker: | Shihong Huang | | Date: | 22nd March, 2012 - 14:15--15:15 | | Venue: | Ypsilon (see room guide) | | Slides: | N/A |
|
 | IDT Open Seminar: Guaranteeing Real-time Properties using Energy Manipulation
|
 | IDT Open Seminar: Alan Turing and his legacy – 100 Years Turing celebration
|
 | IDT Open Seminar - Predictability and Evolution in Resilient 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 |
|
 | Memory Controllers for Real-Time Embedded Systems
| Speaker: | Benny Åkesson | | Date: | 22nd November, 2011 - 13:30--14:30 | | Venue: | U2-040 (see room guide) | | Slides: | N/A |
|
| The internals of Enea's operating system and hypervisor for multi-core real-time embedded systems
| Speaker: | Patrik Strömblad, Enea, and Magnus Karlsson, Enea | | Date: | 9th November, 2011 - 10:00--12:00 | | Venue: | U2-067 (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 |
|
 | Licentiate Thesis Seminar - Software Testing in Agile Development: Technological and Organisational Challenges
|
 | Invited Talk: Network Data Mining: Computational Approaches for Inferring Function in Biological and Social Networks
| Speaker: | Prof. Tijana Milenkovic | | Date: | 20th June, 2011 - 10:15--11:15 | | Venue: | Ypsilon (see room guide) | | Slides: | N/A |
|
 | SIES 2011 - 6th IEEE Symposium on Industrial Embedded
| Speaker: | Thomas Nolte | | Date: | 15th June, 2011 -- 18th Jun | | Venue: | Mälardalen University, Högskoleplan 1, Västerås (see room guide) | | Slides: | N/A |
|
| Trends and Challenges of Safety Critical Systems in Automation Industry
| Speaker: | Dr. Frank Reichenbach, ABB Corporate Research, Norway | | Date: | 14th June, 2011 - 09:00--10:00 | | Venue: | Lecture room Kappa, Västerås (see room guide) | | Slides: | N/A |
|
 | Licentiate Thesis Seminar - Formal Approaches to Service-Oriented Design: From Behavioral Modeling to Service Analysis
|
 | PhD Proposal
|
| Behavioral Modeling in EAST-ADL2 and the Support for Formal Verification
| Speaker: | Lei Feng, Ph.D., Volvo Technology Corporation | | Date: | 9th February, 2011 - 10:15--11:15 | | Venue: | U2-32 (see room guide) | | Slides: | N/A |
|
| Embedded computing in mobile hand-held devices
| Speaker: | Vesa Hirvisalo, Aalto University | | Date: | 3rd February, 2011 - 15:00--16:00 | | 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 |
|
| Seminar: Operating System Challenges in the Multicore Embedded Market
| Speaker: | *** | | Date: | 9th December, 2010 - 10:15--12:15 | | Venue: | Paros (see room guide) | | Slides: | N/A |
|
| A counter-example guided abstraction refinement scheme for parameterized verification
| Speaker: | Dr. Ahemed Rezine, Uppsala university | | Date: | 25th November, 2010 - 11:15--12:15 | | Venue: | U2-032 (see room guide) | | Slides: | N/A |
|
 | Moris Behnam, PhD Defense
|
| Research Through Design
| Speaker: | John Zimmermann | | Date: | 10th November, 2010 - 15:00--16:00 | | Venue: | U2-040 (see room guide) | | Slides: | N/A |
|
| Precise Input-Data Dependency Analysis for Hard Real-Time Systems
| Speaker: | Benedikt Huber | | Date: | 15th October, 2010 - 13:00--14:00 | | Venue: | U2-040 (see room guide) | | Slides: | N/A |
|
| 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: |  |
|
 | Licentiate proposal presentation
|
| 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
|
| Towards Engineered Architecture Evolution
| Speaker: | Ipek Ozkaya | | Date: | 15th October, 2009 - 10:00--11:00 | | Venue: | Ypsilon (see room guide) | | Slides: | N/A |
|
 | 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
|
 | PhD Proposal: Practical Optimization using Heuristic Methods
|
 | 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 |
|
| Designing Dependable Distributed Embedded Systems
| Speaker: | Julián Proenza | | Date: | 27th March, 2008 - 09:00--12:00 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
| Dependable CAN Networks
| Speaker: | Julián Proenza | | Date: | 25th March, 2008 - 15:15--16:15 | | 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: Insup Lee, Compositional Schedulability Analysis: Challenges, Techniques, and Open Problems
| Speaker: | Insup Lee, Department of Computer and Information Science, University of Pennsylvania | | Date: | 15th February, 2008 - 10: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
|
 | On-chip Distributed Architectures - The SegBus approach -
|
 | 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
|
| Luciano Floridi, Oxford University: A Subjectivist Interpretation of Relevant Information
| Speaker: | Luciano Floridi, Oxford University | | Date: | 29th September, 2006 - 10:00--11:00 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
| PROGRESS Seminar:Compositional Real-Time Scheduling Framework
|
| Licentiate proposal
|
| Constructing Correct Reactive Systems
| Speaker: | Cristina (Cerschi) Seceleanu | | Date: | 3rd July, 2006 - 11:00--12:00 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
| Petri Nets - Towards a formal analysis approach based on the use of Colored Petri Nets, Timed Colored Petri Nets and the CPN Tools
| Speaker: | Panagiotis Katsaros | | Date: | 18th April, 2006 - 15:00--16:00 | | Venue: | (see room guide) | | Slides: | N/A |
|
| Research at Thessaloniki University
| Speaker: | Ioannis Stamelos and Panagiotis Katsaros | | Date: | 18th April, 2006 - 14:00--15:00 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
| Jacky Estublier, Seminar
| Speaker: | Jacky Estublier | | Date: | 19th December, 2005 - 11:00--12:00 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
 | Artificiell Intelligens och IT-säkerhet
| Speaker: | Peter Funk | | Date: | 8th November, 2005 - 18:30--20:30 | | Venue: | Högskoleplan 1, skyltat (see room guide) | | Slides: | N/A |
|
| Extending Optimising Compilation to Support Worst-Case Execution Time Analysis
| Speaker: | Raimund Kirner, TU Wien | | Date: | 3rd November, 2005 - 13:15--14:15 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
| Licentiate thesis presentation: Diagnosis of Machines within Industry using Sensor Signals and Case-Based Reasoning
| Speaker: | Erik Olsson | | Date: | 11th October, 2005 - 13:15--15:15 | | Venue: | Delta (see room guide) | | Slides: | N/A |
|
| PhD proposal and Lic proposal
| Speaker: | Thomas Nolte and Kaj Hänninen | | Date: | 20th June, 2005 - 15:15--17:15 | | Venue: | Ada (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 |
|
| Using Next-Generation Non-Volatile Memory for Future Virtualizations
| Speaker: | Prof. Sang Lyul Min | | Date: | 28th April, 2005 - 11:00--12:00 | | Venue: | Ada (see room guide) | | Slides: | N/A |
|
| Industridag Artificiell Intelligens och Lärande System
| Speaker: | *** | | Date: | 12th April, 2005 (09:00) -- 14th Apr (09:00) | | Venue: | http://www.sais.se/sais2005/ (see room guide) | | Slides: | N/A |
|
| Seminar - Martin Törngren: Challenges and approaches for integrated multidisciplinary development of embedded control system
| Speaker: | Martin Törngren | | Date: | 13th April, 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 |
|
| Wolfgang Weck: How is Eclipse Coming Along as a Component
| Speaker: | Unknown | | Date: | 23rd February, 2005 - 13:15--15:15 | | Venue: | ZETA room (see room guide) | | Slides: | N/A |
|
| Karl-Erik Årzen, Lund University, Seminar: Wireless Embedded Control Systems
| Speaker: | Karl-Erik Årzen | | Date: | 18th February, 2005 - 11:00--12:00 | | Venue: | Turing room (see room guide) | | Slides: | N/A |
|
| Mikale Nolin docentföreläsning, 26 nov kl. 10 i Gamma
| Speaker: | Mikael Nolin | | Date: | 26th November, 2004 - 10:00--11:00 | | Venue: | Gamma (see room guide) | | Slides: | N/A |
|
| Fri och öppen programvara - en ny strategisk inriktning
| Speaker: | Seminarium | | Date: | 5th November, 2004 - 13:00--18:00 | | Venue: | Pi-salen, Mälardalens högskola (see room guide) | | Slides: | N/A |
|
 | Seminar Day on Soft Real-Time Aspects in Ericsson's Telecom Systems
|
| An Application Programming Interface for Hardware and Software Threads
| Speaker: | Peter Nygren | | Date: | 24th September, 2004 - 15:15--17:15 | | Venue: | Delta-salen, Mälardalens högskola (see room guide) | | Slides: | N/A |
|
| The challenge of architecting complex embedded systems
|
 | licentiate thesis defense
|
 | Magnus Larsson, Phd Defense
|
| Guest Lecture - component-based software architecture
| Speaker: | Paula Inverardi, Computer Science Department at University of L'Aquila | | Date: | 11th March, 2004 - 14:15--16:15 | | Venue: | VV220 (see room guide) | | Slides: | N/A |
|
 | Seminar (cont.), Kurt Wallnau SEI/CMU
|
| Seminar, Kurt Wallnau SEI/CMU
|
 | Paper Presentation
|
| Licentiate proposal seminar: Artificial intelligence diagnostics in psychophysiological medicine
|
| Towards timing analysis and prediction for IEC6-1131 component systems
| Speaker: | Prof. Heinz Schmidt, Monash University | | Date: | 21st August, 2003 - 10:00--11:00 | | Venue: | Vargens Vret (see room guide) | | Slides: | N/A |
|
|
| Speaker: | Kurt Wallanu /Software Engineering Institute | | Date: | 26th June, 2003 - 13:00--14:00 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
| Invited Guest Lecture: Designing Compact Fuzzy-Rule Based Systems Using GA
by Dr. Ning Xiong
| Speaker: | v295 | | Date: | 13th June, 2003 - 13:15--14:15 | | Venue: | To be announced (see room guide) | | Slides: | N/A |
|
| Licentiate thesis defense
|
 | ROBOTICS - the next step
| Speaker: | Lars Asplund | | Date: | 31st March, 2003 - 10:00--16:00 | | Venue: | Beta-salen, Högskoleplan 1, Rosenhill, Main building (see room guide) | | Slides: | N/A |
|
| KOALA component model
| Speaker: | Rob van Ommering, Philips | | Date: | 3rd December, 2002 - 09:00--12:00 | | Venue: | Vargens Vret, V223 (see room guide) | | Slides: | N/A |
|
| About “Real” Software Testing
| Speaker: | Sigrid Eldh, Test Expert, Ericsson AB | | Date: | 24th October, 2002 - 10:30--11:30 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
| The SIMICS simulator in education and research
| Speaker: | Jakob Engblom and Niklas Rudemo, Virtutech AB | | Date: | 1st October, 2002 - 10:00--11:00 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
| Seminar: SEI/Kurt Wallnau - The Structure, Development, and Validation of Prediction-Enabled Technology
| Speaker: | Kurt Wallanu | | Date: | 27th September, 2002 - 14:00--15:00 | | Venue: | (see room guide) | | Slides: | N/A |
|
 | Exjobbsredovisningar
|
| Bengt Askers Workshop
| Speaker: | Unknown | | Date: | 23rd May, 2002 - 09:30--16:30 | | Venue: | Vargens Vret (see room guide) | | Slides: | N/A |
|
| Seminarium: INSTÄLLT
| Speaker: | IdéLab, VD C Technology | | Date: | 14th May, 2002 - 17:30--19:30 | | Venue: | Brinken (see room guide) | | Slides: | N/A |
|
| Om innovationer & deras historia!
| Speaker: | IdéLab | | Date: | 6th May, 2002 - 17:30--18:30 | | Venue: | V226 (see room guide) | | Slides: | N/A |
|
| Real-time Research for Industry
|
|
Formell programvaruspecifikation av realtidssystem, del 3
| Speaker: | Martin Aronsson, SICS | | Date: | 15th February, 2002 - 14:00--16:00 | | Venue: | Turing Conference Room (see room guide) | | Slides: | N/A |
|
| Formell programvaruspecifikation av realtidssystem, del 2
| Speaker: | Martin Aronsson, SICS | | Date: | 8th February, 2002 - 14:00--16:00 | | Venue: | Turing Conference Room (see room guide) | | Slides: | N/A |
|
|
Formell programvaruspecifikation av realtidssystem, del 1
| Speaker: | Martin Aronsson, SICS | | Date: | 1st February, 2002 - 14:00--16:00 | | Venue: | Turing Conference Room (see room guide) | | Slides: | N/A |
|
| Half day Workshop on: Development, use and maintenance of platforms in industrial Systems
| Speaker: | Joakim Fröberg and Christer Norström | | Date: | 23rd January, 2002 - 13:00--17:00 | | Venue: | Mälardalens högskola, Vargens Vret, room: V261 (see room guide) | | Slides: | N/A |
|
| Seminar
Component-based Software engineering - Selected Topics
| Speaker: | Carnegie Mellon University, SEI, Kurt Wallnau, Judth Staford | | Date: | 31st August, 2001 - 09:00--12:00 | | Venue: | Hörsalen ABB Corporate Research Kopparlunden (see room guide) | | Slides: | N/A |
|
| Hur sammanfattas en text automatiskt av en dator?
|
 | SYMO - Real-Time Kernel - Ex -jobs presentation
|
| System on chip and scheduling related issues
| Speaker: | Vincent Mooney | | Date: | 5th March, 2001 - 10:00--11:00 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
| Seminar Trends in Congestion Control and Quality-of-Service: Active queue management on the Internet of the future
| Speaker: | Kevin Jeffay | | Date: | 21st February, 2001 - 09:00--12:00 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
| Distinguished Lecture - The Evolution of Quality-of-Service on the Internet
| Speaker: | Kevin Jeffay | | Date: | 20th February, 2001 - 14:00--15:00 | | Venue: | Brinken (see room guide) | | Slides: | N/A |
|
| Bioinformatik
| Speaker: | Kimmo Eriksson | | Date: | 13th December, 2000 - 11:00--12:00 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
| Challenges in the Verification of Electronic Control Units
| Speaker: | Prof. Werner Damm | | Date: | 7th December, 2000 - 14:00--15:00 | | Venue: | Vargens Vret room V222 (see room guide) | | Slides: | N/A |
|
| Distinguished Lecture: MARTE: Implemention of the POSIX minimum real-time system OS profile for embedded applications
| Speaker: | Michael Gonzalez-Harbour | | Date: | 23rd November, 2000 - 11:00--12:00 | | Venue: | Brinken (see room guide) | | Slides: | N/A |
|
| Tillämpad signal- och reglerteknik: forskning och grundutbildning i snittet realtidssystem - elektronik - tillämpad matematik
| Speaker: | Lennart Harnefors, IEl | | Date: | 18th October, 2000 - 14:00--15:00 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
| Challenges in Embedded Control - a Mechatronics Perspective
| Speaker: | Martin Torngren, KTH | | Date: | 6th October, 2000 - 13:00--14:00 | | Venue: | Turing Conference Room (see room guide) | | Slides: | N/A |
|
| Computational models of the brain: from biology to applications
| Speaker: | Anders Lansner, KTH | | Date: | 14th September, 2000 - 11:00--12:00 | | Venue: | Turing Conference Room, IDt (see room guide) | | Slides: | N/A |
|
| ADDORATA: A Distributed Object-Oriented Architecture for Real-Time Applications
| Speaker: | Leandro Buss Becker | | Date: | 16th June, 2000 - 11:00--12:00 | | Venue: | Turing Conference Room (see room guide) | | Slides: | N/A |
|
| Modelchecking of infinite state systems
| Speaker: | Parosh Abdulla, Uppsala University and Prover AB | | Date: | 30th May, 2000 - 10:30 Hrs | | Venue: | Turing Conference Room (see room guide) | | Slides: | N/A |
|
| Real-Time Ethernet: Challenges and Prospects
| Speaker: | Prof. Eduardo Tovar, PolyTech Inst. of Porto | | Date: | 25th May, 2000 - 11:30--12:30 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
| 3 Exjobbspresentationer
| Speaker: | David Jervelius, Martin Råsbo, Magnus Eriksson | | Date: | 22nd May, 2000 - 10:00--12:00 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
| The Concept of Real-Time Database Systems and Their Research Challenges
| Speaker: | Jörgen Hansson, Linköping University | | Date: | 10th May, 2000 - 10:30--11:30 | | Venue: | Turing Conference Room (see room guide) | | Slides: | N/A |
|
 | Disputation: Jan Gustafsson, Måndag 8 Maj kl 13:00, Uppsala Universitet
|
| Automating Hardware to Software Migration for Real-Time Embedded Systems
| Speaker: | Alex Dean, Carnegie Mellon University | | Date: | 23rd March, 2000 - 10:00 Hrs | | Venue: | Turing Conference Room (see room guide) | | Slides: | N/A |
|
| CAN/LIN Bus (Exact title TBA)
| Speaker: | Ken Tindell, Jonkoping University & NRTG,UK | | Date: | 20th March, 2000 - 13:00 Hrs | | Venue: | Turing Conference Room (see room guide) | | Slides: | N/A |
|
| Real-Time Research for Industry
| Speaker: | Prof Jack Stankovic and more | | Date: | 15th March, 2000 - 09:00--16:00 | | Venue: | Brinken, Vargens Vret, Västerås (see room guide) | | Slides: | N/A |
|
| WCET Analysis for Instruction Level Parallel Processors
| Speaker: | Sungsoo Lim, Seoul National University, Korea | | Date: | 13th March, 2000 - 11:00 Hrs | | Venue: | Turing Conference Room (see room guide) | | Slides: | N/A |
|
| Non-traditional ways for inter-task communication
| Speaker: | Philippas Tsigas and Håkan Sundell, Chalmers University of Technology | | Date: | 16th February, 2000 - 11:00 Hrs | | Venue: | Turing Conference Room (see room guide) | | Slides: | N/A |
|
 | Magister students exjobs presentations
|
| Rätt sak vid rätt tid är viktigare än du tror
- om realtidsforskningens betydelse för den tekniska utvecklingen
| Speaker: | Hans Hansson | | Date: | 25th January, 2000 - 18:15--19:15 | | Venue: | Omegasalen, Västerås (see room guide) | | Slides: | N/A |
|
| Kursvärderingar
| Speaker: | Annika Lundmark, Enheten för utveckling och utvärdering, Uppsala universitet | | Date: | 19th January, 2000 - 13:30--16:30 | | Venue: | (see room guide) | | Slides: | N/A |
|
| Can Real-Time Systems be built from Off-The-Shelf Components?
| Speaker: | Krithi Ramamritham | | Date: | 25th November, 1999 - 13:15 Hrs | | Venue: | Brinken (see room guide) | | Slides: | N/A |
|
| Guided Synthesis of Control Programs Using UPPAAL
| Speaker: | Paul Pettersson, Aalborg University, Denmark | | Date: | 18th November, 1999 - 14:00 Hrs | | Venue: | Turing Conference Room (see room guide) | | Slides: | N/A |
|
| Quantum computing and Quantum Finite Automata
|
| Computation, learning and games - some current questions
|
| Modelling Software and Hardware Characteristics for Worst-Case Execution-Time Analysis
| Speaker: | Peter Puschner, Vienna University of Technology | | Date: | 14th October, 1999 - 10:15 Hrs | | Venue: | Brinken, Vargens Vret (see room guide) | | Slides: | N/A |
|
| AUTOMATED SYNTHESIS OF CONTROL SOFTWARE FROM HYBRID AUTOMATA AND WCET ESTIMATION OF PL PROGRAMS
| Speaker: | Man Lin | | Date: | 15th April, 1999 - 14:00--15:00 | | Venue: | Turing (see room guide) | | Slides: | N/A |
|
| Predictability vs. Efficiency in Real-Time Systems: need for novel approaches
| Speaker: | Giorgio Buttazzo | | Date: | 13th April, 1999 - 10:15 Hrs | | Venue: | Brinken (see room guide) | | Slides: | N/A |
|
