Pressespiegel

2007

• Leitprojekt soll Null-Fehler-Software zum Exportschlager machen
  Computerzeitung, 13.07.2007
  Zum vollständigen Artikel: auf Deutsch

• Microsoft steigt in Forschungsprojekt Verisoft ein
  Juraforum, 11.07.2007
  Zum vollständigen Artikel: auf Deutsch

• "Verified in Germany" wird Qualitätsmerkmal deutscher Software
  BMBF Pressereferat, 11.07.2007
  Zum vollständigen Artikel: auf Deutsch

• Universitäten wollen Gleichberechtigung in IT-Leuchtturmprojekten
  Computer Zeitung, 02.07.2007
  Zum vollständigen Artikel: auf Deutsch

• Wie entsteht fehlerfreie Soft- und Hardware?
  idw, 28.06.2007
  Zum vollständigen Artikel: auf Deutsch

• Betriebssystem ohne Fehler
  Financial Times Deutschland, 15.03.2007
  Zum vollständigen Artikel: auf Deutsch

• CeBIT 2007: Vernetzte Multimedia, verlässliche Airbags und Roboter-Rätsel auf dem Saarländischen Forschungsstand
  idw-online, 09.03.2007
  Zum vollständigen Artikel: auf Deutsch

2006

• Besuch des Saarlandes fördert technologische Zusammenarbeit zwischen Utah und Deutschland
  PR Newswire, 19.10.2006
  Zum vollständigen Artikel: in English

• Besuch des Saarlandes fördert technologische Zusammenarbeit zwischen Utah und Deutschland
  Utah Technology Council, 19.10.2006
  Zum vollständigen Artikel: in English

• UTC Saarland Industry Breakfast - Eine seltene Gelegenheit hochrangige Vertreter Europäischer Softwarefirmen zu treffen
  Utah Technology Council, 10.10.2006
  Zum vollständigen Artikel: in English

• Fehler in neuer Software durch Software beheben lassen
  Die Welt.de, 21.03.2006
  Zum vollständigen Artikel: auf Deutsch

• CeBIT 2006: Vom Heimkino über Softwarefehler bis zum "Millionärs"-Quiz
  idw-online, 03.03.2006
  Zum vollständigen Artikel: auf Deutsch

• BMBF Forschungsprojekt auf der CeBIT 2006
  idw-online, 21.02.2006
  Zum vollständigen Artikel: auf Deutsch

2005

• Ein Auto, das um die Ecke denkt
  Berliner Zeitung, 16.09.2005
  Zum vollständigen Artikel: auf Deutsch

• Fehlerfreie Soft- und Hardware in Autoelektronik
  innovations report, 13.09.2005
  Zum vollständigen Artikel: auf Deutsch

• Software prüft Autoelektronik bereits beim Entwurf
  Handelsblatt, 11.09.2005
  Zum vollständigen Artikel: auf Deutsch

• Null Fehler im Auto — Deutsche Autohersteller wollen die Fahrzeugelektronik in den Griff bekommen
  business-wissen.de, 10.09.2005
  Zum vollständigen Artikel: auf Deutsch

• IAA PKW 2005 — Fehlerfreie Soft- und Hardware in Auto-Elektronik
  Informationsdienst Wissenschaft, 08.09.2005
  Zum vollständigen Artikel: auf Deutsch in English

• Mathematische Methoden für fehlerfreies Chipdesign entwickelt
  COMPUTERWELT.at, 29.08.2005
  Zum vollständigen Artikel: auf Deutsch

• Mathematik gegen Hardware-Fehler — BMBF-Grundlagenforschung zeigt erste Erfolge
  Hartware.net, 27.08.2005
  Zum vollständigen Artikel: auf Deutsch

• Chip-Tests mit mathematischen Methoden
  InfoWeek.ch, 26.08.2005
  Zum vollständigen Artikel: auf Deutsch

• Bundesforschungsministerium subventioniert Chip-Design mit 14,8 Millionen Euro — T-Systems, Infineon und BMW im Konsortium Verisoft
  de.internet.com, 26.08.2005
  Zum vollständigen Artikel: auf Deutsch

• Forschungsprojekt fehlerfreies Chipdesign
  Heise Online, 26.08.2005
  Zum vollständigen Artikel: auf Deutsch

• Mathematische Methoden für fehlerfreies Chip-Design
  Golem.de, 26.08.2005
  Zum vollständigen Artikel: auf Deutsch

• Mathematische Methoden für fehlerfreies Chip-Design entwickelt
  COMPUTERWOCHE.de, 26.08.2005
  Zum vollständigen Artikel: auf Deutsch

• BMBF-Förderung macht Computersysteme sicherer
  verivox.de, 26.08.2005
  Zum vollständigen Artikel: auf Deutsch

