Press Archive

2007

  • Operating System Without Bugs
    Financial Times Deutschland, 15.03.2007
    Click here for the full text: DE auf Deutsch

  • CeBIT 2007: Networked Multimedia, Reliable Airbags, and Robot Riddles at the Saarland Research Booth
    idw-online, 09.03.2007
    Click here for the full text: DE auf Deutsch

2006

  • Saarland Visit Fosters Utah-Germany Technology Collaboration
    PR Newswire, 19.10.2006
    Click here for the full text: EN in English

  • Saarland Visit Fosters Utah-Germany Technology Collaboration
    Utah Technology Council, 19.10.2006
    Click here for the full text: EN in English

  • UTC Industry Breakfast with Saarland - Rare Opportunity to Collaborate with Top Software CEOs from the European Union
    Utah Technology Council, 10.10.2006
    Click here for the full text: EN in English

  • Fixing bugs in new software by software
    Die Welt.de, 21.03.2006
    Click here for the full text: DE auf Deutsch

  • CeBIT 2006: From Home Theater over Software Bugs to the Millionaire's Quiz
    idw-online, 03.03.2006
    Click here for the full text: DE auf Deutsch

  • German research project Verisoft at the CeBIT 2006
    idw-online, 21.02.2006
    Click here for the full text: DE auf Deutsch

2005

  • A Car Thinking Outside the Box
    Berliner Zeitung, 16.09.2005
    Click here for the full text: DE auf Deutsch

  • Bug-Free Soft- and Hardware in Car Electronics
    innovations report, 13.09.2005
    Click here for the full text: DE auf Deutsch

  • Software to Check Car Electronics Already at Design Time
    Handelsblatt, 11.09.2005
    Click here for the full text: DE auf Deutsch

  • Zero Faults in the Cars — German Car Manufacturers Want to Get Car Electronics Under Control
    business-wissen.de, 10.09.2005
    Click here for the full text: DE auf Deutsch

  • IAA Cars 2005 — Bug-free Automobile Soft- and Hardware
    Informationsdienst Wissenschaft, 08.09.2005
    Click here for the full text: DE auf Deutsch EN in English

  • Mathematical Methods for Bug-Free Chip Design Developed
    COMPUTERWELT.at, 29.08.2005
    Click here for the full text: DE auf Deutsch

  • Mathematics Against Hardware Faults — First Results of BMBF Fundamental Research
    Hartware.net, 27.08.2005
    Click here for the full text: DE auf Deutsch

  • Testing Chips with Mathematical Methods
    InfoWeek.ch, 26.08.2005
    Click here for the full text: DE auf Deutsch

  • German Federal Ministry of Research Funds Chip Design with 14,8 Million Euro — T-Systems, Infineon, and BMW members of the Verisoft Consortium
    de.internet.com, 26.08.2005
    Click here for the full text: DE auf Deutsch

  • Research Project for Bug-Free Chip Design
    Heise Online, 26.08.2005
    Click here for the full text: DE auf Deutsch

  • Mathematical Methods for Bug-Free Chip Design
    Golem.de, 26.08.2005
    Click here for the full text: DE auf Deutsch

  • Mathematical Methods for Bug-Free Chip Design Developed
    COMPUTERWOCHE.de, 26.08.2005
    Click here for the full text: DE auf Deutsch

  • Funding by the German Federal Ministry of Education and Research Improves the Safety of Computer Systems
    verivox.de, 26.08.2005
    Click here for the full text: DE auf Deutsch

  • Without a Blemish
    Saarbrücker Zeitung, 27.07.2005
    Click here for the full text: DE auf Deutsch

  • Software Without a Blemish
    Technology Review, 07.2005
    Click here for the full text: DE auf Deutsch

  • System Failures: Dreaming of Software Without Bugs
    Spiegel Online, 01.07.2005
    Click here for the full text: DE auf Deutsch

  • Bug-Free Car Emergency Call
    SR Aktueller Bericht, SR-online.de, 09.03.2005
    Click here for the full text: DE auf Deutsch

  • Fantastic: Car Electronics Without Bugs
    rp-Online, AFP, ddp, 01.03.2005
    Click here for the full text: DE auf Deutsch

  • Software Without a Blemish
    wissenschaft.de, 01.03.2005
    Click here for the full text: DE auf Deutsch

  • Car Electronics Without Bugs
    netigator.de, 03.2005
    Click here for the full text: DE auf Deutsch

  • Guaranteed Bug-Free Software — New Technology for Car Electronics
    Yahoo! News, 28.02.2005
    Click here for the full text: DE auf Deutsch

  • Automatic Call for Rescue After Crash
    Computerworld.ch, 28.02.2005
    Click here for the full text: DE auf Deutsch

  • Software Finds Bugs in Car Electronics
    Computerwelt.at, 28.02.2005
    Click here for the full text: DE auf Deutsch

  • Zero Faults in Car Electronics
    NeMa — Der Marktplatz der Werkstofftechnik, 28.02.2005
    Click here for the full text: DE auf Deutsch

  • From Computer Grpaphics to Software Engineering to Artifical Intelligence
    Innovations Report, 28.02.2005
    Click here for the full text: DE auf Deutsch

  • "Verisoft" Tests and Verifies Car Electronics
    Yahoo! News, 25.02.2005
    Click here for the full text: DE auf Deutsch

  • German Verification Day — Presentations of AVACS and Verisoft
    Informationsdienst Wissenschaft, 25.02.2005
    Click here for the full text: DE auf Deutsch

  • "Verisoft" Tests and Verifies Car Electronics
    Innovations Report, 25.02.2005
    Click here for the full text: DE auf Deutsch

  • "Verisoft" Tests and Verifies Car Electronics
    pressetext Nachrichtenagentur, 25.02.2005
    Click here for the full text: DE auf Deutsch

  • "Verisoft" Tests and Verifies Car Electronics
    Wallstreet online, 25.02.2005
    Click here for the full text: DE auf Deutsch

  • Objective: Zero Faults in Car Electronics
    Saar Echo, 25.02.2005
    Click here for the full text: DE auf Deutsch

  • Zero Faults in Car Electronics
    innovations report, 24.02.2005
    Click here for the full text: DE auf Deutsch

  • Zero Faults in Car Electronics
    Informationsdienst Wissenschaft, 24.02.2005
    Click here for the full text: DE auf Deutsch

