• Contact
  • Sitemap
  • HOME
  • RESEARCH
  • TEACHING (German)
  • TEAM
  • OTHER
  • In the media (German)
  • Announcements
  • Colloquia
   Highlights

October 2018: Go4IT – beginne Dein Informatik-Bachelor-Universitäts-Studium parallel zur AHS-Oberstufe!

January 2015: From Model-Based Development research towards cutting-edge industry products

August 2012: autoBAHN—autonomously driving trains on open tracks

November 2011: Awards

May 2007: May 2007: Opening C. Doppler Lab Embedded Software Systems 2007

June 2003: June 2003: Summer School Embedded Systems 2003

  1. OTHER
  2. Colloquia
  3. 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.

    DataMill: Rigorous Performance Evaluation Made A Cyber-Physical System Approach to Automatic Music Accompaniment


    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

     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

Universität Salzburg | Software Systems Center
Jakob-Haringer-Str. 2 | 5020 Salzburg | Austria | Tel: +43 662 - 8044 - 6488 | Fax: +43 662 8044 - 6480