Bachelor thesis informatik


25.12.2020 04:48
Informatik - Bachelor Thesis (Universitt Paderborn)

Bachelor Thesis Guidelines - Fakultt Informatik

Interpretation-Based Violation Witness Validator - A novel approach to validation. 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;. Parameter Synthesis for Continuous-Time Markov Chains. Supervisor, dario Veltri, bachelors Thesis, learning MDPs with SMT solving, joshua Moerman. Static byte-code analysis for state space reduction, Master Thesis, rwth Aachen University, viii, 101., Publikationsserver der rwth Aachen University, 2011. If you decide to work on an external thesis, please read the following document beforehand:.pdf (118 KB). Precise Long Run Averages for Markov Decision Processes. Proving Non-Existence of Imperceptible Adversarial Examples in Deep Neural Networks Using Symbolic Propagation With Error Bounds, Master Thesis, rwth Aachen University, 2020. Fabian Schneider: A Unified Algebraic Domain for Shape Analysis, Master Thesis, rwth Aachen University, 2018 (supervisor: Christoph Matheja, Lehrstuhl Informatik 2). 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:.

Thesis Guidelines - Fachbereich Informatik

Johannes Schulte: Automated Detection and Completion of Confluence for Graph Grammars, Master Thesis, rwth Aachen University, 2019 (supervisor: Christoph Matheja, Lehrstuhl Informatik 2). Preis des Fakulttentags Informatik fr die beste Masterarbeit (2015) Preis der Fachgruppe Informatik der rwth Aachen fr die beste Masterarbeit (2015) Joost-Pieter Katoen Sergey Sazonov Property Preservation under Bisimulations on Markov Automata. Schnebornpreis (2013) Thomas Noll Falak Sher Compositional Abstraction for Probabilistic Automata. 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:. You may then ask a corresponding TK member (look at their research interests!). 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:. Mengying Xue, masters Thesis, efficient Analysis of Time-bounded Reachability in Markov Automata.

Thesis Projects Informatik 2 - Informatik 2 Informatik

Master Thesis at rwth Aachen University, 2019. 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. Implementation of a predicate-guided termination snalysis for pointer programs, Bachelor Thesis, rwth Aachen University, 2020. Please note the following explanation between free, project-based and external thesis topics:.pdf (25,8 KB after deciding to work on a project-based thesis, you may need to sign a form which allows us to use your work for the corresponding project. Jansen, Lehrstuhl Informatik 2) Jan Scherer: An Eclipse-Based Debugger for Embedded Systems Software, Diplomarbeit, rwth Aachen University, 2010 (co-supervisor:. On Probability Generating Functions for Program Analysis. Support for Java Libraries in the Attestor Shape Analysis Tool. University of Vienna Universittsring 1 1010 Vienna.

Advice for Bachelor students for PR with Bachelor Thesis

Mohamed Khalifa: Implementation of a Predicate-Guided Termination Analysis for Pointer Programs, Bachelor Thesis, rwth Aachen University, 2020 (supervisor: Ira Fesefeldt, Lehrstuhl Informatik 2). Itestra innovation Award (2016) Benjamin Kaminski Sebastian Junges Simplifying Dynamic Fault Trees by Graph Rewriting. 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). Minimising Mealy Machines with Dependent Inputs. 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. Matthias Volk, xaver Eugen Fink, bachelors Thesis, automatically generating and benchmarking case studies for C-code model checking. Alexander Hoppen: Design and Implementation of an Interactive Exploration Tool for Probabilistic Programs, Master Thesis, rwth Aachen University, 2020. Proving termination of pointer programs on top of symbolic execution, Master Thesis, rwth Aachen, 118., 2019.

Guidelines for Student Theses

Sabrina Kowarsch: Modeling a Satellite with compass, Master Thesis, rwth Aachen University, 2018 (co-supervisor: Harold Bruintjes, Lehrstuhl Informatik 2). Bachelor Thesis at rwth Aachen University, 2020. Shahid Khan and, matthias Volk, markus Miliats, bachelors Thesis, sensitivity Analysis for Dynamic Fault Trees. Philipp Berger, linus Heck, bachelors Thesis, gradient Descent for Parametric Markov Chains. Isabelle Tlleners: Graph-Based Heap Abstraction for Balanced Data Structures, Bachelor Thesis, rwth Aachen University, 2016 (supervisor: Christoph Matheja, Lehrstuhl Informatik 2). Mirela Mileva: Minimising Mealy Machines with Dependent Inputs, Bachelor Thesis, rwth Aachen University, 2019. Thomas Noll, or the person indicated with the topics below. Florian Keler: On the Decidability of Entailment Checking in Quantitative Separation Logics, Bachelor Thesis, rwth Aachen University, 2020.

