Pressespiegel

• Forschung: Fehlerfreie Software als Zie
  automotiveit.eu, 22.03.2010
  Zum vollständigen Artikel: auf Deutsch
  
  
• Korrektheit des SYSGO PikeOS Microkernels präsentiert bei der Embedded World Conference
  Pressemitteilung der SYSGO AG, 22.02.2010
  Zum vollständigen Artikel: auf Englisch
  
  
• Der Weg zur fehlerfreien Software
  ibtimes.de, 08.01.2010
  Zum vollständigen Artikel: auf Deutsch
  
  
• Die Entwicklung eines Programmierers: Michał Moskals Reise
  Futures — Microsoft's European Innovation Magazine, Ausgabe vom Dezember 2009, S. 42–43, 01.12.2009
  Zum vollständigen Artikel: auf Englisch
  
  
• SYSGO präsentiert Durchbruch in formaler Sicherheitsverifikation für PikeOS™ im Verisoft XT Projekt bei der SAFECOMP 2009
  Pressemitteilung der SYSGO AG, 15.09.2009
  Zum vollständigen Artikel: auf Englisch
  
  
• Software-Fehlern auf der Spur
  Bericht aus 3sat neues — Das Computermagazin, 24.05.2009
  Zum vollständigen Artikel: auf Deutsch
  
  
• Forschung zu virtuellen Welten, digitalem Fernsehen und Finanzplanung auf CeBIT 2009
  Pressemitteilung der Universität des Saarlandes, 24.02.2009
  Zum vollständigen Artikel: auf Deutsch
  
  
• Michał Moskal — VCC, Verifying C Compiler
  Video von Peli de Halleux bei Channel 9, Microsoft Development Network, 30.01.2009
  Zum vollständigen Artikel: auf Englisch
  
  
• SYSGO verzeichnet historisches Wachstum für 2008
  embedded-linux.de, 28.01.2009
  Zum vollständigen Artikel: auf Deutsch
  
  
• SYSGO verzeichnet historisches Wachstum für 2008
  Pressemitteilung der SYSGO AG, 28.01.2009
  Zum vollständigen Artikel: auf Englisch auf Französisch
  
  
• Softwareverifikation im European Microsoft Innovation Centre
  Video von Lori Grosland bei Channel 9, Microsoft Development Network, 29.09.2008
  Zum vollständigen Artikel: auf Englisch
  
  
• Microsoft Feiert 5 Jahre Forschung in Deutschland
  Pressemitteilung von Microsoft, 29.09.2008
  Zum vollständigen Artikel: auf Englisch
  
  
• Verifikation von 50000 Zeilen C Code
  Futures — Microsoft's European Innovation Magazine, Ausgabe vom Juni 2008, S. 42–43, 01.06.2008
  Zum vollständigen Artikel: auf Englisch
  
  
• Ein Käfer im Airbus
  Computerra, Ausgabe 11, 26.03.2008
  Zum vollständigen Artikel: auf Russisch
  
  
• Forschung zur Fehlersuche, Spionage und Internet-Zukunft auf CeBIT 2008
  idw-online.de, 28.02.2008
  Zum vollständigen Artikel: auf Deutsch
  
  
• SYSGO bei der Embedded World 2008: Sichere Virtualisierung für eingebettete Echtzeitbetriebssysteme
  embedded-computing.com, 18.02.2008
  Zum vollständigen Artikel: auf Englisch
  
  
• Rechnen statt stöhnen
  Technology Review, Ausgabe vom November 2007, S. 40–45, 01.11.2007
  Zum vollständigen Artikel: auf Deutsch
  
  
• Startschuss für millionenschweres Projekt am DFKI
  Saarbrücker Zeitung, 18.09.2007
  Zum vollständigen Artikel: auf Deutsch
  
  
• Qualitätssiegel "Verified in Germany" — Kick-off Meeting Verisoft XT
  idw-online.de, 17.09.2007
  Zum vollständigen Artikel: auf Deutsch
  
  
• Kick-off Meeting Verisoft XT
  uni-protokolle.de, 12.09.2007
  Zum vollständigen Artikel: auf Deutsch
  
  
• Kick-off Meeting Verisoft XT
  idw-online.de, 11.09.2007
  Zum vollständigen Artikel: auf Deutsch
  
  
• Gibt es Computer ohne Fehler?
  Interview in Folge 60 des ComputerClub 2, 30.07.2007
  Zum vollständigen Artikel: auf Deutsch
  
  
• Software ohne Fehl und Tadel
  Saarbrücker Zeitung, 17.07.2007
  Zum vollständigen Artikel: auf Deutsch
  
  
• Leitprojekt soll Null-Fehler-Software zum Exportschlager machen
  computerzeitung.de, 13.07.2007
  Zum vollständigen Artikel: auf Deutsch
  
  
• "Verified in Germany" wird Qualitätsmerkmal deutscher Software
  Pressemitteilung des BMBF Pressereferats, 11.07.2007
  Zum vollständigen Artikel: auf Deutsch
  
  
• Microsoft steigt in deutsches Forschungsprojekt ein
  TecChannel.de, 11.07.2007
  Zum vollständigen Artikel: auf Deutsch
  
  
• Microsoft steigt in Forschungsprojekt Verisoft ein
  Juraforum.de, 10.07.2007
  Zum vollständigen Artikel: auf Deutsch
  
  
• "Verified in Germany": Mit Steuergeldern gegen Software-Fehler
  pcwelt.de, 10.07.2007
  Zum vollständigen Artikel: auf Deutsch
  
  
• Microsoft steigt in Forschungsprojekt Verisoft ein
  de.internet.com, 10.07.2007
  Zum vollständigen Artikel: auf Deutsch
  
  
• Microsoft steigt in Forschungsprojekt Verisoft ein
  pressebox.de, 10.07.2007
  Zum vollständigen Artikel: auf Deutsch