Timothy Bourke
topic interest: Timing diagrams
interest: info.info-lo
interest: info.info-na
topic interest: CCS Concepts • Software and its engineering → Formal language definitions
topic interest: Compositional Verification
interest: info.info-mo
topic interest: Synchronous Programming
topic interest: Simulation
interest: info.info-ms
topic interest: HybridLang
topic interest: Real-Time Systems
interest: info.info-ni
interest: info.info-oh
topic interest: Timed Automata
topic interest: Assistants de Preuve Coq
topic interest: Verified Compilation
topic interest: Mobile Ad hoc Networks
topic interest: Isabelle/HOL
topic interest: Quasi-periodic Architectures
is aggregated by: tbrk
topic interest: Synchronous
topic interest: ITEA3
topic interest: Compilers
topic interest: Lustre
topic interest: Nonstandard analysis
topic interest: Automatic code generation
topic interest: Quasi-synchrony
topic interest: Hybrid automata
topic interest: Type systems
topic interest: Invariant proof
topic interest: Synchronous Languages
topic interest: Timed automata
topic interest: MDAE
topic interest: Wireless Mesh Networks
topic interest: AODV
topic interest: Numeric simulation
topic interest: Compilation of hybrid systems
topic interest: Protocol Verification
topic interest: Structural Analysis
topic interest: Compilation
interest: info.info-au
topic interest: Langages synchrones Lustre
interest: info.info-cl
topic interest: Non-standard analysis
topic interest: Verification
topic interest: Hybrid systems modelers
topic interest: Physical Time
topic interest: Networks
topic interest: ASSUME project
topic interest: Type System
topic interest: Formal Specifications
topic interest: Quasi-Synchronous Abstraction
topic interest: Network protocols
topic interest: Interactive Theorem Proving Isabelle/HOL
topic interest: Symbolic Simulation
topic interest: Loosely Time-Triggered Architectures
topic interest: Process Algebra
topic interest: Block Diagrams
topic interest: Non-standard semantics
topic interest: Programming
topic interest: Uppaal
first name: Timothy
topic interest: Index
topic interest: Formal software verification
topic interest: Real-Time Embedded Systems
topic interest: Invariance proofs
topic interest: Model Checking
interest: info.info-pl
topic interest: Hybrid systems
topic interest: Numerical Simulation
topic interest: DAE
topic interest: • Computer systems organization → Embedded software stream languages
topic interest: Index TermsProgramming
topic interest: Synchronous programming languages
topic interest: Software verification
topic interest: Avionics software
topic interest: Modeling Languages
family name: Bourke
topic interest: Kahn process networks
topic interest: Semantics