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

• Buchkapitel "Taschenbuch der Algorithmen" (B. Vöcking, ed.; erscheint 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 der DeviceMed, 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