Verifikationstechniken für Multicore-Plattformen: Universität zu Lübeck

Universität
- Universität
Studium
- Studium
- Studieren
- Kennenlernen
- Schnuppertage
- Bewerbung
- Studierendenvertretungen
- Studium und Gesundheit
- Einrichtungen und Services
- Studierenden-Service-Center
- International Office
- Schülerakademie
- Hochschulbibliothek
- Dozierenden-Service-Center
- Studienrichtungen
- Medizin und Gesundheitswissenschaften
- Informatik und Mathematik
- Naturwissenschaften
- Psychologie
- Technik
Promotion
- Promotion
- Services
- Überblick
- Qualifizierungsangebot
- Stipendien
- Ansprechpersonen
- Registrierung zur Promotion
- Promotionsverfahren
- Doktorandenrat
- Überblick
- Center for Doctoral Studies Lübeck
- Portal
- Überblick
- Struktur und Organisation
- Strukturierte Promotionsprogramme
- DFG-Graduiertenschule: Computing in Medicine and Life Sciences
- DFG-GRK 1727: Modulation of Autoimmunity
- DFG-GRK 1743: Gene, Umwelt und Entzündung
- DFG-iGRK 1911: Immunregulation der Entzündung b. Allergien u. Infektionen
- DFG-GRK 1957: Adipocyte-Brain Crosstalk
- ITN ENTRAIN
- BMBF-Forschungskolleg: Lübeck Medical Engineering (LUMEN)
Forschung
- Forschung
- Sektionen
- Informatik/Technik
- Medizin
- Naturwissenschaften
- Forschungsdienste
- Zentrale Biobank (ICB-L)
- Gemeinsame Tierhaltung (GTH)
- Zentrum für Klinische Studien (ZKS)
- CAnaCore-Plattform
- Forschungsdatenmanagement
- Forschungsschwerpunkte
- Gehirn, Hormone, Verhalten
- Infektion und Entzündung
- Biomedizintechnik
- Querschnittsbereiche
- Medizinische Genomik
- Profilgebende Bereiche
- Bevölkerungsmedizin
  und Versorgungsforschung
- Translationale Onkologie
- Kulturwissenschaften
  und Wissenskulturen
- Gesundheitswissenschaften
- Forschungsförderung
- Externe Fördermöglichkeiten
- Interne Fördermöglichkeiten
- Verbundforschung
- DFG-Verbünde
- BMBF-Netzwerke
- Kommissionen
- Ethikkommission
- Gute wissenschaftliche Praxis
- Service
- Team
- Veranstaltungen
- Forschungsportal
Technologietransfer
- Technologietransfer
- Technologietransfer
- Portal
- Strukturen
- Wirtschaftskooperation
  und Auftragsforschung
- Kooperationsverträge
- Auftragsforschung
- Erfindungen und Patente
- Beratung von ErfinderInnen
- Patentdatenbanken, Recherchen
- Beteiligungen
  und Ausgründungen
- Beteiligungsmanagement
- Beteiligungen der Universität
- Vereinsmitgliedschaften
- Preise und Auszeichungen
- Thomas-Fredenhagen-Preis
- Gründerpreis der Sparkasse
  zu Lübeck AG
- Campusübergreifende
  Kompetenzzentren
- Hanse Innovation Campus Lübeck
- Gründercube
- Kontakt und Information
- Kontakt/Team
- Anfahrt
- Downloadbereich
Partner
- Partner
- Forschungspartnerschaften
- Christian-Albrechts-Universität Kiel
- Max-Planck-Institut in Plön
- European Academy of Bozen/Bolzano
- Internationale Partnerschaften
- Partneruniversitäten
Aktuelles
- Aktuelles
- Presse
- Pressestelle
- Pressemitteilungen
- Pressespiegel
- Newsletter
- Blog der Präsidentin
- Jahrbuch
- Lübeck aktiv für die Ukraine
- Bekanntmachungen
- Stellenangebote
- Ausschreibungen
- Amtliche Bekanntmachungen
- Regelungen zu Corona
- Veranstaltungen
- Veranstaltungskalender
- Die Universität in der Stadt
- Raumvermietung
- Öffentliche Vorlesungen
- Sonntagsvorlesungen
- Studium Generale
- Feierliche Anlässe
- Preise der Universität
- Jahresempfang
- Antritts- und Abschiedsvorlesungen
- Erstsemesterbegrüßung
- Abschlussfeiern
- Hochschulmagazin
- focus LIVE

Verifikationstechniken für Multicore-Plattformen

Mittwoch, 12.09.2018

Im Rahmen des Projektes ARAMiS II werden Entwicklungsprozesse, -werkzeuge und Plattformen für den effizienten Einsatz von Multicore-Technologie analysiert und entwickelt. In enger Zusammenarbeit mit dem Partner Accemic entwickelt das Institut für Softwaretechnik und Programmiersprachen (ISP) moderne Runtime-Verification-Techniken für Multicore-Plattformen.

Aktuelles zur Forschung

Verifikationstechniken für Multicore-Plattformen