Timothy Bourke

From MaRDI portal
Person:287370

Available identifiers

zbMath Open bourke.timothyMaRDI QIDQ287370

List of research outcomes





PublicationDate of PublicationType
A type-based analysis of causality loops in hybrid systems modelers2017-11-16Paper
Zélus2017-05-16Paper
A type-based analysis of causality loops in hybrid systems modelers2017-05-16Paper
Mechanizing a process algebra for network protocols2016-05-26Paper
A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol2015-12-17Paper
Showing Invariance Compositionally for a Process Algebra for Network Protocols2014-09-08Paper
Challenges and Experiences in Managing Large-Scale Proofs2012-09-07Paper
Non-standard semantics of hybrid systems modelers2012-08-17Paper
New Results on Timed Specifications2012-06-08Paper

Research outcomes over time

This page was built for person: Timothy Bourke

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:287370&oldid=7571686"
Powered by MediaWiki