Bérard, Béatrice, 19..-...., professeure en informatique
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Bérard, Béatrice.
Bérard, B.
VIAF ID: 62439210 (Personal)
Permalink: http://viaf.org/viaf/62439210
Preferred Forms
-
200 _ |
‡a
Bérard
‡b
Béatrice
-
100 1 _ ‡a Bérard, Béatrice
-
100 1 _ ‡a Bérard, Béatrice
-
100 1 _
‡a
Bérard, Béatrice
-
100 1 _
‡a
Bérard, Béatrice,
‡d
19..-....,
‡c
professeure en informatique
-
100 1 _ ‡a Bérard, B.
-
100 1 _
‡a
Bérard, B.
-
100 1 _ ‡a Bérard, Béatrice
-
100 1 _ ‡a Bérard, Béatrice
-
100 1 _ ‡a Bérard, Béatrice.
4xx's: Alternate Name Forms (1)
Works
| Title | Sources |
|---|---|
| Analysing modular systems with hierarchical abstractions. |
|
| The analysis and co-design of weakly-consistent applications |
|
| Applying Formal Methods to Autonomous Vehicle Control |
|
| Un cadre polyédrique pour les problèmes d'accessibilité dans les réseaux de Petri. |
|
| A communication-efficient causal broadcast publish/subscribe system |
|
| Conception d'applications distribuées correctes et hautement disponibles. |
|
| Conception semi-automatique de contrôleurs avec VeriJ |
|
| La concurrence dans les systèmes temps-réel distribués. |
|
| Consolidation avancée pour des conteneurs dynamiques. |
|
| Décidabilité et complexité de jeux d'accessibilité sur des systèmes à compteurs. |
|
| Designing safe and highly available distributed applications |
|
| Formal approaches to information hiding : an analysis of interactive systems statistical disclosure control and refinement of specifications |
|
| Un langage de programmation pour composer l'interaction musicale : la gestion du temps et des événements dans Antescofo |
|
| Méthode de conception de systèmes temps réels embarqués multi-coeurs en milieu automobile |
|
| Methodology of designing embedded real-time multi-core systems in automotive. |
|
| Modélisation et résolution par contraintes de problèmes de vérification. |
|
| On intrinsically live structure and deadlock control of generalized Petri nets modeling flexible manufacturing systems |
|
| On the theory and practice of updatable parametric timed automata |
|
| Perversion : variations sur un thème |
|
| A polyhedral framework for reachability problems in Petri Nets |
|
| Qualitative analysis of synchronizing probabilistic systems |
|
| Qualitative and quantitative methods for detection of hidden information. |
|
| Random generation of executions of concurrent systems |
|
| Reachability games with counters : decidability and algorithms |
|
| Resource analysis for concurrent and dynamic systems. |
|
| Robustesse des automates temporisés : calculer les stratégies les plus permissives. |
|
| Robustness of timed automata : computing the maximally-permissive strategies |
|
| Semi-automatic controller design in a Java-like language. |
|
| Shuffle littéral : étude formelle et applications |
|
| Study of concurrency in real-time distributed systems |
|
| Supervision de systèmes répartis utilisant des dépliages avec contraintes de modèles temporisés. |
|
| Supervision of distributed systems using constrained unfoldings of timed models |
|
| Supervisor Synthesis for Automated Manufacturing Systems Based on Structure Theory of Petri Nets |
|
| Sur la théorie et l'application des automates paramétrés temporisés avec mises à jour. |
|
| Synthèse de contrôleurs de Systèmes de production automatisés basés sur la théorie structurelle des réseaux de Petri. |
|
| Synthèse pour les systèmes paramétrés. |
|
| Synthesis for parameterized systems |
|
| Un système de publication/abonnement efficace et respectant l'ordre causale. |
|
| Systèmes d'exploitation concepts et algorithmes |
|
| Systems and software verification, 2001: |
|
| Verification and synthesis of robot protocols. |
|
| Vérification de logiciels |
|
| Vérification de logiciels : techniques et outils du model-checking |
|
| Vérification de propriétés de conception à l’exécution à l’aide d’une approche IDM, model@run.time verification - Application aux véhicules connectés autonomes. |
|
| Vérification et synthèse d'algorithmes de robots. |
|
| Vérification paramétrée à partir des spécifications formelles des systèmes d’information. |
|
