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
• Arbeit 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