Halbwachs, Nicolas.
Halbwachs, Nicolas, 1953-...., informaticien
Nicolas Halbwachs ingénieur français
VIAF ID: 167179957 ( Personal )
Permalink: http://viaf.org/viaf/167179957
Preferred Forms
- 200 _ | ‡a Halbwachs ‡b Nicolas
-
-
-
- 100 1 0 ‡a Halbwachs, Nicolas
-
- 100 1 _ ‡a Halbwachs, Nicolas
-
-
- 100 1 _ ‡a Halbwachs, Nicolas
-
- 100 1 _ ‡a Halbwachs, Nicolas, ‡d 1953-...., ‡c informaticien
-
- 100 0 _ ‡a Nicolas Halbwachs ‡c ingénieur français
4xx's: Alternate Name Forms (10)
Works
Title | Sources |
---|---|
Accélération abstraite pour l'amélioration de la précision en Analyse des Relations Linéaires | |
Une approche synchrone des systèmes quasi-périodiques. | |
Array indices relational semantic analysis using rational cosets and trapezoids. | |
Behavior based malware classification using online machine learning | |
CAV'99 | |
Classification des logiciels malveillants basée sur le comportement à l'aide de l'apprentissage automatique en ligne. | |
Computer aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999 ; proceedings | |
Computer aided verification / Nicolas Halbwachs, Doron Peled (eds.). - Berlin, 1999. | |
Conclusive formal verification of clock domain crossing properties | |
Construction et evaluation d'un systeme interactif d'aide aux decisions d'un jeu d'entreprise | |
Contributions à l'analyse statique de programmes manipulant des tableaux | |
Contributions to the Static Analysis of Programs Handling Arrays. | |
Data-flow synchronous languages | |
Détermination automatique de relations linéaires vérifiées par les variables d'un programme | |
EJC '2002 : programmation synchrone pour les systèmes réactifs : notes de cours | |
Un environnement formel pour modéliser et vérifier les systèmes globalement asynchrones et localement synchrones. | |
ETAPS 2005 | |
Extension of the lustre language and application to hardware design : the lustre-v4 language and the pollux system | |
Formal framework for modelling and verifying globally asynchronous locally synchronous systems | |
Implantation fidèle de langages temps réel | |
Modélisation et analyse du comportement des systèmes informatiques temporisés | |
Modelling and analysis of timed computer system behaviour. | |
Modular analysis of numerical properties by abstract interpretation. | |
Optimisations pour la simulation efficace de programmes Esterel | |
Optimizations for faster execution of Esterel programs. | |
Projet SYNCHRONE : les formats communs des langages synchrones | |
Reduction of number variables in linear relations analysis. | |
Semantic analyses of congruence. | |
Sémantique et compilation de LUSTRE, un langage déclaratif synchrone | |
Synchronous programming of reactive systems | |
TACAS 2005 | |
Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings | |
Vérification et synthèse de systèmes réactifs | |
Vérification formelle concluante des propriétés des systèmes multi-horloges. |