Pressespiegel

2007

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

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

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

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

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

  • Betriebssystem ohne Fehler
    Financial Times Deutschland, 15.03.2007
    Zum vollständigen Artikel: DE 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: DE auf Deutsch

2006

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

  • Besuch des Saarlandes fördert technologische Zusammenarbeit zwischen Utah und Deutschland
    Utah Technology Council, 19.10.2006
    Zum vollständigen Artikel: EN 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: EN in English

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

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

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

2005

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

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

  • Software prüft Autoelektronik bereits beim Entwurf
    Handelsblatt, 11.09.2005
    Zum vollständigen Artikel: DE 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: DE auf Deutsch

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

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

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

  • Chip-Tests mit mathematischen Methoden
    InfoWeek.ch, 26.08.2005
    Zum vollständigen Artikel: DE 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: DE auf Deutsch

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  • Null Fehler in Auto-Elektronik
    Informationsdienst Wissenschaft, 24.02.2005
    Zum vollständigen Artikel: DE 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: EN in English

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

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

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

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

2003

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

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

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

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

 
Revision 16 Jul 2007