Support for Java Libraries in the Attestor Shape Analysis Tool. Microsoft Innovation Award (2010) Joost-Pieter Katoen Past Projects 2020 bibtex issue Thomas Vogt. Quantitative Analysis of Counterexample Generation for Automata Learning, Bachelor Thesis, rwth Aachen University, 2020. If implemented in the framework of the thesis, the structure, working method and interfaces should be described precisely. Verifying Automotive C Code using Modern Software Model Checkers. The supervisor will ensure that the Bachelor thesis can be completed in the intended time.
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). 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. Mirela Mileva: Minimising Mealy Machines with Dependent Inputs, Bachelor Thesis, rwth Aachen University, 2019. 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). Shahid Khan and, matthias Volk, markus Miliats, bachelors Thesis, sensitivity Analysis for Dynamic Fault Trees. The prepared work plan is a formal requirement for registration at the Examinations Office. Tobias Winkler, daniel Basgze, bachelors Thesis, bDD-based analysis of Dynamic Fault Trees.
The student should demonstrate the ability to work on technical topics and to present such topics in an understandable way. . Mohamed Khalifa: Implementation of a Predicate-Guided Termination Analysis for Pointer Programs, Bachelor Thesis, rwth Aachen University, 2020 (supervisor: Ira Fesefeldt, Lehrstuhl Informatik 2). Supervisor, dario Veltri, bachelors Thesis, learning MDPs with SMT solving, joshua Moerman. You may then ask a corresponding TK member (look at their research interests!). However, the software system including source code should be made available to the supervisor for review.
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). We are regularly offering a large number of free, project-based and external thesis topics (e.g., for bachelor, master and study tasks). Itestra innovation Award (2016) Benjamin Kaminski Sebastian Junges Simplifying Dynamic Fault Trees by Graph Rewriting. Systematic Design of Efficient Online Scanners. Learning rfsa in Reverse, Bachelor Thesis, rwth Aachen University, 2020. Static byte-code analysis for state space reduction, Master Thesis, rwth Aachen University, viii, 101., Publikationsserver der rwth Aachen University, 2011. Preis der Fachgruppe Informatik der rwth Aachen fr die beste Masterarbeit (2014) Joost-Pieter Katoen Jens Katelaan Type Theory, Certified Programming and Compiler Verification. Nguyen, Lehrstuhl Informatik 2) Gereon Kremer: Syntactic and Semantic Analysis of Hyperedge Replacement Grammars for Heap Abstraction, Bachelor Thesis, rwth Aachen University, 2011 (supervisor:.
Any deficiencies related to the work will be pointed out. 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. Repairs in Dynamic Fault Trees: a Petri net semantics. Comparing Hierarchical and On-The-Fly Model Checking for Java Pointer Programs. Sabrina Kowarsch: Modeling a Satellite with compass, Master Thesis, rwth Aachen University, 2018 (co-supervisor: Harold Bruintjes, Lehrstuhl Informatik 2). Tim Quatmann, denise Cassandra Fromme, masters Thesis, tBA.
Randomized Meldable Heaps: A More Formal Proof of a Less Simple Probabilistic Data Structure. The Bachelor thesis is to be written in the style of a scientific paper. The student first searches for a supervisor (e.g. Jansen, Lehrstuhl Informatik 2) Jens Katelaan: Type Theory, Certified Programming and Compiler Verification, Bachelor Thesis, rwth Aachen University, 2012 Max Grtz: Deciding MSO over Languages of Hypergraphs, Bachelor Thesis, rwth Aachen University, 2012 (supervisor:. 2.5 Oral presentation, in the oral presentation, the student should present the main content of the work in a session of about 20 to 30 minutes. Preis der Fachgruppe Informatik der rwth Aachen fr die beste Bachelorarbeit (2020) Thomas Noll Lea Hiendl Human-readable Scheduler Representation for Markov Decision Processes Berthold Vcking Master Award (2018) Tim Quatmann Clara Scherbaum Probability Generating Function Semantics for Probabilistic Programs. Mengying Xue, masters Thesis, efficient Analysis of Time-bounded Reachability in Markov Automata. Parameter Synthesis for Continuous-Time Markov Chains.
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. Jansen, Lehrstuhl Informatik 2) Jan Scherer: An Eclipse-Based Debugger for Embedded Systems Software, Diplomarbeit, rwth Aachen University, 2010 (co-supervisor:. Integration of software documents in the paper is not necessary. Sally Chau: Comparing Hierarchical and On-The-Fly Model Checking for Java Pointer Programs, Master Thesis, rwth Aachen University, 2019 (supervisor: Christoph Matheja, 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. Precise Long Run Averages for Markov Decision Processes. 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:. If the candidate and the supervisor agree on the work plan, the formal application can be made. The required knowledge and its research methods should be clarified before the thesis is green lit. Isabelle Tlleners: Graph-Based Heap Abstraction for Balanced Data Structures, Bachelor Thesis, rwth Aachen University, 2016 (supervisor: Christoph Matheja, Lehrstuhl Informatik 2).
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:. Also, the subsequent work should have been carefully planned. After an informal agreement on a topic, the student draws up a work plan in consultation with the supervisor. The Computer Science Department or the University does not archive a submitted and accepted Bachelor thesis. The topic can be changed once only and within the first month after the start date. 2.4 Written work, the written paper is the main representation of the work done. The student is also entitled to support for the presentation.
Understanding Abstraction of Probabilistic Programs. Johannes Schulte: Automated Detection and Completion of Confluence for Graph Grammars, Master Thesis, rwth Aachen University, 2019 (supervisor: Christoph Matheja, Lehrstuhl Informatik 2). Lutz Klinkenberg, christina Gehnen, bachelors Thesis, automata-based Model Checking of Recursive Systems. Jansen, Lehrstuhl Informatik 2) Johanna Nellen: Konfluenzanalyse und Vervollstndigung von Graphersetzungssystemen, Diplomarbeit, rwth Aachen University, 2010 (supervisor:. Florian Keler: On the Decidability of Entailment Checking in Quantitative Separation Logics, Bachelor Thesis, rwth Aachen University, 2020. Proving Non-Existence of Imperceptible Adversarial Examples in Deep Neural Networks Using Symbolic Propagation With Error Bounds, Master Thesis, rwth Aachen University, 2020. Interpretation-Based Violation Witness Validator - A novel approach to validation. Fabian Schneider: A Unified Algebraic Domain for Shape Analysis, Master Thesis, rwth Aachen University, 2018 (supervisor: Christoph Matheja, Lehrstuhl Informatik 2).
Sebastian Bartsch: Systematic Design of Efficient Online Scanners, Bachelor Thesis, rwth Aachen University, 2019. Proving termination of pointer programs on top of symbolic execution, Master Thesis, rwth Aachen, 118., 2019. Schnebornpreis (2013) Thomas Noll Falak Sher Compositional Abstraction for Probabilistic Automata. After the presentation, the student will be informed about his or her strengths and weaknesses and will be given suggestions for improvement. A major percentage of these thesis topics are project-based, which we find the most recommended and interesting offer. 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. Additionally, an appropriate timeframe plan, as well as an outline of a preliminary structure of the written work must be included. The candidate commits to keeping a copy of the paper accessible at all times for at least 5 years after submission of the paper. It documents the results of the work and the handling of problems that may have arisen. Matthias Volk, xaver Eugen Fink, bachelors Thesis, automatically generating and benchmarking case studies for C-code model checking.
Dehnert, Lehrstuhl Informatik 2) Samiro Discher: Graph-Based Interprocedural Analysis of Heap-Manipulating Programs, Bachelor Thesis, rwth Aachen University, 2013 (supervisor:. If you decide to work on an external thesis, please read the following document beforehand:.pdf (118 KB). This countersigned registration identifies the student as someone who can begin a Bachelor thesis. Master Thesis at rwth Aachen University, 2019. Topic suggestions of the student can be taken into account. Alexander Hoppen: Design and Implementation of an Interactive Exploration Tool for Probabilistic Programs, Master Thesis, rwth Aachen University, 2020.