Fribourg, Laurent, 1957-....
Fribourg, Laurent
VIAF ID: 263934 ( Personal )
Permalink: http://viaf.org/viaf/263934
Preferred Forms
- 200 _ | ‡a Fribourg ‡b Laurent
-
-
- 100 1 _ ‡a Fribourg, Laurent (sparse)
-
- 100 1 _ ‡a Fribourg, Laurent ‡d 1957-
- 100 1 0 ‡a Fribourg, Laurent, ‡d 1957-
-
-
-
- 100 1 _ ‡a Fribourg, Laurent, ‡d 1957-....
Works
Title | Sources |
---|---|
Analyses formelles des propriétés des systèmes dynamiques sous perturbations. | |
Apprentissage de langages réguliers sur des alphabets de grandes tailles. | |
AUTOMATES A CONTRAINTES ARITHMETIQUES ET PROCEDURES D'EVALUATION ASCENDANTE DE PROGRAMMES LOGIQUES | |
Un calcul des zonotopes complexes pour l'invariance et la vérification de la stabilité des systèmes hybrides. | |
Un cas remarquable de systèmes linéaires : les systèmes monotones : résolution et application à la vérification formelle de programmes | |
COMPARAISON ENTRE LA TRANSFORMATION ET L'EXTRACTION DE PROGRAMMES LOGIQUES | |
Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings | |
Control of switching systems by invariance analysis : application to power electronics | |
CSL 2001 | |
A decision procedure for a subtheory of linear arithmetic with lists | |
Démonstration automatique : Refutation par superposition de clauses équationnelles | |
Distributed algorithms on parameterized rings : probabilistic and deterministic convergence proofs. | |
Guaranteed control synthesis for switched space-time dynamical systems | |
Guaranteed properties of dynamical systems under perturbations | |
Learning regular languages over large alphabets | |
Logic program synthesis and transformation-- Meta-programming in Logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994 : proceedings | |
LOPSTR'94 | |
META'94 | |
Une méthode inverse pour la synthèse de paramètres temporels dans les systèmes concurrents. | |
Une méthode topologique pour la recherche d'ensembles invariants de systèmes continus et à communtation | |
Méthodes numériques pour la recherche et la conception d'architectures optimales de boîtes de vitesses | |
Outils et techniques pour la vérification de programmes impératives modulaires. | |
Probabilistic methods for the verification of distributed systems. | |
Quantitave and parametric analysis of probabilistic timed automata. | |
Raisonnement sur les grands flux de données : méthode de résolution de problèmes basée sur l'abstraction récursive TOM4A. | |
Reasoning about big data flows : TOM4A recursive abstraction based problem solving method | |
Scientific methods for research and design synthesis of gearboxes. | |
Stabilité des systèmes commutés contraints par des langages ω-réguliers. | |
Stability of constrained switched systems driven by ω-regular languages | |
Synthèse Compositionnelle et Efficace de Contrôleurs pour les Systèmes Cyber-Physiques. | |
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. | |
Synthèse d'ordonnanceurs corrects par conception pour les systèmes hybrides. | |
Synthesis of correct-by-design schedulers for hybrid systems | |
Tools and Techniques for the Verification of Modular Stateful Code | |
A topological method for finding invariant sets of continuous and switched systems. | |
Vérification formelle des systèmes cyber-physiques dans le processus industriel de la conception basée sur modèle |