Home | Sitemap | Contact | Legals | Data Protection | KIT

Karlsruhe (2006 and beyond)

  • Andreas Schmied, Capgemini
    Softwarearchitektur mit QUASAR, 28.05.2013, 15:45
  • Bastian Koller, High Performance Computing Center Stuttgart (HLRS)
    HLRS Demo, 28.05.2013, 13:00
  • Axel Burghof, Capgemini:
    Erfahrungen mit Cloud Computing, 19.02.2013, 11:30
  • Martin Riedl, Universität der Bundeswehr, München:
    LARES - A Specification Language for Reconfigurable Dependable Systems, 15.01.2013, 13:30
  • Prof. Dr. Walter Binder, Universität Lugano, Lugano:
    DiSL: A Domain-specific Language for Efficient and Comprehensive Dynamic Program Analysis, 5.12.2012
  • Dr. Jochen Quante, Robert Bosch GmbH, Stuttgart:
    Software Evolution at Bosch, Thursday, 10.01.2012, 9:45
  • Dr. Raffaela Mirandola, Politecnico di Milano, Mailand:
    A journey across three decades of software performance engineering approaches, 2.11.2011
  • Prof. Dr. Ursula Goltz, ips, TU Braunschweig:
    Eine Charakterisierung verteilbarer Systeme, Wednesday, 24.11.2010, 14:00
  • Matthias Riebisch, Technische Universität Ilmenau:
    Considering Security Engineering in Software Architectural Design, Monday, 15.11.2010, 09:00
  • Klaus-Dieter Lange, Hewlett-Packard Company, Houston, USA:
    Benchmarking the Energy Efficiency of Servers, Thursday, 21.10.2010, 17:30
  • Catia Trubiani, Università degli Studi dell'Aquila:
    Model-based Feedback for Software Performance Improvement
    (May 2010–31.07.2010)
  • Prof. Dr. Heinz Schmidt, RMIT, Melbourne, Australia:
    Modes failure and cost in component-based architectures, Monday, 16.11.2009, 14:15
  • Dr. Carola Lilienthal, GF C1/WPS Software, Hamburg:
    Komplexität von Softwarearchitekturen, Thursday, 23.07.2009, 10:45
  • Catia Trubiani, Università degli Studi dell'Aquila:
    Model-based Feedback for Software Performance Improvement, Monday, 20.07.2009, 15:00-16:30
  • Kai Sachs, Uni Darmstadt:
    Benchmarking and Modelling of Message-Oriented Middleware, Wednesday, 24.06.2009, 15:00-16:00
  • Petra Becker-Pechau, Uni Hamburg:
    Stilbasierte Architekturprüfung, Wednesday, 26.05.2009, 10:00-11:30
  • Roland Meyer, Uni Oldenburg/Trustsoft:
    Strukturelle Stationarität und Beschränktheit in der Tiefe im Pi-Kalkül, Thursday, 14.05.2009, 14:00-15:00
  • André van Hoorn, Uni Oldenburg/Kiel:
    Resource-Efficient Operation of Distributed Software Systems through Architecture-Based Runtime Capacity Management, Wednesday, 13.05.2009, 18:00-19:00
  • Dr. Danilo Ardagna, Politecnico di Milano:
    Energy consumption in Service Centers, Tuesday, 28.04.2009, 16:30-17:30
  • Dr. rer. nat. Lars Grunske, University of Queensland:
    Dependability Evaluation with Probabilistic Quality Specification Patterns, Thursday 10.01.2008, 13:00-14:30
  • Jan Kofron, Ph.D., Charles University, Prague, Czech Republic:
    Checking EBP Specifications, 06.12.2007, 12:30-14:00
  • Dr. Iman Poernomo, King's College, London, UK:
    Better Model Driven Architecture through Constructive Type Theory, 08.11.2007, 9:45-11:15
  • Pierre Parrend, INSA, Lyon, France:
    Security, Dependability and Components, 29.10.2007, 10:15-11:45
  • Clemens Szyperski, Microsoft Research, Redmond, WA, USA:
    Software Engineering in the Real World , 03.08.2007, 15:00-18:00 (Details about the Sonderkolloquium: http://www.andrena.de/ObjektForum/Veranstaltungen/79.html)
  • Lucia Kapova, Charles University, Prague, Czech Republic:
    "WS/component compositionality" (16.04.2007-08.06.2007)
  • Barbora Zimmerova, Masaryk University, Brno, Czech Republic:
    "The semantics of multiple bindings on components in terms of access to a component's state" (16.04.2007-08.06.2007)
  • Prof. Heinz Schmidt, Monash University, Melbourne, Australia (June 20th, 2006):
    "Hierarchical Dynamic Models for Verifying Parallel Distributed Real-Time Systems" (PDF, 2MB)
  • "Software Engineering Colloquium" (PDF with abstracts of all talks and short bios of presenters, 12 KB) (November 3rd, 2006)

    • Dr. Jiri Adamek, Charles University, Prague, Czech Republic:
      "Behavior protocols of software components"
    • Barbora Zimmerova, University of Brno, Czech Republic:
      "Formal analysis of component-based systems in view of component interaction"
    • Dr. Chris Ling, Monash University, Australia:
      "Device Ecology: Programming and Analyzing a Collection of Smart Devices"

Oldenburg (up to and incl. 2005)