Timothy Bourke

According to our database1, Timothy Bourke authored at least 29 papers between 2005 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Building a Hybrid Systems Modeler on Synchronous Languages Principles.
Proceedings of the IEEE, 2018

Towards a verified Lustre compiler with modular reset.
Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, 2018

2017
A Synchronous Look at the Simulink Standard Library.
ACM Trans. Embedded Comput. Syst., 2017

A formally verified compiler for Lustre.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Real-time ticks for synchronous programming.
Proceedings of the 2017 Forum on Specification and Design Languages, 2017

Symbolic Simulation of Dataflow Synchronous Programs with Timers.
Proceedings of the Languages, Design Methods, and Tools for Electronic System Design, 2017

Symbolic simulation of dataflow synchronous programs with timers.
Proceedings of the 2017 Forum on Specification and Design Languages, 2017

2016
Mechanizing a Process Algebra for Network Protocols.
J. Autom. Reasoning, 2016

Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers.
Proceedings of the Proceedings ML Family Workshop / OCaml Users and Developers workshops, 2016

Soundness of the quasi-synchronous abstraction.
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015
Loosely time-triggered architectures: improvements and comparisons.
Proceedings of the 2015 International Conference on Embedded Software, 2015

A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages.
Proceedings of the Compiler Construction - 24th International Conference, 2015

2014
Loop freedom of the (untimed) AODV routing protocol.
Archive of Formal Proofs, 2014

Mechanization of the Algebra for Wireless Networks (AWN).
Archive of Formal Proofs, 2014

Showing Invariance Compositionally for a Process Algebra for Network Protocols.
Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

A type-based analysis of causality loops in hybrid systems modelers.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol.
Proceedings of the Automated Technology for Verification and Analysis, 2014

2013
Analyzing an embedded sensor with timed automata in uppaal.
ACM Trans. Embedded Comput. Syst., 2013

seL4: From General Purpose to a Proof of Information Flow Enforcement.
Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

Zélus: a synchronous language with ODEs.
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

2012
Non-standard semantics of hybrid systems modelers.
J. Comput. Syst. Sci., 2012

Challenges and Experiences in Managing Large-Scale Proofs.
Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011
Divide and recycle: types and compilation for a hybrid synchronous language.
Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011

A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code.
Proceedings of the 11th International Conference on Embedded Software, 2011

2010
New Results on Timed Specifications.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

2009
Modelling and programming embedded controllers with timed automata and synchronous languages.
PhD thesis, 2009

2008
Automatically transforming and relating Uppaal models of embedded systems.
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

2006
A timing model for synchronous language implementations in simulink.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005
Formal Models in Industry Standard Tools: an Argos Block within Simulink.
International Journal of Software Engineering and Knowledge Engineering, 2005


  Loading...