Aiguier, Marc, 19..-....
Aiguier, Marc
Marc Aiguier
VIAF ID: 162199892 ( Personal )
Permalink: http://viaf.org/viaf/162199892
Preferred Forms
-
- 100 1 _ ‡a Aiguier, Marc
- 100 1 _ ‡a Aiguier, Marc
-
- 100 1 _ ‡a Aiguier, Marc, ‡d 19..-....
- 100 0 _ ‡a Marc Aiguier
Works
Title | Sources |
---|---|
Algebraic object oriented specifications: a formalism proposal and its applications to the abstract implementation. | |
Apprentissage de la Représentation Liée au Recrutement à partir de Graphes et de Données Séquentielles. | |
Building and Using Knowledge Models for Semantic Image Annotation | |
Complex systems design and management, c2010: | |
Compositionnalité des monades par lois de distributivité faibles. | |
Compression de maillages de grande taille | |
Construction et utilisation de modèles à base de connaissance pour l’annotation sémantique des images. | |
CSD&M 2012 | |
Efficient compression of large meshes. | |
Etude de la préservation des propriétés temporelles des réseaux de régulation génétique au travers du plongement : vers une caractérisation des systèmes complexes par l'émergence de propriétés | |
Formalism for the high-level design of hard real-time embedded systems. | |
Formalisme pour la conception haut-niveau et détaillée de systèmes de contrôle-commande critiques | |
Learning Recruitment-Related Representations from Graphs and Sequential Data | |
Une méthode de sélection de tests à partir de spécifications algébriques | |
Model-Based Testing of Timed Distributed Systems : A Constraint-Based Approach for Solving the Oracle Problem | |
Model-based testing real-time and interactive music systems | |
Modèles de files d'attente pour l'analyse des stratégies de collaboration dans les systèmes de services | |
Modélisation et validation des systèmes à base d'états. | |
On the compositionality of monads via weak distributive laws | |
Progressive and Random Accessible Mesh Compression | |
Queueing approaches for the analysis of collaboration strategies in service systems. | |
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 | |
Symbolic analysis of scenario based timed models for component based systems : Compositionality results for testing | |
Temporal property preservation along embedding of genetic regulatory networks : toward complex system characterization by the emergence of properties. | |
Test à base de modèles de systèmes temporisés distribués : une approche basée sur les contraintes pour résoudre le problème de l’oracle. | |
Testing from axiomatic specifications. | |
Tests de systèmes musicaux interactifs et temps réel basés sur modèles. |