 |
 |
|
|
|
|---|---|---|
|
hal-00374129v1
Communication dans un congrès
Marius Bozga, Jean-Claude Fernandez, Constantin Lucian Ghirvu, Susanne Graf, Krimm Jean Pierre et al. IF: An Intermediate Representation for SDL and its Applications Rachida Dssouli and Gregor von Bochmann and Rachida, Dssouli; Gregor, von Bochmann; Yair, Lahav;. SDL '99 The Next Millennium, 9th International SDL Forum, Jun 1999, Montreal, Canada. Elsevier, pp.423-440, 1999 |
||
|
hal-00375374v1
Communication dans un congrès
Khadidja Grebici, M.-Z. Ouertani, Eric Blanco, Lilia Gzara, D. Rieu. Conflict Management in Design Process : Focus on Changes Impact 13th ISPE International Conference on Concurrent Engineering, Sep 2006, Antibes, France. 2006 |
||
|
hal-00376069v1
Communication dans un congrès
M.-Z. Ouertani, Khadidja Grebici, Lilia Gzara, Dominique Rieu, Eric Blanco. A product data dependencies network to support conflict resolution in design processes 4th CESA Multiconference on Computational Engineering in Systems Applications, Oct 2006, Beijing, China. 2006 |
||
|
inria-00000043v1
Communication dans un congrès
Fabien Corblin, Eric Fanchon, Laurent Trilling. Inférer et simuler un modèle biologique décrivant l'adhérence entre cellules Christine Solnon. Premières Journées Francophones de Programmation par Contraintes, Jun 2005, Lens, Université d'Artois, pp.29-38, 2005, Premières Journées Francophones de Programmation par Contraintes |
||
|
hal-00953109v1
Article dans une revue
Gabriela Montiel Moreno, José-Luis Zechinelli-Martini, Genoveva Vargas-Solar. Modelling autonomic dataspaces using answer sets Journal de Inteligencia Artificial, Erevista, 2010, 14(48), pp.3--14 |
||
|
hal-00953078v1
Communication dans un congrès
Javier A. Espinosa-Oviedo, Genoveva Vargas-Solar, José-Luis Zechinelli-Martini, Christine Collet. Unmarrying Non-Functional Properties and Services Coordination Using Contracts Proceedings of the 1st Int. workshop on Model Driven Service Engineering (Mose 2009) in conjunction with the 18th CIKM conference, 2009, Hong Kong, China. ACM, pp.61--64, 2009 |
||
|
hal-00953079v1
Communication dans un congrès
Javier A. Espinosa-Oviedo, Genoveva Vargas-Solar, José-Luis Zechinelli-Martini, Christine Collet. Securely coordinating services using contracts Proceedings of the 8th Mexican International Conference on Computer Science (ENC 2009), 2009, Mexico, Mexico. IEEE, pp.307--314, 2009 |
||
|
hal-00953081v1
Communication dans un congrès
Javier A. Espinosa-Oviedo, Genoveva Vargas-Solar, José-Luis Zechinelli-Martini, Christine Collet. Non-Functional Properties and Services Coordination Using Contracts Proceedings of the 13th Int. Database Engineering and Applications Symposium (IDEAS 09), 2009, Cetraro, Italy. ACM, pp.307--310, 2009 |
||
|
hal-00486710v1
Communication dans un congrès
Jayaprakash Nagapraveen, Thierry Coupaye, Christine Collet, Pierre-Charles David. Flexible Reactive Capabilities in Component-Based Autonomic Systems Workshop on Engineering of Autonomic and Autonomous Systems (EASe 2008), 2008, Belfast, Ireland. pp.97-106, 2008 |
||
|
hal-00017372v1
Communication dans un congrès
P. Amblard, F. Lagnier, M. Levy. Using formal tools to study complex circuits behaviour Proceedings-Euromicro-Symposium-on-Digital-System-Design.-Architectures,-Methods-and-Tools., 2002, Dortmund, Germany. IEEE Comput. Soc, Los Alamitos, CA, USA, pp.180-6, 2002, INTERNATIONAL STANDARD BOOK NUMBER: 0769517900. <10.1109/DSD.2002.1115367> |
||
|
hal-00954003v1
Chapitre d'ouvrage
A. Kefti, Jérôme Gensel, Hervé Martin, Philippe Mulhem. An Object Approach for Web Presentations N/A. Mutilmedia Mining - A high Way to Intelligent Multimedia Documents, Kluwer, pp.161--177, 2002 |
||
|
hal-00953902v1
Communication dans un congrès
Stéphane Ayache, Georges Quénot, Jérôme Gensel, Shin'Ichi Satoh. Using Topic Concepts for Semantic Video Shots Classification International Conference on Image and Video Retrieval CIVR'06, 2006, Tempe, United States. 2006 |
||
|
hal-00954000v1
Chapitre d'ouvrage
Hervé Martin, Jérôme Gensel, Philippe Mulhem. Adaptive video summarization N/A. N/A, CRC Press, 2003, Design and Applications, 084937006X |
||
|
hal-00953918v1
Communication dans un congrès
Stéphane Ayache, Georges Quénot, Jérôme Gensel, Shin'Ichi Satoh. CLIPS and NII at TRECvid: Shot segmentation and feature extraction TREC Workshop on Video Retrieval Evaluation, 2005, Gaithersburg, MD, United States. 2005 |
||
|
hal-00017371v1
Communication dans un congrès
P. Amblard, F. Lagnier, M. Levy. Finite state machines: composition, verification, minimization: a case study Proceedings-of-the-10th-International-Conference-Mixed-Design-of-Integrated-Circuits-and-Systems.-MIXDES-2003, 2003, Lodz, Poland. Tech. Univ. Lodz, Lodz, Poland, pp.214-19, 2003 |
||
|
hal-00953590v1
Communication dans un congrès
Ylìès Falcone, Jean-Claude Fernandez, Laurent Mounier. Enforcement Monitoring wrt. the Safety-Progress Classification of Properties 24th Annual ACM Symposium on Applied Computing - Software Verification and Testing Track (SAC 2009), 2009, Unknown, pp.593-600, 2009, <10.1145/1529282.1529408> |
||
|
tel-00206220v3
Thèse
Ioan Marius Bilasco. Une approche sémantique pour la réutilisation et l'adaptation de donnée 3D Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2007. Français |
||
|
hal-00953999v1
Chapitre d'ouvrage
Philippe Mulhem, Jérôme Gensel, Hervé Martin. Adaptive Video Summarization N/A. Handbook on Video Databases, CRC Press, pp.279--298, 2003 |
||
|
hal-00954017v1
Article dans une revue
Philippe Mulhem, Jérôme Gensel, Hervé Martin. Modèles pour résumés adaptatifs de vidéos Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2003, 7 (5-6), pp.91--118 |
||
|
hal-00360732v1
Article dans une revue
Khadidja Grebici, D. Rieu, Eric Blanco. Vers une meilleure collaboration des acteurs du processus de conception de produit Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2006, 11, pp.95-125 |
||
|
hal-00188048v1
Ouvrage (y compris édition critique et traduction)
P. Amblard, F. Lagnier, P. Sicard, J. Fernandez, F. Maraninchi et al. Architectures logicielles et matérielles Dunod, 2000 |
||
|
hal-00921671v1
Communication dans un congrès
Javier Alfonso Espinosa-Oviedo, Genoveva Vargas-Solar, José-Luis Zechinelli-Martini, Christine Collet. Policy Driven Services Coordination for Building Social Networks Based Applications Hans-Arno Jacobsen, Yang Wang, and Patrick Hung. SCC 2011 - 8th International Conference on Services Computing, Jul 2011, Washington, DC, United States. IEEE, pp.753-754, 2011, <10.1109/SCC.2011.40> |
||
|
hal-00373035v1
Communication dans un congrès
Khadidja Grebici, Eric Blanco, D. Rieu. Framework for Managing Preliminary Information in Collaborative Design Processes 2nd International Conference on Product Lifecycle Management, 2005, Lyon, France. 2005 |
||
|
hal-01199123v1
Communication dans un congrès
Martin Heusse, Paul Starzetz, Franck Rousseau, Gilles Berger Sabbatel, Andrzej Duda. Bandwidth Allocation for DiffServ based Quality of Service over 802.11b Proceedings of the IEEE Global Telecommunications Conference (GLOBECOM'03), 2003, San Francisco, United States. 2, pp.992-997, 2003, <10.1109/GLOCOM.2003.1258387> |
||
|
hal-01199125v1
Communication dans un congrès
Martin Heusse, Paul Starzetz, Franck Rousseau, Gilles Berger Sabbatel, Andrzej Duda. Scheduling Time-sensitive Traffic on 802.11 Wireless LANs Proceedings of the 4th COST 263 International Workshop on Quality of Future Internet Services (QoFIS 2003), 2003, Stockholm, Sweden. Springer Berlin / Heidelberg, 2811, pp.162-171, 2003, Lecture Notes in Computer Science. <10.1007/b13241> |
||
|
hal-00214274v1
Communication dans un congrès
Christine Plumejeaud, Jean-Marc Vincent, Claude Grasland, Jérôme Gensel, Hélène Mathian et al. HyperSmooth : calcul et visualisation de cartes de potentiel interactives. SAGEO 2007, Rencontres internationales Géomatique et territoire, Jun 2007, France. pp.978-2-85710-078-2, 2007 |
||
|
hal-00369360v1
Communication dans un congrès
Marius Bozga, Jean-Claude Fernandez, Constantin Lucian Ghirvu. Using Static Analysis To Improve Automatic Test Generation Graf, Susanne; Schwartzbach, Michael. Tools and Algorithms for the Construction and Analysis of Systems 6th International Conference, TACAS 2000, Mar 2000, Berlin, Germany. Springer, 1785, pp.235-250, 2000, Lecture Notes in Computer Science. <10.1007/3-540-46419-0> |
||
|
hal-00369423v1
Communication dans un congrès
Marius Bozga, Jean-Claude Fernandez, Constantin Lucian Ghirvu. State Space Reduction based on Live Variables Analysis Cortesi, Agostino; File, Gilberto. Static Analysis 6th International Symposium, SAS'99, Sep 1999, Venice, Italy. Springer, 1694, pp.164-178, 1999, Lecture Notes in Computer Science. <10.1007/3-540-48294-6_11> |
||
|
hal-00369355v1
Communication dans un congrès
Saddek Bensalem, Marius Bozga, Jean-Claude Fernandez, Constantin Lucian Ghirvu, Yassine Lakhnech. A Transformational Approach for Generating Non-Linear Invariants Palsberg, Jens. Static Analysis 7th International Symposium, SAS 2000, Jun 2000, Santa Barbara, CA, United States. Springer, 1824, pp.58-72, 2000, Lecture Notes in Computer Science. <10.1007/b87738> |
||
|
hal-00369415v1
Communication dans un congrès
Marius Bozga, Jean-Claude Fernandez, Constantin Lucian Ghirvu, Susanne Graf, Krimm Jean Pierre et al. IF: A Validation Environment for Timed Asynchronous Systems Emerson, E. Allen; Sistla, A. Prasad. Computer Aided Verification 12th International Conference, CAV 2000, Jul 2000, Chicago IL, United States. Springer, 1855, pp.543-547, 2000, Lecture Notes in Computer Science. <10.1007/10722167> |
||
|
|
|
