Adapting algorithms to parallel architectures. |
|
Alain Simon entre chien et loup [Pont-à-Mousson, Abbaye des Prémontrés, 30 avril-7 mai 1990, église romane de Mont-Saint-Martin, décembre 1990] |
|
Une approche à base de modèles fondés sur les intervalles pour la génération automatique d'arbres de diagnostic optimaux, application au domaine de l'automobile |
|
Une approche symbolique pour la vérification et le test des chorégraphies de services. |
|
Approche systématique basée sur fUML pour formaliser la sémantique d'exécution des profils UML |
|
Artificial intelligence : What is it, exactly? |
|
Un cadre pour guider la localisation automatique de défauts en utilisant des préférences stratégiques locales |
|
Colorations d’arc et cycles dans les graphes orientés. |
|
Computational method for the inference of therapeutic targets and sequence of treatments. |
|
Cycles in graphs and arc colorings in digraphs |
|
Design, modeling and simulation in silico of an artificial biological nanosystem for medical diagnosis. |
|
Diagnosability and diagnosis of technological systems : tool-chain development for diagnosis system design of technological systems. |
|
Diagnosis of Large Software Systems Based on Colored Petri Nets |
|
Diagnostic des grands systèmes logiciels à base de réseaux de Petri colorés. |
|
Diagnostic distribué de systèmes respectant la confidentialité |
|
Diagnostic et reconfiguration basés sur des modèles hybrides concurrents : application aux satellites autonomes |
|
Diagnosticabilité et diagnostic de systèmes technologiques pilotés : développement d'une chaîne de conception outillée d'un système de diagnostic appliquée aux systèmes technologiques pilotés |
|
Distributed diagnosis of systems respecting privacy. |
|
Formal analysis of hybrid specifications from SysML models for functional validation of embedded systems specifications. |
|
Formal verification at design stage of diagnosis related properties for discrete event and real-time systems |
|
A framework for guiding automatic fault isolation using local strategy preferences. |
|
Gaspar : Simulateur à base de modèles pour la supervision de réseaux de télécommunication |
|
Gestion des aléas dans un système multi-robots |
|
Incremental Updating of Geographical Databases : how to maintain consistency.. |
|
Invariants inference for model checking of parameterized systems. |
|
Knowledge Extraction from Description Logic Terminologies |
|
Management of hazards in a multi-robot system. |
|
Une méthode de test fonctionnel en-ligne basée sur une approche de monitorage distribuée continue appliquée aux systèmes communicants |
|
Méthodes avancées de raisonnement en logique propositionnelle : application aux réseaux métaboliques |
|
Méthodes d'inférence de cibles thérapeutiques et de séquences de traitement |
|
Mise à jour incrémentale des bases de données géographiques et maintien de leur cohérence |
|
Model-Based Testing over IOSTS enriched with function calls |
|
Modèles et raisonnements qualitatifs , c2003 |
|
Modélisation et inférence des relations causales dans les systèmes physiques |
|
Modélisation et score de complexes protéine-ARN |
|
Modélisation et simulation qualitative de systèmes hybrides |
|
Modelling and scoring of protein-RNA complexes. |
|
A novel online functional testing methodology based on a fully distributed continuous monitoring approach applied to communicating systems. |
|
Pile-ou-face et mise-en-gage de bit quantique : bornes optimales, constructions pratiques et sécurité calculatoire. |
|
Portfolio Methods in Uncertain Contexts |
|
Proportional logic advanced reasoning methods : application metabolic networks. |
|
Quantum coin flipping and bit commitment : optimal bounds, pratical constructions and computational security |
|
Raisonnement automatique sur les croyances et les incertitudes d'un agent formalisé au sein de la théorie de l'interaction rationnelle |
|
raisonnement qualitatif pour les sciences de l'ingénieur |
|
Reprogrammation comportementale : modèles, algorithmes et application aux maladies complexes |
|
SAT-based diagnosability and predictability analysis in centralized and distributed discrete event systems. |
|
Symbolic Testing Approach of Composite Web Services. |
|
System of automated reasoning for the mental behavior of belief and of uncertainty in the theory of the rational interaction. |
|
Test à base de modèles : IOSTS enrichis avec les appels de fonctions. |
|
Vérification formelle au stade de la conception de propriétés liées au diagnostic des systèmes à événements discrets et temps réel. |
|
Vérification par model-checking de programmes concurrents paramétrés sur des modèles mémoires faibles |
|