====== Abschlussarbeiten ====== ~~NOTOC~~ \\ Für Anfragen bitte die [[lehrstuhl:bewerbungshinweise|Bewerbungshinweise]] beachten.\\ \\ Wir betreuen Abschlussarbeiten auf den folgenden Gebieten:\\ \\ * Einsatz formaler Methoden in der Entwicklung eingebetteter Software/Systeme: * Analyse von SPS-Programmen (Ansprechpartner: [[lehrstuhl:mitarbeiter:mross]], [[lehrstuhl:mitarbeiter:voelker]]) * Analyse von graphischen Beschreibungsmitteln, insbesondere GRAFCET nach IEC 60848 (Ansprechpartner: [[lehrstuhl:mitarbeiter:mross]]) * Eingebettete Systeme in der Medizin: * Modellbasierte Patientenbehandlung und automatisierte Überwachung von intensivmedizinischen Daten (Ansprechpartner: [[:lehrstuhl:mitarbeiter:fonck]]) * Erklärbarkeit bei datengetriebenen Algorithmen in der Intensivmedizin (Ansprechpartner: [[:lehrstuhl:mitarbeiter:kruschewsky]]) * Dynamisch vernetzte, extrakorporale Organunterstützung (Ansprechpartner: [[:lehrstuhl:mitarbeiter:wiartalla]]) * Automatisierung der künstliche Beatmung Neugeborener (Ansprechpartner: [[:lehrstuhl:mitarbeiter:pfannschmidt]]) * Entwicklung datenbasierter Algorithmen zur Komplikationserkennung und Modellierung des respiratorischen Systems (Ansprechpartner: [[:lehrstuhl:mitarbeiter:oprea]]) * Solltet ihr ein allgemeines Interesse an einer Abschlussarbeit im Bereich der Medizintechnik haben und könnt euch auf keines der oben genannten Themen festlegen, könnt ihr eure Bewerbung auch gerne an die gesamte Medizintechnikgruppe verschicken: [[medtech-abschlussarbeiten@embedded.rwth-aachen.de]] * [[en:forschung:mobility#open_positions|Cyber-physical Mobility]] \\ Der Lehrstuhl betreibt eine [[https://lists.rwth-aachen.de/postorius/lists/i11-announces.lists.rwth-aachen.de/|Mailingliste]] über die wir unsere Hiwi-Stellen und Abschlussarbeiten ausschreiben. Hier können Sie sich gerne eintragen um diese Meldungen zu erhalten.\\ \\ Bitte wenden Sie sich bei konkretem Interesse an einer der offenen Arbeiten direkt an den entsprechenden wissenschaftlichen Mitarbeiter. ===== Offene Bachelorarbeiten ===== Die folgende Liste ist ggf. nicht vollständig. Für weitere Themenvorschläge wenden Sie sich an die oben genannten Ansprechpartner oder fragen Sie direkt bei den wissenschaftlichen Mitarbeitern nach. \\ \\ /* * [[lehrstuhl:mitarbeiter:stollenwerk|Mobile Organperfusion]] */ * Algorithmen für Vernetzte und Autonome Fahrzeuge, siehe [[en:forschung:mobility#open_positions|Cyber-physical Mobility]] ===== Offene Masterarbeiten ===== Die folgende Liste ist ggf. nicht vollständig. Für weitere Themenvorschläge wenden Sie sich an die oben genannten Ansprechpartner oder fragen Sie direkt bei den wissenschaftlichen Mitarbeitern nach. \\ \\ * Algorithmen für Vernetzte und Autonome Fahrzeuge, siehe [[en:forschung:mobility#open_positions|Cyber-physical Mobility]] ===== Laufende Abschlussarbeiten ===== * {{:lehre:abschlussarbeiten:mv:expose_roman_gensch.pdf|Automatisierte Generierung eines .NET-Interfaces für eine C++-Bibliothek}} * {{ :lehre:i11-expose_huang_2020.pdf | Implementation of Generic Scenarios for Testing of Networked Trajectory Planning}} * {{ :lehre:abschlussarbeiten:ba_cpm_coban_exposee.pdf | A Concept for a Web-based Simulation Environment of a Testbed for Networked and Autonomous Vehicles}} * {{ :lehre:abschlussarbeiten:mb:exposee_ma_hammer.pdf | Entwicklung eines Frameworks zur Anonymisierung von personenbezogenen zeitkontinuierlichen Daten}} * {{ :lehre:abschlussarbeiten:ml:exposee_wrede.pdf | Messung des Einflusses der Blutgerinnung auf die Absorption von infrarotem Licht in Vollblut }} * {{ :lehre: expose_steidl.pdf | (Master) Detection of Vehicle Position on a Pressure-Sensitive Surface Layer}} * {{ :lehre:abschlussarbeiten:sf:expose_menzel_final.pdf | (Master) Framework zur automatisierten ARDS-Erkennung basierend auf KI-gestützten Verfahren}} * {{ :lehre:abschlussarbeiten:sf:expose_ba_nick_stete.pdf | Erklärbarkeitsanalyse von Deep-Learning Modellen zur Erkennung von bilateralen Infiltraten in Röntgenbildern}} * {{ :lehre:abschlussarbeiten:sf:2023_ma_lisa_hartung_expose.pdf | (Master) Comparison of White Box and Black Box Models in the Context of Artificial Intelligence for ARDS Classification}} * {{ :lehre:abschlussarbeiten:sf:expose_kaschel_final.pdf | Few-Shot Learning für die Erkennung von bilateralen Infiltraten in Röntgenbildern}} ===== Abgeschlossene Abschlussarbeiten ===== ==== 2023 ==== * {{ :lehre:abschlussarbeiten:sf:expose_alina_nguyen_final.pdf | Evaluation der Robustheit von Deep Learning Methoden zur Klassifizierung von bilateralen Infiltraten in Thorax-Röntgenbilder}} * {{ :lehre:abschlussarbeiten:sf:expose-ella_petzold.pdf | Identifikation und Evaluation von Patientenclustern in intensivmedizinischen Datenbanken}} * {{ :lehre:abschlussarbeiten:sf:expose-przibylla_final.pdf | (Master) Active Learning for targeted data annotation and model training in intensive care data}} * {{ :lehre:abschlussarbeiten:akr-expose_klinkhart.pdf | Entwickeln eines Schwierigkeitsscores für die Fehlererkennung in intensivmedizinischen Daten}} * {{ :lehre:abschlussarbeiten:akr-expose_pasa.pdf | Essence Neural Network for Explainable Error Detection in Intensive Care Medical Data}} * {{ :lehre:abschlussarbeiten:sf:expose_mesut_tastekin.pdf | Retrospektive Erkennung von ARDS mit Hilfe einer Support Vector Machine}} * {{ :lehre:abschlussarbeiten:akr-expose-koehler.pdf | Retrospektive Klassifikation von Sepsis-Patienten in intensivmedizinischen Sekundärdaten mit Machine Learning}} * {{ :lehre:abschlussarbeiten:akr-expose_nguyen.pdf | (Master) Neural networks and ensemble methods for imputation of inconsistent intensive care data}} * {{ :lehre:abschlussarbeiten:sf:expose_pauli_final.pdf | Automatische Erkennung von bilateralen Infiltraten in Röntgenbildern mit Hilfe von Vision Transformern}} * {{ :lehre:abschlussarbeiten:sf:expose-goldermann.pdf | (Master) Novelty Detection using Deep Learning-based Methods in Intensive Care Data}} * {{ :lehre:abschlussarbeiten:sf:expose_ibach_final.pdf | (Master) An approach to explainable artificial intelligence in the con-text of medical care for ARDS patients}} * {{ :lehre:abschlussarbeiten:sf:expose-hammad_ahmed.pdf | (Master) Detection of ARDS in time series clinical data using Deep Learning models}} * {{ :lehre:abschlussarbeiten:akr-expose-treiber.pdf | (Master) Development of a Framework for post-hoc Explainability of Fault Detection in ICU-Data}} ==== 2022 ==== * {{ :lehre:abschlussarbeiten:mb:expose_ba_bach.pdf | Automatisierte Erkennung von ausgewählten Komplikationen bei der Beatmung von Neugeborenen }} * {{ :lehre:abschlussarbeiten:mb:expose_ba_morkisch.pdf | Detektion von Aktivierungen der Exspirationsmuskulatur gegen die Beatmung von Neugeborenen}} * {{ :lehre:abschlussarbeiten:mb:exposee_ba_romann.pdf | Detection of Ineffective efforts during expiration in the mechanical ventilation of neonates}} * {{ :lehre:abschlussarbeiten:sf:expose_charlotte_wolf_final.pdf | Entwurf eines Frameworks zur Bewertung der Datenqualität in intensivmedizinischen Datenbanken}} * {{ :lehre:abschlussarbeiten:sf:expose_masterarbeit_nottenkaemper_final2.pdf | (Master) Automatische Erkennung von bilateralen Infiltraten in Thoraxröntgenbildern mit Hilfe von Machine Learning}} * {{ :lehre:abschlussarbeiten:sf:expose_valoshyna.pdf | Optimierung von Deep-Learning Modellen zur automatischen Erkennung von akutem Lungenversagen in Röntgenbildern}} * {{ :lehre:abschlussarbeiten:sf:expose_hannes_pieper.pdf | Retrospektive Erkennung von ARDS mit Hilfe von Random-Forest Algorithmen}} * {{ :lehre:abschlussarbeiten:th:expose_jan_hafer.pdf | Property Directed Equivalence for PLC Programs }} ==== 2021 ==== * {{ :lehre:abschlussarbeiten:sf:expose-kruschewsky.pdf | (Master) Data imputation & Data correction in Intensive Care Physiological Data}} * {{ :lehre:abschlussarbeiten:sf:expose_ana_yurgandzhieva.pdf | Retrospektive Klassifizierung von ARDS-Verläufen in intensivmedizinischen Sekundärdaten}} * {{ :lehre:abschlussarbeiten:sf:expose_marco_bischoff.pdf | Erweiterung einer modellbasierten Klassifikation von ARDS-Patienten um physiologische Zusammenhänge}} * {{ :lehre:abschlussarbeiten:sf:ma_expose_jan_van_essen.pdf | (Master) Interaktives Analysesystem für die algorithmische Novelty Detection in intensivmedizinischen Datensätzen}} * {{ :lehre:abschlussarbeiten:sf:ma_expose_alice_janssen.pdf | (Master) Konstruktion eines Bayesschen Netzes zur Erkennung von ARDS}} * Verifikation von Trajektorien Vernetzter und Autonomer Fahrzeuge * Untersuchung von Kooperationstopologien in synchronisierter und verteilter modellprädiktiver Regelung * {{ :lehre:abschlussarbeiten:ps:ba_dorndorf_exposee.pdf | Using dynamic priority assignment to increase feasibility in priority-based networked control}} * [[:lehre:abschlussarbeiten:as:testkonzept-PV1000]] * {{ :lehre:abschlussarbeiten:ml:exposee_beye.pdf | Entwicklung eines optischen Sensors zur kontinuierlichen Erkennung von Thromben in Oxygenatoren }} * Automatic Generation of a .NET Interface for a C++-Library * {{ :lehre:abschlussarbeiten:mb:ma_pfannschmidt_expose.pdf | Extension of CO2-Guided Physiological Closed-Loop Control by Safety Measures in Mechanical Ventilation of Neonates}} * {{ :lehre:abschlussarbeiten:am_schaefer_expose.pdf | (Master) Development of Scenarios for Benchmarking in Networked and Automated Driving}} ==== 2020 ==== * {{ :lehre:abschlussarbeiten:sf:ba_expose_anna_vaassen.pdf | Transformation heterogener intensivmedizinischer Datenbanken in das OMOP-CDM}} * {{ :lehre:abschlussarbeiten:sf:expose_marius_peterfalvi.pdf | Implementierung einer Diagnoseunterstützung auf Basis symptomatischer Zusammenhänge}} * {{ :lehre:abschlussarbeiten:ma_cpm_meyer_exposee.pdf | A Realtime Web-based Digital Twin of a Testbed for Networked and Autonomous Vehicles}} * {{ :lehre:abschlussarbeiten:ba_cpm_coban_exposee.pdf | A Concept for a Web-based Simulation Environment of a Testbed for Networked and Autonomous Vehicles}} * {{ :lehre:abschlussarbeiten:ma_voekel_expose.pdf | Entwicklung eines webbasierten Architekturprogramms für Serviceorientierte Software-Projekte}} * {{ :lehre:abschlussarbeiten:sf:ba_expose_mayra_elwes.pdf | Implementierung und Modellierung einer exemplarischen FHIR-Schnittstelle anhand des Krankheitsbildes ARDS}} * {{ :lehre:abschlussarbeiten:mg:ma_mbtcpps.pdf | (Master) Application of Model-Based Testing to a Cyber-Physical Production System }} * {{ :lehre:abschlussarbeiten:sf:expose_kai_guetzlaff.pdf | Algorithmische Plausibilitätsprüfung intensivmedizinischer Patientendaten}} * {{ :lehre:abschlussarbeiten:sf:expose_ba_hensen.pdf |Implementierung einer modellbasierten Klassifikation von ARDS-Patienten}} * {{ :lehre:abschlussarbeiten:sf:ba_exposé_sophia_gimple.pdf |Erkennung von Sensorfehlern in intensivmedizinischen Datensätzen mithilfe von Novelty Detection}} * {{ :lehre:abschlussarbeiten:ps:ba_kishar_exposee.pdf | Path Tracking Control of Model-scale Vehicles}} * {{ :lehre:abschlussarbeiten:mv:expose_mross.pdf | A Loop-summary-based Heuristic for Policy Improvement in Value Set Analysis using Policy Iteration}} * {{ :lehre:abschlussarbeiten:mb:ba_gruene_expose.pdf |Erkennung und Klassifizierung von Atemzügen bei der künstlichen Beatmung von Neugeborenen}} * {{ :lehre:abschlussarbeiten:mb:ba_heiser_exposee.pdf |Modellierung des Metabolismus zur Erweiterung eines neonaten Lungenmodells}} * {{ :lehre:abschlussarbeiten:mb:ba_kirsch_exposee.pdf |Entwicklung eines Plug-In-Systems für ein Analyse-Werkzeug}} * {{ :lehre:abschlussarbeiten:mb:ba_nguyen_exposee.pdf |CO2-Führung von Beatmungsparametern von Neugeborenen}} * {{ :lehre:abschlussarbeiten:ps:ba_kahle_exposee.pdf | Priority Assignment in Graph-based Distributed Trajectory Planning }} * Implementation of Generic Scenarios for Testing of Networked Trajectory Planning * Effects of Cooperation Topologies in Distributed Trajectory Planning of Vehicles * Verifikation von Handlungsplänen Vernetzter und Autonomer Fahrzeuge ==== 2019 ==== * Entwicklung eines Algorithmus zur Erkennung von ausgesuchten Komplikationen bei der Neonatal-Beatmung * {{ :lehre:abschlussarbeiten:mb:ma_kehren_exposee.pdf | App-basiertes Live Monitoring und dynamische Vernetzung von Medizingeräten}} * {{:lehre:abschlussarbeiten:msm:ba_sumic_expose.pdf | Modellbildung des Temperaturverlaufs bei der hygienischen Händedesinfektion}} * {{:lehre:abschlussarbeiten:msm:ba_denker_expose.pdf | Persistierung von Sensordaten und kontinuierliche Berechnung von Condition Indikatoren im Rahmen der Predictive Maintenance}} * {{ :lehre:abschlussarbeiten:pc:180509_ba_ma_evaluation_of_hara_controlled_languages.pdf | Evaluation kontrollierter Sprachen für die Gefährdungsanalyse}} * {{ :lehre:abschlussarbeiten:pc:180808_ba_ma_classification_with_machine_learning.pdf | Klassifikation von Begründungen zur Gefährdungseinstufung durch maschinelle Lernverfahren}} * {{ :lehre:abschlussarbeiten:pc:180808_ba_ma_word_embedding_for_semantic_analysis.pdf | Word Embedding für semantische Textvergleiche in Gefährdungsanalysen}} * {{:lehre:abschlussarbeiten:ak:ma_ak_sysreq_cnl.pdf | Evaluation of the SysReq Controlled Natural Language for the Generation of Functional Test Cases}} * {{ :lehre:abschlussarbeiten:mv:ma-advancedconditions.pdf | Finding Policies for Advanced Control Flow Conditionals}} * {{ :lehre:abschlussarbeiten:sedc_abschlussarbeit_-_interfaces.pdf | Automatische Kanonisierung von Interfaces in SysML}} * Development of a Priority Distribution Algorithm for Cooperative Vehicle Trajectory Planning and Control * Adaptive Cooperation Topology in Distributed Vehicle Trajectory Planning * Distributed Scheduling for Cooperative Vehicles at Road Intersections * Prioritätszuweisung für Vernetzte Modellprädiktive Regelung * {{ :lehre:abschlussarbeiten:mb:exposee_ba_oprea.pdf |Entwicklung eines Lungenmodells zur CO2 geführten Beatmung von Frühgeborenen}} * {{ :lehre:abschlussarbeiten:mb:exposee_ba_rennert.pdf |Entwicklung eines Software-Mocks für die CO2 geführte Neonatalbeatmung}} * {{ :lehre:abschlussarbeiten:mb:exposee_ba_brochmann.pdf |Automatisierung der Kalibrierung von berührungslosen kapazitiven Füllstandssensoren}} ==== 2018 ==== * {{ :lehre:abschlussarbeiten:bt_boecker_expose.pdf | Complete Language Support and Error Detection of Sequential Function Charts in Twistturn}} * {{ :lehre:abschlussarbeiten:mt_voertmann_expose.pdf | Entwicklung eines Prüfstandkonzeptes zur Verkürzung der Inbetriebnahmezeiten von dezentralen Personentransportanlagen}} * {{ :lehre:abschlussarbeiten:mt_werner_expose2.pdf | Development of a Prototype Vehicle Status Display and Interaction Device}} * {{ :lehre:abschlussarbeiten:mt_neuberger_expose.pdf | Extending Postsimulation by a Virtual Timebase}} * {{:lehre:abschlussarbeiten:msm:ba_judizki_expose.pdf|Modellierung und Visualisierung vernetzter Industrieanlagen im Rahmen des Predictive Maintenance}} * {{ :lehre:abschlussarbeiten:ba_ma_sr_pc_technical_assumptions_safety_goals.pdf | Formalisierung von Technical Assumptions und Safety Goals}} * {{ :lehre:abschlussarbeiten:ba_pc_input_support.pdf | Eingabeunterstützung für kontrollierte Sprachen}} * {{ :lehre:abschlussarbeiten:pc:170915_ba_ma_evaluation_of_controlled_languages.pdf | Evaluation von kontrollierten Sprachen}} * {{ :lehre:abschlussarbeiten:ba_pc_import_and_translation_of_legacy.pdf | Import und semi-automatische Übersetzung von alten Gefährdungsanalysen}} * {{ :lehre:abschlussarbeiten:171113_ba_ma_grammatical_framework.pdf | Implementierung kontrollierter Sprachen im Grammatical Framework}} * {{ :lehre:abschlussarbeiten:171113_ba_ma_identification_of_contradictions.pdf | Methoden und Algorithmen zur Identifikation von Widersprüchen}} * {{ :lehre:abschlussarbeiten:mv:ba-octagonpi.pdf | Relational Policy Iteration for Static Analysis of PLC Programs}} * {{:lehre:abschlussarbeiten:jk:thema_testumgebung_eclavent_jk2.pdf|Automatisiertes Testen im medizintechnischen Bereich}} * {{:lehre:abschlussarbeiten:jk:thema_rezirkulation_eclavent_jk.pdf|Eingebette Rezirkulationsmessung für ECLA-Systeme}} * [[:lehre:abschlussarbeiten:jk:eclavent_blutflusseditor]] * {{ :lehrstuhl:mitarbeiter:dd_simulationsgenerierung_mit_vissim_via_skizzen.pdf |CiTi - simulation generation of VISSIM via sketch}} * {{ :lehre:abschlussarbeiten:sr:gsn_editor.pdf |Goal Structuring Notation Editor}} * {{ :lehre:abschlussarbeiten:ba_pc_database_driven_input_support.pdf | Datenbankbasierte Eingabeunterstützung für Gefährdungsanalysen}} * {{ :lehre:abschlussarbeiten:171113_ba_ma_semantic_interpretation_with_logic.pdf | Semantische Interpretation einer kontrollierten Sprache mit mathematischer Logik}} * Lexikalische Analyse kontrollierter Sprachen und die Entwicklung eines Werkzeugs zur Eingabeunterstützung * Go-to-Formation of Nonholonomic Vehicles using Networked Model Predictive Control * Autonomous Vehicle Racing using Networked Model Predictive Control * Vehicle Coordination at Intersections using Model Predictive Control * Networked Model Predictive Control for Vehicle Formations * Development of a Vision-Based Real-Time Indoor Positioning System for Multiple Vehicles * Coordinating Cooperative Vehicles at Road Intersections using Scheduling * Modeling and Monitoring Traffic Rules for Autonomous Vehicles for Supporting Decision Making * Development of a Tool to Generate Maps for Autonomous Driving * {{ :lehre:abschlussarbeiten:mb:exposee_ba_rieck.pdf |Entwicklung eines Setups zum Erfassen und Annotieren von Daten während der Beatmung von Frühgeborenen}} * [[lehre:abschlussarbeiten:fg:erwCodeGen]] * [[:lehre:abschlussarbeiten:ms:Entwicklung einer mobilen Anwendung zur Steuerung eines Pedelecs]] * [[:lehre:abschlussarbeiten:ms:Nutzung eines Smartphone Inertialsensors und Odometrie zur Optimierung von GPS-Positionsbestimmungen]] ==== 2017 ==== * {{ :lehre:abschlussarbeiten:mt_nicolini_expose.pdf | Utilizing Sequential Function Charts to Specify Hardware-in-the-Loop Tests}} * {{ :lehre:abschlussarbeiten:bt_svetlakov_expose.pdf | Analysis and Postsimulation of Hardware-in-the-Loop Tests}} * {{ :lehre:abschlussarbeiten:fg:ba-remotesupervisor.pdf|Remote-Supervisor für Speicherprogrammierbare Steuerungen}} * {{:lehre:abschlussarbeiten:pc:ba_ma_pc_grammar_compliant_editor.pdf|Grammatikkonforme Eingabeunterstützung}} * {{ :lehre:abschlussarbeiten:ba_ma_pc_hara_compare_editor.pdf | Vergleichseditor für Gefährdungsanalysen}} * {{ :lehre:abschlussarbeiten:ba_ma_pc_translation_of_legacy.pdf | Übersetzung von natürlicher Sprache in kontrollierte Sprache im Kontext der Gefährdungsanalyse}} ==== 2016 ==== * {{ :lehre:abschlussarbeiten:mt_ney_expose.pdf |Balance Point dependent Vehicle Dynamics Control}} * {{ :lehre:abschlussarbeiten:mt_kugelmeier_expose.pdf |Tethering semi-autonomous Vehicles by relative Positioning}} * {{:lehre:abschlussarbeiten:mt_schake_expose.pdf|Integration of the PROFINET Stack into the RTAndroid Platform}} * {{:lehre:abschlussarbeiten:mt_haps_expose.pdf|OPC UA Connectivity of Android Devices and Machine Tools}} * {{:lehre:abschlussarbeiten:pc:ba_pc_verwaltungssystem.pdf|Verwaltungssystem für kontrollierte Sprachen}} * {{:lehre:abschlussarbeiten:pc:ba_ma_pc_hara_row_editor.pdf|Visueller Editor für Gefährdungsanalysen}} * {{:lehre:abschlussarbeiten:pc:ba_pc_exposure_rationales.pdf|Grammatik für die Formalisierung von Exposure Rationales und semiautomatisierte Einstufung des Exposure Parameters}} * {{:lehre:abschlussarbeiten:pc:ba_pc_consistency_analysis.pdf|Konsistenzprüfung von Gefährdungsanalysen}} ==== 2015 ==== * {{:lehre:abschlussarbeiten:fg:bacodegenerator.pdf|Code-Generator und Framework für synthetisierte Sicherheitsmechanismen in SPS-Programmen}} * [[:lehre:abschlussarbeiten:jk:eclavent_beatmungsansteuerung]] * {{:lehre:abschlussarbeiten:ms:ma_kraus_expose.pdf|Ground surface pattern recognition for enhanced positioning}} * {{:lehre:abschlussarbeiten:ms:ba_schemmer_expose.pdf|Enhanced GPS positioning using a smartphone IMU and odometer}} ==== 2014 ==== * [[:lehre:abschlussarbeiten:fg:evaluationvonsynthesetools]] * [[:lehre:abschlussarbeiten:as:eclavent_rezirkulation]] * [[:lehre:abschlussarbeiten:as:kaffeekasse]] * [[:lehre:abschlussarbeiten:as:sauberehaende_thermodynamische_modellbildung]] * [[:lehre:abschlussarbeiten:as:sauberehaende_tiefeninformation]] * [[:lehre:abschlussarbeiten:as:3drep_scanner]] * [[:lehre:abschlussarbeiten:as:usv]] * [[:lehre:abschlussarbeiten:as:esxi]] * [[:lehre:abschlussarbeiten:as:Microwellensteuerung]] * [[:lehre:abschlussarbeiten:as:eclavent_pulsatilepumpe]] * [[:lehre:abschlussarbeiten:fg:erkennungundklassifizierungvonfahrbahneigenschaften]] * [[:lehre:abschlussarbeiten:as:pumpensteuerung]] * [[:lehre:abschlussarbeiten:as:eclavent_sicherheitsziele]] ==== 2012 ==== * [[:lehre:abschlussarbeiten:sb:modulareboolescheabstraktion]] * [[:lehre:abschlussarbeiten:as:desinfektionsvalidierung]] * [[:lehre:abschlussarbeiten:as:integrationmodellbasiertersicherheitsmanahmen]] * [[:lehre:abschlussarbeiten:as:pumpensteuerung]] * [[:lehre:abschlussarbeiten:specVis]] * [[:lehre:abschlussarbeiten:as:ricardo_regelungpiezopumpe]] * Optimierung einer oktagonbasierten Wertebereichsanalyse durch Lokalisierung abstrakter Speicherstellen * [[:lehre:abschlussarbeiten:as:HAL_CHIBIOS]] ==== 2011 ==== * [[:lehre:abschlussarbeiten:werkzeuggestuetzte_implementierung_mcu_sim]] * [[:lehre:abschlussarbeiten:brauer_statische_analyse_plcs]] * [[:lehre:abschlussarbeiten:biallas_s7_simulator]] * [[lehre:abschlussarbeiten:as:RegelungBlutpumpe]] * [[lehre:abschlussarbeiten:diab_Ortungssystem|]] * [[:lehre:abschlussarbeiten:franke_mavcontrol]] * [[:lehre:abschlussarbeiten:franke_timedhierarchies]] * [[:lehre:abschlussarbeiten:as:ecmo_zeitsynchronisation]] * [[:lehre:abschlussarbeiten:franke_lebenszyklusMobilerAnwendungen]] * [[:lehre:abschlussarbeiten:franke_testinglifecycleimplementation]] * [[:lehre:abschlussarbeiten:franke_enav]] * Analyse von hardwarenahen C-Programmen mit Oktagonen ==== 2010 ==== * [[:lehre:abschlussarbeiten:as:integration_in_rtos]] * [[:lehre:abschlussarbeiten:as:oxymodell]] * Statische Analyse für den Renesas R8C/23 Mikrocontroller * [[:lehre:abschlussarbeiten:cegar_plc]] * [[:lehre:abschlussarbeiten:as:ecmo_rtos]] * [[:lehre:abschlussarbeiten:merschen_traceability]] * [[:lehre:abschlussarbeiten:testing_timedAutomata]] * [[:lehre:abschlussarbeiten:modulasierung_tt]] ==== 2009 ==== * [[:lehre:abschlussarbeiten:as:dezentralessicherheitskonzeptecmo]] * Statische Analyse von Mikrocontrollerprogrammen mittels SAT- und Constraint-Solving * [[:lehre:abschlussarbeiten:implementierung_eines_simulators_fuer_renesas]] * [[:lehre:abschlussarbeiten:transformation_abstrakter_verhaltensmodelle_von_regelstrecken]] * [[:lehre:abschlussarbeiten:verifikation_der_java_echtzeitfaehigkeit]] * [[:lehre:abschlussarbeiten:synthesizing_is_simulators_for_model_checking_es_software]] * [[:lehre:abschlussarbeiten:as:metrik_zur_bewertung_verschiedener_hardwareplattformen]] * [[:lehre:abschlussarbeiten:as:entwicklung_und_implementation_eines_can_protokolls]] * [[:lehre:abschlussarbeiten:untersuchung_variabilitaetsmanagement]] ==== 2007 & 2008 ==== * [[:lehre:abschlussarbeiten:anwendung_des_rasch_modells]] * [[:lehre:abschlussarbeiten:auswertung_temporaler_aenderung_von_quelltexten]] * [[:lehre:abschlussarbeiten:einsatz_von_statischen_analysen_im_bereich_des_model-checking_von_software_fuer_eingebettete_systeme]] * [[:lehre:abschlussarbeiten:entwicklung_und_validierung_von_variablen]] * [[:lehre:abschlussarbeiten:entwurf_eines_interaktiven_websystems]] * [[:lehre:abschlussarbeiten:entwurf_und_entwicklung_einer_modularen_test_umgebung]] * [[:lehre:abschlussarbeiten:erweiterung_der_symbolischen_zustandsdarstellung_in_mc_square]] * [[:lehre:abschlussarbeiten:erweiterung_des_model-checkers_mc_square_fuer_den_infineon_xc167_mikcrocontroller]] * [[:lehre:abschlussarbeiten:erweiterung_des_model-checkers_mc_square_um_benutzerdefinierte_umgebungen]] * [[:lehre:abschlussarbeiten:evaluation_einer_software_architektur_fur_rapid_control_prototyping]] * [[:lehre:abschlussarbeiten:integration_von_hardware_fehler_toleranzmechanismen]] * [[:lehre:abschlussarbeiten:model_checking_von_abstract_state_machines]] * [[:lehre:abschlussarbeiten:model_checking_von_anweisungslisten-prgrammen_fuer_speicherprogrammierbare_steuerung_mit_hilfe_von_mc_square]] * [[:lehre:abschlussarbeiten:model_checking_von_sensornetzwerk-knoten_mit_hilfe_von_mc_square]] * [[:lehre:abschlussarbeiten:parallelisierung_in_mcsquare]] * [[:lehre:abschlussarbeiten:software_entwurfsmuster_in_der_funktionalen_sicherheit]] * [[:lehre:abschlussarbeiten:symbolisches_model-checking_mit_mc_square]] * [[:lehre:abschlussarbeiten:untersuchung_alternativer_hardware_architekturen]] * [[:lehre:abschlussarbeiten:untersuchung_einer_mcu_fpga_architektur]] * [[:lehre:abschlussarbeiten:untersuchung_eines_dual_core_mikrocontrollers]] * [[:lehre:abschlussarbeiten:visualisierung_von_quelltext_evolution]] * [[:lehre:abschlussarbeiten:zeilenbasierte_quelltextanalyse]] * [[:lehre:abschlussarbeiten:komponentenmodell_fuer_eingebettete_systeme]] ==== 2006 ==== * [[:lehre:abschlussarbeiten:analyse_alternative_hardware_architekturen]] * [[:lehre:abschlussarbeiten:auswirkungen_des_refactoring]] * [[:lehre:abschlussarbeiten:ein_ansatz_zum_model-checking_von_Software_fuer_eingebettete_systeme]] * [[:lehre:abschlussarbeiten:entwurf_sicherheitskritischer_systeme_mit_entwurfsmustern]] * [[:lehre:abschlussarbeiten:entwurf_und_integration_eines_autonomen_parkassistenten]] * [[:lehre:abschlussarbeiten:entwurf_und_realisierung_einer_drive_by_wire_architektur]] * [[:lehre:abschlussarbeiten:experiment_zur_anwendbarkeit_des_refactoring]] * [[:lehre:abschlussarbeiten:konzeption_und_implementierung_eines_fault_management_frameworks]] * [[:lehre:abschlussarbeiten:konzeption_und_implementierung_eines_software_watchdogs]] * [[:lehre:abschlussarbeiten:untersuchungen_zum_anwendungspotential_der_formalen_verifikation]] ==== 2004 & 2005 ==== * [[:lehre:abschlussarbeiten:model_checking_von_matlab_simulink_modellen]] * [[:lehre:abschlussarbeiten:werkzeug_zur_unterstuetzung_von_code_evolution]] * [[:lehre:abschlussarbeiten:werkzeug_zur_entwicklung_von_code_readability]] * [[:lehre:abschlussarbeiten:evaluation_eines_case_tools]] * [[:lehre:abschlussarbeiten:a_description_language_for_rich_component_models]] * [[:lehre:abschlussarbeiten:konzeption_und_umsetzung_eines_versuchsfahrzeugs]] * [[:lehre:abschlussarbeiten:sammlung_und_vergleich_von_designprinzipien]] * [[:lehre:abschlussarbeiten:auswahl_und_realisierung_einer_hw_sw_codesign_umgebung]] * [[:lehre:abschlussarbeiten:entwurf_und_realisierung_der_geschwindigkeitsmessung]] * [[:lehre:abschlussarbeiten:pld_programmierung]] * [[:lehre:abschlussarbeiten:untersuchungen_zur_verteilbarkeit_von_software_funktionen]]