Person:
Zeige 1 bis 7 von 7 Ergebnissen
Model Checking of Navigation Logics (MoNaLog) Duration: 01/06/2020 - 31/05/2023 | 1st Funding period Funded by: DFG - Individual Grants Programme Type of project: Individual project | |
SPP 1496 – WP: Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs (3rd funding period) (IFC for Mobile Components) Duration: 01/10/2014 - 30/06/2018 | 3rd Funding period Funded by: DFG - Priority Programme Type of project: Subproject in DFG-joint project hosted outside University of Münster | |
Duration: 01/12/2012 - 31/12/2015 | 2nd Funding period Funded by: DFG - Individual Grants Programme Type of project: Individual project | |
SPP 1496 – WP: Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs (2nd funding period) (IFC for Mobile Components) Duration: 01/10/2012 - 30/09/2015 | 2nd Funding period Funded by: DFG - Priority Programme Type of project: Subproject in DFG-joint project hosted outside University of Münster | |
SPP 1496 - WP: Information Flow Control for Mobile Components Based on Precise Analysis for Parallel Programs (1st funding period) (IFC for Mobile Components) Duration: 01/10/2010 - 30/09/2013 | 1st Funding period Funded by: DFG - Priority Programme Type of project: Subproject in DFG-joint project hosted outside University of Münster | |
Duration: 20/09/2007 - 30/11/2012 | 1st Funding period Funded by: DFG - Individual Grants Programme Type of project: Individual project | |
Duration: 01/01/2007 - 31/12/2008 Funded by: German Academic Exchange Service Type of project: Participation in other joint projects |