Jard, Claude, 1959-....
Jard, Claude
Claude Jard francouzský profesor informatiky, specialista na programování distribuovaných systémů, testování softwarů a telekomunikační výzkum
VIAF ID: 79137857 ( Personal )
Permalink: http://viaf.org/viaf/79137857
Preferred Forms
- 100 0 _ ‡a Claude Jard ‡c francouzský profesor informatiky, specialista na programování distribuovaných systémů, testování softwarů a telekomunikační výzkum
- 200 _ | ‡a Jard ‡b Claude ‡f 1959-....
-
-
- 100 1 _ ‡a Jard, Claude
- 100 1 _ ‡a Jard, Claude ‡d 1959- ...
-
- 100 1 _ ‡a Jard, Claude, ‡d 1959-....
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Actes de l'École d'été MOVEP'96 : Nantes : 18-21 juin 1996 | |
UNE ALGORITHMIQUE EFFICACE POUR LA GENERATION AUTOMATIQUE DE TESTS DE CONFORMITE | |
An approach to integrate formal validation in an OO life-cycle of protocols | |
Approche dirigée par les contrats de niveaux de service pour la gestion de l'élasticité du "nuage" | |
Une approche pour des capteurs d'alarmes intelligent dans les réseaux | |
Approches formelles des systèmes embarqués communicants | |
BDL, a language of distributed reactive objects | |
Bounded-memory algorithms for verification On-the-fly | |
CFIP'95, ingénierie des protocoles | |
Communicating embedded systems : software and design : formal methods | |
Un compilateur Estelle multi-processeurs pour l'expérimentation d'algorithmes distribués sur machines parallèles | |
Contribution à la vérification dynamique des protocoles | |
Correctness of automated distribution of sequential programs | |
Couplage faible et principe de substitution dans les environnements à objets pour les services web. | |
Deceptive movement in rugby : biomechanical determinants, detection process and action : why expert is better ?. | |
Dépliages symboliques de réseaux de Petri de haut niveau et application à la supervision des systèmes répartis, français | |
Deriving trace checkers for distributed systems = Generation de verificateurs de traces pour les systemes distribues | |
Dioïdes et idéaux de polynômes en analyse statique | |
Distributed monitoring of concurrent and asynchronous systems extended version | |
An effective equivalence for sets of scenarios represented by HMSCs | |
Étude de l'utilisation d'architectures parallèles à mémoire distribuée pour la réalisation de commutateurs de réseaux haut débit | |
FAULT MANAGEMENT BASED ON A CAUSAL ALARM CORRELATION IN DISTRIBUTED SYSTEMS : APPLICATION TO TELECOMMUNICATION NETWORKS. | |
La feinte de corps au rugby : déterminants biomécaniques, processus de détection et action de défense : pourquoi l'expert est-il meilleur ? | |
Formal modeling and analysis of timed systems, c2008: | |
Functional description of sequence constraints and synthesis of combinatorial objects | |
Génie logiciel et méthodes formelles avec UML : : spécification, validation et génération de tests | |
Gestion flexible de la Qualité de Service dans les orchestrations de services Web = Flexible Quality of Service management of Web services orchestrations | |
Implémentabilité de systèmes distribués décrits à l'aide de scénarios. | |
Introducing probabilistic reasoning within Event-B. | |
Introduction de raisonnement probabiliste dans la méthode B événementiel | |
L'analyse d'exécutions réparties en utilisant la théorie de l'ordre | |
Un langage de composition des techniques de sécurité pour préserver la vie privée dans le nuage | |
Un langage non déterministe pour l'écriture de scénarios de test | |
Langages de scénarios : utiliser des ordres partiels pour modéliser, vérifier et superviser des sytèmes parallèles et répartis | |
Loose coupling and substitution principle in objet-oriented frameworks for web services | |
Measuring concurrency of regular distributed computations | |
Méthodes symboliques pour la génération de tests de systèmes réactifs comportant des données | |
Modélisation et vérification des processus parallèles : MOVEP'98 | |
Modélisation formelle de systèmes de drones civils à l'aide de méthodes probabilistes paramétrées | |
On-line model-checking for finite linear temporal logic specifications | |
On-the-fly verification on finite transition systems | |
On the use of unfoldings to abstract communicating automata into sets of scenarios | |
Parametric Statistical model checking of UAV flight plan. | |
Passage à l'échelle pour les contraintes d'ordonnancement multi-ressources | |
PATTERNS SYSTEM FOR EXPRESSION AND PARALLELIZATION OF ENUMERATIONS PROCESSING IN SOFTWARE ENGINEERING CONTEXT. | |
Performance and stability analysis in telecommunication networks. | |
A Petri net approach to fault detection and diagnosis in distributed systems | |
Protocoles et services test des spécifications | |
Quality of Service issues in compositions of Web Services, anglais | |
Reachability analysis on distributed executions | |
Réseaux de Petri à Paramètres Discrets. | |
Robustness in timed automata : analysis, synthesis, implementation | |
Scalable multi-dimensional resources scheduling constraints. | |
Scenario languages : using partial orders to model, verify and supervise concurrent and distributed systems. | |
Sémantique des orchestrations de services Web en termes de systèmes de réseaux de Petri, français | |
Sémantique en structures d'évènements pour Orc, français | |
SLA-driven cloud elasticity anagement approach. | |
Some "one-line" computations of the ideal lattice of posets | |
Spécification des objets partagés dans les systèmes répartis sans-attente | |
Specification of shared objects in wait-free distributed systems. | |
Static analysis with dioids and polynomial ideals. | |
Supervision de systèmes répartis utilisant des dépliages avec contraintes de modèles temporisés. | |
Sur l'utilisation des dépliages pour abstraire des automates communicants en ensembles de scénarios, français | |
Synthesis of distributed testers from true-concurrency models of reactive systems | |
SYSTEME DE MOTIFS POUR L'EXPRESSION ET LA PARALLELISATION DES TRAITEMENTS D'ENUMERATIONS DANS UN CONTEXTE DE GENIE LOGICIEL | |
Time supervision of concurrent systems using symbolic unfoldings of time Petri nets | |
Vérification de spécifications modales de réseaux worklows à l'aide de solveurs de contraintes et de methodes de résolution. | |
Verifying Modal Specifications of Workflow Nets : using Constraint Solving and Reduction Methods |