Studium & Lehre
Vor dem Studium
Informationen für Studieninteressierte
Studiengänge von A-Z
Bewerbung
Fit4TU - Self-Assessment
Orientierungsstudium
Im Studium
Erstsemester-Hub
Semestertermine
Lehrveranstaltungen
Informationen für Erstsemester
Studien-ABC
Studienorganisation
Beratungsangebote
Zusatzqualifikationen
Finanzierung und Kosten
Besondere Studienbedingungen
Campusleben
Nach dem Studium
Exmatrikulation und Vorlegalisation
Nach dem Abschluss
Alumni
Strategien und Qualitätsmanagement
Strategiepapiere für Studium und Lehre
Studienqualitätsmittel
Qualitätsmanagement
Rechtliche Grundlagen
Für Lehrende
Informationen für Lehrende
Konzepte
Lernmanagementsystem Stud.IP
Lehre und Medienbildung
Kontakt
Studienservice-Center
Sag's uns - in Studium und Lehre
Zentrale Studienberatung
Immatrikulationsamt
Abteilung 16 - Studium und Lehre
Career Service
Projekthaus
Forschung
Forschungsprofil
Forschungsschwerpunkte
Exzellenzcluster
Forschungsprojekte
Forschungszentren
Wissenschaftlicher Nachwuchs
Förderung des wissenschaftlichen Nachwuchs
Promotion
Postdocs
Nachwuchsgruppenleitung
Junior Professur und Tenure-Track
Habilitation
Service-Angebote für Wissenschaftler*innen
Forschungsdaten & Transparenz
Transparenz in der Forschung
Forschungsdaten
Open Access Strategie
Digitale Forschungsanzeige
Forschungsförderung
Datenbanken und Stiftungen
Kontakt
Forschungsservice und EU-Hochschulbüro
Graduiertenakademie
International
Internationale Studierende
Warum Braunschweig?
Studium mit Abschluss
Austauschstudium
Promotion
Geflüchtete Studierende
Welcome Programme
TU Braunschweig Summer School
Wege ins Ausland
Studium im Ausland
Praktikum im Ausland
Promotion im Ausland
Lehren und Arbeiten im Ausland
Wissenschaftlerinnen und Wissenschaftler
Forschen an der TU Braunschweig
Forschungsservice und EU-Hochschulbüro
Sprachen und interkulturelle Kompetenzvermittlung
Deutsch lernen
Fremdsprachen lernen
Interkulturelle Kompetenzvermittlung
Internationales Profil
Internationalisierung
Internationale Kooperation
International House
Informationen für Erstsemester
Kontakt
Aktuelles und Termine
Beratung und Sprechstunden
Standort
Wir über uns
Publikationen
Stellenausschreibungen
Die TU Braunschweig
Unser Profil
Ziele & Werte
Ordnungen und Leitlinien
Allianzen & Partner
Internationale Strategie
Fakten & Zahlen
Unsere Geschichte
Karriere
Arbeiten an der TU
Stellenmarkt
Berufsausbildung an der TU
Wirtschaft & Unternehmen
Wissens- und Technologietransfer
Unternehmensgründung
Freunde & Förderer
Öffentlichkeit
Veranstaltungskalender
TU-Night
Check-in für Schüler*innen
Hochschulinformationstag (HIT)
Kinder-Uni
Gasthörer*innen & Seniorenstudium
Nutzung der Universitätsbibliothek
Presse & Kommunikation
Stabsstelle Presse und Kommunikation
Medienservice
Ansprechpartner*innen
Tipps für Wissenschaftler*innen
Themen und Stories
Kontakt
Allgemeiner Kontakt
Anreise
Struktur
Leitung & Verwaltung
Universitätsleitung
Stabsstellen
Verwaltung
Organe, Statusgruppen und Kommissionen
Fakultäten
Carl-Friedrich-Gauß-Fakultät
Fakultät für Lebenswissenschaften
Fakultät Architektur, Bauingenieurwesen und Umweltwissenschaften
Fakultät für Maschinenbau
Fakultät für Elektrotechnik, Informationstechnik, Physik
Fakultät für Geistes- und Erziehungswissenschaften
Institute
Institute von A-Z
Einrichtungen
Universitätsbibliothek
Gauß-IT-Zentrum
International House
Projekthaus
Transfer- und Kooperationshaus
Sportzentrum
Einrichtungen von A-Z
Studierendenschaft
Studierendenparlament
Fachschaften
Lehrer*innenbildung
Lehramtsstudium
Lehrer*innenfortbildung
Forschung
Chancengleichheit
Gleichstellung
Familie
Diversität
Kontakt
Personensuche
Suche
Schnellzugriff
Personensuche
Webmail
Campusplan
CloudStorage
Messenger
Mensa
TUconnect (Studierendenportal)
Lehrveranstaltungen
Stud.IP
UB Katalog
Status GITZ-Dienste
Störungsmeldung
IT Self-Service
Informationsportal (Beschäftigte)
Linksammlung
DE
EN
IBR Twitter
IBR YouTube
Facebook
Twitter
Instagram
YouTube
LinkedIn
Menü
Suche
Struktur
Fakultäten
Carl-Friedrich-Gauß-Fakultät
Institute
Institut für Betriebssysteme und Rechnerverbund
IBR Login
Institut für Betriebssysteme und Rechnerverbund
News
Wir über uns
Gesamtes Team
Anreise
Raumplan
Projekte
Veröffentlichungen
Software
News Archiv
Connected and Mobile Systems
Team
Lehrveranstaltungen
Abschlussarbeiten
Projekte
Veröffentlichungen
Software
Datensätze
Verlässliche Systemsoftware
Übersicht
Team
Lehre
Arbeiten & Jobs
Forschung
Publikationen
Algorithmik
Team
Lehrveranstaltungen
Abschlussarbeiten
Projekte
Veröffentlichungen
Mikroprozessorlabor
Studium
Sommersemester 2025
Wintersemester 2024/2025
Sommersemester 2024
Abschlussarbeiten
Service
Bibliothek
Mailinglisten
Webmail
Knowledgebase
Wiki
Account Management
Service-Status
Spin-Offs
Docoloc
bliq
(formerly AIPARK)
Confidential Technologies
Forschungsverbünde
IST.hub
Arne Vogel
Ehemaliger Wissenschaftlicher Mitarbeiter
vogel[[at]]ibr.cs.tu-bs.de
Meine persönliche Webseite:
www.arnevogel.com
Offene Arbeiten:
Keine Einträge gefunden.
Laufende Arbeiten:
Keine Einträge gefunden.
Abgeschlossene Arbeiten:
Titel
Art
Betreuer
Status
Implementierung einer Baumstruktur für das formale Verifikationstool Ivy
Bachelorarbeit
Arne Vogel
abgeschlossen ~2022
