Projects per year
Search results
-
Active
Formal Verification of Practical Nominal Unification Algorithms
Mansour, M. A. (Primary Investigator), Fernandez, M. (Co-Investigator) & Urban, C. (Co-Investigator)
31/03/2025 → 30/03/2027
Project: Research
-
Finished
NTVE: Nominal Techniques for Verification Environments
Fernandez, M. (Primary Investigator) & Urban, C. (Co-Investigator)
15/11/2021 → 14/11/2024
Project: Research
-
Efficient and provably correct schedulers for many-core CPUs
Urban, C. (Primary Investigator)
3/06/2013 → 2/10/2015
Project: Research
-
Usability evaluation of model transformation verification approaches (TransVerif)
Lano, K. (Primary Investigator) & Urban, C. (Co-Investigator)
1/01/2013 → 31/12/2015
Project: Research
-
Provably correct scheduling algorithms
Urban, C. (Primary Investigator)
1/01/2013 → 31/12/2014
Project: Research
-
Error-Free Programming using Theorem Provers - 0Bugs
Urban, C. (Primary Investigator)
1/01/2013 → 31/12/2017
Project: Research
-
Verifying XML query optimisations
Urban, C. (Primary Investigator)
1/05/2012 → 31/10/2013
Project: Research
-
-
Solving the PoplMark Challenge: new techniques for the verification of the correctness of programming languages
Urban, C. (Primary Investigator)
DFG Deutsche Forschungsgemeinschaft
1/04/2012 → 31/05/2013
Project: Research
-
Providing documentation and test cases for the theorem prover Isabelle
Urban, C. (Primary Investigator)
DFG Deutsche Forschungsgemeinschaft
1/12/2011 → 30/11/2012
Project: Research