Personal profile
Research interests
Research interests (short)
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
POSIX Lexing with Bitcoded Derivatives
Tan, C. & Urban, C., 18 Apr 2023, (Accepted/In press) 14th International Conference on Interactive Theorem Proving (ITP 2023). Naumowicz, A. & Thiemann, R. (eds.). p. 26:1-26:18 18 p. 26Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile82 Downloads (Pure) -
POSIX Lexing with Derivatives of Regular Expressions
Urban, C., Sept 2023, In: JOURNAL OF AUTOMATED REASONING. 67, 3, 24.Research output: Contribution to journal › Article › peer-review
Open AccessFile5 Citations (Scopus)68 Downloads (Pure) -
Priority Inheritance Protocol Proved Correct
Zhang, X., Urban, C. & Wu, C., 1 Jan 2020, In: JOURNAL OF AUTOMATED REASONING. 64, 1, p. 73-95 23 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile3 Citations (Scopus)271 Downloads (Pure) -
Modelling Homogeneous Generative Meta-programming
Berger, M., Tratt, L. R. & Urban, C., 16 Jun 2017, (E-pub ahead of print) In: Leibniz International Proceedings in Informatics, LIPIcs. 74, 23 p.Research output: Contribution to journal › Conference paper › peer-review
Open AccessFile3 Citations (Scopus)106 Downloads (Pure) -
POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl)
Ausaf, F., Dyckhoff, R. & Urban, C., 7 Aug 2016, Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings. Springer LNCS: Springer International Publishing, p. 69-86 17 p. (Lecture Notes in Computer Science ; vol. 9807).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile15 Citations (Scopus)398 Downloads (Pure)
-
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
-
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
-
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