Media coverage
- elektroniknet.de, June 17, 2024
Echtzeitschranken für Multicore-Prozessoren
- heise.de, August 4, 2023
Wichtige ARM-Kunden gründen RISC-V-Allianz in Deutschland
- elektroniknet.de, June 20, 2022
Modelltransformation und automatische Codegenerierung
- Saarbrücker Zeitung, June 11, 2022
Zwei Informatiker aus dem Saarland erhalten den begehrtesten Software-Preis
- «Электроника —
наука,
технология,
бизнес», №4/2022
«Статический
анализатор
стека
AbsInt StackAnalyzer
поддерживает
архитектуры
MIPS32 и RISC-V»
- Elektronik
special issue on safety and security 2019
Auf den Spuren des Worst-Case (download PDF)
- Medizin-Elektronik
issue 02/2019, pages 38–41
Von der Vision zur Wirklichkeit (download PDF)
- Elektronik
issue 20/2016, pages 38–40
Höhere Zuverlässigkeit durch Einsatz eines formal verifizierten Compilers
- Elektronik & Elektronik automotive,
joint special issue on functional safety, 7/2015, page 22
Multicore-CPUs in sicherheitskritischen Echtzeitsystemen (download PDF)
- Elektronik embedded, issue 10/2014, page 15
Echtzeitanalyse für softwaregesteuerte Systeme (download PDF)
- Elektronik automotive, issue 3/2014
Safely Excluding Serious Errors (download PDF)
- Hanser automotive, issue 3/2013
Statische Analysen im Sicherheitsnachweis gemäß ISO-26262:
Korrektes Timing, keine Stacküberläufe, keine Laufzeitfehler
- Medizin+Elektronik, 2012
Statische Analysen schützen Patienten
- computer-automation.de, December 6, 2011
Forschungsprojekt ARAMiS – 40 Millionen Euro für sichere Multicore-Konzepte
- IDW online, November 23, 2011
Forschungsverbund soll die Sicherheit von IT-Systemen im Bahn- und Flugverkehr garantieren
- E&E Magazine, issue 3/2011
Echtzeitfähigkeit von Multicores
- Design&Elektronik, 2010
Nix da! Nachweis der Abwesenheit von Laufzeitfehlern mit
Astrée
- Saarbrücker Zeitung, September 8, 2009, page B5
Mit Misstrauen zum Erfolg – Informatik-Professor Reinhard Wilhelm erhält Konrad-Zuse-Medaille
- ComputerZeitung, June 15, 2009
Echtzeit-Anforderungen werden verfolgbar und verifizierbar —
Sureal-Prozess: quasi das V-Modell XT für sicherheitskritische Software
- Saarbrücker Zeitung, May 12, 2009
Saarbrücker machen Airbus sicherer
- Design&Elektronik, April 2009
Europäische Referenz-Toolkette
- Sourceforge Magazine, January 19, 2009
aiSeeはレイアウトが複雑なグラフの作成に役立つ
- linux.com, June 2, 2008
aiSee helps create graphs with complex layouts
- Innovations-Report, April 1, 2008
Wieviel Zeit bleibt bis zum Worst-Case?
- Saarbrücker Zeitung, February 5, 2008
‘Predator’ hat die Reaktionszeit von Computerprogrammen im Blick
- heise online, January 30, 2008
Reagiert die Elektronik in Autos immer rechtzeitig?
EU-Projekt Predator erforscht die Zeit-Analyse sicherheitskritischer Systeme
- WirtschaftsWoche 43/2007
Projekt Zukunft
- Saarländischer Rundfunk (TV), Aktueller Bericht, October 15, 2007
Software für den Airbus
- Computer-Zeitung, April 30, 2007
Eingebettete Systeme spielen zentrale Rolle in der Wertschöpfung
Interview with AbsInt’s CEO Christian Ferdinand
- OEM&Lieferant, Messeausgabe, IAA Nutzfahrzeuge 2006
Statische Analysen der Worst-Case-Laufzeit
- Global by Design — Web Globalization Best Practices, January 2006
Big Results from Small Budgets
- Messe Direkt, IAA 2005
Alles wird eingebettet – Informatiker wollen Elektronik im Auto sicherer machen
- Saarbrücker Zeitung, September 17, 2005
Saarland zeigt Auto-Technik der Zukunft – bei der IAA präsentieren Saar-Forscher Projekte rund ums sichere Auto
- Handelsblatt.com, IAA-Special, September 11, 2005
Software prüft Autoelektronik bereits beim Entwurf
- Automobil-Elektronik 3/2005
Zeitvorhersage für den Worst-Case
- c’t 14/2005
Ein Europäer in Paris – Luftfahrtmessen-Premiere des Airbus A380
- Hanser Automotive, Electronics Systems, Issue 05–06/2005
Steuerungssoftware für Safety-Anwendungen
- Saarländischer Rundfunk (TV), Aktueller Bericht, April 27, 2005
Airbus fliegt mit saarländischer Technik
- Saarländischer Rundfunk (TV), Aktueller Bericht, April 15, 2005
Software für den Airbus
- Zeit.de, April 12, 2005
Airbus A380 startet zum Jungfernflug mit Technik aus Saarbrücken
- Saarbrücker Zeitung, April 6, 2005
Starthilfe für den Super-Airbus
- IDW online, January 17, 2005
Saarbrücker Informatiker machen Elektronik im Auto sicherer
- Saarbrücker Zeitung, October 8, 2003
Saar-Informatiker auf Höhenflug – Wissenschaftspreis IST der
Europäischen Union für das Hightech-Unternehmen AbsInt aus
Saarbrücken
- Saarländischer Rundfunk (TV), Aktueller Bericht, May 10, 2003
Daniel Kästner erhält den Wissenschaftspreis der Landesbank Saar
- Saarbrücker Zeitung, May 8, 2003
Schrumpfkur für Computer-Chips – Informatiker der Saar-Universität machen die Entwicklung von Handys billiger