Theses (Co-)Supervised by Thomas Noll Informatik

Repairs in Dynamic Fault Trees: a Petri net semantics. On the Decidability of Entailment Checking in Quantitative Separation Logics. Nguyen, Lehrstuhl Informatik 2) Gereon Kremer: Syntactic and Semantic Analysis of Hyperedge Replacement Grammars for Heap Abstraction, Bachelor Thesis, rwth Aachen University, 2011 (supervisor:. Randomized Meldable Heaps: A More Formal Proof of a Less Simple Probabilistic Data Structure. If you are interested in writing your master or bachelor thesis in the moves group, please contact.

Theses Databases and Information Systems

Bachelor Thesis at rwth Aachen University, 2019. Systematic Design of Efficient Online Scanners. Philipp Schroer: Understanding Abstraction of Probabilistic Programs, Bachelor Thesis, rwth Aachen University, 2019 (supervisor: Christoph Matheja, Lehrstuhl Informatik 2). We are regularly offering a large number of free, project-based and external thesis topics (e.g., for bachelor, master and study tasks). Preis der Fachgruppe Informatik der rwth Aachen fr die beste Masterarbeit (2014) Joost-Pieter Katoen Jens Katelaan Type Theory, Certified Programming and Compiler Verification.

Ist Viral Marketing planbar?

Heinen, Lehrstuhl Informatik 2) Bernhard Ern: Model-Based Criticality Analysis by Impact Isolation, Master Thesis, rwth Aachen University, 2012 (supervisor:.Y. Weber, Formal Methods and Tools Group, University of Twente) Max Odenbrett: Explicit-State Model Checking of an Architectural Design Language using spin, Diplomarbeit, rwth Aachen University, 2010 Christina Jansen: Konstruktion und Inferenz von Heapabstraktionsgrammatiken, Diplomarbeit, rwth Aachen University, 2010 Ralf Grossmann: Heapabstraktion durch partielle. 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. Jansen, Lehrstuhl Informatik 2) Johanna Nellen: Konfluenzanalyse und Vervollstndigung von Graphersetzungssystemen, Diplomarbeit, rwth Aachen University, 2010 (supervisor:. Gradient descent on parametric Markov Chains, Bachelor Thesis, rwth Aachen University, 31 Seiten, 2020. DSA Industrial Award (2020) Philipp Berger Florian Keler On the Decidability of Entailment Checking in Quantitative Separation Logics. 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). You can accept these by clicking the OK button. 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.

Formatvorlage fr juristische Hausarbeiten

Felix Bier: From Forest Automata to Hyperedge Replacement Grammars and Back, Master Thesis, rwth Aachen University, 2018 (supervisor: Christoph Matheja, Lehrstuhl Informatik 2). 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). Most of the thesis topics can be found in our topic database, some topics can also be defined individually. Find out more information in our. Heinen, Lehrstuhl Informatik 2) Rafal Korzeniewski: Formal Approaches to System Diagnosability and Sensor Configuration Synthesis, Bachelor Thesis, rwth Aachen University, 2011 Markus Bals: Incremental Greibach Normal Form, Diplomarbeit, rwth Aachen University, 2011 (supervisor:. Bibtex issue Dan-Tuong. Comparing Hierarchical and On-The-Fly Model Checking for Java Pointer Programs. Tobias Winkler, daniel Basgze, bachelors Thesis, bDD-based analysis of Dynamic Fault Trees. Quantitative Analysis of Counterexample Generation for Automata Learning, Bachelor Thesis, rwth Aachen University, 2020. A major percentage of these thesis topics are project-based, which we find the most recommended and interesting offer.

Hochschulambulanz Klinische Psychologie und Psychotherapie

The form can be found here in advance (please ask your adviser for more details, if you need (34,7 KB we sometimes also offer external thesis topics with an industry partner. 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:. Expected Runtimes of Probabilistic Pointer Programs. Microsoft Innovation Award (2010) Joost-Pieter Katoen Past Projects 2020 bibtex issue Thomas Vogt. Sebastian Bartsch: Systematic Design of Efficient Online Scanners, Bachelor Thesis, rwth Aachen University, 2019.

Ähnliche neuigkeiten