From specification to synthesis

从规范到综合

• 批准号: 229742437
• 负责人: Professor Dr. Martin Lange
• 金额: --
• 依托单位: Forschungsgruppe Theoretische Informatik/Formale Methoden
• 依托单位国家: 德国
• 项目类别: Heisenberg Professorships
• 财政年份: 2013
• 资助国家: 德国
• 起止时间: 2012-12-31 至 2021-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/229742437?language=en
• 关键词: specification; synthesis

The precondition for a Heisenberg Programme funding is high scientific quality and originality of the research project at international level and suitability for further qualification as a university teacher. Applicants need to meet all the requirements for appointment to a permanent professorship.The aim of this programme is to enable outstanding scientists to prepare for a scientific leadership function, and simultaneously work on further research topics. This research does not necessarily need to be planned and carried out in the form of a project.For this reason, and unlike the procedure in other funding programmes, both the abstracts of applications and final reports are not required and will therefore not be published in GEPRIS.

海森堡计划资助的先决条件是高科学质量和国际水平的研究项目的原创性，并适合作为大学教师的进一步资格。申请人需要满足任命为永久教授的所有要求。该计划的目的是使杰出的科学家为科学领导职能做好准备，同时从事进一步的研究课题。这项研究并不一定需要以项目形式规划和进行，因此，与其他资助计划的程序不同，申请摘要和最后报告都不需要，因此不会在GEPRIS上发表。

项目成果

The Fixpoint-Iteration Algorithm for Parity Games

• DOI: 10.4204/eptcs.161.12
• 发表时间: 2014-01-01
• 期刊: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
• 作者: Bruse, Florian;Falk, Michael;Lange, Martin
• 通讯作者: Lange, Martin

Multi-buffer simulations: Decidability and complexity

多缓冲区模拟：可判定性和复杂性

• DOI: 10.1016/j.ic.2018.09.008
• 发表时间: 2018
• 期刊: Inf. Comput.
• 作者: M. Hutagalung;N. Hundeshagen;D. Kuske;M. Lange;E. Lozes
• 通讯作者: E. Lozes

EMFeR: Model Checking for Object Oriented (EMF) Models

EMFeR：面向对象 (EMF) 模型的模型检查

• DOI: 10.5220/0007681605130520
• 发表时间: 2019
• 作者: C. Eickho;M. Lange;S.-L. Raesch;A. Zündorf
• 通讯作者: A. Zündorf

Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings

自动推理 - 第七届国际联合会议，IJCAR 2014，作为维也纳逻辑之夏的一部分举行，VSL 2014，奥地利维也纳，2014 年 7 月 19-22 日

• DOI: 10.1007/978-3-319-08587-6
• 发表时间: 2014
• 作者: R. Ehlers;M. Lange
• 通讯作者: M. Lange

Branching-time logics with path relativisation

具有路径相对化的分支时间逻辑

• DOI: 10.1016/j.jcss.2013.05.005
• 发表时间: 2014
• 期刊: J. Comput. Syst. Sci.
• 作者: M. Latte;M. Lange
• 通讯作者: M. Lange