2004

  • Wolfgang Paul Tells Utah Business Leaders How to Make Computing 100 Percent Fault Free
    Utah Information Technology Association, 10.09.2004
    Click here for the full text: EN in English

  • Die Körpermesser kommen
    iX Cebit/2004, 03.2004
    Click here for the full text: DE auf Deutsch

  • Informatics Saarland — Trendsetting and with Worldwide Demand
    Innovations Report, 08.03.2004
    Click here for the full text: DE auf Deutsch

  • Verisoft Finds Needles in the Haystack
    Innovations Report, 02.03.2004
    Click here for the full text: DE auf Deutsch

  • Work on new Leadvisions Starts
    Innovations Report, 02.02.2004
    Click here for the full text: DE auf Deutsch

2003

  • Research Ministry Funds Standard for IT Security
    Heise Online, 01.10.2003
    Click here for the full text: DE auf Deutsch

  • German Federal Ministry of Education and Research Funds Standard for IT Security
    Innovations Report, 01.10.2003
    Click here for the full text: DE auf Deutsch

  • 3,3 Million for the Computer Scientists in Saarland
    Saarbrücker Zeitung, 02.09.2003
    Click here for the full text: DE auf Deutsch EN in English

  • Computer Scientists are Doing a Research on a Safe Computer
    Saarländischer Rundfunk, 26.08.2003
    Click here for the full text: DE auf Deutsch EN in English

 
Revision 14 Mar 2006