News Archiv



Bild der Pressemitteilung
Neue Technik für das Reparieren aus der Ferne

Viele deutsche Unternehmen agieren heutzutage global: Sie entwickeln in heimischen Gefilden, produzieren aber in Ländern wie China, Brasilien oder Tschechien. Für Wartungen und Reparaturen müssen Ingenieure, die einst die komplexen Produktionsanlagen entwickelt haben, oft aus Deutschland anreisen.

Bild der Pressemitteilung
Die Saarbrücker Graduiertenschule für Informatik stellt sich vor

Seit Oktober 2012 forscht Doktorand Hazem Torfah bei Professor Bernd Finkbeiner am Lehrstuhl für Reaktive Systeme. Torfah ist einer von derzeit rund 375, die es an die Saarbrücker Graduiertenschule für Informatik geschafft haben. Hier können besonders begabte Studenten bereits ab dem Bachelorabschluss direkt mit dem Promotionsstudium beginnen. Jedes Semester bewerben sich Hunderte Kandidaten aus aller Welt auf die rund 30 Plätze.

Bild der Pressemitteilung
Bösartige Android-Apps bereits im App Store erkennen

„Woher weiß ich, dass eine neu installierte App genau das auf meinem Smartphone tut?“, fragt Andreas Zeller, Professor für Softwaretechnik an der Universität des Saarlandes. Bisher habe man solche „bösartigen“ Apps entlarvt, indem man sie mit bereits bekannten Angriffsmustern verglich. „Was aber, wenn der Angriff brandneu ist?“, so Zeller.

Bild der Pressemitteilung
Computer ordnet Bilder nach künstlerischen Aspekten

Wenn ein Naturfotograf bislang etwa Bilder diverser Schmetterlinge systematisch nach Farbe oder Größe für einen Bildband anordnen wollte, brauchte er viel Zeit: Per Hand musste er die einzelnen Abbildungen der Tiere auf dem Computer in die gewünschte Reihenfolge bringen. Eine passende Software, die Bilder schnell und automatisch nach bestimmten Kriterien gleichmäßig anordnet, gab es nicht.

Bild der Pressemitteilung
Doktorand der Saarbrücker Graduiertenschule für Informatik für lernfähige Systeme ausgezeichnet

Ob ein Satellit in der Umlaufbahn oder ein Airbag im Auto – viele Geräte kommunizieren ständig mit ihrer Umgebung. Fachleute sprechen bei dieser Technologie von reaktiven Systemen. An der Universität des Saarlandes entwickelt die Arbeitsgruppe von Professor Bernd Finkbeiner unter anderem Methoden für die Entwicklung und Analyse solcher Systeme. Mit Hilfe von Modellen lassen sich reaktive Systeme automatisch auf Fehler untersuchen und darauf aufbauend, durch spezielle Verfahren, in ausführbare Programmcodes übersetzen – ohne dass Entwickler Hand anlegen müssen.

1 ...
215216217218219 ...
236