elektroniknet.de
17. Juni 2024
„Echtzeitschranken für Multicore-Prozessoren“
heise.de
4. August 2023
„Wichtige ARM-Kunden gründen RISC-V-Allianz in Deutschland“
elektroniknet.de
20. Juni 2022
„Modelltransformation und automatische Codegenerierung“
Saarbrücker Zeitung
11. Juni 2022
„Zwei Informatiker aus dem Saarland erhalten den begehrtesten Software-Preis“
Hanser Automotive
17. November 2021
„Schnelle Analyse umfangreicher Softwarepakete“
Medizin-Elektronik
Sonderausgabe „Blickpunkt Implantate“
06/2019, SS. 42–45
„Sicherheit läßt sich programmieren“
PDF herunterladen
Saarbrücker Zeitung
22. Oktober 2019
„Internationaler Preis für Informatiker“
Elektronik
Sonderausgabe Safety und Security 2019
„Auf den Spuren des Worst-Case“
PDF herunterladen
Medizin-Elektronik
Ausgabe 02/2019, SS. 38–41.
„Von der Vision zur Wirklichkeit“
PDF herunterladen
Elektronik automotive
Ausgabe September 2018, SS. 12ff.
„Der perfekte Compiler“
PDF herunterladen
Elektronik
Ausgabe 20/2016, SS. 38–40
„Höhere Zuverlässigkeit durch Einsatz eines formal verifizierten Compilers“
Elektronik & Elektronik automotive,
gemeinsame Sonderausgabe „Funktionale Sicherheit“, Juli 2015, Seite 22
„Multicore-CPUs in sicherheitskritischen Echtzeitsystemen“
PDF herunterladen
Elektronik embedded 10/2014, Seite 15
„Echtzeitanalyse für softwaregesteuerte Systeme“
PDF herunterladen
Elektronik automotive 3/2014
„Schwere Fehler sicher ausschließen“
PDF herunterladen
Hanser automotive, Ausgabe 3, 2013
„Statische Analysen im Sicherheitsnachweis gemäß ISO-26262:
Korrektes Timing, keine Stacküberläufe, keine Laufzeitfehler“
Medizin+Elektronik, WEKA-Verlag, 2012
„Statische Analysen schützen Patienten“
computer-automation.de, 6. Dezember 2011
„Forschungsprojekt ARAMiS – 40 Millionen Euro für sichere Multicore-Konzepte“
Informationsdienst Wissenschaft online, 23. November 2011
„Forschungsverbund soll die Sicherheit von IT-Systemen im Bahn- und Flugverkehr garantieren“
E&E Magazine 3/2011
„Echtzeitfähigkeit von Multicores“
Design&Elektronik, 2010.
„Nix da! Nachweis der Abwesenheit von Laufzeitfehlern mit
Astrée“
Saarbrücker Zeitung, 8. September 2009, Seite B5
„Mit Misstrauen zum Erfolg –
Informatik-Professor Reinhard Wilhelm erhält Konrad-Zuse-Medaille“
ComputerZeitung, 15. Juni 2009, Seite 9
„Echtzeit-Anforderungen werden verfolgbar und verifizierbar –
Sureal-Prozess: quasi das V-Modell XT für sicherheitskritische Software“
Saarbrücker Zeitung, 12. Mai 2009, Seite A7
„Saarbrücker machen Airbus sicherer –
Software-Firma AbsInt hat einzigartiges Testverfahren entwickelt“
Design&Elektronik, April 2009, Seite 13
„Europäische Referenz-Toolkette“
Elektronik automotive, April 2009, Seite 23
„Europäische Tool-Kette“
Sourceforge Magazine, 19. Januar 2009
„aiSeeはレイアウトが複雑なグラフの作成に役立つ“
Oleg Burlacas Blog, 19. Januar 2009
„Graph visualization for Apache log files“
linux.com, 2. Juni 2008
„aiSee helps create graphs with complex layouts“
Innovations-Report, 1. April 2008
„Wieviel Zeit bleibt bis zum Worst-Case?“
Saarbrücker Zeitung, 5. Februar 2008
„‚Predator‘ hat die Reaktionszeit von Computerprogrammen im Blick“
Embedded Software Engineering Report, Februar 2008
„EU-Projekt Predator: Forschen für die Zeitanalyse“
TecChannel, 31. Januar 2008
„Zeitverhalten komplexer Systeme vorhersagen“
heise online, 30. Januar 2008
„Reagiert die Elektronik in Autos immer rechtzeitig?
EU-Projekt Predator erforscht die Zeit-Analyse sicherheitskritischer Systeme“
Elektronik-Praxis, 30. Januar 2008
„EU-Projekt Predator:
Startschuß für Forschungsprojekt zur Zeit-Analyse von sicherheitskritischen Systemen“
ComputerClub 2, Sendung vom 7. Januar 2008
„Echtzeitanalyse ist ein spannendes Thema“
Interview mit AbsInt-Mitbegründer und -Gesellschafter Prof. Dr. Reinhard Wilhelm.
WirtschaftsWoche Nr. 043 vom 22. Oktober 2007, Seite 181
„Projekt Zukunft: 50 Innovationen, um die uns die Welt beneidet“
Fernsehen des Saarländischen Rundfunks, Aktueller Bericht vom 15. Oktober 2007
„Software für den Airbus“
elektroniknet.de, Januar 2007
„Sicher, nicht träge!“
SciTechs 1/2007
„Der Herr der Zeit“
Computer-Zeitung, 7. Mai 2007
„Durchgängige Entwicklung sorgt für sichere eingebettete Systeme“
Computer-Zeitung, 30. April 2007
„Eingebettete Systeme spielen zentrale Rolle in der Wertschöpfung“
Interview mit AbsInts Geschäftsführer Christian Ferdinand.
Elena Sagalaevas Blog, 14. Februar 2006
Программы для отрисовки графов
OEM&Lieferant, Messeausgabe, IAA Nutzfahrzeuge 2006
„Statische Analysen der Worst-Case-Laufzeit“
Ingenieurstudium, Ausgabe 01/2006
„Immer im Zeitplan – garantiert“
Global by Design – Web Globalization Best Practices, Januar 2006
„Big Results from Small Budgets“
Messe Direkt, IAA 2005
„Alles wird eingebettet – Informatiker wollen Elektronik im Auto sicherer machen“
Saarbrücker Zeitung, 17. September 2005
„Saarland zeigt Auto-Technik der Zukunft – bei der IAA präsentieren Saar-Forscher Projekte rund ums sichere Auto“
innovations-report.de, 13. September 2005
„Laufzeitgarantien für sicherheitskritische Systeme“
Handelsblatt.com, IAA-Special, 11. September 2005
„Software prüft Autoelektronik bereits beim Entwurf“
Saarbrücker Zeitung, 25. August 2005
„Experten sollen gemeinsam forschen“
Automobil Elektronik, Ausgabe 3/2005
„Zeitvorhersage für den worst case“
Zentrale für Produktivität und Technologie Saar e.V., Technologie-Informationen, Ausgabe 7–8/2005
„Software-Tools der Firma AbsInt im Airbus A380“
c’t – Magazin für Computertechnik, Ausgabe 14/2005
„Ein Europäer in Paris – Luftfahrtmessen-Premiere des Airbus A380“
Hanser Automotive, Electronics Systems, Ausgabe 05–06/2005
„Steuerungssoftware für Safety-Anwendungen“
Fernsehen des Saarländischen Rundfunks, Aktueller Bericht vom 27. April 2005
„Airbus fliegt mit saarländischer Technik“
Fernsehen des Saarländischen Rundfunks, Aktueller Bericht vom 15. April 2005
„Software für den Airbus“
Zeit.de, 12. April 2005
„Airbus A380 startet zum Jungfernflug mit Technik aus Saarbrücken“
Saarbrücker Zeitung, 6. April 2005
„Starthilfe für den Super-Airbus“
Informationsdienst Wissenschaft online, 17. Januar 2005
„Saarbrücker Informatiker machen Elektronik im Auto sicherer“
Saarbrücker Zeitung, 8. Oktober 2003
„Saar-Informatiker auf Höhenflug – Wissenschaftspreis IST der
Europäischen Union für das Hightech-Unternehmen AbsInt aus Saarbrücken“
Fernsehen des Saarländischen Rundfunks, Aktueller Bericht vom 10. Mai 2003
„Daniel Kästner erhält den Wissenschaftspreis der Landesbank Saar“
Saarbrücker Zeitung, 8. Mai 2003
„Schrumpfkur für Computer-Chips – Informatiker der Saar-Universität machen die Entwicklung von Handys billiger“
