Go4IT - ein Pilotprojekt, mit einem Informatik-Bachelor-Universitäts-Studium bereits parallel zur AHS-Oberstufe zu beginnen
Weitere Information auf der Go4IT Web Site und in den Medienberichten.
From Model-Based Development research towards cutting-edge industry products
Chrona Validator and Chrona Creation Suite
autoBAHN - autonomously driving trains on open tracks
The goal of the autoBAHN project is to come up with a rail-bound transport system of autonomously driving vehicles.
sub auspiciis praesidentis rei publicae for Patricia Derler
November 2011: sub auspiciis praesidentis rei publicae for Patricia Derler
Colloquia
Colloquium Marc Weber
Institut für Technik der Informationsverarbeitung (ITIV) am KIT Forschungszentrum Informatik Karlsruhe (FZI): June 25, 2018, 10:00 s.t.
Anomalieerkennung in Fahrzeugnetzwerken mit Hilfe von künstlicher Intelligenz
Colloquium Eric Sax
Institut für Technik der Informationsverarbeitung (ITIV) am KIT Forschungszentrum Informatik Karlsruhe (FZI): April 26, 2018, 15:00 s.t.
Auto in Motion –Trends in Automotive Engineering
Colloquium Reza Ghorbani
University of Hawaii at Manoa: Juni 21, 2017, 10:15 s.t.
Developing Demand Response Programs and Markets
Colloquium Jyotirmoy V. Deshmukh
Toyota Technical Center, Gardena CA: September 25, 2015, 10:30 s.t.
Bridging the gap between research and practice: Formal methods in the automotive domain
Colloquium Susanne Altendorfer-Kaiser
Montanuniversität Leoben, Leoben: Juni 25, 2015, 10:30 s.t.
Informationslogistik - Schnittstelle IT und Logistik
Colloquium Arshia Cont
ircam, Paris: March 10, 2015, 14:30 s.t.
Colloquium Michael Paulweber
AVL List GmbH, Graz: December 18, 2014, 11:00 s.t.
From embedded software to cyber physical systems in the automotive industry
Colloquium Sebastian Fischmeister
University of Waterloo, Canada: November 27, 2014, 14:00 s.t.
DataMill: Rigorous Performance Evaluation Made Easy
Colloquium Cesara Dragoi
IST Austria, Korneuburg: July 14, 2014, 14:30 s.t.
Static analysis of programs with singly-linked lists
Colloquium Alfons Laarman
Technical University of Vienna, Vienna: June 4, 2014, 11:00 s.t.
Data structures and Algorithms in Multi-Core Model Checking
Colloquium Ernest Wallmüller
Qualität & Informatik, Zürich: May 15, 2014, 15:30 c.t.
Management komplexer Projekte und Programme mit der Success Driver Analyse
Colloquium Hannes Payer
Google Munich: May 7, 2014, 11:00 c.t.
New garbage collection optimizations of Google Chrome's V8
Colloquium Ben L. Titzer
Google Munich: January 24, 2014, 11:00 c.t.
Harmonizing Classes, Functions, Tuples, and Type Parameters in the Virgil Programming Language
Colloquium Gervasio Perez
University of Buenos Aires: September 24, 2013, 14:00 c.t.
Producers/Consumers/Reducers: Design of a generic parallel pattern and concurrent code synthesis
Colloquium Ali Sezgin
IST Austria: June 20, 2013, 16:00 c.t.
Aspect-Oriented Linearizability Proofs
Colloquium Mike Dodds
University of York, UK: June 20, 2013, 16:00 c.t.
Library Correctness for Multicore of C / C++
Colloquium Vasiliki Sfyrla
Viseo, Greoble, France: May 28, 2013, 14:00 c.t.
Modeling Synchronous Systems using the BIP component-based framework
Colloquium Sebastian Fischmeister
University of Waterloo, Canada: August 7, 2012, 15:00
Code Instrumentation With Extra-functional Properties
Colloquium Tom Henzinger, Wittgenstein-Preisträger 2012
IST Austria: June 22, 2012, 13:30 - 14:30 s.t., Naturwissenschaftlichen Fakultät
Die Vergrößerung des Netzwerkes österreichischer Forscherinnen und Forscher
Colloquium Gerald Baumgartner
Louisiana State University: June 21, 2012, 10:00 s.t.
Colloquium Manfred Mücke
Research Lab Computational Technologies and Applications, University of Vienna: April 25, 2012, 12:30 s.t.
Holistic Scalable Performance Analysis of Distributed Applications on Many-Core Computers
Colloquium Kenneth Russell
Google Inc.: March 22, 2012, 13:00 s.t.
WebGL: 3D Graphics for the Web
Colloquium Raja Sengupta
Associate Professor CEE: Systems, University of California, Berkeley, May. 18, 2011, 13 s.t.
Colloquium Bernhard Schätz
fortiss GmbH, Oct. 14, 2010, 10:15h
Colloquium Ken Butts
Toyota Motor Engineering and Manufacturing North America, Ann Arbor, Michigan, USA, Oct. 21, 2009, 16:15h
The Impact of Cyber-Physical Systems on the Automotive Industry
Colloquium Prof. Dr. Sanjit A. Seshia
Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, Jul. 13, 2009, 9:15h
Game-Theoretic Quantitative Analysis of Embedded Systems
Colloquium Prof. Dr. Colin Atkinson
Chair of Software Engineering, University of Mannheim, Mar. 23, 2009, 11h
A flexlible Infrastructure for Component-Based, Model-Driven Development
Colloquium Prof. Dr. Jörg R. Mühlbacher
Head of the Institute for Information Processing and Microprocesor Technology (FIM), Johannes Kepler University Linz, Mar. 13, 2009, 11h
DS RBAC - Dynamic Sessions in Role Based Access Control
Colloquium Dr. Egbert Althammer
Austrian Research Centers GmbH (ARC), Jun. 23 2008, 14-15h
Support for Certification of Safety-Critical Embedded Systems - the DECOS Generic Test Bench
Colloquium Prof. Dr. Klaus Müller-Glaser
Universität Karlsruhe (TH) und Forschungszentrum Informatik (FZI), Apr. 21 2008, 13-14h
Herausforderungen für die modellbasierte Entwicklung von Automobilsteuerungsgeräten
Colloquium Dr. Wolfang Weck
Unabhängiger Software-Architekt, Zürich, Dec. 11 2007, 15-16h
Gedanken zur Rolle der Software-Architekten
Colloquium Prof. Dr. Ingolf Krueger
Service-Oriented Software and Systems Engineering Laboratory (S3EL), Computer Science and Engineering Department, University of California, San Diego, Dec. 19 2005, 16-17h
Service-Oriented Software and Systems Engineering - A Vision for the Automotive Domain
Colloquium María Laura Ponisio
Software Composition Group, University of Bern, Dec. 5 2005, 16-17h
Using Contextual Information for Program Understanding and Modularization
Colloquium Prof. Dr. Claudia Linnhoff-Popien
Lehrstuhl für Mobile und Verteilte Systeme an der Ludwig-Maximilians-Universität München, Jun. 14, 2005, 14h
An Architectural Approach to Component Composition and Adaptation
Colloquium Prof. Dr. Reinhard von Hanxleden
Christian-Albrechts-Universität zu Kiel, Jun. 6, 2005, 14h
Zur graphischen Modellierung komplexer reaktiver Systeme
Colloquium Prof. Dr. Marcel Waldvogel
University of Constanz, Jan. 25 2005, 14-15h
Reliable Large-Scale Peer-to-Peer Storage
Colloquium Dr. Thomas Gschwind
IBM Research Zürich, Jan. 10 2005, 14-15h
An Architectural Approach to Component Composition and Adaptation
Colloquium Prof. Dr. Edward A. Lee
CHESS Center for Hybrid and Embedded Software Systems, University of California, Berkeley, Dec. 14, 2004, 14-15h
Actor-Oriented Design: Concurrent Models as Programs
Colloquium Dr. Fridtjof Siebert
aicas GmbH, Karlsruhe, Nov. 23 2004, 14-15h
The Impact of Realtime Garbage Collection on Realtime Java Programming
Colloquium Prof. Dr. Wilfried Elmenreich
Institut für Technische Informatik der Technischen Universität Wien, Oct. 22, 2004, 10:30h
Time-Triggered Embedded Fieldbus Systems