Study & Teaching
Beginning your Studies
Prospective Students
Degree Programmes
Application
Fit4TU
Why Braunschweig?
During your Studies
Fresher's Hub
Term Dates
Courses
Practical Information
Beratungsnavi
Additional Qualifications
Financing and Costs
Special Circumstances
Health and Well-being
Campus life
At the End of your Studies
Discontinuation and Credentials Certification
After graduation
Alumni*ae
For Teaching Staff
Strategy, Offers and Information
Learning Management System Stud.IP
Contact
Study Service Centre
Academic Advice Service
Student Office
Career Service
Research
Research Profile
Core Research Areas
Clusters of Excellence at TU Braunschweig
Research Projects
Research Centres
Professors‘ Research Profiles
Early Career Researchers
Support in the early stages of an academic career
PhD-Students
Postdocs
Junior research group leaders
Junior Professorship and Tenure-Track
Habilitation
Service Offers for Scientists
Research Data & Transparency
Transparency in Research
Research Data
Open Access Strategy
Digital Research Announcement
Research Funding
Research Funding Network
Research funding
Contact
Research Services
Academy for Graduates
International
International Students
Why Braunschweig?
Degree seeking students
Exchange Studies
TU Braunschweig Summer School
Refugees
International Student Support
Going Abroad
Studying abroad
Internships abroad
Teaching and research abroad
Working abroad
International Researchers
Welcome Support
PhD Studies
Service for host institutes
Language and intercultural competence training
Learning German
Learning Foreign Languages
Intercultural Communication
International Profile
Internationalisation
International Cooperations
Strategic Partnerships
International networks
International House
About us
Contact & Office Hours
News and Events
International Days
5th Student Conference: Internationalisation of Higher Education
Newsletter, Podcast & Videos
Job Advertisements
TU Braunschweig
Our Profile
Aims & Values
Regulations and Guidelines
Alliances & Partners
The University Development Initiative 2030
Foundation University
Facts & Figures
Our History
Career
Working at TU Braunschweig
Vacancies
Economy & Business
Entrepreneurship
Friends & Supporters
General Public
Check-in for Students
The Student House
Access to the University Library
Media Services
Communications and Press Service
Services for media
Film and photo permits
Advices for scientists
Topics and stories
Contact
General Contact
Getting here
Organisation
Presidency & Administration
Executive Board
Designated Offices
Administration
Committees
Faculties
Carl-Friedrich-Gauß-Fakultät
Faculty of Life Sciences
Faculty of Architecture, Civil Engineering and Environmental Sciences
Faculty of Mechanical Engineering
Faculty of Electrical Engineering, Information Technology, Physics
Faculty of Humanities and Education
Institutes
Institutes from A to Z
Facilities
University Library
Gauß-IT-Zentrum
Professional and Personnel Development
International House
The Project House of the TU Braunschweig
Transfer Service
University Sports Center
Facilities from A to Z
Equal Opportunity Office
Equal Opportunity Office
Family
Diversity for Students
Search
Quicklinks
People Search
Webmail
cloud.TU Braunschweig
Messenger
Cafeteria
Courses
Stud.IP
Library Catalogue
IT Services
Information Portal (employees)
Link Collection
DE
EN
IBR YouTube
Facebook
Instagram
YouTube
LinkedIn
Mastodon
Menu
Search
Organisation
Faculties
Carl-Friedrich-Gauß-Fakultät
Institutes
Institute of Operating Systems and Computer Networks
IBR Login
Institute of Operating Systems and Computer Networks
News
About us
Whole Team
Directions
Floor Plan
Projects
Publications
Software
News Archive
Connected and Mobile Systems
Team
Courses
Theses
Projects
Publications
Software
Datasets
Reliable System Software
Overview
Team
Teaching
Theses & Jobs
Research
Publications
Algorithms
Team
Courses
Theses
Projects
Publications
Microprocessor Lab
Education
Summer 2025
Winter 2024/2025
Theses
Services
Library
Mailinglists
Webmail
Knowledge Base
Wiki
Account Management
Services Status
Spin-Offs
Docoloc
bliq
(formerly AIPARK)
Confidential Technologies
Research Cooperations
IST.hub
Arne Vogel
Ehemaliger Wissenschaftlicher Mitarbeiter
vogel[[at]]ibr.cs.tu-bs.de
Meine persönliche Webseite:
www.arnevogel.com
Open theses:
No entries found.
Running theses:
No entries found.
Finished theses:
Title
Type
Supervisor
Status
Implementation of a Tree Structure for the Formal Verification Tool Ivy
Bachelor Thesis
Arne Vogel
finished ~2022
