Colloquia
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
Inhalt: die Vergrößerung des Netzwerkes österreichischer Forscherinnen und Forscher und Arbeit des des Institute of Science and Technology Austria (IST-Austria) als neue Forschungs-und Bildungseinrichtung, welches die Zusammenarbeit mit den bestehenden Universitäten der österreichischen Wissenschaftsgemeinde sucht
Colloquium Gerald Baumgartner
Louisiana State University: June 21, 2012, 10:00 s.t.
Die Tensor Contraction Engine: ein domänenspezifischer Compiler zur Synthese von Hochleistungscode aus Tensorformeln der Quantenchemie
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.
Multi-Vehicle Networks
Colloquium Bernhard Schätz
fortiss GmbH, Oct. 14, 2010, 10:15h
Architekturmodelle im Automotive Software Engineering – Vom Stand der Technik zu zukünftigen Möglichkeiten
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 Presentation slides
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
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