• Ohne Fehl und Tadel
  Saarbrücker Zeitung, 27.07.2005
  Zum vollständigen Artikel: auf Deutsch

• Software ohne Fehl und Tadel
  Technology Review, 07.2005
  Zum vollständigen Artikel: auf Deutsch

• Fehler im System: Der Traum von Software ohne Bugs
  Spiegel Online, 01.07.2005
  Zum vollständigen Artikel: auf Deutsch

• Fehlerfreier Autonotruf
  SR Aktueller Bericht, SR-online.de, 09.03.2005
  Zum vollständigen Artikel: auf Deutsch

• Traumhaft: Autoelektronik ohne Fehler
  rp-Online, AFP, ddp, 01.03.2005
  Zum vollständigen Artikel: auf Deutsch

• Software ohne Fehl und Tadel
  wissenschaft.de, 01.03.2005
  Zum vollständigen Artikel: auf Deutsch

• Autoelektronik wird fehlerlos
  netigator.de, 03.2005
  Zum vollständigen Artikel: auf Deutsch

• Garantiert fehlerfreie Software — Neue Technik für Autoelektronik
  Yahoo! News, 28.02.2005
  Zum vollständigen Artikel: auf Deutsch

• Bei Unfall kommen Retter automatisch
  Computerworld.ch, 28.02.2005
  Zum vollständigen Artikel: auf Deutsch

• Software findet Fehler in Fahrzeug-Elektronik
  Computerwelt.at, 28.02.2005
  Zum vollständigen Artikel: auf Deutsch

• Null Fehler in Auto-Elektronik
  NeMa — Der Marktplatz der Werkstofftechnik, 28.02.2005
  Zum vollständigen Artikel: auf Deutsch

• Von der Computergraphik über Softwaretechnik bis zur Künstlichen Intelligenz
  Innovations Report, 28.02.2005
  Zum vollständigen Artikel: auf Deutsch

• "Verisoft" testet und verifiziert Fahrzeug-Elektronik
  Yahoo! News, 25.02.2005
  Zum vollständigen Artikel: auf Deutsch

• German Verification Day — AVACS und VERISOFT präsentieren Forschungsprojekte
  Informationsdienst Wissenschaft, 25.02.2005
  Zum vollständigen Artikel: auf Deutsch

• "Verisoft" testet und verifiziert Fahrzeug-Elektronik
  Innovations Report, 25.02.2005
  Zum vollständigen Artikel: auf Deutsch

• "Verisoft" testet und verifiziert Fahrzeug-Elektronik
  pressetext Nachrichtenagentur, 25.02.2005
  Zum vollständigen Artikel: auf Deutsch

• "Verisoft" testet und verifiziert Fahrzeug-Elektronik
  Wallstreet online, 25.02.2005
  Zum vollständigen Artikel: auf Deutsch

• Ziel: Null Fehler in der Auto-Elektronik
  Saar Echo, 25.02.2005
  Zum vollständigen Artikel: auf Deutsch

• Null Fehler in Auto-Elektronik
  innovations report, 24.02.2005
  Zum vollständigen Artikel: auf Deutsch

• Null Fehler in Auto-Elektronik
  Informationsdienst Wissenschaft, 24.02.2005
  Zum vollständigen Artikel: auf Deutsch

2004

• Wolfgang Paul trägt vor Wirtschaftsgrößen aus Utah über 100 Prozent fehlerfreie Computersysteme vor
  Utah Information Technology Association, 10.09.2004
  Zum vollständigen Artikel: in English

• Die Körpermesser kommen
  iX Cebit/2004, 03.2004
  Zum vollständigen Artikel: auf Deutsch

• Informatik Saarland — Zukunftsweisend und weltweit gefragt
  Innovations Report, 08.03.2004
  Zum vollständigen Artikel: auf Deutsch

• Verisoft holt Nadeln aus Heuhaufen
  Innovations Report, 02.03.2004
  Zum vollständigen Artikel: auf Deutsch

• Arbeit an neuen Futur-Leitvisionen startet
  Innovations Report, 02.02.2004
  Zum vollständigen Artikel: auf Deutsch

2003

• Forschungsministerium fördert Standard für IT-Sicherheit
  Heise Online, 01.10.2003
  Zum vollständigen Artikel: auf Deutsch

• BMBF fördert Standard für IT Sicherheit
  Innovations Report, 01.10.2003
  Zum vollständigen Artikel: auf Deutsch

• 3,3 Millionen für die Saar-Informatiker
  Saarbrücker Zeitung, 02.09.2003
  Zum vollständigen Artikel: auf Deutsch in English

• Saarbrücker Informatiker forschen an sicherem Computer
  Saarländischer Rundfunk, 26.08.2003
  Zum vollständigen Artikel: auf Deutsch in English