.:. Browse > All items .:.

6772 documents ordered by : Date Title first author name document type Submit date

... 277 - 278 - 279 - 280 - 281 - 282 - 283 ...

Conformance testing from UML specifications. Experience Report Du Bousquet L., Martin H., Jézéquel J.-M. Lecture Notes in Informatics (LNI), Allemagne (2001) [hal-00794313 - version 1]

A UML-integrated test description language for component testing Pickin S., Jard C., Heuillard T., Jézéquel J.-M., Desfray P. Lecture Notes in Informatics (LNI), Allemagne (2001) [hal-00794311 - version 1]

Modelling Statecharts and Activitycharts as Signal equations Beauvais J.-R., Rutten E., Gautier T., Houdebine R., Le Guernic P., Tang Y.-M. ACM Transactions on Software Engineering and Methodology 10, 4 (2001) 397-451 [hal-00546080 - version 1]

Segmentation of brain 3D MR images using level sets and dense registration Baillard C., Hellier P., Barillot C. Medical Image Analysis 5, 3 (2001) 185-194 [inria-00536389 - version 1]

The Orchestration of Behaviours using Resources and Priority Levels Lamarche F., Donikian S. Computer Animation and Simulation, Royaume-Uni (2001) [inria-00432198 - version 1]

UML reflections Pennaneac'H F., Jézéquel J.-M., Malenfant J., Sunyé G. Proc. of Reflection 2001, Japan (2001) [hal-00794325 - version 1]

Formal verification of programs specified with signal: application to a power transformer station controller Marchand H., Rutten E., Le Borgne M., Samaan M. Science of Computer Programming 41, 1 (2001) 85-104 [inria-00526287 - version 1]

Increase software trustability with self-testable classes in Java Jézéquel J.-M., Deveaux D., Frison P. Proceedings of ASWEC 2001, Australia (2001) [hal-00794320 - version 1]

Selecting an efficient OO integration testing strategy: An experimental comparison of actual strategies Le Hanh V., Kamel A., Le Traon Y., Jézéquel J.-M. Proceedings of ECOOP2001, Hungary (2001) [hal-00794533 - version 1]

Hierarchical estimation of a dense deformation field for 3-D robust registration Hellier P., Barillot C., Memin E., Pérez P. IEEE Transactions on Medical Imaging 20, 5 (2001) 388 - 402 [inria-00536391 - version 1]

CORBA et réseaux haute performance Denis A. 13es Rencontres Francophones du Parallélisme (RenPar 13), (2001) [inria-00000129 - version 1]

Robustness and diagnosability of oo systems designed by contracts Baudry B., Le Traon Y., Jézéquel J.-M. Proceedings of Metrics'01, Royaume-Uni (2001) [hal-00794315 - version 1]

Refactoring UML models Sunyé G., Pollet D., Le Traon Y., Jézéquel J.-M. Proceedings of UML 2001, France (2001) [hal-00794330 - version 1]

Refactoring UML models Sunyé G., Pollet D., Le Traon Y., Jézéquel J.-M. Proceedings of UML 2001, France (2001) [hal-00794510 - version 1]

Utilisation d'un modèle probabiliste de formes pour le recalage non-linéaire de données 3D éparses Corouge I., Barillot C. Dans Actes des journées francophones des jeunes chercheurs en analyse d'images et perception visuelle - ORASIS 2001, France (2001) [inserm-00773112 - version 1]

Non-linear local registration of functional data Corouge I., Barillot C., Hellier P., Toulouse P., Gibaud B. Dans Medical Image Computing and Computer-Assisted Intervention - MICCAI 2001 - Medical Image Computing and Computer-Assisted Intervention (MICCAI), Pays-Bas (2001) [inserm-00773104 - version 1]

Use of a probabilistic shape model for non-linear registration of 3D scattered data Corouge I., Barillot C. Dans Image Processing, 2001. Proceedings. 2001 International Conference on - IEEE ICIP, Grèce (2001) [inserm-00773084 - version 1]

Clusters, Confusion and Unfoldings Haar S. Fundamenta Informaticae 47, 3-4 (2001) 259-270 [inria-00638277 - version 1]

Some Remarks on Nonlinear Approximation with Schauder Bases Gribonval R., Nielsen M. East Journal on Approximation 7, 3 (2001) 267-285 [inria-00576640 - version 1]

Représentations parcimonieuses pour la séparation de sources avec un seul capteur Benaroya L., Gribonval R., Bimbot F. XVIIIe colloque GRETSI (traitement du signal et des images), septembre 2001, France (2001) [inria-00576221 - version 1]