你在这里： 主页 › 团队 › 马吕斯·格雷特斯

马吕斯·格雷特斯

 

研究兴趣

  • 摘要解释
  • 静态检查
  • 软件验证
  • 软件设计
  • 软件工程
  • 混合系统的验证技术

 

出版物

     

    论文

    • 结合价值分析和静态检查，实现软件规范的自动验证。弗赖堡大学硕士论文，2012年。

     

    咨询时间

    请联系我预约，或在没有预约的情况下到办公室拜访我（冒被拒绝的风险）。

     

    学生项目和论文主题

    请参阅我们的论文主题和学生项目的共享概述此外，如果您有自己感兴趣的主题，并且需要一名主管，请随时与我联系。

     

    教学

    • 研讨会：自动机理论（2017/2018年冬季学期）
    • 研讨会：C的形式方法（2014年夏季学期）
    • 软件实验室（2013、2014、2015、2016、2017夏季学期）
    • 所有学院成员的软件实验室（2012/2013、2013/2014、2014/2015、2015/2016、2016/2017、2017/2018冬季学期）

    辅导

    • 软件实验室（2010年、2011年、2012年夏季学期）
    • 面向所有院系成员的软件实验室（2009/2010、2010/2011、2011/2012冬季学期）

     

    受监督的学生项目和论文

    2018

    • Ingold，M.：Entwurf und Implementierung von Analysealgorithmen zum Handeln mit Aktien。硕士项目。
    • Heinz，A.：CEGAR和SMT规划。硕士论文。

    2017

    • Jarecki，J.：主动验证：让用户处于循环中。硕士论文。
    • Höck，M.：Entwurf und Implementierung einer Software für den automatischen Handel mit Aktien。学士论文。
    • Löffler，J.：《混合自动机对最终框架的支持》，学士论文。
    • Heinz，A.：利用MCTA优化平面提取，硕士项目。
    • Löffler，J.：SOCIS-欧空局太空代码夏季，项目。

    2016

    • Jarecki，J.：虚拟现实图形可视化和操作工具的实现。大师的团队项目。
    • Burkart，M.：3D-Pathfinding的可视化和比较。学士论文。
    • Braun，J.：软件项目zur Entwicklung eines Handyspiels mit Physik。本科项目。
    • Schätzle，C.：旗舰版八边形抽象域。学士论文。
    • Burkart，M.，Dippel M.：游戏引擎的设计与实现。学士项目。

    2015

    • Strump，T.：异构动态系统的分析框架。硕士论文。
    • Hättig，J.：凸多面体作为极限抽象解释的抽象域。硕士论文。
    • Enke，J.：平行组合混合自动机的扁平化。学士项目。

    2014

    • Dillo，C.：终极版模块化抽象解释。学士论文。
    • Richter，A.：自动化药物保障。学士论文。
    • Cheng N.、Hättig J.、Holub J.、Schillinger F.：高级视频游戏架构。大师的团队项目。

    2013-2014年

    • Dillo，C.：SpaceEx对Boogie的采访。学士学位项目。
    • Jayakumar，V.：基于Web的小型Java应用程序的持续交付。硕士论文。
    • Meinke，J.，Saier，D.：混合系统的动态参数调整。学士项目。
    • Rebmann，J.，Ganz，S.：混合系统基准生成器的实现。学士项目。
    • Strump，T.：混合系统的位置合并。大师的团队项目。

    2012

    • Hofmann，C.：验证即服务。学士论文。