Bourke, Timothy, 19..-....
VIAF ID: 75150565712506250071 ( Personal )
Permalink: http://viaf.org/viaf/75150565712506250071
Preferred Forms
5xx's: Related Names (1)
- 511 2 _ ‡a École normale supérieure (Paris ; 1985-....). ‡b Département d'informatique
Works
Title | Sources |
---|---|
Analyse statique des propriétés numériques et structurelles du tableau. | |
Une approche synchrone des systèmes quasi-périodiques. | |
Formalisation du temps et de la causalité dans les modèles polychrones polytemporisés. | |
Formalizing Time and Causality in Polychronous Polytimed Models | |
High-level programming models for microcontrollers with scarce resources. | |
Mechanized semantics and verified compilation for a dataflow synchronous language with reset. | |
Méthodologie de vérification formelle de propriétés temporelles pour les applications temps-réel critiques basées sur le concept de temps logique | |
Methodology for the formal verification of temporal properties for real-time safety-critical applications based on logical time. | |
Modèles de programmation de haut niveau pour microcontrôleurs à faibles ressources | |
Programing adaptive real-time systems. | |
Programmation de systèmes temps réels adaptatifs | |
Sémantique mécanisée et compilation vérifiée pour un langage synchrone à flots de données avec réinitialisation | |
Specification and compilation of embedded neural networks. | |
Spécification et compilation de réseaux de neurones embarqués | |
Static analysis on numeric and structural properties of array contents | |
Techniques de débogage statique et dynamique pour le langage HipHop.js | |
Vérification automatisée de code système à l'aide d'abstractions mémoire basées sur le typage. | |
Vérification formelle du fonctionnement d'un autopilote : analyse statique et génération de code vérifiée | |
Vers la vérification des langages de description d'interface utilisateur |