Bachelor thesis informatik


25.12.2020 01:43
Informatik - Bachelor Thesis (Universitt Paderborn)
paper. Ira Justus Fesefeldt: Proving Termination of Pointer Programs on Top of Symbolic Execution, Master Thesis, rwth Aachen University, 2019 (supervisor: Christoph Matheja, Lehrstuhl Informatik 2). The supervisor will provide assistance with the written work well in advance of the submission date. In the office hours of lecturers or before or after lectures) and then registers at the examination office before starting the work (without specifying a topic, but with the assignment of a supervisor). Isabelle Tlleners: Graph-Based Heap Abstraction for Balanced Data Structures, Bachelor Thesis, rwth Aachen University, 2016 (supervisor: Christoph Matheja, Lehrstuhl Informatik 2). It could be the case that this may turn out to be a suitably comprehensive presentation and therefore be the graded presentation (the evaluation of the presentation will be included in the evaluation of the Bachelor thesis).

2.4 Written work, the written paper is the main representation of the work done. Neuhuer, Siemens AG) Louis Wachtmeister: Analysing Cryptographically-Masked Information Flow Using Slicing, Bachelor Thesis, rwth Aachen University, 2016 Hanna Franzen: Graph-Based Symbolic Execution for Pointer Programs with Data, Bachelor Thesis, rwth Aachen University, 2016 (supervisor: Christoph Matheja, Lehrstuhl Informatik 2) Hannah Arndt: Heap. Dehnert, Lehrstuhl Informatik 2) Samiro Discher: Graph-Based Interprocedural Analysis of Heap-Manipulating Programs, Bachelor Thesis, rwth Aachen University, 2013 (supervisor:. Most of the thesis topics can be found in our topic database, some topics can also be defined individually. Nguyen, Lehrstuhl Informatik 2) Gereon Kremer: Syntactic and Semantic Analysis of Hyperedge Replacement Grammars for Heap Abstraction, Bachelor Thesis, rwth Aachen University, 2011 (supervisor:. Jansen, Lehrstuhl Informatik 2) Benjamin Kaminski: Analyzing the Communication Behaviour of loop Programs, Master Thesis, rwth Aachen University, 2013 Manuel Weiand: Efficient Generation of Small Critical Subsystems in Discrete-Time Markov Chains, Bachelor Thesis, rwth Aachen University, 2013 (supervisor:. If the candidate and the supervisor agree on the work plan, the formal application can be made. Florian Keler: On the Decidability of Entailment Checking in Quantitative Separation Logics, Bachelor Thesis, rwth Aachen University, 2020. The Bachelor thesis is scheduled with a workload of 9 weeks of full-time work, which corresponds approximately to 50 part-time work over 5 months.

He or she will be available for consultation during the entire period of work and will check the progress of the thesis at regular intervals. After the presentation, the student will be informed about his or her strengths and weaknesses and will be given suggestions for improvement. Neuhuer, Siemens AG) Frederick Prinz: Generalisation Methods for Control-Flow Oriented IC3 Algorithms, Master Thesis, rwth Aachen University, 2016 (supervisor: Tim Lange, Lehrstuhl Informatik 2;. It documents the results of the work and the handling of problems that may have arisen. Johannes Schulte: Automated Detection and Completion of Confluence for Graph Grammars, Master Thesis, rwth Aachen University, 2019 (supervisor: Christoph Matheja, Lehrstuhl Informatik 2).

Heinen, Lehrstuhl Informatik 2) Bernhard Ern: Model-Based Criticality Analysis by Impact Isolation, Master Thesis, rwth Aachen University, 2012 (supervisor:.Y. Additionally, an appropriate timeframe plan, as well as an outline of a preliminary structure of the written work must be included. After an informal agreement on a topic, the student draws up a work plan in consultation with the supervisor. The supervisor advises on the selection of suitable presentation materials and will point out any frequently made mistakes. Alexander Hoppen: Design and Implementation of an Interactive Exploration Tool for Probabilistic Programs, Master Thesis, rwth Aachen University, 2020. Thomas Mertens: Efficient Reuse of Learnt Information for Control-Flow Oriented IC3 Algorithms, Master Thesis, rwth Aachen University, 2016 (supervisor: Tim Lange, Lehrstuhl Informatik 2;.

The student first searches for a supervisor (e.g. Heinen, Lehrstuhl Informatik 2) Sebastian Staack: Optimierung von Sensorkonfigurationen zur Fehlerdiagnose in technischen Systemen, Diplomarbeit, rwth Aachen University, 2012 Tobias Hoffmann: Model Checking Quantifizierter Linearer Temporaler Logik ber Pointerprogrammen, Diplomarbeit, rwth Aachen University, 2012 (supervisor:. Daniel Cloerkes: A Cyclic Proof System for Graph Grammar Inclusion, Bachelor Thesis, rwth Aachen University, 2017 (supervisor: Christoph Matheja, Lehrstuhl Informatik 2). Mirela Mileva: Minimising Mealy Machines with Dependent Inputs, Bachelor Thesis, rwth Aachen University, 2019. For this phase about 1 month of part-time work (3 ects points) is allocated. Philipp Schroer: Understanding Abstraction of Probabilistic Programs, Bachelor Thesis, rwth Aachen University, 2019 (supervisor: Christoph Matheja, Lehrstuhl Informatik 2).

The candidate commits to keeping a copy of the paper accessible at all times for at least 5 years after submission of the paper. Dehnert, Lehrstuhl Informatik 2) Stephan Herold: Automatisierte Bewertung der Angemessenheit von Java-Code, Masterarbeit, rwth Aachen University, 2013 David Clermont: Analyzing the Timed Behavior of slim Specifications, Diplomarbeit, rwth Aachen University, 2013 Tim Lange: Code-Based Model Minimization for PLC Code Verification. In addition to the submission in paper form, the written paper should be made available to the supervisor in electronic form in a common format (PDF). Christopher Brix: Proving Non-Existence of Imperceptible Adversarial Examples in Deep Neural Networks using Symbolic Propagation with Error Bounds, Master Thesis, rwth Aachen University, 2020. The topic can be changed once only and within the first month after the start date. It must be countersigned by the supervisor and submitted to the Examinations Office for approval together with the application for a Bachelor thesis supplemented by the chosen topic title and the start date of the timeframe. If implemented in the framework of the thesis, the structure, working method and interfaces should be described precisely. Topic suggestions of the student can be taken into account.

The Computer Science Department or the University does not archive a submitted and accepted Bachelor thesis. We are regularly offering a large number of free, project-based and external thesis topics (e.g., for bachelor, master and study tasks). Fabian Schneider: A Unified Algebraic Domain for Shape Analysis, Master Thesis, rwth Aachen University, 2018 (supervisor: Christoph Matheja, Lehrstuhl Informatik 2). Sabrina Kowarsch: Modeling a Satellite with compass, Master Thesis, rwth Aachen University, 2018 (co-supervisor: Harold Bruintjes, Lehrstuhl Informatik 2). If problems arise, he/she will intervene and act as a guide if it turns out that the topic cannot be completed in the intended form or if there is a risk that the completion time specified in the examination regulations will be exceeded. 2.1 Assignment of topics, every professor, but also every PhD researcher of the Institute of Computer Science who has already taught independently (not only exercises can assign a topic as a supervisor. If you decide to work on an external thesis, please read the following document beforehand:.pdf (118 KB). Integration of software documents in the paper is not necessary.

You may then ask a corresponding TK member (look at their research interests!). This includes in particular a summary, a structure and a list of the literature used in the thesis. Neuhuer, Siemens AG) Christof Mroz: Formal Models for Diagnosability Analysis, Bachelor Thesis, rwth Aachen University, 2013 Florian Gbe: Transformation von Separation-Logic-Prdikaten durch, Master Thesis, rwth Aachen University, 2012 (supervisor:. This is about half of the time required for a Master thesis. A major percentage of these thesis topics are project-based, which we find the most recommended and interesting offer. The required knowledge and its research methods should be clarified before the thesis is green lit. Felix Bier: From Forest Automata to Hyperedge Replacement Grammars and Back, Master Thesis, rwth Aachen University, 2018 (supervisor: Christoph Matheja, Lehrstuhl Informatik 2).

Tobias Wirtz: Support for Java Libraries in the Attestor Shape Analysis Tool, Bachelor Thesis, rwth Aachen University, 2020 (co-supervisor: Christoph Matheja, Lehrstuhl Informatik 2). The result proposal should adequately represent this activity by the depth of content and completeness of the considered aspects. If you are specifically interested in a topic but no offering is advertised, please prepare a specific and detailed topic description and potential research questions that you would like to answer. Any deficiencies related to the work will be pointed out. University of Vienna Universittsring 1 1010 Vienna. Mohamed Khalifa: Implementation of a Predicate-Guided Termination Analysis for Pointer Programs, Bachelor Thesis, rwth Aachen University, 2020 (supervisor: Ira Fesefeldt, Lehrstuhl Informatik 2).

Ă„hnliche artikel