Person

Back to overview

Ultes-Nitsche Ulrich

Gender Male
Institute Département d'Informatique Université de Fribourg
Show all

Projects as responsible applicant

Responsible applicant Institution of higher education Start End date Funding scheme

VeriNeC(2): verified network configuration (sucessor)
Ultes-Nitsche Ulrich University of Fribourg - FR 01.07.2005 30.06.2007 Project funding (Div. I-III)

E.PROVE - Efficient PROperty VErification
Ultes-Nitsche Ulrich University of Fribourg - FR 01.05.2005 30.04.2008 Project funding (Div. I-III)

Properties of k-counting Automata
Ultes-Nitsche Ulrich University of Fribourg - FR 01.06.2013 31.05.2016 Project funding (Div. I-III)

VeriNeC: Verified Network Configuration
Ultes-Nitsche Ulrich University of Fribourg - FR 01.07.2003 30.06.2005 Project funding (Div. I-III)

E.PROVE+ - Efficient PROperty VErification
Ultes-Nitsche Ulrich University of Fribourg - FR 01.05.2008 30.04.2009 Project funding (Div. I-III)

Projects as member of staff

Responsible applicant Institution of higher education Start End date Funding scheme

MOBIMED: Privacy and efficiency of mobile medical systems
Teufel Stephanie University of Zurich - ZH 01.11.1996 30.04.2001 Swiss Priority Programmes (SPPs)

-