« June 2017 »
June
MoTuWeThFrSaSu
1234
567891011
12131415161718
19202122232425
2627282930
Uni-Logo
You are here: Home Team Marius Greitschus
Document Actions

Marius Greitschus

 

Research Interests

  • Abstract Interpretation
  • Static Checking
  • Software Verification
  • Software Design
  • Software Engineering
  • Verification Techniques for Hybrid Systems

 

Publications

     

    Thesis

    • Combining Value Analysis and Static Checking for Automated Verification of Software Specifications. Master's Thesis, University of Freiburg, 2012.

     

    Consultation Hours

    Please contact me for an appointment or visit me at the office without an appointment (at the risk of being rejected).

     

    Student Projects and Thesis Topics

    Please see our shared overview for thesis topics and student projects. Additionally, if you have your own interesting topic you would like to work on and need a supervisor for, feel free to contact me.

     

    Teaching

    • Seminar: Formal Methods for C (Summer Term 2014)
    • Software Lab (Summer Terms 2013, 2014, 2015, 2016, 2017)
    • Software Lab for members of all faculties (Winter Terms 2012/2013, 2013/2014, 2014/2015, 2015/2016, 2016/2017)

    Tutoring

    • Software Lab (Summer Terms 2010, 2011, 2012)
    • Software Lab for members of all faculties (Winter Terms 2009/2010, 2010/2011, 2011/2012)

     

    Supervised Student Projects and Theses

    2017

    • Jarecki, J.: Active Verification: Putting the User in the Loop. Master's Thesis.
    • Höck, M.: Entwurf und Implementierung einer Software für den automatischen Handel mit Aktien. Bachelor's thesis.
    • Löffler, J.: Hybrid Automata Support for the Ultimate Framework. Bachelor's Thesis.

    2016

    • Jarecki, J.: Implementation of a Virtual Reality Graph Visualization and Manipulation Tool. Master's teamproject.
    • Burkart, M.: Visualization and Comparison of 3D-Pathfinding. Bachelor's thesis.
    • Braun, J.: Softwareprojekt zur Entwicklung eines Handyspiels mit Physik. Undergraduate project.
    • Schätzle, C.: An Octagon Abstract Domain For Ultimate. Bachelor's thesis.
    • Burkart, M., Dippel M.: Design and Implementation of a Game Engine. Bachelor's project.

    2015

    • Strump, T.: Analysis Framework for Heterogeneous Dynamic Systems. Master's thesis.
    • Hättig, J.: Convex Polyhedra as Abstract Domain for Abstract Interpretation in Ultimate. Master's thesis.

    2014

    • Dillo, C.: Modular Abstract Interpretation for Ultimate. Bachelor's thesis.
    • Richter, A.: Automated Medication Assurance. Bachelor's thesis.
    • Cheng N., Hättig J., Holub J., Schillinger F.: Advanced Video Game Architecture. Master's teamproject.

    2013-2014

    • Dillo, C.: SpaceEx to Boogie. Bachelor's project.
    • Jayakumar, V.: Continuous Delivery for Small Java Web Based Applications. Master's thesis.
    • Meinke, J., Saier, D.: Dynamic Parameter Tuning for Hybrid Systems. Bachelor's project.
    • Rebmann, J., Ganz, S.: Implementation of a Benchmark Generator for Hybrid Systems. Bachelor's project.
    • Strump, T.: Location Merging for Hybrid Systems. Master's teamproject.

    2012

    • Hofmann, C.: Verification as a Service. Bachelor's thesis.

     

    Personal tools