Putot, Sylvie, 19..-...., informaticienne
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
VIAF ID: 313308738 (Personal)
Permalink: http://viaf.org/viaf/313308738
Preferred Forms
5xx's: Related Names (1)
- 511 2 _
‡a
Laboratoire d'informatique de l'École polytechnique (Palaiseau)
Works
| Title | Sources |
|---|---|
| Amarrage collaboratif automatique et sécurisé d'un robot sur une plateforme mobile : preuve par analyse par intervalles de la faisabilité d'un problème d'amarrage sous-marin. |
|
| Analyse des erreurs d'arrondi sur les nombres à virgule flottante par programmation par contraintes |
|
| Analyse statique des propriétés numériques et structurelles du tableau. |
|
| Une Approche Géométrique pour Estimer la Mesure de Couverture de la Zone Explorée par un Robot. |
|
| Automotive embedded software design using formal methods |
|
| Calcul des capacités parasites dans les interconnexions des circuits intégrés par une méthode de domaines fictifs |
|
| Un calcul des zonotopes complexes pour l'invariance et la vérification de la stabilité des systèmes hybrides. |
|
| CoqDRAM - A Foundation for Designing Formally Proven Memory Controllers |
|
| CoqDRAM - Une Fondation pour la Conception de Contrôleurs de Mémoire Formellement Prouvés. |
|
| Cosimulation ensembliste d'une interconnexion de systèmes |
|
| Finding constancy in linear routines |
|
| Floating-point numbers round-off error analysis by constraint programming. |
|
| Génération de codes et d'annotations prouvables d'algorithmes de points intérieurs à destination de systèmes embarqués critiques |
|
| A Geometrical Approach to Estimate the Coverage Measure of the Area Explored by a Robot |
|
| Guaranteed control synthesis for switched space-time dynamical systems |
|
| Intégration de méthodes formelles dans la conception des fonctions logicielles automobiles. |
|
| Une méthode topologique pour la recherche d'ensembles invariants de systèmes continus et à communtation |
|
| Numerical Quality and High Performance In Interval Linear Algebra on Multi-Core Processors |
|
| Opinions, Lies and Knowledge. An Algebraic Approach to Mobility of Information and Processes |
|
| Opinions, Mensonges et Connaissance. Une Approche Algébrique à la Mobilité de l’Information et des Processus.. |
|
| Recherche de constance dans les routines linéaires. |
|
| Recherche d'invariants inductifs par satisfiabilité modulo théorie et optimisation convexe. |
|
| Safe & collaborative autonomous underwater docking : interval methods for proving the feasibility of an underwater docking problem |
|
| A set-based cosimulation method to overapproximate the reachable set of an interconnection of dynamical systems. |
|
| Static analysis of numerical programs : constrained affine sets abstract domain. |
|
| Static analysis of program portability by abstract interpretation |
|
| Static analysis on numeric and structural properties of array contents |
|
| Synthèse de contrôle garanti pour des systèmes dynamiques spatio-temporels à commutation. |
|
| Synthèse d'invariants : une approche programmation par contraintes basée sur l'abstraction zonotopique. |
|
| A topological method for finding invariant sets of continuous and switched systems. |
|
| Towards fast and certified multiple-precision librairies |
|
| Vérification et validation de techniques d'apprentissage machine. |
|
| Vers des bibliothèques multi-précision certifiées et performantes. |
|
