https://data.archives-ouvertes.fr/author/1591

https://data.archives-ouvertes.fr/author/1591

http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-oh
http://xmlns.com/foaf/0.1/topic_interest Real-Time Embedded Systems
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-na
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-mo
http://xmlns.com/foaf/0.1/topic_interest Numeric simulation
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ms
http://xmlns.com/foaf/0.1/topic_interest Numerical Simulation
http://xmlns.com/foaf/0.1/topic_interest Compositional Invariant Proofs
http://xmlns.com/foaf/0.1/topic_interest Avionics software
http://xmlns.com/foaf/0.1/topic_interest ITEA3
http://xmlns.com/foaf/0.1/topic_interest Protocol Verification
http://xmlns.com/foaf/0.1/topic_interest Modeling Languages
http://xmlns.com/foaf/0.1/topic_interest Verified Compilation
http://xmlns.com/foaf/0.1/topic_interest Programation
http://xmlns.com/foaf/0.1/topic_interest Program correctness
http://xmlns.com/foaf/0.1/topic_interest Symbolic Simulation
http://xmlns.com/foaf/0.1/topic_interest Assistants de preuve Coq
http://xmlns.com/foaf/0.1/topic_interest HybridLang
http://xmlns.com/foaf/0.1/topic_interest Type systems
http://xmlns.com/foaf/0.1/topic_interest Mobile Ad hoc Networks
http://xmlns.com/foaf/0.1/topic_interest Formal Specifications
http://xmlns.com/foaf/0.1/topic_interest Kahn process networks
http://xmlns.com/foaf/0.1/topic_interest Structural Analysis
http://xmlns.com/foaf/0.1/topic_interest Compositional Verification
http://xmlns.com/foaf/0.1/topic_interest Formal software verification
http://xmlns.com/foaf/0.1/topic_interest Physical Time
http://xmlns.com/foaf/0.1/topic_interest Semantics
http://xmlns.com/foaf/0.1/topic_interest ASSUME project
http://xmlns.com/foaf/0.1/topic_interest DAE
http://www.w3.org/2002/07/owl#sameAs 0000-0003-0601-4182
http://xmlns.com/foaf/0.1/topic_interest Programming
http://xmlns.com/foaf/0.1/topic_interest Quasi-synchrony
http://xmlns.com/foaf/0.1/topic_interest Isabelle/HOL
http://xmlns.com/foaf/0.1/topic_interest Non-standard analysis
http://xmlns.com/foaf/0.1/topic_interest OCaml
http://xmlns.com/foaf/0.1/topic_interest Model Checking
http://xmlns.com/foaf/0.1/topic_interest Synchronous Programming
http://www.w3.org/2002/07/owl#sameAs 202418812
http://xmlns.com/foaf/0.1/topic_interest Coq Proof Assistant
http://xmlns.com/foaf/0.1/topic_interest Block Diagrams
http://xmlns.com/foaf/0.1/topic_interest Integer Linear Programming
http://xmlns.com/foaf/0.1/topic_interest Quasi-periodic Architectures
http://xmlns.com/foaf/0.1/topic_interest Hybrid systems
http://xmlns.com/foaf/0.1/topic_interest Multicores and many-cores
http://xmlns.com/foaf/0.1/topic_interest Loosely Time-Triggered Architectures
http://xmlns.com/foaf/0.1/topic_interest Proof Assistants
http://xmlns.com/foaf/0.1/topic_interest Synchronous Languages
http://xmlns.com/foaf/0.1/topic_interest Back-Pressure LTTA
http://xmlns.com/foaf/0.1/topic_interest Index TermsProgramming
http://xmlns.com/foaf/0.1/topic_interest Compilation Techniques
http://xmlns.com/foaf/0.1/topic_interest Automatic code generation
http://xmlns.com/foaf/0.1/topic_interest Lanage de programmation Lustre
http://xmlns.com/foaf/0.1/topic_interest Synchronous
http://xmlns.com/foaf/0.1/topic_interest Real-Time Systems
http://xmlns.com/foaf/0.1/topic_interest Programmation Synchrone
http://xmlns.com/foaf/0.1/topic_interest Hybrid systems modelers
http://xmlns.com/foaf/0.1/topic_interest Process Algebra
http://xmlns.com/foaf/0.1/topic_interest LTTA
http://xmlns.com/foaf/0.1/topic_interest Reactive Systems
http://xmlns.com/foaf/0.1/topic_interest Interactive Theorem Proving Isabelle/HOL
http://xmlns.com/foaf/0.1/topic_interest Hybrid automata
http://xmlns.com/foaf/0.1/topic_interest Denotational Semantics
http://xmlns.com/foaf/0.1/topic_interest Nonstandard analysis
http://xmlns.com/foaf/0.1/topic_interest Electroacoustique
http://xmlns.com/foaf/0.1/topic_interest Time-Based LTTA
http://xmlns.com/foaf/0.1/familyName Bourke
http://xmlns.com/foaf/0.1/topic_interest AODV
http://xmlns.com/foaf/0.1/mbox_sha1sum 627431a6c6d487d4fb57abf07f4990a8
http://xmlns.com/foaf/0.1/topic_interest Interactive Theorem Proving Coq
http://xmlns.com/foaf/0.1/topic_interest Non-standard semantics
http://xmlns.com/foaf/0.1/topic_interest Dataflow Synchronous Programming
http://xmlns.com/foaf/0.1/topic_interest Lustre programming language
http://xmlns.com/foaf/0.1/topic_interest Synchronous programming languages
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-dc
http://xmlns.com/foaf/0.1/topic_interest Synchronous Languages Lustre
http://xmlns.com/foaf/0.1/topic_interest Compilers
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-cl
http://xmlns.com/foaf/0.1/topic_interest Interactive theorem proving
http://xmlns.com/foaf/0.1/topic_interest Lustre
http://xmlns.com/foaf/0.1/topic_interest Simulation
http://xmlns.com/foaf/0.1/topic_interest StructAnalysis
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-au
http://xmlns.com/foaf/0.1/topic_interest Mathematical modelling language
http://xmlns.com/foaf/0.1/topic_interest Langages synchrones Lustre
http://xmlns.com/foaf/0.1/topic_interest Network protocols
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/topic_interest Compilation of hybrid systems
http://xmlns.com/foaf/0.1/topic_interest Scala
http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://xmlns.com/foaf/0.1/Person
http://xmlns.com/foaf/0.1/name Timothy Bourke
http://xmlns.com/foaf/0.1/topic_interest Software verification
http://xmlns.com/foaf/0.1/topic_interest Invariant proof
http://xmlns.com/foaf/0.1/topic_interest Formal Semantics
http://xmlns.com/foaf/0.1/topic_interest MDAE
http://www.openarchives.org/ore/terms/isAggregatedBy https://data.archives-ouvertes.fr/author/tbrk
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-fl
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-es
http://xmlns.com/foaf/0.1/topic_interest Numerical solver
http://xmlns.com/foaf/0.1/topic_interest Index
http://xmlns.com/foaf/0.1/topic_interest Networks
http://xmlns.com/foaf/0.1/topic_interest Invariance proofs
http://xmlns.com/foaf/0.1/topic_interest Esterel
http://xmlns.com/foaf/0.1/topic_interest Constructive semantics
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-pl
http://xmlns.com/foaf/0.1/firstName Timothy
http://xmlns.com/foaf/0.1/topic_interest Quasi-Synchronous Abstraction
http://xmlns.com/foaf/0.1/interest https://data.archives-ouvertes.fr/subject/info.info-ni
http://xmlns.com/foaf/0.1/topic_interest CCS Concepts • Software and its engineering → Formal language definitions
http://xmlns.com/foaf/0.1/topic_interest Compilation

Télécharger au format