Press Archive

2007

• Operating System Without Bugs
  Financial Times Deutschland, 15.03.2007
  Click here for the full text: 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: auf Deutsch

2006

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

• Saarland Visit Fosters Utah-Germany Technology Collaboration
  Utah Technology Council, 19.10.2006
  Click here for the full text: 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: in English

• Fixing bugs in new software by software
  Die Welt.de, 21.03.2006
  Click here for the full text: 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: auf Deutsch

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

2005

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

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

• Software to Check Car Electronics Already at Design Time
  Handelsblatt, 11.09.2005
  Click here for the full text: 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: auf Deutsch

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

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

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

• Testing Chips with Mathematical Methods
  InfoWeek.ch, 26.08.2005
  Click here for the full text: 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: auf Deutsch

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

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

• Mathematical Methods for Bug-Free Chip Design Developed
  COMPUTERWOCHE.de, 26.08.2005
  Click here for the full text: 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: auf Deutsch

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

• Zero Faults in Car Electronics
  Informationsdienst Wissenschaft, 24.02.2005
  Click here for the full text: 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: in English

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

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

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

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

2003

• Research Ministry Funds Standard for IT Security
  Heise Online, 01.10.2003
  Click here for the full text: 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: auf Deutsch

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

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