Humboldt-Universität zu Berlin, Institut für Informatik, Prof. Dr. Holger Schlingloff Scientific Activities

This page contains links and materials to some of the activities I'm involved with.

Conference Chairs

• 17th CS&P (Concurrency, Specification and Programming 2008),
• Dagstuhl Seminar 08351 (Evolutionary Test Generation); here are the online proceedings
• CAV 2007 (Computer Aided Verification): CAV 2007-Website
• Dagstuhl Seminar 06411 (Specification, Verification and Test of Open Systems)
• 15th CS&P (Concurrency, Specification and Programming 2006), Additional Materials
• M4M-4 (Methods for Modalities 2005)

Popular Articles

• AG.com - Bremer Informatik-Arbeitsgemeinschaften in der gymnasialen Sekundarstufe I; Beitrag in der Festschrift zum 60. Geburtstag von Bernd Krieg-Brückner, Universität Bremen, Feb. 2009
• Modellbasierte Verfahren: Softwarequalität medizinischer Geräte absichern (mit Rolf Hänisch), Artikel vom 3. Dezember 2008
• Buchkapitel im Taschenbuch der Algorithmen (B. Vöcking, ed.; Springer Examen.Press 2008)
• Strategiepapier Perspektiven und Forschungsbedarfe eingebetteter Systeme in Deutschland (mit Broy, Jähnichen)
• Softwarequalität in Steuergeräten - Statisch analysiert (mit Rolf Hänisch), Artikel vom 18. Januar 2008
• Buchkapitel ESPRESS – Ingenieurmäßige Entwicklung sicherheitsrelevanter eingebetteter Systeme (mit S. Jähnichen);
          aus dem Band "Informatikforschung in Deutschland" (B. Reuse und R. Vollmar, ed.; Springer 2008)
• Mechanische Pumpe: Erholung für kranke Herzen, Artikel auf elektronikpraxis.de;
  siehe auch Qualitätssicherung lebenswichtiger Steuergerätesoftware, Artikel in Medizintechnik-Zeitschrift, März 2008
• Modellbasiertes Testen fordert einen differenzierten Blick, Artikel in der Computer Zeitung vom 29.10.2007
• Abschlussbericht des BMBF-Verbundprojektes IMMOS (pdf)
• Buchkapitel Softwarequalität — Geschichte und Trends (pdf)
          aus dem Band Informatik. Aktuelle Themen im historischen Kontext (W. Reisig und J.-C. Freytag, eds.).
• Informatikjahr 2006: 35. Algorithmus der Woche (31. Oktober 2006): Zyklensuche
• Antrittsvorlesung "Formale Methoden in der Praxis - Softwaredesign für Luft- und Raumfahrt"(pdf)

Some Current Projects

• ES_PASS - Embedded Systems Product Assurance
• EvoTest – Evolutionary Testing for Complex Systems
• IMMOS - Eine integrierte Methodik zur modellbasierten Steuergeräte-Entwicklung

Other Stuff

• Coach des FIRST RoboCup-Team
• Schülerinnenaufgabe im virtuellen Informatik-Portal der Humboldt-Universität
• www.schlingloff.de

H. Schlingloff, 30.10.2007