Timothy Bourke
interest: info.info-oh
topic interest: Real-Time Embedded Systems
interest: info.info-na
interest: info.info-mo
topic interest: Numeric simulation
interest: info.info-ms
topic interest: Numerical Simulation
topic interest: Compositional Invariant Proofs
topic interest: Avionics software
topic interest: ITEA3
topic interest: Protocol Verification
topic interest: Modeling Languages
topic interest: Verified Compilation
topic interest: Programation
topic interest: Program correctness
topic interest: Symbolic Simulation
topic interest: Assistants de preuve Coq @fr
topic interest: HybridLang
topic interest: Type systems
topic interest: Mobile Ad hoc Networks
topic interest: Formal Specifications
topic interest: Kahn process networks
topic interest: Structural Analysis
topic interest: Compositional Verification
topic interest: Formal software verification
topic interest: Physical Time
topic interest: Semantics
topic interest: ASSUME project
topic interest: DAE
topic interest: Programming
topic interest: Quasi-synchrony
topic interest: Isabelle/HOL
topic interest: Non-standard analysis
topic interest: OCaml
topic interest: Model Checking
topic interest: Synchronous Programming
topic interest: Coq Proof Assistant
topic interest: Block Diagrams
topic interest: Integer Linear Programming
topic interest: Quasi-periodic Architectures
topic interest: Hybrid systems
topic interest: Multicores and many-cores
topic interest: Loosely Time-Triggered Architectures
topic interest: Proof Assistants
topic interest: Synchronous Languages
topic interest: Back-Pressure LTTA
topic interest: Index TermsProgramming
topic interest: Compilation Techniques
topic interest: Automatic code generation
topic interest: Lanage de programmation Lustre @fr
topic interest: Synchronous
topic interest: Real-Time Systems
topic interest: Programmation Synchrone @fr
topic interest: Hybrid systems modelers
topic interest: Process Algebra
topic interest: LTTA
topic interest: Reactive Systems
topic interest: Interactive Theorem Proving Isabelle/HOL
topic interest: Hybrid automata
topic interest: Denotational Semantics
topic interest: Nonstandard analysis
topic interest: Electroacoustique
topic interest: Time-Based LTTA
family name: Bourke
topic interest: AODV
topic interest: Interactive Theorem Proving Coq
topic interest: Non-standard semantics
topic interest: Dataflow Synchronous Programming
topic interest: Lustre programming language
topic interest: Synchronous programming languages
interest: info.info-dc
topic interest: Synchronous Languages Lustre
topic interest: Compilers
interest: info.info-cl
topic interest: Interactive theorem proving
topic interest: Lustre
topic interest: Simulation
topic interest: StructAnalysis
interest: info.info-au
topic interest: Mathematical modelling language