Timothy Bourke
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A type-based analysis of causality loops in hybrid systems modelers Nonlinear Analysis. Hybrid Systems | 2017-11-16 | Paper |
| Zélus: a synchronous language with ODEs Proceedings of the 16th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
| A type-based analysis of causality loops in hybrid systems modelers Proceedings of the 17th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
| Mechanizing a process algebra for network protocols Journal of Automated Reasoning | 2016-05-26 | Paper |
| A mechanized proof of loop freedom of the (untimed) AODV routing protocol Automated Technology for Verification and Analysis | 2015-12-17 | Paper |
| Showing invariance compositionally for a process algebra for network protocols Interactive Theorem Proving | 2014-09-08 | Paper |
| Challenges and experiences in managing large-scale proofs Lecture Notes in Computer Science | 2012-09-07 | Paper |
| Non-standard semantics of hybrid systems modelers Journal of Computer and System Sciences | 2012-08-17 | Paper |
| New results on timed specifications Recent Trends in Algebraic Development Techniques | 2012-06-08 | Paper |
Research outcomes over time
This page was built for person: Timothy Bourke
