Friedrich-Alexander-Universität Erlangen-Nürnberg
Technische Fakultät
Department Informatik
Adresse
Martensstraße 3
91058 Erlangen
Deutschland
GERiT
Diese Institution in GERiT
91058 Erlangen
Projekte
Heisenberg-Stipendien
abgeschlossene Projekte
Venia legendi: Informatik
(Antragsteller
Kohlhase, Michael
)
Schwerpunktprogramme
abgeschlossene Projekte
ALMANAC: Argumentationslogik-Manager & Argumentkontext-Graph
(Antragsteller
Kohlhase, Michael
)
Dual-Phasen-Stähle - Von Mikro- zu Makro-Eigenschaften (EXASTEEL-2)
(Antragsteller
Balzani, Daniel
;
Klawonn, Axel
;
Rheinbach, Oliver
;
Schröder, Jörg
;
Wellein, Gerhard
)
ESSEX II: Eigenwertlöser für dünn besetzte Matrixprobleme: Skalierbare Software für Exascale-Anwendungen II
(Antragsteller
Basermann, Achim
;
Fehske, Holger
;
Hager, Georg
;
Lang, Bruno
;
Wellein, Gerhard
)
Methodik und Werkzeuge zur Entwicklung optimierter Echtzeitsysteme im Kontext von SDL/MSC und VHDL
(Antragsteller
Herzog, Ulrich
)
Sachbeihilfen
laufende Projekte
Erzeugung von Anwender-geleiteten Open Source Konsortien
(Antragsteller
Riehle, Dirk
)
Ganzheitliche Optimierung für Energiegetriebene Wissenschaftliche Visualisierung
(Antragsteller
Günther, Tobias
)
Industrielle Erfolgsmethoden zur Integration von Microservices
(Antragsteller
Riehle, Dirk
)
Inner-Source-Platform-Entwicklung
(Antragsteller
Riehle, Dirk
)
Passwort-gehärtete Verschlüsselung
(Antragsteller
Schröder, Dominique
)
abgeschlossene Projekte
Automatische Verifikation von Qualitätsmerkmalen verteilter Systeme
(Antragsteller
Herzog, Ulrich
)
Domänenmodellierung Mittels Qualitativer Datenanalyse
(Antragsteller
Riehle, Dirk
)
Effiziente Leistungsbewertung mit Hilfe von Entscheidungsdiagrammen
(Antragsteller
Herzog, Ulrich
)
Entwicklung und Anwendung eines fundierten Rahmenwerkes für Sicherheit in Sensornetzen
(Antragstellerinnen / Antragsteller
Armknecht, Frederik
;
Benenson, Zinaida
)
Entwicklung von Methoden und Werkzeugen zur semantischen Aufwertung von Tabellenkalkulation
(Antragsteller
Hutter, Dieter
;
Kohlhase, Michael
)
Entwicklung von Methoden und Werkzeugen zur Vernetzung von Logiken/Beweissystemen aus autom. Beweisen, Mathematik und Softwareentwicklung
(Antragsteller
Kohlhase, Michael
;
Mossakowski, Till
)
Erfolgsmethoden zum Management von Open-Source-Gemeinden
(Antragsteller
Riehle, Dirk
)
Erstellung von Anforderungsspezifikationen mit Hilfe von qualitativer Datenanalyse
(Antragsteller
Riehle, Dirk
)
Formal Methods and Semantic Technologies for Engineering Design Processes
(Antragsteller
Kohlhase, Michael
;
Schröder, Lutz
)
Gleichheitsbeweisen höherer Stufe
(Antragsteller
Siekmann, Jörg H.
)
Management-Accounting für Inner Source
(Antragsteller
Riehle, Dirk
)
OAF: Ein Offenes Archiv für Formalisierungen
(Antragsteller
Kohlhase, Michael
;
Rabe, Florian
)
Ontology-Driven Management of Change
(Antragsteller
Hutter, Dieter
;
Kohlhase, Michael
)
Prozessorientierte Dienststruktur für Performance Engineering von wissenschaftlicher Software an deutschen HPC-Zentren
(Antragsteller
Müller, Matthias S.
;
Nagel, Wolfgang E.
;
Wellein, Gerhard
)
Skalenübergreifende Modellierung - von der Quanten- zur Kontinuumsmechanik. Ein Finite-Elemente Ansatz.
(Antragsteller
Davydov, Ph.D., Denis
)
Sonderforschungsbereiche
abgeschlossene Projekte
3-D-Akquisition komplexer Hohlräume mit flexiblen Endoskopen
(Teilprojektleiter
Gerhäuser, Heinz
;
Häusler, Gerd
;
Wittenberg, Thomas
)
AGINT: Ressourcenadaptive kognitive Agenten in zwei Szenarien
(Teilprojektleiter
Jameson, Anthony
;
Kohlhase, Michael
;
Tack, Werner H.
)
Automatische multi-dimensionale Bildanalyse für die Fluoreszenzmikroskopie
(Teilprojektleiter
Wittenberg, Thomas
)
OMEGA, ein mathematisches Assistenzsystem
(Teilprojektleiterinnen / Teilprojektleiter
Kohlhase, Michael
;
Melis, Erica
;
Siekmann, Jörg H.
)
Privacyfreundliches Speichern in der Cloud
(Teilprojektleiter
Backes, Michael
;
Maffei, Ph.D., Matteo
;
Schröder, Dominique
)
Transregios
laufende Projekte
Datenmanagement, Bioinformatik und Imaging-Plattform
(Teilprojektleiterinnen / Teilprojektleiter
Bäuerle, Tobias
;
Ferrazzi, Fulvia
;
Spang, Rainer
;
Wittenberg, Thomas
)
Graduiertenkollegs
laufende Projekte
GRK 2475: Cyberkriminalität und Forensische Informatik
(Sprecher
Freiling, Felix
)
abgeschlossene Projekte
GRK 633: Interdisziplinärer Entwurf verlässlicher Multitechnologie-Systeme
(Sprecher
Dal Cin, Mario
)
Nationale Forschungsdateninfrastruktur Fach- und Methodenkonsortien
laufende Projekte
MaRDI - Mathematische Forschungsdateninitiative
(Sprecher
Hintermüller, Michael
)