Publications du pôle COMRED

   ARTICLES AVEC COMITÉ DE LECTURE

S. Alouf, F. Huet, P. Nain
Forwarders vs. centralized server: an evaluation of two approaches for locating mobile agents
Performance Evaluation, 49(1-4), pp.299-319, 09/2002, hal-00641265

B. Amedro, D. Caromel, F. Huet, V. Bodnartchouk, C. Delbé, G. L. Taboada
HPC in Java: Experiences in Implementing the NAS Parallel Benchmarks
APPLIED INFORMATICS AND COMMUNICATIONS, 22/08/2010, inria-00504630

O. Amini, F. Giroire, F. Huc, S. Pérennes
Minimal selectors and fault tolerant networks
Networks, 55(4), pp.326-340, 2010, inria-00485848

O. Amini, F. Havet, F. Huc, S. Thomasse
WDM and Directed Star Arboricity
Combinatorics Probability & Computing, 19 pp.161-182, 2010, lirmm-00512776

O. Amini, F. Mazoit, N. Nisse, S. Thomasse
Submodular Partition Functions
Discrete Mathematics, 309 pp.6000-6008, 2009, lirmm-00432698

O. Amini, F. Mazoit, N. Nisse, S. Thomasse
Submodular Partition Functions
Discrete Mathematics, 309(20), pp.6000-6008, 2009, hal-00414326

C. André, F. Mallet
Modèle de contraintes temporelles pour systèmes polychrones
Journal Européen des Systèmes Automatisés, 7-9(43), pp.725-739, 30/06/2009, inria-00434462

C. André, F. Mallet
Les modèles de temps de MARTE et CCSL
Génie logiciel, (89), pp.44-49, 06/2009, inria-00416597

J. Araujo, N. Cohen, F. Giroire, F. Havet
Good edge-labelling of graphs.
Discrete Applied Mathematics, 2011, inria-00639005

M. Aste, F. Havet, C. Linhares Sales
Grundy number and products of graphs
Discrete Mathematics, 310(9), pp.1482--1490, 2010, inria-00496038

D. Barth, P. Berthomé, M. Diallo, A. Ferreira
Revisiting Parametric Multi-Terminal Problems: Maximum Flows, Minimum Cuts and Cut-tree Computations
Discrete Optimization, 3 (3) pp.195-205, 09/2006, hal-00126010

M. Basavaraju, L. S. Chandran, N. Cohen, F. Havet, T. Müller
Acyclic edge-coloring of planar graphs
SIAM Journal on Discrete Mathematics, 25(2), pp.436--478, 2011, inria-00638448

F. Baude, D. Caromel, C. Dalmasso, M. Danelutto, V. Getov, L. Henrio, C. Pérez
GCM: A Grid Extension to Fractal for Autonomous Distributed Components
Annals of Telecommunications, 2008, inria-00323919

F. Baude, D. Caromel, M. Leyton
File transfer in Grid applications at Deployment, Execution and Retrieval
Multiagent and Grid Systems, 3(4), pp.381-391, 2007, hal-00688655

N. Ben Ali, A. Belghith, J. Moulierac, M. Molnár
QoS multicast aggregation under multiple additive constraints
Computer Communications, 17/06/2008, inria-00425224

J.-C. Bermond, X. Muñoz, I. Sau
Traffic grooming in bidirectional WDM ring networks
Networks, 58(1), pp.20-35, 2011, hal-00643800

J.-C. Bermond, Y. Chee, N. Cohen, X. Zhang
The $\alpha$-Arboricity of Complete Uniform Hypergraphs
SIAM Journal on Discrete Mathematics, 2011, inria-00589689

J.-C. Bermond, C. J. Colbourn, L. Gionfriddo, G. Quattrocchi, I. Sau
DROP COST AND WAVELENGTH OPTIMAL TWO-PERIOD GROOMING WITH RATIO 4∗
SIAM Journal on Discrete Mathematics, 24(2), pp.400-419, 2010, inria-00505516

J.-C. Bermond, F. Havet, F. Huc, C. Linhares Sales
Improper colouring of weighted grid and hexagonal graphs
Discrete Mathematics, Algorithms and Applications (DMAA)., 2(3), pp.395–411, 2010, inria-00526530

J.-C. Bermond, L. Gargano, A. Rescigno
GATHERING WITH MINIMUM COMPLETION TIME IN SENSOR TREE NETWORKS
Journal of Interconnection Networks, 11(1-2), pp.1-33, 2010, hal-00535816

J.-C. Bermond, M.-L. Yu
Optimal gathering algorithms in multi-hop radio tree networks with interferences.
Ad Hoc and Sensor Wireless Networks, 9(1-2), pp.109-128, 2010, inria-00505517

J.-C. Bermond, R. Correa, M.-L. Yu
Optimal Gathering Protocols on Paths under Interference Constraints
Discrete Mathematics, 309(18), pp.5574-5587, 2009, inria-00429084

J.-C. Bermond, D. Coudert, B. Leveque
Approximations for All-to-all Uniform Traffic Grooming on Unidirectional Ring
Journal of Interconnection Networks, 9(4), pp.471-486, 2008, inria-00429217

J.-C. Bermond, A. Ferreira, S. Pérennes, J. Peters
Neighbourhood Broadcasting in Hypercubes
SIAM Journal on Discrete Mathematics, 21(4), pp.823-843, 2007, hal-00429191

J.-C. Bermond, L. Braud, D. Coudert
Traffic Grooming on the Path
Theoretical Computer Science, 384(2-3), pp.139-151, 2007, inria-00308716

J.-C. Bermond, M.-L. Yu
Vertex disjoint routings of cycles over tori
Networks, 49(3), pp.217-225, 2007, inria-00429086

J.-C. Bermond, F. Havet, C. Toth
Fault tolerant on board networks with priorities
Networks, 47(1), pp.9-25, 2006, inria-00430156

J.-C. Bermond, J. Galtier, R. Klasing, N. Morales, S. Pérennes
Hardness and approximation of Gathering in static radio networks
Parallel Processing Letters, 16(2), pp.165-183, 2006, inria-00430158

J.-C. Bermond, C. J. Colbourn, D. Coudert, G. Ge, A. C. H. Ling, X. Munoz
Traffic Grooming in Unidirectional Wavelength-Division Multiplexed Rings with Grooming Ratio C = 6
SIAM Journal on Discrete Mathematics, 19(2), pp.523-542, 2005, inria-00429214

J.-C. Bermond, C. J. Colbourn, A. C. H. Ling, M.-L. Yu
Grooming in unidirectional rings : $K_4 -e$ designs.
Discrete Mathematics, 284(1-3), pp.57-62, 2004, inria-00505518

J.-C. Bermond, D. Coudert, M.-L. Yu
On DRC-covering of Kn by cycles
Journal of Combinatorial Designs, 11(2), pp.100 - 112, 2003, inria-00429205

J.-C. Bermond, É. Darrot, O. Delmas
Design of fault-tolerant networks for satellites (TWTA redundancy)
Networks, 40(4), pp.202--207, 2002, hal-00307611

J.-C. Bermond, E. Darrot, O. Delmas, S. Pérennes
Hamilton circuits in the directed wrapped Butterfly network
Discrete Applied Mathematics, 84(1-3), pp.21-42, 15/05/1998, hal-00407356

J.-C. Bermond, E. Darrot, O. Delmas, S. Pérennes
Hamilton Cycle Decomposition of the Butterfly Network
Parallel Processing Letters, 8(3), pp.371-385, 1998, hal-00407366

S. Bessy, E. Birmele, F. Havet
Arc-chromatic number of digraphs in which every vertex has bounded outdegree or bounded indegree.
Journal of Graph Theory, 53(4), pp.315-332, 2006, lirmm-00153978

L. Blin, P. Fraigniaud, N. Nisse, S. Vial
Distributed Chasing of Network Intruders by Mobile Agents.
Theoretical Computer Science, 399 pp.12--37, 2008, hal-00341368

I. Caragiannis, A. Ferreira, C. Kaklamanis, S. Pérennes, H. Rivano
Fractional Path Coloring in Bounded Degree Trees with Applications
Algorithmica, 58(2), pp.516-540, 2010, hal-00371052

I. Caragiannis, A. Ferreira, C. Kaklamanis, S. Pérennes, P. Persiano, H. Rivano
Approximate Constrained Bipartite Edge Coloring
Discrete Applied Mathematics, 143(1-3), pp.54--61, 2004, hal-00371101

D. Caromel, A. Di Costanzo, C. Delbe
Peer-to-Peer and Fault-tolerance: Towards Deployment-based Technical Services
Future Generation Computer Systems, pp.FGCS-D-06-00155, 2007, hal-00128505

D. Caromel, A. Di Costanzo, C. Mathieu
Peer-to-Peer for Computational Grids: Mixing Clusters and Desktop Machines
Parallel Computing, pp.Special issue for Large Scale Grid, 2007, hal-00125041

D. Caromel, G. Chazarain, L. Henrio
Garbage Collecting the Grid: A Complete DGC for Activities
Middleware 2007, LNCS 4834, 2007, inria-00180150

D. Caromel, C. Delbe, A. Di Costanzo, M. Leyton
ProActive: an Integrated platform for programming and running applications on grids and P2P systems
Computational Methods in Science and Technology, 12 pp.issue 1, 2006, hal-00125034

J. Chalopin, V. Chepoi, N. Nisse, Y. Vaxès
Cop and robber games when the robber can hide and ride
SIAM Journal on Discrete Mathematics, 25(1)(1), pp.333-359, 2011, inria-00622957

N. Cohen, D. Coudert, D. Mazauric, N. Nepomuceno, N. Nisse
Tradeoffs in process strategy games with application in the WDM reconfiguration problem
Journal of Theoretical Computer Science (TCS), 2011, inria-00592507

N. Cohen, F. Havet
Linear and 2-Frugal Choosability of Graphs of Small Maximum Average Degree
Graphs and Combinatorics, 27(6), pp.831--849, 2011, inria-00638460

R. Correa, F. Havet, J.-S. Sereni
About a Brooks-type theorem for improper colouring
The Australasian Journal of Combinatorics, 43 pp.219--230, 01/2009, inria-00223009

R. Correa, F. Havet, J.-S. Sereni
About a Brooks-type theorem for improper colouring.
Australasian Journal of Combinatorics, 43 pp.219--230, 2009, inria-00496419

D. Coudert, J.-S. Sereni
Characterization of graphs and digraphs with small process number
Discrete Applied Mathematics, 159(11), pp.1094-1109, 06/07/2011, inria-00587717

D. Coudert, F. Giroire, I. Sau
Circuits in graphs through a prescribed set of ordered vertices
Journal of Interconnection Networks, 11(3-4), pp.121-141, 2011, inria-00585561

D. Coudert, F. Huc, D. Mazauric
A Distributed Algorithm for Computing the Node Search Number in Trees
Algorithmica, 2011, inria-00587819

D. Coudert, N. Nepomuceno, H. Rivano
Power-Efficient Radio Configuration in Fixed Broadband Wireless Networks
Computer Communications, 33(8), pp.898-906, 2010, inria-00466477

D. Coudert, F. Huc, J.-S. Sereni
Pathwidth of outerplanar graphs
Journal of Graph Theory, 55(1), pp.27 - 41, 2007, inria-00429216

D. Coudert, P. Datta, S. Pérennes, H. Rivano, M.-E. Voge
Shared Risk Resource Group: Complexity and Approximability issues
Parallel Processing Letters, 17(2), pp.169-184, 2007, hal-00371100

D. Coudert, A. Ferreira, S. Perennes
Isomorphisms of the De Bruijn digraph and free-space optical networks
Networks, 40(3), pp.155 - 164, 10/2002, inria-00429201

D. Coudert, A. Ferreira, X. Munoz
A multihop multi-OPS optical interconnection network
Journal of Lightwave Technology / IEEE/OSA Journal of Lightwave Technology; IEEE Journal of Lightwave Technology, 18(12), pp.2076 - 2085, 12/2000, inria-00429200

D. Coudert, A. Ferreira, X. Munoz
Topologies for Optical Interconnection Networks Based on the Optical Transpose Interconnection System
OSA Applied Optics -- Information Processing, 39(17), pp.2965-2974, 06/2000, inria-00429198

L. Cucu, N. Pernet, Y. Sorel
Periodic real-time scheduling: from deadline-based model to latency-based model
Annals of Operations Research, 159(1), pp.41-51, 2008, inria-00192221

O. Dalle, G. Wainer, L. Qi, Z. Bernard P.
Applying Cellular Automata and DEVS Methodologies to Digital Games: A Survey
Simulation & Gaming, 13/08/2010, inria-00530927

O. Delmas, B. Beauquier
Tight bounds for broadcasting in the linear cost model
Journal of Interconnection Networks, 2(2), pp.175-188, 2001, hal-00407385

S. Demathieu, Y. Bernard, L. Maillet-Contoz, M. Bordin, F. Mallet
Mise en œuvre du MDE pour la conception de systèmes embarqués: premiers résultats et perspectives du projet Lambda
Génie logiciel, (93), pp.38-42, 06/2010, inria-00545266

N. Eggemann, F. Havet, S. Noble
k-L(2,1)-Labelling for Planar Graphs is NP-Complete for $k\geq 4$.
Discrete Applied Mathematics, 158(16), pp.1777-1788, 2010, inria-00534520

R. Erman, F. Havet, B. Lidický, O. Pangrac
5-colouring graphs with 4 crossings
SIAM Journal on Discrete Mathematics, 25(1), pp.401-211, 2011, inria-00638434

A. Ferreira, A. Goldman, J. Monteiro
Performance evaluation of routing protocols for MANETs with known connectivity patterns using evolving graphs
Wireless Networks, 16(3), pp.627-640, 04/2010, inria-00496219

A. Ferreira
Uma estratégia face à Revolução Digital
Teoria e Debate, 87(Mar/Avr), pp.20 - 23, 2010, inria-00510741

A. Ferreira, S. Pérennes, A. W. Richa, H. Rivano, N. Stier Moses
Models, Complexity and Algorithms for the Design of Multi-fiber WDM Networks
Telecommunication Systems, 24(2), pp.123--138, 2003, hal-00371107

A. Ferreira, J. Galtier, J.-N. Petit, H. Rivano
Re-routing algorithms in a meshed satellite constellation
Annals of Telecommunications, 56(3/4), pp.169--174, 2001, hal-00371111

F. V. Fomin, P. A. Golovach, J. Kratochvil, N. Nisse, K. Suchan
Pursuing a fast robber on a graph
Theoretical Computer Science, 411(7-9), pp.1167-1181, 2010, inria-00476686

F. Fomin, P. Fraigniaud, N. Nisse
Non-Deterministic Graph Searching: From Pathwidth to Treewidth
Algorithmica, 53(3), pp.358-373, 03/2009, hal-00421417

P. Fraigniaud, N. Nisse
Monotony Properties of Connected Visible Graph Searching
Information and Computation, 206(12), pp.1383-1393, 12/2008, hal-00421416

C. Gavoille, D. Peleg, S. Perennes, R. Raz
Distance Labeling in Graphs
Journal of Algorithms, 53 pp.85-112, 2004, hal-00307381

F. Giroire
Order statistics and estimating cardinalities of massive data sets
Discrete Applied Mathematics, 157(2), pp.406-427, 2009, hal-00646123

F. Havet, B. Reed, J.-S. Sereni
Griggs and Yeh's Conjecture and L(p,1)-labelings
Siam Journal on Discrete Mathematics, 26(1), pp.145--168, 02/2012, inria-00327909

F. Havet, S. Jendrol', R. Sotak, E. Skrabulakova
Facial non-repetitive edge-colouring of plane graphs
Journal of Graph Theory, 66(1), pp.38--48, 2011, inria-00638439

F. Havet, D. Král', J.-S. Sereni, R. Skrekovski
Facial colorings using Hall's Theorem
European Journal of Combinatorics, 31(3), pp.1001--1019, 04/2010, hal-00487100

F. Havet, M. Klazar, J. Kratochvil, D. Kratsch, M. Liedloff
Exact Algorithms for L(2,1)-Labeling of Graphs
Algorithmica, pp.to appear, 2010, hal-00460873

F. Havet, R. Kang, J.-S. Sereni
Improper Colouring of Unit Disk Graphs
Networks, 54(3), pp.150--164, 2009, inria-00496436

F. Havet, R. Kang, T. Müller, J.-S. Sereni
Circular choosability
Journal of Graph Theory, 61(4), pp.241--270, 2009, inria-00496432

F. Havet, S. Thomasse
Complexity of $(p,1)$-Total Labelling
Discrete Applied Mathematics, 157 pp.2859-2870, 2009, lirmm-00432700

F. Havet, S. Thomasse
Complexity of $(p,1)$-total labelling
Discrete Applied Mathematics, 157 pp.2859--2870, 2009, inria-00496441

F. Havet
Choosability of the square of planar subcubic graphs with large girth
Discrete Mathematics, 309 pp.3553--3563, 2009, inria-00496423

F. Havet, J.-S. Sereni, R. Skrekovski
3-facial colouring of plane graphs
SIAM Journal on Discrete Mathematics, 22(1), pp.231--247, 20/02/2008, inria-00083533

F. Havet, S. Thomasse, A. Yeo
The Hoàng-Reed Conjecture holds for tournaments
Discrete Mathematics, 308 pp.3412-3415, 2008, lirmm-00292710

D. Ilcinkas, N. Nisse, D. Soguet
The Cost of Monotonicity in Distributed Graph Searching
Distributed Computing, 22(2), pp.117-127, 2009, hal-00412063

F. Mallet, C. André, R. De Simone
Logical Time: observation vs. implementation
ACM SIGSOFT Software Engineering Notes, 36(1), pp.1--8, 01/2011, inria-00576647

F. Mallet, C. André, F. Lagarde
Un processus automatique pour concevoir les profils UML
Technique et Science Informatiques (TSI), 29(5), pp.391-419, 05/2010, inria-00482745

F. Mallet, J. Deantoni, C. André, R. De Simone
The Clock Constraint Specification Language for building timed causality models
Innovations in Systems and Software Engineering, 6(1-2), pp.99-106, 03/2010, inria-00464894

F. Mallet
CCSL: specifying clock constraints with UML/MARTE
Innovations in Systems and Software Engineering, 4(3), pp.309-314, 2008, inria-00371371

F. Mazoit, N. Nisse
Monotonicity of non-deterministic graph searching
Journal of Theoretical Computer Science (TCS), 399 pp.169--178, 06/2008, hal-00306321

N. Nisse
Connected Graph Searching in Chordal Graphs
Discrete Applied Mathematics, 157(12), pp.2603-2610, 28/06/2009, hal-00421414

N. Nisse, D. Soguet
Graph Searching with Advice
Theoretical Computer Science, 410(14), pp.1307-1318, 28/03/2009, hal-00421415

P. Rosenstiehl, J.-C. Bermond
Pancyclisme du carré du graphe aux arêtes d'un graphe
Cahier du C.E.R.O., 15(3), pp.285-286, 1973, hal-00259599

P. Rosenstiehl, J.-C. Bermond
Pancyclisme du carré du graphe aux arêtes d'un graphes
Colloque sur la théorie des graphes, pp.2, 1973, hal-00259605

S. Thomasse, F. Havet, L. Addario-Berry
Paths with two blocks in n-chromatic digraphs
Journal of Combinatorial Theory Series B, 97 pp.620-626, 2007, lirmm-00197151

   COMMUNICATIONS INTERNATIONALES

A. Albinet, J.-L. Boulanger, H. Dubois, M.-A. Peraldi-Frati, Y. Sorel, Q.-D. Van
Model-Based Methodology for Requirements Traceability in Embedded Systems
Proceedings of 3rd European Conference on Model Driven Architecture® Foundations and Applications, ECMDA'07, 2007, Haifa, Israël, inria-00413488

S. Alouf, F. Huet, P. Nain
Forwarders vs. centralized server: an evaluation of two approaches for locating mobile agents
Proceedings of the 2002 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 15/06/2002, Marina Del Rey, California, États-Unis, Proceedings of ACM SIGMETRICS 2002, 30, pp.278-279, ACM SIGMETRICS Performance Evaluation Review, hal-00641394

B. Amedro, F. Baude, F. Huet, E. Mathias
Combining Grid and Cloud Resources by Use of Middleware for SPMD Application
2nd International Conference on Cloud Computing Technology and Science, 30/11/2010, Indianapolis, IN, États-Unis, pp.177-184, inria-00538549

R. Ameur-Boulifa, L. Henrio, E. Madelaine
Behavioural models for group communications
Int. Workshop on Components and Service Interoperability (WCSI), 06/2010, Malaga, Espagne, pp.15 p., inria-00493692

O. Amini, J.-C. Bermond, F. Giroire, F. Huc, S. Pérennes
Design of Minimal Fault Tolerant Networks: Asymptotic Bounds
Algotel06, 05/2006, Tregastel, France, pp.169-174, hal-00512287

C. André, F. Mallet, J. Deantoni
VHDL Observers for Clock Constraint Checking
Symposium on Industrial Embedded Systems, 07/07/2010, trento, Italie, inria-00587107

C. André, F. Mallet
Specification and Verification of Time Requirements with CCSL and Esterel
Languages, Compilers, and Tools for Embedded Systems, 19/06/2009, Dublin, Irlande, ACM SIGPLAN Notices, 44, pp.167-176, inria-00416654

C. André, F. Mallet, M.-A. Peraldi-Frati
A multiform time approach to real-time system modeling: Application to an automotive system
IEEE Int. Symp. on Industrial Embedded Systems (SIES), 07/2007, Lisbon, Portugal, pp.234-241, inria-00204508

C. André, F. Mallet, M.-A. Peraldi-Frati
Multiform Time in UML for Real-time Embedded Applications
IEEE Int. Conf. on Real-Time Computing Systems and Applications (RTCSA), 08/2007, Daegu, Corée, République De, pp.232-237, inria-00204503

C. André, F. Mallet, R. De Simone
Modeling Time(s)
ACM/IEEE Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS/UML), 10/2007, Nashville, TN, États-Unis, MoDELS, LNCS 4735, pp.pp. 559-573, Lecture Notes in Computer Sciences, inria-00204489

C. André, F. Mallet, R. De Simone
Modeling of Immediate vs. Delayed Data Communications: from AADL to UML MARTE
ECSI Forum on specification & Design Languages (FDL), 09/2007, Barcelona, Espagne, pp.249-254, inria-00204484

C. André, F. Mallet, R. De Simone
Time Modeling in MARTE
ECSI Forum on specification & Design Languages (FDL), 09/2007, Barcelona, Espagne, pp.268-273, inria-00204481

J. Araujo, J.-C. Bermond, F. Giroire, F. Havet, D. Mazauric, R. Modrzejewski
Weighted Improper Colouring
22th International Workshop, IWOCA 2011, 20/07/2011, Victoria, Canada, inria-00635882

J. Araujo, F. Giroire, J. Monteiro
Hybrid Approaches for Distributed Storage Systems
Fourth International Conference on Data Management in Grid and P2P Systems (Globe 2011), 01/09/2011, Toulouse, France, inria-00635781

J. Araújo, V. Campos, F. Giroire, L. Sampaio, R. Pardo Soares
On the hull number of some graph classes
European Conference on Combinatorics, Graph Theory and Applications (EuroComb'11), 29/08/2011, Budapest, Hongrie, inria-00635032

D. Barman, J. Chandrashekar, N. Taft, M. Faloutsos, L. Huang, F. Giroire
Impact of IT Monoculture on Behavioral End Host Intrusion Detection
ACM SIGCOMM Workshop on Research on Enterprise Networking -- WREN, 21/08/2009, Barcelona, Espagne, pp.27--36, inria-00546878

F. Baude, L. Henrio, P. Naoumenko
A Component Platform for Experimenting with Autonomic Composition
First International Conference on Autonomic Computing and Communication Systems (Autonomics 2007), 28/10/2007, Rome, Italie, inria-00178365

F. Baude, D. Caromel, R. Quilici
Grid File Transfer during Deployment
On the Move to Meaningful Internet Systems 2006, 29/10/2006, Montpellier, France, 4276, pp.1191-1202, Lecture Notes in Computer Science, hal-00688861

F. Becker, M. Matamala, N. Nisse, I. Rapaport, K. Suchan, I. Todinca
Adding a referee to an interconnection network: What can(not) be computed in one round.
25th IEEE International Symposium on Parallel & Distributed Processing (IPDPS), 2011, Anchorage, États-Unis, pp.508-514, inria-00622976

S. Belhareth, D. Coudert, D. Mazauric, N. Nisse, I. Tahiri
Reconfiguration avec contraintes physiques dans les réseaux WDM
13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2011, Cap Estérel, France, inria-00583829

M. E. M. Ben Gaïd, R. Kocik, Y. Sorel, R. Hamouche
A Methodology for Improving Software Design Lifecycle in Embedded Control Systems
Design, Automation and Test in Europe, 10/03/2008, Munich, Allemagne, inria-00274634

J.-C. Bermond, L. Gargano, S. Pérennes, A. Rescigno, U. Vaccaro
Optimal Time Data Gathering in Wireless Networks with Omni-Directional Antennas
SIROCCO2011, 26/06/2011, Gdansk, Pologne, Lecture Notes in Computer Science - LNCS, inria-00589687

J.-C. Bermond, D. Mazauric, V. Misra, P. Nain
A Distributed Scheduling Algorithm for Wireless Networks with Constant Overhead and Arbitrary Binary Interference.
Sigmetrics 2010, 14/06/2010, New York, États-Unis, inria-00505519

J.-C. Bermond, D. Coudert, J. Moulierac, S. Pérennes, H. Rivano, I. Sau, F. Solano Donado
MPLS label stacking on the line network
IFIP Networking, 11/05/2009, Aachen, Allemagne, pp.809-820, LNCS 5550/2009, hal-00371115

J.-C. Bermond, D. Coudert, J. Moulierac, S. Pérennes, I. Sau, F. Solano Donado
Designing Hypergraph Layouts to GMPLS Routing Strategies
SIROCCO, 25/05/2009, Piran, Slovénie, inria-00428685

J.-C. Bermond, D. Mazauric, P. Nain
Algorithmes distribués d'ordonnancement dans les réseaux sans-fil.
JDIR 2009, 02/2009, Belfort, France, inria-00505521

J.-C. Bermond, E. Altman, P. Nain
Distributed Storage Management of Evolving Files in Delay Tolerant Ad Hoc Networks.
INFOCOM 2009, 19/04/2009, Rio de janeiro, Brésil, pp.1431-1439, inria-00505520

J.-C. Bermond, N. Nisse, P. Reyes, H. Rivano
Fast Data Gathering in Radio Grid Networks
AlgoTel, 2009, Carry-Le-Rouet, France, inria-00376040

J.-C. Bermond, N. Nisse, P. Reyes, H. Rivano
Minimum delay Data Gathering in Radio Networks
8th international conference on Ad Hoc Networks and Wireless (AdHoc-Now),, 23/09/2009, Murcia, Espagne, 5793, pp.69-82,, Lecture Notes in Computer Science,, inria-00505522

J.-C. Bermond, M.-L. Yu
Optimal gathering algorithms in multi-hop radio tree networks with interferences.
AD-HocNow 08, 10/09/2008, Nice, France, 5198, pp.204-217, Lecture Notes in Computer Science, hal-00512281

J.-C. Bermond, L. Gargano, A. Rescigno
Gathering with minimum delay in tree sensor networks
SIROCCO 2008,, 06/2008, Villars-sur-Ollon, Suisse, 5058, pp.262-276, Lecture Notes in Computer Science, inria-00505523

J.-C. Bermond, F. Giroire, S. Pérennes
Design of Minimal Fault Tolerant On-Board Networks : Practical constructions
SIROCCO07, 06/2007, Castiglioncello, Italie, 4474, pp.261-273, Lecture Notes in Computer Science,, hal-00512282

J.-C. Bermond, M. Cosnard
Minimum number of wavelengths equals load in a DAG without internal cycle
IPDPS07, 03/2007, Long beach, CA, États-Unis, pp.1-10, hal-00512284

J.-C. Bermond, R. Correa, M.-L. Yu
Gathering algorithms on paths under interference constraints
CTAC06, 05/2006, Roma, Italie, 3998, pp.115-126, Lecture Notes in Computer Science, hal-00512286

J.-C. Bermond, J. Galtier, R. Klasing, N. Morales, S. Pérennes
Hardness and approximation of Gathering in static radio networks
FAWN06, 03/2006, Italie, pp.75--79, hal-00344619

J.-C. Bermond, D. Coudert, X. Munoz, I. Sau
Traffic Grooming in Bidirectional WDM Ring Networks
International Conference on Transparent Optical Networks (ICTON), 06/2006, Nottingham, Royaume-Uni, 3, pp.19 - 22, inria-00429168

J.-C. Bermond, M. Cosnard, D. Coudert, S. Perennes
Optimal Solution of the Maximum All Request Path Grooming Problem
Advanced International Conference on Telecommunications (AICT), 19/02/2006, Le Gosier, Guadeloupe, France, inria-00429167

J.-C. Bermond, L. Braud, D. Coudert
Traffic Grooming on the Path
12th International Colloquium on Structural Information and Communication Complexity (SIROCCO), 24/05/2005, Mont Saint-Michel, France, SIROCCO, pp.34-48, Lecture Notes in Computer Science, inria-00429172

J.-C. Bermond, D. Coudert, X. Munoz
Traffic Grooming in Unidirectional WDM Ring Networks: the all-to-all unitary case
7th IFIP Working Conference on Optical Network Design & Modelling (ONDM), 2003, Budapest, Hongrie, pp.1135-1153, inria-00429175

J.-C. Bermond, D. Coudert
Traffic Grooming in Unidirectional WDM Ring Networks using Design Theory
IEEE International Conference on Communications (ICC '03)., 05/2003, Anchorage, États-Unis, 2, pp.1402 - 1406, inria-00429174

J.-C. Bermond, D. Coudert, L. Chacon, F. Tillerot
A note on cycle covering
ACM Symposium on Parallel Algorithms and Architectures (SPAA), 2001, Hersonissos, Grèce, pp.310-311, inria-00429182

J.-C. Bermond, L. Chacon, D. Coudert, F. Tillerot
Cycle Covering
8th International Colloquium on Structural Information and Communication Complexity (SIROCCO), 27/06/2001, Vall de Nuria, Espagne, pp.21-34, Proceedings in Informatics, inria-00429183

S. Bezinne, V. Galtier, S. Vialle, F. Baude, M. Bossy, V. Dung, L. Henrio
A Fault Tolerant and Multi-Paradigm Grid Architecture for Time Constrained Problems. Application to Financial Option Pricing
2nd IEEE International Conference on e-Science and Grid Computing - e-science'06, 12/2006, Amsterdam, Pays-Bas, pp.49, inria-00121828

L. Blin, J. Burman, N. Nisse
Nettoyage perpétuel de réseaux
14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), 2012, La Grande Motte, France, pp.4, hal-00687134

M. Bouklit, D. Coudert, J.-F. Lalande, C. Paul, H. Rivano
Approximate Multicommodity Flow for WDM Networks Design
SIROCCO'03: Colloquium on Structural Information and Communication Complexity, Umeä (Sweden), pp.pp. 43-56, lirmm-00269524

B. Bui Xuan, A. Ferreira, A. Jarry
Evolving graphs and least cost journeys in dynamic networks
WiOpt'03: Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks, 03/03/2003, Sophia Antipolis, France, pp.10 pages, inria-00466676

C. Caillouet, N. Nisse, F. Huc, S. Pérennes, H. Rivano
Stability of a Localized and Greedy Routing Algorithm
12th IEEE Workshop in Parallel and Distributed Computational Models (IEEE APDCM 2010), in conjunction with IPDPS 2010, 19/04/2010, Atlanta, États-Unis, inria-00466484

A. Cansado, L. Henrio, E. Madelaine
Transparent First-class Futures and Distributed Components
5th workshop on Formal Aspects of Component Systems, 10/09/2008, Málaga, Espagne, inria-00311515

A. Cansado, L. Henrio, E. Madelaine
Unifying Architectural and Behavioural Specifications of Distributed Components
5th workshop on Formal Aspects of Component Systems, 10/09/2008, Málaga, Espagne, inria-00311516

I. Caragiannis, A. Ferreira, C. Kaklamanis, S. Pérennes, H. Rivano
Fractional path coloring on bounded degree trees
Proceedings of the 28th ICALP, 07/2001, Grèce, 2076, pp.732--743, Lecture Notes in Computer Science, hal-00429854

D. Caromel, L. Mateu, E. Tanter
Sequential Object Monitors
18th European Conference on Object-Oriented Programming, 2004, Oslo, Norway, Norvège, 3086, pp.316-340, lncs, hal-00457132

S. Caron, F. Giroire, D. Mazauric, J. Monteiro, S. Pérennes
Data Life Time for Different Placement Policies in P2P Storage Systems
Conference on Data Management in Grid and P2P Systems (Globe 2010), 09/2010, Bilbao, Espagne, LNCS 6265, pp.75--88, inria-00496222

S. Caron, F. Giroire, D. Mazauric, J. Monteiro, S. Pérennes
P2P Storage Systems: Data Life Time for Different Placement Policies
12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2010, Belle Dune, France, inria-00479537

A. Casteigts, S. Chaumette, A. Ferreira
Characterizing Topological Assumptions of Distributed Algorithms in Dynamic Networks
16th International Colloquium on Structural Information and Communication Complexity (SIROCCO'09), 25/05/2009, Piran, Slovénie, 5869, pp.129--144, Lecture Notes in Computer Science, hal-00408054

G. Classen, D. Coudert, A. Koster, N. Nepomuceno
A Chance-Constrained Model & Cutting Planes for Fixed Broadband Wireless Networks
Internationale Network Optimization Conference (INOC), 13/06/2011, Hamburg, Allemagne, Lecture Notes in Computer Science, inria-00587669

G. Classen, D. Coudert, A. Koster, N. Nepomuceno
Bandwidth assignment for reliable fixed broadband wireless networks
12th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), 20/06/2011, Lucca, Italie, inria-00587698

N. Cohen, D. Coudert, D. Mazauric, N. Nepomuceno, N. Nisse
Tradeoffs in process strategy games with application in the WDM reconfiguration problem
Fifth International conference on Fun with Algorithms (FUN 2010), 02/06/2010, Ischia, Italie, 6099, pp.121-132, Lecture Notes in Computer Science, inria-00495443

N. Cohen, D. Coudert, D. Mazauric, N. Nepomuceno, N. Nisse
Tradeoffs in routing reconfiguration problems
12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2010, Belle Dune, France, inria-00477413

D. Coudert, N. Nepomuceno, I. Tahiri
Energy saving in fixed wireless broadband networks
Internationale Network Optimization Conference (INOC), 13/06/2011, Hamburg, Allemagne, Lecture Notes in Computer Science, inria-00587685

D. Coudert, N. Nepomuceno, I. Tahiri
Optimisation de la consommation énergétique dans les réseaux sans fil fixes
13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2011, Cap Estérel, France, inria-00588129

D. Coudert, D. Mazauric, N. Nisse
On Rerouting Connection Requests in Networks with Shared Bandwidth
DIMAP Workshop on Algorithmic Graph Theory (AGT), 2009, Warwick, Royaume-Uni, Electronic Note Discrete Maths., 32, inria-00423452

D. Coudert, F. Giroire, I. Sau
Edge-Simple Circuits Through 10 Ordered Vertices in Square Grids
International Workshop on Combinatorial Algorithms -- IWOCA, 28/06/2009, Hradec nad Moravicì, Tchèque, République, 5874, Lecture Notes in Computer Science, inria-00429146

D. Coudert, F. Huc, D. Mazauric, N. Nisse, J.-S. Sereni
Reconfiguration dans les réseaux optiques
11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), 2009, Carry-Le-Rouet, France, inria-00383206

D. Coudert, F. Huc, D. Mazauric, N. Nisse, J.-S. Sereni
Reconfiguration of the Routing in WDM Networks with Two Classes of Services
Conference on Optical Network Design and Modeling (ONDM), 2009, Braunschweig, Allemagne, inria-00423453

D. Coudert, N. Nepomuceno, H. Rivano
Joint Optimization of Routing and Radio Configuration in Fixed Wireless Networks
AlgoTel, 2009, Carry-Le-Rouet, France, inria-00384968

D. Coudert, N. Nepomuceno, H. Rivano
Minimizing Energy Consumption by Power-Efficient Radio Configuration in Fixed Broadband Wireless Networks
1st IEEE WoWMoM Workshop on Hot Topics in Mesh Networking (HotMESH), 06/2009, Kos, Grèce, inria-00429148

D. Coudert, F. Huc, D. Mazauric
A distributed algorithm for computing and updating the process number of a forest
22nd International Symposium on Distributed Computing (DISC), 2008, Arcachon, France, France, 5218, pp.500-501, inria-00373850

D. Coudert, F. Huc, D. Mazauric
Computing and updating the process number in trees
12th International Conference On Principles Of DIstributed Systems (OPODIS), 12/2008, Luxor, Égypte, 5401, Lecture Notes in Computer Science, inria-00429149

D. Coudert, F. Huc, F. Peix, M.-E. Voge
Reliability of Connections in Multilayer Networks under Shared Risk Groups and Costs Constraints
IEEE International Conference on Communications (ICC '08), 05/2008, Beijing, Chine, pp.5170 - 5174, inria-00429150

D. Coudert, S. Pérennes, H. Rivano, M.-E. Voge
Shared Risk Resource Groups and Survivability in Multilayer Networks
International Conference on Transparent Optical Networks (ICTON), 06/2006, Nottingham, Royaume-Uni, 3, pp.235 - 238, inria-00429170

D. Coudert, H. Rivano, X. Roche
A Combinatorial Approximation Algorithm for the Multicommodity Flow Problem
International Workshop on Approximation and Online Algorithms (WAOA'03), 2003, Budapest, Hongrie, Approximation and Online Algorithms, 2909, pp.193-230, Lecture Notes in Computer Science, inria-00429176

D. Coudert, H. Rivano
Lightpath assignment for multifibers WDM networks with wavelength translators
IEEE Global Telecommunications Conference (Globecom'02), 2002, Taipei, Taïwan, Province De Chine, 3, pp.2686 - 2690, inria-00429177

D. Coudert, X. Munoz
How Graph Theory can help Communications Engineering
Broad band optical fiber communications technology (BBOFCT), 12/2001, Jalgaon, Inde, pp.47-61, inria-00429187

D. Coudert, A. Ferreira, S. Perennes
De Bruijn isomorphisms and free space optical networks
14th International Parallel and Distributed Processing Symposium (IPDPS 2000), 01/05/2000, Cancun, Mexique, pp.769 - 774, inria-00429190

D. Coudert, A. Ferreira, X. Munoz
OTIS-Based Multi-Hop Multi-OPS Lightwave Networks
3rd Workshop on Optics and Computer Science (WOCS), 04/1999, San Juan, Porto Rico, 1586, pp.897-910, Lecture Notes in Computer Science, inria-00429192

D. Coudert, A. Ferreira, X. Munoz
Multiprocessor Architectures Using Multi-hops Multi-OPS Lightwave Networks and Distributed Control
First Merged International Parallel Processing Symposium and Symposium on Parallel and Distributed Processing (IPPS/SPDP 1998), 30/03/1998, Orlanda, États-Unis, pp.151 - 155, inria-00429196

L. Cucu-Grosjean, Y. Sorel
An exact schedulability test for real-time dependant periodic task systems with latency constraints
Models and Algorithms for Planning and Scheduling Problems - MAPSP'09, 29/06/2009, Abbey Rolduc, Pays-Bas, inria-00432976

S. Cussat-Blanc, F. Viale, H. Luga, Y. Duthen, D. Caromel
Genetic algorithms and grid computing for artificial embryogeny
GECCO '08 Proceedings of the 10th annual conference on Genetic and evolutionary computation, 12/07/2008, Atlanta, États-Unis, hal-00687153

O. Dalle, E. P. Mancini
Integrated Tools for the Simulation Analysis of Peer-To-Peer Backup Systems
SIMUTOOLS 2012, 19/03/2012, Sirmione, Italie, hal-00669241

O. Dalle, E. Mancini
Traces Generation To Simulate Large-Scale Distributed Applications
Winter Simulation Conference, 12/2011, Phoenix, AZ, États-Unis, pp.10p., inria-00638561

O. Dalle, J. Ribault
Some Desired Features for the DEVS Architecture Description Language
Symposium On Theory of Modeling and Simulation -- DEVS Integrative M\&S Symposium (TMS/DEVS 2011), 04/2011, Boston, MA, États-Unis, pp.10p., inria-00638565

O. Dalle, E. P. Mancini
Traces Generation to Simulate Large-Scale Distributed Applications
Winter Simulation Conference, 11/12/2011, Phoenix, AZ, États-Unis, inria-00634620

O. Dalle, F. Giroire, J. Monteiro, S. Pérennes
Analyse des Corrélations entre Pannes dans les Systèmes de Stockage Pair-à-Pair
AlgoTel, 2009, Carry-Le-Rouet, France, inria-00384822

O. Dalle, F. Giroire, J. Monteiro, S. Pérennes
Analysis of Failure Correlation Impact on Peer-to-Peer Storage Systems
9th IEEE International Conference on Peer-to-Peer Computing (P2P), 09/2009, Seattle, États-Unis, pp.184--193, inria-00485847

O. Dalle, J. Ribault, J. Himmelspach
Design considerations for M&S software
Winter Simulation Conference (WSC'09), 13/12/2009, Austin, États-Unis, Proceedings of the 2009 Winter Simulation Conference, pp.944 - 955, inria-00425153

J. Deantoni, F. Mallet
TimeSquare: Treat your Models with Logical Time
Tools 2012: 50th International Conference on Objects, Models, Components, Patterns, 29/05/2012, Prague, Tchèque, République, LNCS proceedings, 7304, pp.34-41, hal-00688590

J. Deantoni, F. Mallet, F. Thomas, G. Reydet, J.-P. Babau, C. Mraidha, L. Gauthier, L. Rioux, N. Sordon
RT-simex: retro-analysis of execution traces
SIGSOFT FSE, 07/11/2010, Santa Fe, États-Unis, Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ISBN 978-1-60558-791-2, pp.377-378, inria-00587116

H. Dubois, M.-A. Peraldi-Frati, L. Fadoi
A model for requirements traceability in an heterogeneous model-based design process. Application to automotive embedded systems
ICECCS'10, 22/03/2010, Oxford, Royaume-Uni, 15th IEEE International Conference on Engineering of Complex Computer Systems, ISBN:978-0-7695-4015-3, pp.233-242, inria-00484073

V. Dung Doan, A. Gaikwad, F. Baude, M. Bossy
"Gridifying" Classification-Monte Carlo algorithm for pricing high-dimensional Bermudan-American options
Workshop on high performance computational finance, WHPCF Austin, TX - November 16th, 2008, 16/11/2008, Austin, États-Unis, pp.1-8, hal-00605774

A. Ferreira, S. Pérennes, A. W. Richa, H. Rivano, N. Stier Moses
Models, complexity and algorithms for the design of multifiber WDM networks
10th International Conference on Telecommunications, 2003 (ICT 2003), 23/02/2003, France, pp.12-18, hal-00429845

A. Ferreira, S. Pérennes, A. W. Richa, H. Rivano, N. Stier Moses
On the design of multifiber WDM networks
Algotel'02, 05/2002, Mèze, France, pp.25--32, hal-00429849

I. Filali, L. Pellegrino, F. Bongiovanni, F. Huet, F. Baude
Modular P2P-Based Approach for RDF Data Storage and Retrieval
Advances in P2P Systems, 20/11/2011, Lisbonne, Portugal, inria-00636408

I. Filali, F. Huet
Dynamic TTL-Based Search In Unstructured Peer-to-Peer Networks
CCGrid 2010, 17/05/2010, Melbourne, Australie, pp.10 p., inria-00485790

B. Florent, M. Matamala, N. Nisse, I. Rapaport, K. Suchan, I. Todinca
Reconstruire un graphe en une ronde
13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2011, Cap Estérel, France, inria-00587250

F. V. Fomin, F. Giroire, A. Jean-Marie, D. Mazauric, N. Nisse
Satisfaire un internaute impatient est difficile
14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), 2012, La Grande Motte, France, pp...., hal-00687102

F. Fomin, P. Fraigniaud, N. Nisse
Non-Deterministic Graph Searching: From Pathwidth to Treewidth
Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science (MFCS), 2005, Pologne, pp.364-375, hal-00421420

P. Fraigniaud, N. Nisse
Connected Treewidth and Connected Graph Searching
Latin American Theoretical Informatics Symposium (LATIN), 2006, Valdivia, Chili, inria-00423448

P. Fraigniaud, N. Nisse
Monotony Properties of Connected Visible Graph Searching
International Workshop on Graph-Theoretic Concepts in Computer Science (WG), 2006, Bergen, Norvège, inria-00423449

K. Garcés, J. Deantoni, F. Mallet
A Model-Based Approach for Reconciliation of Polychronous Execution Traces
SEAA 2011 - 37th EUROMICRO Conference on Software Engineering and Advanced Applications, 30/08/2011, Oulu, Finlande, inria-00597981

R. Gascon, F. Mallet, J. Deantoni
Logical time and temporal logics: comparing UML MARTE/CCSL and PSL
18th International Symposium on Temporal Representation and Reasoning (TIME'11), 12/09/2011, Lubeck, Allemagne, pp.--, hal-00597086

P. Giabbanelli, D. Mazauric, J.-C. Bermond
On the average path length of deterministic and stochastics recursive networks
CompletNet, 2010, Rio de Janeiro, Brésil, inria-00532890

F. Giroire, D. Mazauric, J. Moulierac
Routage efficace en énergie
13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2011, Cap Estérel, France, inria-00587944

F. Giroire, D. Mazauric, J. Moulierac, B. Onfroy
Minimizing Routing Energy Consumption: from Theoretical to Practical Results
IEEE/ACM International Conference on Green Computing and Communications (GreenCom), 18/12/2010, Hangzhou, Chine, pp.8, hal-00531468

F. Giroire, J. Monteiro, S. Pérennes
Peer-to-Peer Storage Systems: a Practical Guideline to be Lazy
IEEE Global Communications Conference (GlobeCom), 12/2010, Miami, États-Unis, inria-00496221

F. Giroire, J. Monteiro, S. Pérennes
P2P Storage Systems: How Much Locality Can They Tolerate?
IEEE Conference on Local Computer Networks (LCN), 10/2009, Zurich, Suisse, pp.320--323, inria-00496220

F. Giroire, J. Chandrashekar, N. Taft, E. Schooler, K. Papagiannaki
Exploiting Temporal Persistence to Detect Covert Botnet Channels
The 12th International Symposium on Recent Advances in Intrusion Detection (RAID'09), 23/09/2009, Saint Malo, France, pp.326--345, inria-00546874

C. Glitia, J. Deantoni, F. Mallet
Logical time at work: capturing data dependencies and platform constraints
Forum for Design Languages (FDL), 14/09/2010, Southampton, Royaume-Uni, Proceedings of the 2010 Forum on specification & Design Languages, pp.240-246, inria-00545866

D. Gonçalves, F. Havet, A. Pinlou, S. Thomassé
Spanning galaxies in digraphs
European Conference on Combinatorics, Graph Theory and Applications (EuroComb 2009), 07/09/2009, Bordeaux, France, 34, pp.139-143, Electronic Notes in Discrete Mathematics, lirmm-00433050

N. Hanusse, D. Ilcinkas, A. Kosowski, N. Nisse
Comment battre la marche aléatoire en comptant ?
12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2010, Belle Dune, France, inria-00475863

N. Hanusse, D. Ilcinkas, A. Kosowski, N. Nisse
Locating a Target with an Agent Guided by Unreliable Local Advice
PODC 2010, 07/2010, Zurich, Suisse, pp.355-364, hal-00516695

F. Havet, J. Bang-Jensen, N. Trotignon
Finding an induced subdivision of a digraph
VI Latin-American Algorithms, Graphs and Optimization Symposium (LAGOS 2011), 04/2011, Bariloche, Argentine, 37, pp.09--14, inria-00638464

F. Havet, L. Sampaio
On the Grundy number of a graph
Fifth International Symposium on Parameterized and Exact Computation (IPEC 2010), 13/12/2010, Chennai, Inde, Parameterized and Exact Computation, 6478, pp.170--179, inria-00532906

F. Havet, B. Reed, J.-S. Sereni
L(2,1)-labelling of graphs
ACM-SIAM symposium on Discrete algorithms (SODA 2008), 20/01/2008, San Francisco, California, États-Unis, pp.621-630, inria-00486183

L. Henrio, F. Huet, Z. István, G. Sebestyén
Adapting Active Objects to Multicore Architectures
ISPDC, 06/07/2011, Cluj, Roumanie, hal-00644169

L. Henrio, M. U. Khan
Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL
7th International Workshop on Formal Engineering approaches to Software Components and Architectures, 27/03/2010, Paphos, Chypre, pp.1-20, inria-00462325

L. Henrio, F. Kammüller, M. U. Khan
A Framework for Reasoning on Component Composition
FMCO, 04/11/2009, Eindhoven, Pays-Bas, inria-00490380

L. Henrio, M. U. Khan, N. Ranaldo, E. Zimeo
First Class Futures: Specification and implementation of Update Strategies
CoreGRID/ERCIM Workshop on Grids, Clouds and P2P Computing, 31/08/2010, Ischia - Naples, Italie, Euro-Par 2010 - Parallel Processing Workshops VHPC, HeteroPar, HPPC, HiBB, CoreGrid, UCHPC, HPCF, XtreemOS, PROPER, and CCPI, inria-00544594

L. Henrio, F. Kammüller, M. Rivera
An Asynchronous Distributed Component Model and Its Semantics
FMCO - 08, 2008, Sophia antiopolis, France, inria-00435145

L. Henrio, F. Kammüller
Functional Active Objects: Typing and Formalisation
Foundations of Coordination Languages and Software Architectures (FOCLASA'09), 2010, France, pp.83-101, hal-00485759

B. Jaumard, N. Nahar Bhuiyan, S. Sebbah, F. Huc, D. Coudert
A New Framework for Efficient Shared Segment Protection Scheme for WDM Networks
11th International Conference on High Performance Switching and Routing (HPSR), 13/06/2010, Richardson, Texas, USA, Canada, pp.8, inria-00482119

B. Jaumard, N. Nahar Bhuiyan, S. Sebbah, F. Huc, D. Coudert
A New Framework for Efficient Shared Segment Protection Scheme for WDM Networks
10th INFORMS Telecommunications Conference, 05/05/2010, Montréal, Canada, inria-00482121

O. Kermia, Y. Sorel
Load Balancing and Efficient Memory Usage for Homogeneous Distributed Real-Time Embedded Systems
Proceedings of the 4th International Workshop on Scheduling and Resource Management for Parallel and Distributed Systems, SRMPDS'08, 2008, Portland, Oregon, États-Unis, inria-00413485

O. Kermia, Y. Sorel
A Rapid Heuristic for Scheduling Non-Preemptive Dependent Periodic Tasks onto Multiprocessor
Proceedings of ISCA 20th International Conference on Parallel and Distributed Computing Systems, PDCS'07, 2007, Las Vegas, Nevada, États-Unis, inria-00413486

A. Kosowski, B. Li, N. Nisse, K. Suchan
$k$-Chordal Graphs: from Cops and Robber to Compact Routing via Treewidth
14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), 2012, La Grande Motte, France, pp...., hal-00687120

S. Kuntz, M.-A. Peraldi-Frati, H. Blom, K. Daniel
Timing Modeling with AUTOSAR. Current State and Future Directions
DATE 2012. Design Automation & Test in Europe, 12/03/2012, Dresden, Allemagne, hal-00667070

J.-F. Le Tallec, J. Deantoni, R. De Simone, B. Ferrero, F. Mallet, L. Maillet-Contoz
Combining SystemC, IP-XACT and UML/MARTE in model-based SoC design
Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2011), 18/03/2011, Grenoble, France, inria-00601840

S.-Y. Lee, F. Mallet, R. De Simone
Dealing with AADL end-to-end Flow Latency with UML Marte.
ICECCS - UML&AADL, 02/04/2008, Belfast, Irlande, pp.228-233, inria-00371400

M. Leyton, L. Henrio, J. Piquer
Exceptions for Algorithmic Skeletons
16th Int. European Conference on Parallel and Distributed Computing (Euro-Par 2010), 2010, Italie, pp.??, hal-00486108

S. Malik, F. Huet
Virtual Cloud: Rent Out the Rented Resources
6th IEEE International Conference for Internet Technology and Secured Transactions (ICITST-2011), 11/12/2011, Abu Dhabi, Émirats Arabes Unis, hal-00641398

S. Malik, F. Huet
Adaptive Fault Tolerance in Real Time Cloud Computing
2011 IEEE World Congress on Services, 04/07/2011, Washington DC, États-Unis, hal-00639904

F. Mallet, F. Lagarde, C. André, S. Gérard, F. Terrier
An Automated Process for Implementing Multilevel Domain Models
Software Language Engineering, 05/10/2009, Denver, Colorado, États-Unis, pp.314-333, Lecture Note in Computer Sciences, inria-00464880

F. Mallet, C. André, J. Deantoni
Executing AADL models with UML/Marte
Int. Conf. Engineering of Complex Computer Systems - ICECCS'09, 02/06/2009, Potsdam, Allemagne, pp.pp. 371-376, inria-00416592

F. Mallet, C. André
On the semantics of UML/Marte Clock Constraints
Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), 03/2009, Tokyo, Japon, pp.301-312, inria-00383279

F. Mallet, M.-A. Peraldi-Frati, C. André
Marte CCSL to execute East-ADL Timing Requirements
Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), 03/2009, Tokyo, Japon, pp.249-253, inria-00383262

F. Mallet, R. De Simone, L. Rioux
Event-based vs. Time-Triggered Communications with UML Marte
Forum on specification, verification & Design Languages (FDL'08), 23/09/2008, Stuttgart, Allemagne, pp.154-159, inria-00371392

F. Mallet, R. De Simone
MARTE: A Profile for RT/E Systems Modeling, Analysis (and Simulation?)
First International Conference on Simulation Tools and Techniques for Communications, Networks and Systems SIMUTools'08, 03/03/2008, Marseille, France, pp.1-8, inria-00371397

F. Mallet, M.-A. Peraldi-Frati, C. André
From UML to Petri Nets for non functional Property Verification
IEEE International Symposium on Industrial Embedded Systems, 2006. IES '06., 18/10/2006, Sophia antipolis, France, inria-00371277

E. P. Mancini, G. Wainer, K. Al-Zoubi, O. Dalle
Simulation in the Cloud Using Handheld Devices
MSGC@CCGRID - Workshop on Modeling and Simulation on Grid and Cloud Computing - 2012, 13/05/2012, Ottawa, Canada, hal-00691248

M. Marouf, Y. Sorel
Schedulability conditions for non-preemptive hard real-time tasks with strict period
18th International Conference on Real-Time and Network Systems - RTNS 2010, 04/11/2010, Toulouse, France, pp.50-58, hal-00544496

M. Marouf, Y. Sorel
Schedulability conditions for non-preemptive hard real-time tasks with strict period
18th International Conference on Real-Time and Network Systems RTNS'10, 04/11/2010, Toulouse, France, Proceedings of 18th International Conference on Real-Time and Network Systems, RTNS'10, inria-00566359

J.-C. Maureira, P. Uribe, O. Dalle, J. Anaya, T. Asahi
Component based approach using OMNeT++ for Train Communication Modeling
ITS-T 2009, 19/10/2009, Lille., France, inria-00501882

J.-C. Maureira, O. Dalle, D. Dujovne
Generation of Realistic 802.11 Interferences in the Omnet++ INET Framework Based on Real Traffic Measurements
OMNeT++ Workshop / SIMUTools 2009, 06/03/2009, Rome, Italie, inria-00501885

P. Meumeu Yomsi, Y. Sorel
Extending Rate Monotonic Analysis with Exact Cost of Preemptions for Hard Real-Time Systems
Proceedings of 19th Euromicro Conference on Real-Time Systems, ECRTS'07, 2007, Pisa, Italie, inria-00413487

P. Meumeu Yomsi, Y. Sorel
Schedulability Analysis using Exact Number of Preemptions and No Idle Time for Real-Time Systems with Precedence and Strict Periodicity Constraints
Proceedings of 15th International Conference on Real-Time and Network Systems, RTNS'07, 2007, Nancy, France, inria-00413489

N. Nisse, I. Rapaport, K. Suchan
Distributed computing of efficient routing schemes in generalized chordal graphs
International Colloquium on Structural Information and Communication Complexity (SIROCCO), 2009, Piran, Slovénie, inria-00423454

N. Nisse, K. Suchan
Fast Robber in Planar Graphs
International Workshop on Graph-Theoretic Concepts in Computer Science (WG), 2008, Durham, Royaume-Uni, inria-00423451

N. Nisse, D. Soguet
Graph Searching with advice
International Colloquium on Structural Information and Communication Complexity (SIROCCO), 2007, Castiglioncello, Italie, inria-00423450

M.-A. Peraldi-Frati, A. Goknil, J. Deantoni, J. Nordlander
A timing model for specifying multi clock automotive systems. The Timing Augmented Description Language V2
Int. Conf. on Engineering of Complex Computer Systems,ICECCS, 18/07/2012, Paris, France, Proceeding of the 17th ICECCS conference, pp.10 pages, hal-00687562

M.-A. Peraldi-Frati, D. Karlsson, A. Hamann, S. Kuntz, J. Nordlander
The TIMMO-2-USE project: Time modeling and analysis to use
ERTS2012 International Congres on Embedded Real Time Software and Systems, 01/02/2012, Toulouse, France, 6th International Congres on Embedded Real Time Software and Systems, hal-00649781

M.-A. Peraldi-Frati, J. Deantoni
Scheduling Multi Clock Real Time Systems: From Requirements to Implementation
International Symposium on Object/Component/Service-oriented Real-time Distributed Computing, 28/03/2011, Newport Beach, États-Unis, IEEE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing, pp.50; 57, inria-00586851

M.-A. Peraldi-Frati, A. ALBINET
Requirement traceability in safety critical systems
European Dependable Computing Conference, 26/04/2010, Valencia, Espagne, Proceeding of the 8th EDCC conference, pp.11-14, hal-00687550

M.-A. Peraldi-Frati, H. Dubois, F. Lakhal
A model for requirements traceability in an heterogeneous model-based design process
Int. Conf. on Engineering of Complex Computer Systems, 24/03/2010, Oxford, Royaume-Uni, 15th Proc. of the 15th Int. Conf. on Engineering of Complex Computer Systems, pp.233-242, hal-00687581

N. Pernet, Y. Sorel
Transformations de spécifications incluant du contrôle en spécification flot de données pour implantation distribuée
Actes de la Conférence Modélisation des Systèmes Réactifs, MSR'05, 2005, Grenoble, France, inria-00413490

D. Potop-Butucaru, R. De Simone, Y. Sorel, J.-P. Talpin
Clock-Driven Distributed Real-Time Implementation of Endochronous Synchronous Programs
International conference on Embedded software - EMSOFT 2009, 12/10/2009, Grenoble, France, inria-00485007

J. Ribault, O. Dalle, D. Conan, S. Leriche
OSIF: A Framework To Instrument, Validate, and Analyze Simulations
SIMUTools2010, 16/03/2010, Torremolinos, Espagne, inria-00465141

J. Ribault, F. Peix, J. Monteiro, O. Dalle
OSA: an Integration Platform for Component-Based Simulation
Second Intl. Conf. on Simulation Tools and Techniques (SIMUTools09), 02/03/2009, Rome, Italie, inria-00449632

J. Ribault, O. Dalle
OSA : A Federative Simulation Platform
Proceedings of the Winter Simulation Conference (WSC'09), 13/12/2009, Austin, États-Unis, inria-00449642

J. Ribault, O. Dalle
Enabling advanced simulation scenarios with new software engineering techniques.
20th European Modeling and Simulation Symposium (EMSS 2008), 17/09/2008, Briatico, Italie, inria-00425150

F. Solano Donado, J. Moulierac
Routing in All-Optical Label Switched-based Networks with Small Label Spaces
IFIP/IEEE ONDM, 18/02/2009, Braunschweig, Allemagne, inria-00425298

E. Tanter, J. Noyé, D. Caromel, P. Cointe
Partial Behavioral Reflection: Spatial and Temporal Selection of Reification
The 18th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA 2003), 2003, Anaheim, California, USA, États-Unis, pp.27-46, hal-00457204

P. Uribe, J.-C. Maureira, O. Dalle
Extending INET Framework for Directional and Asymmetrical Wireless Communications
ICST 3rd International Workshop on OMNeT++, 15/03/2010, Torremolinos, Espagne, pp.8p, inria-00530809

L. Yin, F. Mallet, J. Liu
Verification of MARTE/CCSL Time Requirements in Promela/SPIN
16th IEEE International Conference on Engineering of Complex Computer Systems, 27/04/2011, Las Vegas, États-Unis, hal-00650621

H. Yu, J.-P. Talpin, L. Besnard, T. Gautier, F. Mallet, C. André, R. De Simone
Polychronous Analysis of Timing Constraints in UML MARTE
IEEE International Workshop on Model-Based Engineering for Real-Time Embedded Systems Design, 05/2010, Parador of Carmona, Espagne, pp.7 p., inria-00497249

   COMMUNICATIONS NATIONALES

O. Amini, S. Perennes, I. Sau
Hardness of Approximating the Traffic Grooming Problem
9ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, 05/2007, Ile d'Oléron, France, pp.45-48, inria-00176960

C. André, M. Belaunde, B. Berthomieu, C. Brunette, A. Canals, H. Garavel, S. Graf, F. Lang, V. Mahé, M. Nakhlé, R. Schnekenburger, R. De Simone, J.-P. Talpin, F. Vernadat
Présentation des résultats du projet OpenEmbeDD
Neptune, 05/2009, Paris, France, inria-00381639

I. Attali, D. Caromel, L. Henrio, F. Luna
Secured Information Flow for Asynchronous Sequential Processes
3rd International Workshop on Security Issues in Concurrency (SecCo'05), 08/2005, San Francisco, USA, inria-00122937

I. Attali, T. Barros, E. Madelaine
Formalisation and Proofs of the Chilean Electronic Invoices System
in proc. of the XXIV International Conference of the Chilean Computer Science Society (SCCC'04), 10/2004, Arica, Chili, inria-00087210

T. Barros, A. Cansado, E. Madelaine, M. Rivera
Model-checking Distributed Components: The Vercors Platform
Formal Aspect of Component Systems, 09/2006, Prague / Tcheque republic, inria-00091569

T. Barros, L. Henrio, E. Madelaine
Behavioural Models for Hierarchical Components
SPIN'05, 2005, San Francisco, USA, inria-00122933

T. Barros, L. Henrio, E. Madelaine
Verification of Distributed Hierarchical Components
International Workshop on Formal Aspects of Component Software (FACS'05), 2005, Macao, inria-00122926

T. Barros, R. Boulifa, E. Madelaine
Parameterized Models for Distributed Java Objects
Forte'04 conference, 09/2004, Madrid, LNCS 3235, inria-00087222

F. Baude, D. Caromel, A. Di Costanzo, C. Delbe, M. Leyton
Towards Deployments Contracts in Large Scale Clusters & Desktop Grids
Workshop on Large-Scale and Volatile Desktop Grids (PCGrid 2007), 03/2007, Long Beach, California, États-Unis, hal-00128513

J.-C. Bermond, F. Havet, F. Huc, C. Linhares-Sales
Allocation de fréquences et coloration impropre des graphes hexagonaux pondérés
9ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, 05/2007, Ile d'Oléron, France, pp.53-56, inria-00176955

J.-C. Bermond, J. Galtier, R. Klasing, N. Morales, S. Pérennes
Gathering in specific radio networks
8èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel06), Trégastel, 05/2006, France, pp.85--88, hal-00344620

J.-C. Bermond, O. Delmas, F. Havet, M. Montassier, S. Pérennes
Réseaux de télécommunication minimaux embarqués tolérants aux pannes
5ème Rencontres Francophones sur les aspects Algorithmiques des Télécommunications (ALGOTEL 2003), 12/05/2003, France, pp.27--32, hal-00307610

J.-C. Bermond, L. Chacon, D. Coudert, F. Tillerot
Conception d'un réseau WDM protégé par sous-réseaux
2ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel'00), 10/05/2000, La Rochelle, France, ISBN 2-7261-1157-2, pp.83-88, inria-00429292

M. Bouklit, D. Coudert, J.-F. Lalande, H. Rivano
Approximation Combinatoire de Multiflot Factionnaire : Améliorations
AlgoTel'03 : 5ièmes Rencontres Francophones sur les Aspects ALGOrithmiques des TELécommunications, Banyuls-sur-Mer (France), pp.P nd., lirmm-00269814

J. Bustos-Jimenez, D. Caromel, A. Di Costanzo, M. Leyton, J. M. Piquer
Balancing Active Objects on a Peer to Peer Infrastructure
Proceedings of the XXV International Conference of the Chilean Computer Science Society (SCCC 2005), 11/2005, Valdivia, Chile, inria-00001237

D. Caromel, V. Cavé, A. Di Costanzo, C. Brignolles, B. Grawitz, Y. Viala
Executing Hydrodynamic Simulation on Desktop Grid with ObjectWeb ProActive
HIC2006: Proceedings of the 7th International Conference on HydroInformatics, 04/09/2006, Nice, France, inria-00068176

D. Caromel, C. Delbé, A. Di Costanzo, M. Morel
Dynamically-Fulfilled Application Constraints through Technical Services - Towards Flexible Component Deployments
Proceedings of HPC-GECO/CompFrame 2006, HPC Grid programming Environments and COmponents - Component and Framework Technology in High-Performance and Scientific Computing, 19/06/2006, Paris, France, inria-00068595

D. Caromel, C. Delbe, A. Di Costanzo
Peer-to-Peer and Fault-Tolerance: Towards Deployment Based Technical Services
Second CoreGRID Workshop on Grid and Peer to Peer Systems Architecture, 01/2006, Paris, France, inria-00001238

D. Caromel, Ludovic Henrio
Asynchonous Distributed Components: Concurrency and Determinacy
Theoretical Computer Science 2006 (IFIP TCS'06), 2006, Santiago, Chile, inria-00122924

D. Caromel, A. Di Costanzo, D. Gannon, A. Slominski
Asynchronous Peer-to-PeerWeb Services and Firewalls
IPDPS '05: Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 5, 03/04/2005, Washington, DC, USA, pp.183.1, inria-00001236

D. Coudert, F. Huc, D. Mazauric
Algorithme générique pour les jeux de capture dans les arbres
10ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel'08), 2008, Saint-Malo, France, pp.37-40, inria-00374452

D. Coudert, S. Perennes, Q.-C. Pham, J.-S. Sereni
Rerouting requests in WDM networks
7eme Rencontres Francophones sur les aspects Algorithmiques des Télécommunications (AlgoTel), 05/2005, Presqu'île de Giens, France, pp.17-20, inria-00429173

D. Coudert, H. Rivano
Routage optique dans les réseaux WDM multifibres avec conversion partielle
Quatrièmes Rencontres Francophones sur les aspects Algorithmiques des Télécommunications (AlgoTel), 22/05/2002, Mèze, France, pp.17-24, inria-00429178

D. Coudert
Chemins disjoints de poids minimum pour la sécurisation de réseaux de télécommunications
3eme Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), 28/05/2001, Saint Jean de Luz, France, pp.47-53, inria-00429185

D. Coudert, A. Ferreira, S. Perennes
Theoretical Aspects of the Optical Transpose Interconnecting System Architecture
Première Rencontres Francophones sur les aspects Algorithmiques des Télécommunications (AlgoTel), 05/05/1999, Roscoff, France, pp.101-106, inria-00429194

L. Cucu-Grosjean, Y. Sorel
A schedulability test for real-time dependant periodic task systems with latency constraints
12e congrès annuel de la Société française de Recherche Opérationnelle et d'Aide à la Décision, 03/2011, Saint Etienne, France, inria-00584253

O. Dalle
Component-based Discrete Event Simulation Using the Fractal Component Model
International Conference on AI, Simulation and Planning in High Autonomy Systems (AIS) and Conceptual Modeling and Simulation (CMS), 08/02/2007, Buenos Aires, Argentina, pp.213--218, inria-00141624

O. Dalle
{OSA}: an {O}pen {C}omponent-based {A}rchitecture for {D}iscrete-event {S}imulation
proc. of 20th European Conf. on Modeling and Simulation, 28/05/2006, Bonn, Germany, pp.253--259, inria-00141606

F. Fomin, P. Fraigniaud, N. Nisse
Strategies d'encerclement non deterministes
8èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2006, France, pp.81-84, hal-00421419

P. Fraigniaud, N. Nisse
Stratégies d'encerclement connexes dans un réseau
7èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2005, France, pp.13-16, hal-00421418

C. Gomez, J. Deantoni, F. Mallet
Semantic Multi-View model for Low-Power
Journées nationales IDM, CAL, et du GDR GPL, 07/06/2011, Lille, France, pp.19, hal-00596239

L. Henrio, E. Madelaine
Experiments with distributed Model-Checking of group-based applications
Sophia-Antipolis Formal Analysis Workshop, 06/10/2010, Sophia-Antipolis, France, pp.3p., inria-00538499

L. Henrio, F. Kammüller
A Mechanized Model of the Theory of Objects
9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 06/06/2007, CYPRUS, inria-00150272

J.-F. Lalande, M. Syska, Y. Verhoeven
Arrondi aléatoire et protection des réseaux WDM
ROADEF 2005, 14/02/2005, Tours, France, ROADEF 2005 / 6ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, pp.241-242, inria-00451818

J.-F. Lalande, S. Pérennes, M. Syska
Groupage dans les réseaux dorsaux WDM
ROADEF 2003, 26/02/2003, Avignon, France, pp.254-255, inria-00451812

R. Le Riche, D. Caromel, R. Duvigneau
Optimization tools and applications developed during the OMD & OMD2 projects
Forum Teratech 2011, Complex systems engineering workshop (atelier ingénierie des systèmes complexes), 29/06/2011, Palaiseau, France, emse-00686596

   OUVRAGES DE SYNTHESE

D. Coudert, D. Simplot-Ryl
Ad Hoc & Sensor Wireless Networks, an International Journal -- Special issue on Ad hoc, Mobile and Wireless Networks
Coudert, D. and Simplot-Ryl, D., Old City Publishing, 2010, inria-00531585

F. Mallet
Logical Time @ Work for the Modeling and Analysis of Embedded Systems
LAP LAMBERT Academic Publishing, 19/01/2011, 978-3-8433-9388-1inria-00561247

   DIRECTION D'OUVRAGES

E. Madelaine, M. Lumpe
Proceedings of the 4th International Workshop on Formal Aspects of Component Software
Eric Madelaine and Markus Lumpe, ENTCS, 2008, inria-00337975

   CHAPITRE D'OUVRAGES

B. Amedro, F. Baude, D. Caromel, C. Delbé, I. Filali, F. Huet, E. Mathias, O. Smirnov
An efficient framework for running applications on clusters, grids, and clouds
in Cloud Computing
Nick Antonopoulos and Lee Gillam, Springer, 2010, Computer Communications and Networks, 978-1849962407hal-00694011

C. André, J. Deantoni, F. Mallet, R. De Simone
The Time Model of Logical Clocks available in the OMG MARTE profile
in Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
Sandeep K. Shukla and Jean-Pierre Talpin, Springer Science+Business Media, LLC 2010, 07/2010, 978-1-4419-6399-4inria-00495664

C. André, F. Mallet, R. De Simone
Modeling AADL data-communications with UML MARTE
in Embedded Systems Specification and Design Languages
Eugenio villar, Springer, 2008, Lecture Notes in Electrical Engineering, 978-1-4020-8296-2inria-00371366

L. Baduel, F. Baude, D. Caromel, A. Contes, F. Huet, M. Morel, R. Quilici
Programming, Composing, Deploying for the Grid
in Grid Computing: Software Environments and Tools
Cunha, Jose C.; Rana, Omer F., Springer, 2006, 978-1-85233-998-2inria-00486114

J.-C. Bermond, F. Ergincan, M. Syska
Line Directed Hypergraphs
in Cryptoquater2011 ,Festchrift Jean-jacques,
Springer verlag, 2011, Lecture Notes in Computer Science, 6805,, hal-00643785

J.-C. Bermond, D. Coudert
Grooming
in Handbook of Combinatorial Designs (2nd edition)
Charles J. Colbourn and Jeffrey H. Dinitz, Chapman & Hall- CRC Press, 2006, Discrete mathematics and Applications, 1584885068inria-00429215

J.-C. Bermond, D. Coudert
Grooming
in Handbook of Combinatorial Designs
C.J. Colbourn and J.H. Dinitz, Chapman & Hall- CRC Press, 2006, Discrete mathematics and Applications, inria-00531339

T. Cinkler, D. Coudert, M. Flammini, G. Monaco, L. Moscardelli, X. Muñoz, I. Sau, M. Shalom, S. Zaks
Traffic Grooming: Combinatorial Results and Practical Resolutions.
in Graphs and Algorithms in Communication Networks: Studies in Broadband, Optical, Wireless, and Ad Hoc Networks.
Arie Koster and Xavier Muñoz, Springer, 01/01/2010, EATCS Texts in Theoretical Computer Science, 978-3-642-02249-4inria-00530964

D. Coudert, X. Munoz
Graph Theory and Traffic Grooming in WDM Rings
in Recent Research Developments in Optics
S.G. Pandalai, Research Signpost, 2003, 81-271-0028-5inria-00429212

O. Dalle, G. A. Wainer, K. Al-Zoubi, O. Dalle, D. R.C. Hill, S. Mittal, J. Risco Martin, H. Sarjoughian, L. Touraille, M. K. Traoré, B. P. Zeigler
Chapter 17: Standardizing DEVS model representation
in Discrete-Event Modeling and Simulation: Theory and Applications
Wainer, G. and Mosterman, P., Taylor and Francis, 2011, 978-1-4200-7233-4inria-00638560

O. Dalle, G. A. Wainer, K. Al-Zoubi, O. Dalle, D. R.C. Hill, S. Mittal, J. Risco Martin, H. Sarjoughian, L. Touraille, M. K. Traoré, B. P. Zeigler
Chapter 18: Standardizing DEVS Simulation Middleware
in Discrete-Event Modeling and Simulation: Theory and Applications
Wainer, G. and Mosterman, P., Taylor and Francis, 2011, 978-1-4200-7233-4inria-00638559

C. Glitia, J. Deantoni, F. Mallet
Logical Time @ Work: Capturing Data Dependencies and Platform Constraints
in System Specification and Design Languages
Kaźmierski, Tom J. J. and Morawiec, Adam, Springer New York, 2012, Lecture Notes in Electrical Engineering, 978-1-4614-1426-1hal-00651864

F. Mallet, R. De Simone
MARTE vs. AADL for Discrete-Event and Discrete-Time Domains
in Languages for Embedded Systems and their Applications
Martin Radetzki, Springer, 05/2009, Lecture Notes in Electrical Engineering, 978-1-4020-9713-3inria-00416656

D. Potop-Butucaru, R. De Simone, Y. Sorel
From Synchronous Specifications to Statically-Scheduled Hard Real-Time Implementations
in Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
Sandeep K. Shukla and Jean-Pierre Talpin, Springer Science+Business Media, LLC 2010, 07/2010, 978-1-4419-6399-4inria-00495666

   THESES et HDR

F. Baude
HDR:De la programmation parallèle structurée à la programmation pour la grille
Université de Nice Sophia-Antipolis, 15/09/2006, tel-00507049

B. Beauquier
THESE:Communications dans les réseaux optiques par multiplexage en longueur d'onde
informatique, Université de Nice Sophia-Antipolis, 17/01/2000, tel-00504392

D. Coudert
HDR:Algorithmique et optimisation dans les réseaux de télécommunications
Université de Nice Sophia-Antipolis, 05/03/2010, tel-00466400

D. Coudert
THESE:Algorithmique et optimisation de réseaux de communications optiques
Université de Nice Sophia-Antipolis, 11/12/2001, tel-00008087

L. Henrio
THESE:Calcul d'objet asynchrone : confluence et déterminisme
informatique, Université de Nice Sophia-Antipolis, 28/11/2003, tel-00505940

F. Huet
THESE:Objets mobiles : conception d'un middleware et évaluation de la communication
informatique, Université de Nice Sophia-Antipolis, 11/12/2002, tel-00505420

E. Madelaine
HDR:Specification, Model Generation, and Verification of Distributed Applications
Université de Nice Sophia-Antipolis, 29/09/2011, tel-00625248

F. Mallet
HDR:Temps Logique pour l'ingénierie dirigée par le modèles
Université de Nice Sophia-Antipolis, 26/11/2010, tel-00541140

   RAPPORTS DE RECHERCHE

P. Aboulker, F. Havet, N. Trotignon
On wheel-free graphs
Rapport de recherche, RR-7651, inria-00602079

L. Addario-Berry, S. Thomassé, F. Havet
Paths with two blocks in $n$-chromatic digraphs
Rapport de recherche, 09/2005, RR-5688, inria-00070325

L. Addario-Berry, F. Havet, C. Linhares Sales, B. Reed, S. Thomasse
Oriented trees in digraphs.
Rapport de recherche, RR-7502, inria-00551133

S. Alouf, F. Huet, P. Nain
Forwarders vs. Centralized Server : An Evaluation of two Approaches for Locating Mobile Agents
04/2002, RR-4440, inria-00072148

E. Altman, P. Nain, J.-C. Bermond
Distributed Storage Management of Evolving Files in Delay Tolerant Ad Hoc Networks
Rapport de recherche, 2008, RR-6645, inria-00321641

B. Amedro, V. Bodnartchouk, D. Caromel, C. Delbe, F. Huet, G. Taboada
Current State of Java for HPC
Rapport Technique, 2008, RT-0353, inria-00312039

R. Ameur-Boulifa, R. Halalai, L. Henrio, E. Madelaine
Verifying Safety of Fault-Tolerant Distributed Components -- Extended Version
Rapport de recherche, RR-7717, inria-00621264

O. Amini, F. Havet, F. Huc, S. Thomasse
WDM and Directed Star Arboricity
Rapport de recherche, 01/2007, RR-6179, inria-00132396

O. Amini, F. Giroire, F. Huc, S. Pérennes
Minimal Selectors and Fault Tolerant Networks
Rapport de recherche, 06/2006, inria-00082015

O. Amini, D. Coudert, N. Nisse
Some Results on Non-deterministic Graph Searching in Trees
Rapport de recherche, inria-00174965

O. Amini, D. Peleg, S. Perennes, I. Sau Valls, S. Saurabh
Degree-Constrained Subgraph Problems: Hardness and Approximation Results
Rapport de recherche, RR-6690, inria-00331747

C. André
Verification of clock constraints: CCSL Observers in Esterel
Rapport de recherche, 02/2010, RR-7211, inria-00458847

C. André, F. Mallet, M.-A. Peraldi-Frati
Non-functional property analysis using UML2.0 and model transformations
Rapport de recherche, 05/2006, RR-5913, inria-00124874

C. André, A. Cuccuru, R. De Simone, J.-P. Talpin
Modeling with logical time in UML for real-time embedded system design
Rapport de recherche, 2006, RR-5895, inria-00071373

C. André, F. Mallet
Clock Constraints in UML/MARTE CCSL
Rapport de recherche, RR-6540, inria-00280941

C. André, F. Mallet
Combining CCSL and Esterel to specify and verify time requirements
Rapport de recherche, RR-6839, inria-00360528

C. André, M. Bayart, A.-M. Déplanche, J. Jourdan, M.-A. Péraldi, F. Simonot-Lion, L. Thomas, J. Toussaint, Y. Trinquet
Construction et Validation d'Architectures Distribuées Temps Réel (Consortium COVADIS)
Contrat, 98-R-318 || andre98a, inria-00098509

C. André
Modèles de temps et de contraintes temporelles de MARTE et leurs applications
Rapport de recherche, RR-7788, hal-00639211

C. André
Syntax and Semantics of the Clock Constraint Specification Language (CCSL)
Rapport de recherche, RR-6925, inria-00384077

J. Araujo, J.-C. Bermond, F. Giroire, F. Havet, D. Mazauric, R. Modrzejewski
Weighted Improper Colouring
Rapport de recherche, RR-7590, inria-00583036

J. Araujo, V. Campos, F. Giroire, N. Nisse, L. Sampaio, R. Soares
On the hull number of some graph classes
Rapport de recherche, RR-7567, inria-00576581

J. Araújo, N. Cohen, F. Giroire, F. Havet
Good edge-labelling of graphs
Rapport de recherche, 2009, RR-6934, inria-00383343

M. Aste, F. Havet, C. Linhares-Sales
Grundy number and products of graphs
Rapport de recherche, RR-6672, inria-00328589

I. Attali, D. Caromel, R. Guider
Static Analysis of Java for Distributed and Parallel Programming
03/1999, RR-3634, inria-00073040

I. Attali, D. Caromel, S. O. Ehmety
An Operational Semantics for the Eiffel Language
11/1995, RR-2732, inria-00073962

J. Bang-Jensen, F. Havet, N. Trotignon
Finding an induced subdivision of a digraph
Rapport de recherche, RR-7430, inria-00527518

L. Barrière, P. Flocchini, F. V. Fomin, P. Fraigniaud, N. Nisse, N. Santoro, D. M. Thilikos
Connected Graph Searching
Rapport de recherche, RR-7363, inria-00508888

T. Barros, L. Henrio, E. Madelaine
Behavioural Models for Hierarchical Components
Rapport de recherche, 2005, RR-5591, inria-00070416

T. Barros, E. Madelaine
Formalisation and verification of the Chilean electronic invoice system
06/2004, RR-5217, inria-00070777

T. Barros, R. Boulifa, A. Cansado, L. Henrio, E. Madelaine
Behavioural Models for Distributed Fractal Components
Rapport de recherche, RR-6491, inria-00268965

F. Baude, D. Caromel, C. Delbé, L. Henrio
A Fault Tolerance protocol for ASP calculus: Design and Proof
06/2004, RR-5246, inria-00070752

B. Beauquier, O. Delmas, S. Pérennes
Tight Bounds for Broadcasting in the Linear Cost Model
12/1999, RR-3827, inria-00072831

B. Beauquier, O. Delmas, S. Pérennes
Tight Bounds for Broadcasting in the Linear Cost Model
12/1999, RR-3827, inria-00072831

B. Beauquier, E. Darrot
On Arbitrary Waksman Networks and their Vulnerability
10/1999, RR-3788, inria-00072871

B. Beauquier, S. Pérennes, D. Tóth
All-to-All Routing and Coloring in Weighted Trees of Rings
06/1999, RR-3700, inria-00072968

B. Beauquier, S. Pérennes, D. Tóth
All-to-All Routing and Coloring in Weighted Trees of Rings
06/1999, RR-3700, inria-00072968

B. Beauquier
All-to-All Communication for some Wavelength-Routed All-Optical Networks
07/1998, RR-3452, inria-00073238

B. Beauquier
Broadcasting in WDM Optical Rings and Tori
04/1998, RR-3410, inria-00073280

B. Beauquier, P. Hell, S. Pérennes
Optimal Wavelength-Routed Multicasting
10/1997, RR-3276, inria-00073413

B. Beauquier, P. Hell, S. Pérennes
Optimal Wavelength-Routed Multicasting
10/1997, RR-3276, inria-00073413

B. Beauquier, J.-C. Bermond, L. Gargano, P. Hell, S. Pérennes, U. Vaccaro
Graph Problems Arising from Wavelength-Routing in All-Optical Networks
05/1997, RR-3165, inria-00073523

B. Beauquier, J.-C. Bermond, L. Gargano, P. Hell, S. Pérennes, U. Vaccaro
Graph Problems Arising from Wavelength-Routing in All-Optical Networks
05/1997, RR-3165, inria-00073523

F. Becker, M. Matamala, N. Nisse, I. Rapaport, K. Suchan, I. Todinca
Adding a referee to an interconnection network: What can(not) be computed in one round.
Rapport de recherche, inria-00528733

S. Belhareth, D. Coudert, D. Mazauric, N. Nisse, I. Tahiri
Reconfiguration with physical constraints in WDM networks
Rapport de recherche, RR-7850, hal-00654111

B. Bennour, L. Henrio, M. Rivera
A Reconfiguration Framework for Distributed Components
Rapport de recherche, RR-6911, inria-00379268

J.-C. Bermond, C. J. Colbourn, L. Gionfriddo, G. Quattrocchi, I. Sau Valls
Drop cost and wavelength optimal two-period grooming with ratio 4
Rapport de recherche, 17/11/2009, RR-7101, inria-00432801

J.-C. Bermond, X. Muñoz, I. Sau Valls
Traffic Grooming in Bidirectional WDM Ring Networks
Rapport de recherche, 31/10/2009, RR-7080, inria-00429155

J.-C. Bermond, D. Mazauric, V. Misra, P. Nain
Distributed Call Scheduling in Wireless Networks
Rapport de recherche, 2008, RR-6763, inria-00345669

J.-C. Bermond, D. Coudert, B. Leveque
Approximations for All-to-all Uniform Traffic Grooming on Unidirectional Ring
Rapport de recherche, 01/10/2007, inria-00175795

J.-C. Bermond, J. Galtier, R. Klasing, N. Morales, S. Perennes
Hardness and approximation of gathering in static radio networks
Rapport de recherche, 06/2006, RR-5936, inria-00081032

J.-C. Bermond, L. Braud, D. Coudert
Traffic Grooming on the Path
Rapport de recherche, 2005, RR-5645, inria-00070363

J.-C. Bermond, M. Cosnard, D. Coudert, S. Pérennes
Optimal Solution of the Maximum All Request Path Grooming Problem
Rapport de recherche, 2005, RR-5627, inria-00070381

J.-C. Bermond, F. Havet, C. Tóth
Fault tolerant on-board networks with priorities
Rapport de recherche, 11/2004, RR-5363, inria-00070640

J.-C. Bermond, S. Ceroi
Minimizing SONET ADMs in unidirectional WDM rings with grooming ratio 3
11/2002, RR-4626, inria-00071959

J.-C. Bermond, D. Coudert, M.-L. Yu
On DRC-Covering of K_n by Cycles
Rapport de recherche, 10/2001, RR-4299, inria-00072288

J.-C. Bermond, N. Marlin, D. Peleg, S. Pérennès
Directed Virtual Path Layouts in ATM Networks
04/1999, RR-3665, inria-00073007

J.-C. Bermond, E. Darrot, O. Delmas, S. Perennes
Hamilton Circuits in the Directed Butterfly Network
07/1996, RR-2925, inria-00073773

J.-C. Bermond, E. Darrot, O. Delmas, S. Perennes
Hamilton Cycle Decomposition of the Butterfly Network
06/1996, RR-2920, inria-00073777

J.-C. Bermond, Z. Liu, M. Syska
Mean eccentricities of de Bruijn networks
Rapport de recherche, 1993, RR-2114, inria-00074558

J.-C. Bermond, A. Jean-Marie, D. Mazauric, J. Yu
Well Balanced Designs for Data Placement
Rapport de recherche, RR-7725, inria-00618656

J.-C. Bermond, D. Coudert, J. Moulierac, S. Perennes, H. Rivano, I. Sau, F. Solano Donado
MPLS label stacking on the line network
Rapport de recherche, RR-6803, inria-00354267

J.-C. Bermond, D. Coudert, J. Moulierac, S. Perennes, I. Sau Valls, F. Solano Donado
GMPLS Routing Strategies based on the Design of Hypergraph Layouts
Rapport de recherche, RR-6842, inria-00360576

J.-C. Bermond, D. Coudert, J. Moulierac, S. Pérennes, I. Sau, F. Solano Donado
GMPLS Label Space Minimization through Hypergraph Layouts
Rapport de recherche, RR-7071, inria-00426681

J.-C. Bermond, D. Coudert, J. Peters
Online Distributed Traffic Grooming on Path Networks
Rapport de recherche, RR-6833, inria-00359810

J.-C. Bermond, F. Havet, F. Huc, C. Linhares Sales
Improper colouring of weighted grid and hexagonal graphs
Rapport de recherche, RR-7250, inria-00472819

J.-C. Bermond, M. Cosnard, S. Pérennes
Directed acyclic graphs with the unique dipath property
Rapport de recherche, RR-6932, inria-00387085

J.-C. Bermond, N. Nisse, P. Reyes, H. Rivano
Fast Data Gathering in Radio Grid Networks
Rapport de recherche, RR-6851, inria-00363908

J.-C. Bermond, R. Correa, M.-L. Yu
Optimal Gathering Protocols on Paths under Interference Constraints
Rapport de recherche, inria-00168162

P. Berthomé, N. Nisse
A unified FPT Algorithm for Width of Partition Functions
Rapport de recherche, RR-6646, inria-00321766

S. Bessy, E. Birmelé, F. Havet
Arc-chromatic number of digraphs in which each vertex has bounded outdegree or bounded indegree
Rapport de recherche, 11/2004, RR-5364, inria-00070639

S. Bessy, F. Havet, J. Palaysi
Choosability of bipartite graphs with maximum degree $Delta$
07/2002, RR-4522, inria-00072066

S. Bessy, F. Havet
Enumerating the edge-colourings and total colourings of a regular graph
Rapport de recherche, RR-7652, inria-00602188

S. Bhadra, A. Ferreira
Computing multicast trees in dynamic networks using evolving graphs
08/2002, RR-4531, inria-00072057

L. Blin, J. Burman, N. Nisse
Perpetual Graph Searching
02/2012, hal-00675233

F. Bongiovanni, L. Henrio
Mechanical Support for Efficient Dissemination on the CAN Overlay Network
Rapport de recherche, 04/2011, RR-7599, inria-00585057

R. Boulifa, E. Madelaine
Preuve de propriétés de comportement deprogrammes ProActive
05/2002, RR-4460, inria-00072128

B. Bui Xuan, A. Ferreira, A. Jarry
Computing shortest, fastest, and foremost journeys in dynamic networks
10/2002, RR-4589, inria-00071996

V. Campos, A. Gyarfas, F. Havet, C. Linhares Sales, F. Maffray
New bounds on the Grundy number of products of graphs
Rapport de recherche, RR-7243, inria-00470158

V. Campos, F. Havet
5-choosability of graphs with 2 crossings
Rapport de recherche, RR-7618, inria-00593426

D. Caromel, C. Delbé, L. Henrio
Promised Consistency for Rollback Recovery
Rapport de recherche, 05/2006, RR-5902, inria-00071365

D. Caromel, L. Henrio
Asynchronous Sequential Processes
03/2003, RR-4753, inria-00071834

S. Caron, F. Giroire, D. Mazauric, J. Monteiro, S. Pérennes
P2P Storage Systems: Data Life Time for Different Placement Policies
Rapport de recherche, RR-7209, inria-00458190

J. Chalopin, V. Chepoi, N. Nisse, Y. Vaxès
Cop and robber games when the robber can hide and ride
Rapport de recherche, RR-7178, inria-00448243

G. Chang, F. Havet, M. Montassier, A. Raspaud
Steinberg's Conjecture and near-colorings
Rapport de recherche, RR-7669, inria-00605810

N. Cohen, D. Coudert, D. Mazauric, N. Nepomuceno, N. Nisse
Tradeoffs when optimizing Lightpaths Reconfiguration in WDM networks
Rapport de recherche, RR-7047, inria-00421140

N. Cohen, F. Havet, T. Mueller
Acyclic edge-colouring of planar graphs
Rapport de recherche, RR-6876, inria-00367394

N. Cohen, F. Havet
Linear and 2-frugal choosability of graphs of small maximum average degree
Rapport de recherche, RR-7213, inria-00459692

N. Cohen, F. Havet
Planar graphs with maximum degree Delta\geq 9 are (\Delta+1)-edge-choosable -- short proof
Rapport de recherche, RR-7098, inria-00432389

D. Coudert, F. Giroire, I. Sau Valls
Circuit visiting 10 ordered vertices in infinite grids
Rapport de recherche, 2009, RR-6910, inria-00378586

D. Coudert, J.-S. Sereni
Characterization of graphs and digraphs with small process number
Rapport de recherche, 01/2008, RR-6285, inria-00171083

D. Coudert, D. Mazauric
Network Reconfiguration using Cops-and-Robber Games
Rapport de recherche, 2008, RR-6694, inria-00315568

D. Coudert, F. Huc, F. Peix, M.-E. Voge
On Minimizing the Average Reliability of Connections in Multilayer Networks under Shared Risk Groups and Costs Constraints
Rapport de recherche, 01/10/2007, inria-00175813

D. Coudert, S. Perennes, H. Rivano, M.-E. Voge
Shared Risk Resource Groups and Colored Graph: Polynomial Cases and Transformation Issues
Rapport de recherche, 26/09/2007, inria-00175143

D. Coudert, P. Datta, S. Pérennes, H. Rivano, M.-E. Voge
Complexity and approximability issues of Shared Risk Resource Group
Rapport de recherche, 03/2006, RR-5859, inria-00070167

D. Coudert, F. Huc, J.-S. Sereni
Pathwidth of outerplanar graphs
Rapport de recherche, 01/2006, RR-5804, inria-00070220

D. Coudert, H. Rivano
Lightpath assignment for multifibers wdm optical networks with wavelength translators
06/2002, RR-4487, inria-00072101

D. Coudert, A. Ferreira, S. Pérennes
Digraph Isomorphisms and Free Space Optical Networks
Rapport de recherche, 11/1999, RR-3817, inria-00072841

D. Coudert, D. Mazauric, N. Nisse
Routing Reconfiguration/Process Number: Networks with Shared Bandwidth.
Rapport de recherche, RR-6790, inria-00350025

D. Coudert, F. Huc, D. Mazauric, N. Nisse, J.-S. Sereni
Routing Reconfiguration/Process Number: Coping wih Two Classes of Services
Rapport de recherche, RR-6698, inria-00331807

D. Coudert, F. Huc, D. Mazauric
A distributed algorithm for computing and updating the process number of a forest
Rapport de recherche, RR-6560, inria-00288304

D. Coudert, N. Nepomuceno, H. Rivano
Wireless Backhaul Networks: Minimizing Energy Consumption by Power-Efficient Radio Links Configuration
Rapport de recherche, RR-6752, inria-00344344

D. Coudert, P. Datta, H. Rivano, M.-E. Voge
Minimum Color Problems and Shared Risk Resource Group in Multilayer Networks
Rapport de recherche, I3S Research Report I3S/RR-2005-37-FR, inria-00466486

L. Cucu, Y. Sorel
Non-preemptive scheduling algorithms and schedulability conditions for real-time systems with precedence and latency constraints
Rapport de recherche, 2004, RR-5403, inria-00070600

O. Dalle
OSA: an Open Component-based Architecture for Discrete-Event Simulation
Rapport de recherche, 11/2005, RR-5762, inria-00070258

O. Dalle
LoadBuilder: a Tool for Generating and Modeling Workloads in Distributed Workstation Environments
11/1996, RR-3045, inria-00073647

O. Dalle, F. Giroire, J. Monteiro, S. Pérennes
Analysis of Failure Correlation in Peer-to-Peer Storage Systems
Rapport de recherche, RR-6771, inria-00346857

O. Delmas, M. Montassier, F. Havet, S. Pérennes
Design of fault-tolerant on-board network
Rapport de recherche, 03/2006, RR-5866, inria-00070160

O. Delmas, S. Perennes
Circuit-Switched Gossiping in the 3-Dimensional Torus Networks
07/1996, RR-2930, inria-00073769

V. D. Doan, A. Gaikwad, M. Bossy, F. Baude, F. Abergel
A financial engineering benchmark for performance analysis of grid middlewares
Rapport Technique, 2009, RT-365, inria-00387324

V. D. Doan, A. Gaikwad, M. Bossy, F. Baude, I. Stokes-Rees
Parallel Pricing Algorithms for Multi--Dimensional Bermudan/American Options using Monte Carlo methods
Rapport de recherche, 2008, RR-6530, inria-00278514

H. Dubois, M.-A. Peraldi-Frati, F. Lakhal
A model for requirements traceability in an heterogeneous model-based design process. Application to automotive embedded systems
Rapport de recherche, RR-7292, inria-00483970

N. Eggemann, F. Havet, S. Noble
$k$-$L(2,1)$-Labelling for Planar Graphs is NP-Complete for $k\geq 4$
Rapport de recherche, RR-6840, inria-00360505

R. Erman, F. Havet, B. Lidicky, O. Pangrac
5-colouring graphs with 4 crossings
Rapport de recherche, RR-7110, inria-00437726

A. Ferreira
Building a Reference Combinatorial Modelfor Dynamic Networks:Initial Results in Evolving Graphs
12/2003, RR-5041, inria-00071542

A. Ferreira, L. Viennot
A Note on Models, Algorithms, and Data Structures for Dynamic Communication Networks
Rapport de recherche, 03/2002, RR-4403, inria-00072185

A. Ferreira, S. Pérennes, A. Richa, H. Rivano, N. Stier
On the design of Multifiber WDM Networks
08/2001, RR-4244, inria-00072343

A. Ferreira, S. Pérennes, H. Rivano
Fractional Coloring of Bounded Degree Trees
01/2001, RR-4094, inria-00072538

I. Filali, F. Bongiovanni, F. Huet, F. Baude
RDF Data Indexing and Retrieval: A survey of Peer-to-Peer based solutions
Rapport de recherche, 26/11/2010, RR-7457, inria-00540314

B. Florent, A. Kosowski, N. Nisse, I. Rapaport, K. Suchan
Interconnection network with a shared whiteboard: Impact of (a)synchronicity on computing power
Rapport de recherche, RR-7746, inria-00627910

F. Fomin, F. Giroire, A. Jean-Marie, D. Mazauric, N. Nisse
To Satisfy Impatient Web surfers is Hard
Rapport de recherche, RR-7740, inria-00625703

K. Garcés, J. Deantoni, F. Mallet
Transforming CCSL partially-ordered Traces into UML Interaction Diagrams
16/12/2011, hal-00652987

R. Gascon, F. Mallet, J. Deantoni
Logical time and temporal logics: Comparing UML MARTE/CCSL and PSL
Rapport de recherche, 19/11/2010, RR-7459, inria-00540738

F. Giroire, D. Mazauric, J. Moulierac, B. Onfroy
Minimizing Routing Energy Consumption: from Theoretical to Practical Results
Rapport de recherche, 03/2010, RR-7234, inria-00464318

F. Giroire, J. Monteiro, S. Pérennes
P2P Storage Systems: How Much Locality Can They Tolerate?
Rapport de recherche, 2009, RR-7006, inria-00408078

F. Giroire, S. K. Gupta, R. Modrzejewski, J. Monteiro, S. Pérennes
Analysis of the Repair Time in Distributed Storage Systems
Rapport de recherche, RR-7538, inria-00565359

C. Gomes, P. Reyes, J.-C. Bermond
Round Weighting Problem and gathering in wireless networks with symmetrical interference
Rapport de recherche, inria-00408502

C. Gomez, J. Deantoni, F. Mallet
Multi-View Power Modeling based on UML MARTE and SysML
Rapport de recherche, hal-00688853

C. Hamerling, V. Legrand, F. Baude, E. Mathias, C. Ruz, M. Fried, R. Krummenacher, P. Merle, N. Dolet
D1.4.1B SOA4All Runtime
Rapport Technique, hal-00673998

N. Hanusse, D. Ilcinkas, A. Kosowski, N. Nisse
How to beat the random walk when you have a clock?
Rapport de recherche, RR-7210, inria-00458808

F. Havet, S. Thomasse
Complexity of $(p,1)$-total labelling
Rapport de recherche, 09/2007, RR-6305, inria-00173438

F. Havet, R. Kang, T. Müller, J.-S. Sereni
Circular Choosability
Rapport de recherche, 07/2007, RR-5957, inria-00086981

F. Havet, R. Kang, J.-S. Sereni
Improper colouring of unit disk graphs
Rapport de recherche, 05/2007, RR-6206, inria-00150464

F. Havet, S. Thomasse, A. Yeo
Hoàng-Reed conjecture holds for tournaments
Rapport de recherche, 09/2006, RR-5976, inria-00091366

F. Havet
Choosability of the square of planar subcubic graphs with large girth
Rapport de recherche, 01/2006, RR-5800, inria-00070223

F. Havet
Repartitors, selectors and superselectors
Rapport de recherche, 09/2005, RR-5686, inria-00070327

F. Havet, J.-S. Sereni
Improper choosability of graphs and maximum average degree
03/2004, RR-5164, inria-00071425

F. Havet
Stable set meeting every longest paths
11/2003, RR-5009, inria-00071575

F. Havet
Upper bound for the span of (s,1)-total labelling of graphs
05/2003, RR-4816, inria-00071770

F. Havet, M.-L. Yu
(d,1)-total labelling of graphs
11/2002, RR-4650, inria-00071935

F. Havet
Design of fault tolerant on board networks with priorities via selectors
05/2002, RR-4463, inria-00072125

F. Havet
Robustness of a routing tree for the Push Tree Problem
05/2002, RR-4464, inria-00072124

F. Havet
Pancyclic arcs and connectivity in tournaments
02/2002, RR-4378, inria-00072210

F. Havet, M. Klazar, J. Kratochvil, D. Kratsch, M. Liedloff
Exact algorithms for $L(2,1)$-labeling of graphs
Rapport de recherche, RR-6587, inria-00303330

F. Havet, C. Linhares Sales, L. Sampaio
b-coloring of tight graphs
Rapport de recherche, RR-7241, inria-00468734

F. Havet, J. Van Den Heuvel, C. Mcdiarmid, B. Reed
List colouring squares of planar graphs
Rapport de recherche, RR-6586, inria-00303303

F. Havet, S. Jendrol', R. Sotak, E. Skrabulakova
Facial non-repetitive edge-colouring of plane graphs
Rapport de recherche, RR-6873, inria-00366589

F. Havet, X. Zhu
The game Grundy number of graphs
Rapport de recherche, RR-7646, inria-00600738

L. Henrio, F. Kammüller, H. Sudhof
ASPfun: A Functional and Distributed Object Calculus Semantics, Type-system, and Formalization
Rapport de recherche, 11/2007, RR-6353, inria-00186963

L. Henrio, F. Kammüller
A Formalization of the Theory of Objects in Isabelle/HOL
Rapport de recherche, 12/2006, RR-6079, inria-00121816

L. Henrio, B. P. Serpette, S. Szentes
Implementation and Complexity of the Lowest Static Reduction
12/2003, RR-5034, inria-00071550

L. Henrio, M. Rivera
An algorithm for safely stopping a component system
Rapport de recherche, RR-6444, inria-00239449

F. Huc, C. Molle, N. Nisse, S. Pérennes, H. Rivano
Stability of a local greedy distributed routing algorithm
Rapport de recherche, RR-6871, inria-00366441

M. U. Khan, L. Henrio
First Class Futures: a Study of Update Strategies
Rapport de recherche, 2008, RR-7113, inria-00435573

R. Klasing, N. Morales, S. Perennes
On the Complexity of Bandwidth Allocation in Radio Networks with Steady Traffic Demands
Rapport de recherche, 12/2004, RR-5432, inria-00070575

A. Kosowski, B. Li, N. Nisse, K. Suchan
k-Chordal Graphs: from Cops and Robber to Compact Routing via Treewidth
hal-00671861

R. Krummenacher, I. Toma, C. Hamerling, J.-P. Lorre, F. Baude, V. Legrand, P. Merle, C. Ruz, C. Pedrinaci, D. Liu, T. Pariente Lobo
D1.4.1A SOA4All Reference Architecture Specification
Rapport Technique, hal-00673752

F. Lagarde, F. Mallet, C. André, S. Gérard, F. Terrier
An Automated Process for Designing UML Profiles
Rapport de recherche, RR-6599, inria-00308386

F. Lagarde, F. Mallet, C. André, S. Gérard, F. Terrier
Multilevel Modeling Paradigm in Profile Definition
Rapport de recherche, RR-6525, inria-00276653

J.-F. Lalande, M. Syska, Y. Verhoeven
Mascopt - A Network Optimization Library: Graph Manipulation
Rapport Technique, 04/2004, RT-0293, inria-00069887

S.-Y. Lee, F. Mallet, R. De Simone
Dealing with AADL End-to-end Flow Latency with UML MARTE
Rapport de recherche, RR-6402, inria-00200834

F. Mallet, C. André, F. Lagarde
Un profil UML pour la modélisation multiniveau
Rapport de recherche, 2008, RR-7287, inria-00482727

F. Mallet, C. André
UML/MARTE CCSL, Signal and Petri nets
Rapport de recherche, RR-6545, inria-00283077

F. Mallet, M.-A. Peraldi-Frati, C. André
Marte CCSL and East-ADL2 Timing Requirements
Rapport de recherche, RR-6781, inria-00348134

F. Mallet
Correct Transformation from CCSL to Promela for verification
Rapport de recherche, hal-00667849

J.-C. Maureira, D. Dujovne, O. Dalle
Network Provisioning for High Speed Vehicles Moving along Predictable Routes - Part 1: Spiderman Handover
Rapport de recherche, RR-6850, inria-00369419

A. Mehmood Khan, F. Mallet, C. André, R. De Simone
Marte Timing Requirement and Spirit IP-XACT
Rapport de recherche, RR-6647, inria-00321953

P. Meumeu Yomsi, Y. Sorel
An Algebraic Approach for Fixed-Priority Scheduling of Hard Real-time Systems with Exact Preemption Cost
Rapport de recherche, inria-00613347

P. Meumeu Yomsi, Y. Sorel
Schedulability Analysis for non Necessarily Harmonic Real-Time Systems with Precedence and Strict Periodicity Constraints using the Exact Number of Preemptions and no Idle Time
Rapport de recherche, RR-6610, inria-00310248

J. Moulierac, T. K. Phan, N. Thoai, C. Tran
Xcast6 Treemap Islands - A Mixed Model of Application and Network Layer Multicast
Rapport de recherche, RR-7784, inria-00637656

P. Mussi, G. Siegel
Sequential Simulation in Prosit: Programming Model and Implementation
11/1995, RR-2713, inria-00073978

V. Papailiopoulou, D. Potop-Butucaru, Y. Sorel, R. De Simone, L. Besnard, J.-P. Talpin
From concurrent multi-clock programs to concurrent multi-threaded implementations
Rapport de recherche, 03/2011, RR-7577, inria-00578585

N. Parlavantzas, M. Morel, F. Baude, F. Huet, D. Caromel, V. Getov
Componentising a Scientific Application for the Grid
Rapport Technique, hal-00694511

G. Peretti Pezzi, D. Caromel, E. Vaissié, Y. Viala, B. Grawitz, F. Bonnadier
High Performance Hydraulic Simulations on the Grid using Java and ProActive
Rapport de recherche, RR-7508, inria-00555866

D. Potop-Butucaru, R. D. Simone, Y. Sorel
Deterministic execution of synchronous programs in an asynchronous environment. A compositional necessary and sufficient condition
Rapport de recherche, 2008, RR-6656, inria-00322563

D. Potop-Butucaru, Y. Sorel
Optimized static real-time scheduling of communications on a broadcast bus
Rapport de recherche, 2008, RR-6655, inria-00322561

D. Potop-Butucaru, R. De Simone, Y. Sorel
Necessary and Sufficient Conditions for Deterministic Desynchronization
Rapport de recherche, 03/2007, RR-6152, inria-00137885

D. Potop-Butucaru, Y. Sorel, R. De Simone
From multi-clock constraints to multi-rate GALS executives
Rapport de recherche, 11/2006, RR-6021, inria-00114032

C. Ruz, F. Baude, V. Legrand Contes
Towards Grid Monitoring and deployment in Jade, using ProActive
Rapport de recherche, 09/2007, RR-6340, inria-00182554

F. Simonot-Lion, L. Thomas, T. Lambolais, A.-M. Déplanche, Y. Trinquet, C. André, M.-A. Péraldi, C. Choukair, M. Bayart
Conception et validation d'architectures distribuées temps réel
Contrat, 99-R-316 || simonot-lion99b, inria-00098849

I. Stavridou, A. Ferreira
Multi- Inter- and Trans-disciplinary research promoted by the European Cooperation in Science and Technology (COST): Lessons and experiments
Rapport de recherche, inria-00512712

P. Uribe, J.-C. Maureira, O. Dalle
Extending INET Framework for Directional and Asymmetrical Wireless Communications
Rapport de recherche, 2009, RR-7120, inria-00448033

   COMMUNICATIONS SANS COMITÉ DE LECTURE

F. Baude, A. Bottaro, J.-M. Brun, A. Chazalet, A. Constancin, D. Donsez, L. Gurgen, P. Lalanda, V. Legrand, V. Lestideau, S. Marié, C. Marin, A. Moreau, V. Olive
Extension de passerelles OSGi pour les domaines de la distribution électrique: Modèles et outils
Atelier de travail OSGi 2006, 2006, Paris, France, hal-00097266

J. Chalopin, V. Chepoi, N. Nisse, Y. Vaxès
Cop and robber games when the robber can hide and ride
8th French Combinatorial Conference, 06/2010, Orsay, France, inria-00482117

D. Coudert
Graph searching games for the WDM reconfiguration problem
24th European Conference on Operational Research (EURO), 11/07/2010, Lisbon, Portugal, inria-00482113

J. Deantoni, F. Mallet, C. André, F. Thomas
Logical time @ work: the RT-Simex project
Sophia Antipolis Formal Approach, 06/04/2011, Sophia, France, inria-00587151

V. Dung Doan, M. Bossy, F. Baude, I. Stokes-Rees
Comparison of parallel distributed American option pricing: Through Continuation Values Classification Versus Optimal Exercise Boundary Computation
Sixth IMACS Seminar on Monte Carlo Methods, 18/06/2007, Reading, Royaume-Uni, hal-00605712

N. Nisse
Graph Searching and Graph Decompositions
24th European Conference on Operational Research (EURO) (2010), 07/2010, Lisbon, Portugal, inria-00482115

   AUTRES

O. Dalle
Should Simulation Products use Software Engineering Techniques or Should they Reuse Products of Software Engineering? -- Part 1
SCS Modeling and Simulation Magazine(3) pp.122-132, 01/07/2011, inria-00638553

O. Dalle
Should Simulation Products use Software Engineering Techniques or Should they Reuse Products of Software Engineering? -- Part 2
SCS Modeling and Simulation Magazine(4) pp., 01/07/2011, inria-00638555

S. Demathieu, S. Gérard, F. Mallet
Marte, le nouveau standard UML pour les systèmes temps réel embarqués
Electronique(189) pp.2-6, 2008, inria-00371386

Publications du pôle COMRED équipe projet INRIA AOSTE

   ARTICLES AVEC COMITÉ DE LECTURE

C. André, F. Mallet
Modèle de contraintes temporelles pour systèmes polychrones
Journal Européen des Systèmes Automatisés, 7-9(43), pp.725-739, 30/06/2009, inria-00434462

C. André, F. Mallet
Les modèles de temps de MARTE et CCSL
Génie logiciel, (89), pp.44-49, 06/2009, inria-00416597

L. Cucu, N. Pernet, Y. Sorel
Periodic real-time scheduling: from deadline-based model to latency-based model
Annals of Operations Research, 159(1), pp.41-51, 2008, inria-00192221

S. Demathieu, Y. Bernard, L. Maillet-Contoz, M. Bordin, F. Mallet
Mise en œuvre du MDE pour la conception de systèmes embarqués: premiers résultats et perspectives du projet Lambda
Génie logiciel, (93), pp.38-42, 06/2010, inria-00545266

F. Mallet, C. André, R. De Simone
Logical Time: observation vs. implementation
ACM SIGSOFT Software Engineering Notes, 36(1), pp.1--8, 01/2011, inria-00576647

F. Mallet, C. André, F. Lagarde
Un processus automatique pour concevoir les profils UML
Technique et Science Informatiques (TSI), 29(5), pp.391-419, 05/2010, inria-00482745

F. Mallet, J. Deantoni, C. André, R. De Simone
The Clock Constraint Specification Language for building timed causality models
Innovations in Systems and Software Engineering, 6(1-2), pp.99-106, 03/2010, inria-00464894

F. Mallet
CCSL: specifying clock constraints with UML/MARTE
Innovations in Systems and Software Engineering, 4(3), pp.309-314, 2008, inria-00371371

   COMMUNICATIONS INTERNATIONALES

A. Albinet, J.-L. Boulanger, H. Dubois, M.-A. Peraldi-Frati, Y. Sorel, Q.-D. Van
Model-Based Methodology for Requirements Traceability in Embedded Systems
Proceedings of 3rd European Conference on Model Driven Architecture® Foundations and Applications, ECMDA'07, 2007, Haifa, Israël, inria-00413488

C. André, F. Mallet, J. Deantoni
VHDL Observers for Clock Constraint Checking
Symposium on Industrial Embedded Systems, 07/07/2010, trento, Italie, inria-00587107

C. André, F. Mallet
Specification and Verification of Time Requirements with CCSL and Esterel
Languages, Compilers, and Tools for Embedded Systems, 19/06/2009, Dublin, Irlande, ACM SIGPLAN Notices, 44, pp.167-176, inria-00416654

C. André, F. Mallet, M.-A. Peraldi-Frati
A multiform time approach to real-time system modeling: Application to an automotive system
IEEE Int. Symp. on Industrial Embedded Systems (SIES), 07/2007, Lisbon, Portugal, pp.234-241, inria-00204508

C. André, F. Mallet, M.-A. Peraldi-Frati
Multiform Time in UML for Real-time Embedded Applications
IEEE Int. Conf. on Real-Time Computing Systems and Applications (RTCSA), 08/2007, Daegu, Corée, République De, pp.232-237, inria-00204503

C. André, F. Mallet, R. De Simone
Modeling Time(s)
ACM/IEEE Int. Conf. on Model Driven Engineering Languages and Systems (MoDELS/UML), 10/2007, Nashville, TN, États-Unis, MoDELS, LNCS 4735, pp.pp. 559-573, Lecture Notes in Computer Sciences, inria-00204489

C. André, F. Mallet, R. De Simone
Modeling of Immediate vs. Delayed Data Communications: from AADL to UML MARTE
ECSI Forum on specification & Design Languages (FDL), 09/2007, Barcelona, Espagne, pp.249-254, inria-00204484

C. André, F. Mallet, R. De Simone
Time Modeling in MARTE
ECSI Forum on specification & Design Languages (FDL), 09/2007, Barcelona, Espagne, pp.268-273, inria-00204481

M. E. M. Ben Gaïd, R. Kocik, Y. Sorel, R. Hamouche
A Methodology for Improving Software Design Lifecycle in Embedded Control Systems
Design, Automation and Test in Europe, 10/03/2008, Munich, Allemagne, inria-00274634

L. Cucu-Grosjean, Y. Sorel
An exact schedulability test for real-time dependant periodic task systems with latency constraints
Models and Algorithms for Planning and Scheduling Problems - MAPSP'09, 29/06/2009, Abbey Rolduc, Pays-Bas, inria-00432976

J. Deantoni, F. Mallet
TimeSquare: Treat your Models with Logical Time
Tools 2012: 50th International Conference on Objects, Models, Components, Patterns, 29/05/2012, Prague, Tchèque, République, LNCS proceedings, 7304, pp.34-41, hal-00688590

J. Deantoni, F. Mallet, F. Thomas, G. Reydet, J.-P. Babau, C. Mraidha, L. Gauthier, L. Rioux, N. Sordon
RT-simex: retro-analysis of execution traces
SIGSOFT FSE, 07/11/2010, Santa Fe, États-Unis, Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, ISBN 978-1-60558-791-2, pp.377-378, inria-00587116

H. Dubois, M.-A. Peraldi-Frati, L. Fadoi
A model for requirements traceability in an heterogeneous model-based design process. Application to automotive embedded systems
ICECCS'10, 22/03/2010, Oxford, Royaume-Uni, 15th IEEE International Conference on Engineering of Complex Computer Systems, ISBN:978-0-7695-4015-3, pp.233-242, inria-00484073

K. Garcés, J. Deantoni, F. Mallet
A Model-Based Approach for Reconciliation of Polychronous Execution Traces
SEAA 2011 - 37th EUROMICRO Conference on Software Engineering and Advanced Applications, 30/08/2011, Oulu, Finlande, inria-00597981

R. Gascon, F. Mallet, J. Deantoni
Logical time and temporal logics: comparing UML MARTE/CCSL and PSL
18th International Symposium on Temporal Representation and Reasoning (TIME'11), 12/09/2011, Lubeck, Allemagne, pp.--, hal-00597086

C. Glitia, J. Deantoni, F. Mallet
Logical time at work: capturing data dependencies and platform constraints
Forum for Design Languages (FDL), 14/09/2010, Southampton, Royaume-Uni, Proceedings of the 2010 Forum on specification & Design Languages, pp.240-246, inria-00545866

O. Kermia, Y. Sorel
Load Balancing and Efficient Memory Usage for Homogeneous Distributed Real-Time Embedded Systems
Proceedings of the 4th International Workshop on Scheduling and Resource Management for Parallel and Distributed Systems, SRMPDS'08, 2008, Portland, Oregon, États-Unis, inria-00413485

O. Kermia, Y. Sorel
A Rapid Heuristic for Scheduling Non-Preemptive Dependent Periodic Tasks onto Multiprocessor
Proceedings of ISCA 20th International Conference on Parallel and Distributed Computing Systems, PDCS'07, 2007, Las Vegas, Nevada, États-Unis, inria-00413486

S. Kuntz, M.-A. Peraldi-Frati, H. Blom, K. Daniel
Timing Modeling with AUTOSAR. Current State and Future Directions
DATE 2012. Design Automation & Test in Europe, 12/03/2012, Dresden, Allemagne, hal-00667070

J.-F. Le Tallec, J. Deantoni, R. De Simone, B. Ferrero, F. Mallet, L. Maillet-Contoz
Combining SystemC, IP-XACT and UML/MARTE in model-based SoC design
Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2011), 18/03/2011, Grenoble, France, inria-00601840

S.-Y. Lee, F. Mallet, R. De Simone
Dealing with AADL end-to-end Flow Latency with UML Marte.
ICECCS - UML&AADL, 02/04/2008, Belfast, Irlande, pp.228-233, inria-00371400

F. Mallet, F. Lagarde, C. André, S. Gérard, F. Terrier
An Automated Process for Implementing Multilevel Domain Models
Software Language Engineering, 05/10/2009, Denver, Colorado, États-Unis, pp.314-333, Lecture Note in Computer Sciences, inria-00464880

F. Mallet, C. André, J. Deantoni
Executing AADL models with UML/Marte
Int. Conf. Engineering of Complex Computer Systems - ICECCS'09, 02/06/2009, Potsdam, Allemagne, pp.pp. 371-376, inria-00416592

F. Mallet, C. André
On the semantics of UML/Marte Clock Constraints
Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), 03/2009, Tokyo, Japon, pp.301-312, inria-00383279

F. Mallet, M.-A. Peraldi-Frati, C. André
Marte CCSL to execute East-ADL Timing Requirements
Int. Symp. on Object/component/service-oriented Real-time distributed Computing (ISORC'09), 03/2009, Tokyo, Japon, pp.249-253, inria-00383262

F. Mallet, R. De Simone, L. Rioux
Event-based vs. Time-Triggered Communications with UML Marte
Forum on specification, verification & Design Languages (FDL'08), 23/09/2008, Stuttgart, Allemagne, pp.154-159, inria-00371392

F. Mallet, R. De Simone
MARTE: A Profile for RT/E Systems Modeling, Analysis (and Simulation?)
First International Conference on Simulation Tools and Techniques for Communications, Networks and Systems SIMUTools'08, 03/03/2008, Marseille, France, pp.1-8, inria-00371397

F. Mallet, M.-A. Peraldi-Frati, C. André
From UML to Petri Nets for non functional Property Verification
IEEE International Symposium on Industrial Embedded Systems, 2006. IES '06., 18/10/2006, Sophia antipolis, France, inria-00371277

M. Marouf, Y. Sorel
Schedulability conditions for non-preemptive hard real-time tasks with strict period
18th International Conference on Real-Time and Network Systems - RTNS 2010, 04/11/2010, Toulouse, France, pp.50-58, hal-00544496

M. Marouf, Y. Sorel
Schedulability conditions for non-preemptive hard real-time tasks with strict period
18th International Conference on Real-Time and Network Systems RTNS'10, 04/11/2010, Toulouse, France, Proceedings of 18th International Conference on Real-Time and Network Systems, RTNS'10, inria-00566359

P. Meumeu Yomsi, Y. Sorel
Extending Rate Monotonic Analysis with Exact Cost of Preemptions for Hard Real-Time Systems
Proceedings of 19th Euromicro Conference on Real-Time Systems, ECRTS'07, 2007, Pisa, Italie, inria-00413487

P. Meumeu Yomsi, Y. Sorel
Schedulability Analysis using Exact Number of Preemptions and No Idle Time for Real-Time Systems with Precedence and Strict Periodicity Constraints
Proceedings of 15th International Conference on Real-Time and Network Systems, RTNS'07, 2007, Nancy, France, inria-00413489

M.-A. Peraldi-Frati, A. Goknil, J. Deantoni, J. Nordlander
A timing model for specifying multi clock automotive systems. The Timing Augmented Description Language V2
Int. Conf. on Engineering of Complex Computer Systems,ICECCS, 18/07/2012, Paris, France, Proceeding of the 17th ICECCS conference, pp.10 pages, hal-00687562

M.-A. Peraldi-Frati, D. Karlsson, A. Hamann, S. Kuntz, J. Nordlander
The TIMMO-2-USE project: Time modeling and analysis to use
ERTS2012 International Congres on Embedded Real Time Software and Systems, 01/02/2012, Toulouse, France, 6th International Congres on Embedded Real Time Software and Systems, hal-00649781

M.-A. Peraldi-Frati, J. Deantoni
Scheduling Multi Clock Real Time Systems: From Requirements to Implementation
International Symposium on Object/Component/Service-oriented Real-time Distributed Computing, 28/03/2011, Newport Beach, États-Unis, IEEE international Symposium on Object/Component/service Oriented Real-Time Distributed Computing, pp.50; 57, inria-00586851

M.-A. Peraldi-Frati, A. ALBINET
Requirement traceability in safety critical systems
European Dependable Computing Conference, 26/04/2010, Valencia, Espagne, Proceeding of the 8th EDCC conference, pp.11-14, hal-00687550

M.-A. Peraldi-Frati, H. Dubois, F. Lakhal
A model for requirements traceability in an heterogeneous model-based design process
Int. Conf. on Engineering of Complex Computer Systems, 24/03/2010, Oxford, Royaume-Uni, 15th Proc. of the 15th Int. Conf. on Engineering of Complex Computer Systems, pp.233-242, hal-00687581

N. Pernet, Y. Sorel
Transformations de spécifications incluant du contrôle en spécification flot de données pour implantation distribuée
Actes de la Conférence Modélisation des Systèmes Réactifs, MSR'05, 2005, Grenoble, France, inria-00413490

D. Potop-Butucaru, R. De Simone, Y. Sorel, J.-P. Talpin
Clock-Driven Distributed Real-Time Implementation of Endochronous Synchronous Programs
International conference on Embedded software - EMSOFT 2009, 12/10/2009, Grenoble, France, inria-00485007

L. Yin, F. Mallet, J. Liu
Verification of MARTE/CCSL Time Requirements in Promela/SPIN
16th IEEE International Conference on Engineering of Complex Computer Systems, 27/04/2011, Las Vegas, États-Unis, hal-00650621

H. Yu, J.-P. Talpin, L. Besnard, T. Gautier, F. Mallet, C. André, R. De Simone
Polychronous Analysis of Timing Constraints in UML MARTE
IEEE International Workshop on Model-Based Engineering for Real-Time Embedded Systems Design, 05/2010, Parador of Carmona, Espagne, pp.7 p., inria-00497249

   COMMUNICATIONS NATIONALES

C. André, M. Belaunde, B. Berthomieu, C. Brunette, A. Canals, H. Garavel, S. Graf, F. Lang, V. Mahé, M. Nakhlé, R. Schnekenburger, R. De Simone, J.-P. Talpin, F. Vernadat
Présentation des résultats du projet OpenEmbeDD
Neptune, 05/2009, Paris, France, inria-00381639

L. Cucu-Grosjean, Y. Sorel
A schedulability test for real-time dependant periodic task systems with latency constraints
12e congrès annuel de la Société française de Recherche Opérationnelle et d'Aide à la Décision, 03/2011, Saint Etienne, France, inria-00584253

C. Gomez, J. Deantoni, F. Mallet
Semantic Multi-View model for Low-Power
Journées nationales IDM, CAL, et du GDR GPL, 07/06/2011, Lille, France, pp.19, hal-00596239

   OUVRAGES DE SYNTHESE

F. Mallet
Logical Time @ Work for the Modeling and Analysis of Embedded Systems
LAP LAMBERT Academic Publishing, 19/01/2011, 978-3-8433-9388-1inria-00561247

   CHAPITRE D'OUVRAGES

C. André, J. Deantoni, F. Mallet, R. De Simone
The Time Model of Logical Clocks available in the OMG MARTE profile
in Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
Sandeep K. Shukla and Jean-Pierre Talpin, Springer Science+Business Media, LLC 2010, 07/2010, 978-1-4419-6399-4inria-00495664

C. André, F. Mallet, R. De Simone
Modeling AADL data-communications with UML MARTE
in Embedded Systems Specification and Design Languages
Eugenio villar, Springer, 2008, Lecture Notes in Electrical Engineering, 978-1-4020-8296-2inria-00371366

C. Glitia, J. Deantoni, F. Mallet
Logical Time @ Work: Capturing Data Dependencies and Platform Constraints
in System Specification and Design Languages
Kaźmierski, Tom J. J. and Morawiec, Adam, Springer New York, 2012, Lecture Notes in Electrical Engineering, 978-1-4614-1426-1hal-00651864

F. Mallet, R. De Simone
MARTE vs. AADL for Discrete-Event and Discrete-Time Domains
in Languages for Embedded Systems and their Applications
Martin Radetzki, Springer, 05/2009, Lecture Notes in Electrical Engineering, 978-1-4020-9713-3inria-00416656

D. Potop-Butucaru, R. De Simone, Y. Sorel
From Synchronous Specifications to Statically-Scheduled Hard Real-Time Implementations
in Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction
Sandeep K. Shukla and Jean-Pierre Talpin, Springer Science+Business Media, LLC 2010, 07/2010, 978-1-4419-6399-4inria-00495666

   THESES et HDR

F. Mallet
HDR:Temps Logique pour l'ingénierie dirigée par le modèles
Université de Nice Sophia-Antipolis, 26/11/2010, tel-00541140

   RAPPORTS DE RECHERCHE

C. André
Verification of clock constraints: CCSL Observers in Esterel
Rapport de recherche, 02/2010, RR-7211, inria-00458847

C. André, F. Mallet, M.-A. Peraldi-Frati
Non-functional property analysis using UML2.0 and model transformations
Rapport de recherche, 05/2006, RR-5913, inria-00124874

C. André, A. Cuccuru, R. De Simone, J.-P. Talpin
Modeling with logical time in UML for real-time embedded system design
Rapport de recherche, 2006, RR-5895, inria-00071373

C. André, F. Mallet
Clock Constraints in UML/MARTE CCSL
Rapport de recherche, RR-6540, inria-00280941

C. André, F. Mallet
Combining CCSL and Esterel to specify and verify time requirements
Rapport de recherche, RR-6839, inria-00360528

C. André, M. Bayart, A.-M. Déplanche, J. Jourdan, M.-A. Péraldi, F. Simonot-Lion, L. Thomas, J. Toussaint, Y. Trinquet
Construction et Validation d'Architectures Distribuées Temps Réel (Consortium COVADIS)
Contrat, 98-R-318 || andre98a, inria-00098509

C. André
Modèles de temps et de contraintes temporelles de MARTE et leurs applications
Rapport de recherche, RR-7788, hal-00639211

C. André
Syntax and Semantics of the Clock Constraint Specification Language (CCSL)
Rapport de recherche, RR-6925, inria-00384077

L. Cucu, Y. Sorel
Non-preemptive scheduling algorithms and schedulability conditions for real-time systems with precedence and latency constraints
Rapport de recherche, 2004, RR-5403, inria-00070600

H. Dubois, M.-A. Peraldi-Frati, F. Lakhal
A model for requirements traceability in an heterogeneous model-based design process. Application to automotive embedded systems
Rapport de recherche, RR-7292, inria-00483970

K. Garcés, J. Deantoni, F. Mallet
Transforming CCSL partially-ordered Traces into UML Interaction Diagrams
16/12/2011, hal-00652987

R. Gascon, F. Mallet, J. Deantoni
Logical time and temporal logics: Comparing UML MARTE/CCSL and PSL
Rapport de recherche, 19/11/2010, RR-7459, inria-00540738

C. Gomez, J. Deantoni, F. Mallet
Multi-View Power Modeling based on UML MARTE and SysML
Rapport de recherche, hal-00688853

F. Lagarde, F. Mallet, C. André, S. Gérard, F. Terrier
An Automated Process for Designing UML Profiles
Rapport de recherche, RR-6599, inria-00308386

F. Lagarde, F. Mallet, C. André, S. Gérard, F. Terrier
Multilevel Modeling Paradigm in Profile Definition
Rapport de recherche, RR-6525, inria-00276653

S.-Y. Lee, F. Mallet, R. De Simone
Dealing with AADL End-to-end Flow Latency with UML MARTE
Rapport de recherche, RR-6402, inria-00200834

F. Mallet, C. André, F. Lagarde
Un profil UML pour la modélisation multiniveau
Rapport de recherche, 2008, RR-7287, inria-00482727

F. Mallet, C. André
UML/MARTE CCSL, Signal and Petri nets
Rapport de recherche, RR-6545, inria-00283077

F. Mallet, M.-A. Peraldi-Frati, C. André
Marte CCSL and East-ADL2 Timing Requirements
Rapport de recherche, RR-6781, inria-00348134

F. Mallet
Correct Transformation from CCSL to Promela for verification
Rapport de recherche, hal-00667849

A. Mehmood Khan, F. Mallet, C. André, R. De Simone
Marte Timing Requirement and Spirit IP-XACT
Rapport de recherche, RR-6647, inria-00321953

P. Meumeu Yomsi, Y. Sorel
An Algebraic Approach for Fixed-Priority Scheduling of Hard Real-time Systems with Exact Preemption Cost
Rapport de recherche, inria-00613347

P. Meumeu Yomsi, Y. Sorel
Schedulability Analysis for non Necessarily Harmonic Real-Time Systems with Precedence and Strict Periodicity Constraints using the Exact Number of Preemptions and no Idle Time
Rapport de recherche, RR-6610, inria-00310248

V. Papailiopoulou, D. Potop-Butucaru, Y. Sorel, R. De Simone, L. Besnard, J.-P. Talpin
From concurrent multi-clock programs to concurrent multi-threaded implementations
Rapport de recherche, 03/2011, RR-7577, inria-00578585

D. Potop-Butucaru, R. D. Simone, Y. Sorel
Deterministic execution of synchronous programs in an asynchronous environment. A compositional necessary and sufficient condition
Rapport de recherche, 2008, RR-6656, inria-00322563

D. Potop-Butucaru, Y. Sorel
Optimized static real-time scheduling of communications on a broadcast bus
Rapport de recherche, 2008, RR-6655, inria-00322561

D. Potop-Butucaru, R. De Simone, Y. Sorel
Necessary and Sufficient Conditions for Deterministic Desynchronization
Rapport de recherche, 03/2007, RR-6152, inria-00137885

D. Potop-Butucaru, Y. Sorel, R. De Simone
From multi-clock constraints to multi-rate GALS executives
Rapport de recherche, 11/2006, RR-6021, inria-00114032

F. Simonot-Lion, L. Thomas, T. Lambolais, A.-M. Déplanche, Y. Trinquet, C. André, M.-A. Péraldi, C. Choukair, M. Bayart
Conception et validation d'architectures distribuées temps réel
Contrat, 99-R-316 || simonot-lion99b, inria-00098849

   COMMUNICATIONS SANS COMITÉ DE LECTURE

J. Deantoni, F. Mallet, C. André, F. Thomas
Logical time @ work: the RT-Simex project
Sophia Antipolis Formal Approach, 06/04/2011, Sophia, France, inria-00587151

   AUTRES

S. Demathieu, S. Gérard, F. Mallet
Marte, le nouveau standard UML pour les systèmes temps réel embarqués
Electronique(189) pp.2-6, 2008, inria-00371386

Publications du pôle COMRED équipe projet INRIA MASCOTTE

   ARTICLES AVEC COMITÉ DE LECTURE

O. Amini, F. Giroire, F. Huc, S. Pérennes
Minimal selectors and fault tolerant networks
Networks, 55(4), pp.326-340, 2010, inria-00485848

O. Amini, F. Havet, F. Huc, S. Thomasse
WDM and Directed Star Arboricity
Combinatorics Probability & Computing, 19 pp.161-182, 2010, lirmm-00512776

O. Amini, F. Mazoit, N. Nisse, S. Thomasse
Submodular Partition Functions
Discrete Mathematics, 309 pp.6000-6008, 2009, lirmm-00432698

O. Amini, F. Mazoit, N. Nisse, S. Thomasse
Submodular Partition Functions
Discrete Mathematics, 309(20), pp.6000-6008, 2009, hal-00414326

J. Araujo, N. Cohen, F. Giroire, F. Havet
Good edge-labelling of graphs.
Discrete Applied Mathematics, 2011, inria-00639005

M. Aste, F. Havet, C. Linhares Sales
Grundy number and products of graphs
Discrete Mathematics, 310(9), pp.1482--1490, 2010, inria-00496038

D. Barth, P. Berthomé, M. Diallo, A. Ferreira
Revisiting Parametric Multi-Terminal Problems: Maximum Flows, Minimum Cuts and Cut-tree Computations
Discrete Optimization, 3 (3) pp.195-205, 09/2006, hal-00126010

M. Basavaraju, L. S. Chandran, N. Cohen, F. Havet, T. Müller
Acyclic edge-coloring of planar graphs
SIAM Journal on Discrete Mathematics, 25(2), pp.436--478, 2011, inria-00638448

N. Ben Ali, A. Belghith, J. Moulierac, M. Molnár
QoS multicast aggregation under multiple additive constraints
Computer Communications, 17/06/2008, inria-00425224

J.-C. Bermond, X. Muñoz, I. Sau
Traffic grooming in bidirectional WDM ring networks
Networks, 58(1), pp.20-35, 2011, hal-00643800

J.-C. Bermond, Y. Chee, N. Cohen, X. Zhang
The $\alpha$-Arboricity of Complete Uniform Hypergraphs
SIAM Journal on Discrete Mathematics, 2011, inria-00589689

J.-C. Bermond, C. J. Colbourn, L. Gionfriddo, G. Quattrocchi, I. Sau
DROP COST AND WAVELENGTH OPTIMAL TWO-PERIOD GROOMING WITH RATIO 4∗
SIAM Journal on Discrete Mathematics, 24(2), pp.400-419, 2010, inria-00505516

J.-C. Bermond, F. Havet, F. Huc, C. Linhares Sales
Improper colouring of weighted grid and hexagonal graphs
Discrete Mathematics, Algorithms and Applications (DMAA)., 2(3), pp.395–411, 2010, inria-00526530

J.-C. Bermond, L. Gargano, A. Rescigno
GATHERING WITH MINIMUM COMPLETION TIME IN SENSOR TREE NETWORKS
Journal of Interconnection Networks, 11(1-2), pp.1-33, 2010, hal-00535816

J.-C. Bermond, M.-L. Yu
Optimal gathering algorithms in multi-hop radio tree networks with interferences.
Ad Hoc and Sensor Wireless Networks, 9(1-2), pp.109-128, 2010, inria-00505517

J.-C. Bermond, R. Correa, M.-L. Yu
Optimal Gathering Protocols on Paths under Interference Constraints
Discrete Mathematics, 309(18), pp.5574-5587, 2009, inria-00429084

J.-C. Bermond, D. Coudert, B. Leveque
Approximations for All-to-all Uniform Traffic Grooming on Unidirectional Ring
Journal of Interconnection Networks, 9(4), pp.471-486, 2008, inria-00429217

J.-C. Bermond, A. Ferreira, S. Pérennes, J. Peters
Neighbourhood Broadcasting in Hypercubes
SIAM Journal on Discrete Mathematics, 21(4), pp.823-843, 2007, hal-00429191

J.-C. Bermond, L. Braud, D. Coudert
Traffic Grooming on the Path
Theoretical Computer Science, 384(2-3), pp.139-151, 2007, inria-00308716

J.-C. Bermond, M.-L. Yu
Vertex disjoint routings of cycles over tori
Networks, 49(3), pp.217-225, 2007, inria-00429086

J.-C. Bermond, F. Havet, C. Toth
Fault tolerant on board networks with priorities
Networks, 47(1), pp.9-25, 2006, inria-00430156

J.-C. Bermond, J. Galtier, R. Klasing, N. Morales, S. Pérennes
Hardness and approximation of Gathering in static radio networks
Parallel Processing Letters, 16(2), pp.165-183, 2006, inria-00430158

J.-C. Bermond, C. J. Colbourn, D. Coudert, G. Ge, A. C. H. Ling, X. Munoz
Traffic Grooming in Unidirectional Wavelength-Division Multiplexed Rings with Grooming Ratio C = 6
SIAM Journal on Discrete Mathematics, 19(2), pp.523-542, 2005, inria-00429214

J.-C. Bermond, C. J. Colbourn, A. C. H. Ling, M.-L. Yu
Grooming in unidirectional rings : $K_4 -e$ designs.
Discrete Mathematics, 284(1-3), pp.57-62, 2004, inria-00505518

J.-C. Bermond, D. Coudert, M.-L. Yu
On DRC-covering of Kn by cycles
Journal of Combinatorial Designs, 11(2), pp.100 - 112, 2003, inria-00429205

J.-C. Bermond, É. Darrot, O. Delmas
Design of fault-tolerant networks for satellites (TWTA redundancy)
Networks, 40(4), pp.202--207, 2002, hal-00307611

J.-C. Bermond, E. Darrot, O. Delmas, S. Pérennes
Hamilton circuits in the directed wrapped Butterfly network
Discrete Applied Mathematics, 84(1-3), pp.21-42, 15/05/1998, hal-00407356

J.-C. Bermond, E. Darrot, O. Delmas, S. Pérennes
Hamilton Cycle Decomposition of the Butterfly Network
Parallel Processing Letters, 8(3), pp.371-385, 1998, hal-00407366

S. Bessy, E. Birmele, F. Havet
Arc-chromatic number of digraphs in which every vertex has bounded outdegree or bounded indegree.
Journal of Graph Theory, 53(4), pp.315-332, 2006, lirmm-00153978

L. Blin, P. Fraigniaud, N. Nisse, S. Vial
Distributed Chasing of Network Intruders by Mobile Agents.
Theoretical Computer Science, 399 pp.12--37, 2008, hal-00341368

I. Caragiannis, A. Ferreira, C. Kaklamanis, S. Pérennes, H. Rivano
Fractional Path Coloring in Bounded Degree Trees with Applications
Algorithmica, 58(2), pp.516-540, 2010, hal-00371052

I. Caragiannis, A. Ferreira, C. Kaklamanis, S. Pérennes, P. Persiano, H. Rivano
Approximate Constrained Bipartite Edge Coloring
Discrete Applied Mathematics, 143(1-3), pp.54--61, 2004, hal-00371101

J. Chalopin, V. Chepoi, N. Nisse, Y. Vaxès
Cop and robber games when the robber can hide and ride
SIAM Journal on Discrete Mathematics, 25(1)(1), pp.333-359, 2011, inria-00622957

N. Cohen, D. Coudert, D. Mazauric, N. Nepomuceno, N. Nisse
Tradeoffs in process strategy games with application in the WDM reconfiguration problem
Journal of Theoretical Computer Science (TCS), 2011, inria-00592507

N. Cohen, F. Havet
Linear and 2-Frugal Choosability of Graphs of Small Maximum Average Degree
Graphs and Combinatorics, 27(6), pp.831--849, 2011, inria-00638460

R. Correa, F. Havet, J.-S. Sereni
About a Brooks-type theorem for improper colouring
The Australasian Journal of Combinatorics, 43 pp.219--230, 01/2009, inria-00223009

R. Correa, F. Havet, J.-S. Sereni
About a Brooks-type theorem for improper colouring.
Australasian Journal of Combinatorics, 43 pp.219--230, 2009, inria-00496419

D. Coudert, J.-S. Sereni
Characterization of graphs and digraphs with small process number
Discrete Applied Mathematics, 159(11), pp.1094-1109, 06/07/2011, inria-00587717

D. Coudert, F. Giroire, I. Sau
Circuits in graphs through a prescribed set of ordered vertices
Journal of Interconnection Networks, 11(3-4), pp.121-141, 2011, inria-00585561

D. Coudert, F. Huc, D. Mazauric
A Distributed Algorithm for Computing the Node Search Number in Trees
Algorithmica, 2011, inria-00587819

D. Coudert, N. Nepomuceno, H. Rivano
Power-Efficient Radio Configuration in Fixed Broadband Wireless Networks
Computer Communications, 33(8), pp.898-906, 2010, inria-00466477

D. Coudert, F. Huc, J.-S. Sereni
Pathwidth of outerplanar graphs
Journal of Graph Theory, 55(1), pp.27 - 41, 2007, inria-00429216

D. Coudert, P. Datta, S. Pérennes, H. Rivano, M.-E. Voge
Shared Risk Resource Group: Complexity and Approximability issues
Parallel Processing Letters, 17(2), pp.169-184, 2007, hal-00371100

D. Coudert, A. Ferreira, S. Perennes
Isomorphisms of the De Bruijn digraph and free-space optical networks
Networks, 40(3), pp.155 - 164, 10/2002, inria-00429201

D. Coudert, A. Ferreira, X. Munoz
A multihop multi-OPS optical interconnection network
Journal of Lightwave Technology / IEEE/OSA Journal of Lightwave Technology; IEEE Journal of Lightwave Technology, 18(12), pp.2076 - 2085, 12/2000, inria-00429200

D. Coudert, A. Ferreira, X. Munoz
Topologies for Optical Interconnection Networks Based on the Optical Transpose Interconnection System
OSA Applied Optics -- Information Processing, 39(17), pp.2965-2974, 06/2000, inria-00429198

O. Dalle, G. Wainer, L. Qi, Z. Bernard P.
Applying Cellular Automata and DEVS Methodologies to Digital Games: A Survey
Simulation & Gaming, 13/08/2010, inria-00530927

N. Eggemann, F. Havet, S. Noble
k-L(2,1)-Labelling for Planar Graphs is NP-Complete for $k\geq 4$.
Discrete Applied Mathematics, 158(16), pp.1777-1788, 2010, inria-00534520

R. Erman, F. Havet, B. Lidický, O. Pangrac
5-colouring graphs with 4 crossings
SIAM Journal on Discrete Mathematics, 25(1), pp.401-211, 2011, inria-00638434

A. Ferreira, A. Goldman, J. Monteiro
Performance evaluation of routing protocols for MANETs with known connectivity patterns using evolving graphs
Wireless Networks, 16(3), pp.627-640, 04/2010, inria-00496219

A. Ferreira
Uma estratégia face à Revolução Digital
Teoria e Debate, 87(Mar/Avr), pp.20 - 23, 2010, inria-00510741

A. Ferreira, S. Pérennes, A. W. Richa, H. Rivano, N. Stier Moses
Models, Complexity and Algorithms for the Design of Multi-fiber WDM Networks
Telecommunication Systems, 24(2), pp.123--138, 2003, hal-00371107

A. Ferreira, J. Galtier, J.-N. Petit, H. Rivano
Re-routing algorithms in a meshed satellite constellation
Annals of Telecommunications, 56(3/4), pp.169--174, 2001, hal-00371111

F. V. Fomin, P. A. Golovach, J. Kratochvil, N. Nisse, K. Suchan
Pursuing a fast robber on a graph
Theoretical Computer Science, 411(7-9), pp.1167-1181, 2010, inria-00476686

F. Fomin, P. Fraigniaud, N. Nisse
Non-Deterministic Graph Searching: From Pathwidth to Treewidth
Algorithmica, 53(3), pp.358-373, 03/2009, hal-00421417

P. Fraigniaud, N. Nisse
Monotony Properties of Connected Visible Graph Searching
Information and Computation, 206(12), pp.1383-1393, 12/2008, hal-00421416

C. Gavoille, D. Peleg, S. Perennes, R. Raz
Distance Labeling in Graphs
Journal of Algorithms, 53 pp.85-112, 2004, hal-00307381

F. Giroire
Order statistics and estimating cardinalities of massive data sets
Discrete Applied Mathematics, 157(2), pp.406-427, 2009, hal-00646123

F. Havet, B. Reed, J.-S. Sereni
Griggs and Yeh's Conjecture and L(p,1)-labelings
Siam Journal on Discrete Mathematics, 26(1), pp.145--168, 02/2012, inria-00327909

F. Havet, S. Jendrol', R. Sotak, E. Skrabulakova
Facial non-repetitive edge-colouring of plane graphs
Journal of Graph Theory, 66(1), pp.38--48, 2011, inria-00638439

F. Havet, D. Král', J.-S. Sereni, R. Skrekovski
Facial colorings using Hall's Theorem
European Journal of Combinatorics, 31(3), pp.1001--1019, 04/2010, hal-00487100

F. Havet, M. Klazar, J. Kratochvil, D. Kratsch, M. Liedloff
Exact Algorithms for L(2,1)-Labeling of Graphs
Algorithmica, pp.to appear, 2010, hal-00460873

F. Havet, R. Kang, J.-S. Sereni
Improper Colouring of Unit Disk Graphs
Networks, 54(3), pp.150--164, 2009, inria-00496436

F. Havet, R. Kang, T. Müller, J.-S. Sereni
Circular choosability
Journal of Graph Theory, 61(4), pp.241--270, 2009, inria-00496432

F. Havet, S. Thomasse
Complexity of $(p,1)$-Total Labelling
Discrete Applied Mathematics, 157 pp.2859-2870, 2009, lirmm-00432700

F. Havet, S. Thomasse
Complexity of $(p,1)$-total labelling
Discrete Applied Mathematics, 157 pp.2859--2870, 2009, inria-00496441

F. Havet
Choosability of the square of planar subcubic graphs with large girth
Discrete Mathematics, 309 pp.3553--3563, 2009, inria-00496423

F. Havet, J.-S. Sereni, R. Skrekovski
3-facial colouring of plane graphs
SIAM Journal on Discrete Mathematics, 22(1), pp.231--247, 20/02/2008, inria-00083533

F. Havet, S. Thomasse, A. Yeo
The Hoàng-Reed Conjecture holds for tournaments
Discrete Mathematics, 308 pp.3412-3415, 2008, lirmm-00292710

D. Ilcinkas, N. Nisse, D. Soguet
The Cost of Monotonicity in Distributed Graph Searching
Distributed Computing, 22(2), pp.117-127, 2009, hal-00412063

F. Mazoit, N. Nisse
Monotonicity of non-deterministic graph searching
Journal of Theoretical Computer Science (TCS), 399 pp.169--178, 06/2008, hal-00306321

N. Nisse
Connected Graph Searching in Chordal Graphs
Discrete Applied Mathematics, 157(12), pp.2603-2610, 28/06/2009, hal-00421414

N. Nisse, D. Soguet
Graph Searching with Advice
Theoretical Computer Science, 410(14), pp.1307-1318, 28/03/2009, hal-00421415

P. Rosenstiehl, J.-C. Bermond
Pancyclisme du carré du graphe aux arêtes d'un graphe
Cahier du C.E.R.O., 15(3), pp.285-286, 1973, hal-00259599

P. Rosenstiehl, J.-C. Bermond
Pancyclisme du carré du graphe aux arêtes d'un graphes
Colloque sur la théorie des graphes, pp.2, 1973, hal-00259605

S. Thomasse, F. Havet, L. Addario-Berry
Paths with two blocks in n-chromatic digraphs
Journal of Combinatorial Theory Series B, 97 pp.620-626, 2007, lirmm-00197151

   COMMUNICATIONS INTERNATIONALES

O. Amini, J.-C. Bermond, F. Giroire, F. Huc, S. Pérennes
Design of Minimal Fault Tolerant Networks: Asymptotic Bounds
Algotel06, 05/2006, Tregastel, France, pp.169-174, hal-00512287

J. Araujo, J.-C. Bermond, F. Giroire, F. Havet, D. Mazauric, R. Modrzejewski
Weighted Improper Colouring
22th International Workshop, IWOCA 2011, 20/07/2011, Victoria, Canada, inria-00635882

J. Araujo, F. Giroire, J. Monteiro
Hybrid Approaches for Distributed Storage Systems
Fourth International Conference on Data Management in Grid and P2P Systems (Globe 2011), 01/09/2011, Toulouse, France, inria-00635781

J. Araújo, V. Campos, F. Giroire, L. Sampaio, R. Pardo Soares
On the hull number of some graph classes
European Conference on Combinatorics, Graph Theory and Applications (EuroComb'11), 29/08/2011, Budapest, Hongrie, inria-00635032

D. Barman, J. Chandrashekar, N. Taft, M. Faloutsos, L. Huang, F. Giroire
Impact of IT Monoculture on Behavioral End Host Intrusion Detection
ACM SIGCOMM Workshop on Research on Enterprise Networking -- WREN, 21/08/2009, Barcelona, Espagne, pp.27--36, inria-00546878

F. Becker, M. Matamala, N. Nisse, I. Rapaport, K. Suchan, I. Todinca
Adding a referee to an interconnection network: What can(not) be computed in one round.
25th IEEE International Symposium on Parallel & Distributed Processing (IPDPS), 2011, Anchorage, États-Unis, pp.508-514, inria-00622976

S. Belhareth, D. Coudert, D. Mazauric, N. Nisse, I. Tahiri
Reconfiguration avec contraintes physiques dans les réseaux WDM
13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2011, Cap Estérel, France, inria-00583829

J.-C. Bermond, L. Gargano, S. Pérennes, A. Rescigno, U. Vaccaro
Optimal Time Data Gathering in Wireless Networks with Omni-Directional Antennas
SIROCCO2011, 26/06/2011, Gdansk, Pologne, Lecture Notes in Computer Science - LNCS, inria-00589687

J.-C. Bermond, D. Mazauric, V. Misra, P. Nain
A Distributed Scheduling Algorithm for Wireless Networks with Constant Overhead and Arbitrary Binary Interference.
Sigmetrics 2010, 14/06/2010, New York, États-Unis, inria-00505519

J.-C. Bermond, D. Coudert, J. Moulierac, S. Pérennes, H. Rivano, I. Sau, F. Solano Donado
MPLS label stacking on the line network
IFIP Networking, 11/05/2009, Aachen, Allemagne, pp.809-820, LNCS 5550/2009, hal-00371115

J.-C. Bermond, D. Coudert, J. Moulierac, S. Pérennes, I. Sau, F. Solano Donado
Designing Hypergraph Layouts to GMPLS Routing Strategies
SIROCCO, 25/05/2009, Piran, Slovénie, inria-00428685

J.-C. Bermond, D. Mazauric, P. Nain
Algorithmes distribués d'ordonnancement dans les réseaux sans-fil.
JDIR 2009, 02/2009, Belfort, France, inria-00505521

J.-C. Bermond, E. Altman, P. Nain
Distributed Storage Management of Evolving Files in Delay Tolerant Ad Hoc Networks.
INFOCOM 2009, 19/04/2009, Rio de janeiro, Brésil, pp.1431-1439, inria-00505520

J.-C. Bermond, N. Nisse, P. Reyes, H. Rivano
Fast Data Gathering in Radio Grid Networks
AlgoTel, 2009, Carry-Le-Rouet, France, inria-00376040

J.-C. Bermond, N. Nisse, P. Reyes, H. Rivano
Minimum delay Data Gathering in Radio Networks
8th international conference on Ad Hoc Networks and Wireless (AdHoc-Now),, 23/09/2009, Murcia, Espagne, 5793, pp.69-82,, Lecture Notes in Computer Science,, inria-00505522

J.-C. Bermond, M.-L. Yu
Optimal gathering algorithms in multi-hop radio tree networks with interferences.
AD-HocNow 08, 10/09/2008, Nice, France, 5198, pp.204-217, Lecture Notes in Computer Science, hal-00512281

J.-C. Bermond, L. Gargano, A. Rescigno
Gathering with minimum delay in tree sensor networks
SIROCCO 2008,, 06/2008, Villars-sur-Ollon, Suisse, 5058, pp.262-276, Lecture Notes in Computer Science, inria-00505523

J.-C. Bermond, F. Giroire, S. Pérennes
Design of Minimal Fault Tolerant On-Board Networks : Practical constructions
SIROCCO07, 06/2007, Castiglioncello, Italie, 4474, pp.261-273, Lecture Notes in Computer Science,, hal-00512282

J.-C. Bermond, M. Cosnard
Minimum number of wavelengths equals load in a DAG without internal cycle
IPDPS07, 03/2007, Long beach, CA, États-Unis, pp.1-10, hal-00512284

J.-C. Bermond, R. Correa, M.-L. Yu
Gathering algorithms on paths under interference constraints
CTAC06, 05/2006, Roma, Italie, 3998, pp.115-126, Lecture Notes in Computer Science, hal-00512286

J.-C. Bermond, J. Galtier, R. Klasing, N. Morales, S. Pérennes
Hardness and approximation of Gathering in static radio networks
FAWN06, 03/2006, Italie, pp.75--79, hal-00344619

J.-C. Bermond, D. Coudert, X. Munoz, I. Sau
Traffic Grooming in Bidirectional WDM Ring Networks
International Conference on Transparent Optical Networks (ICTON), 06/2006, Nottingham, Royaume-Uni, 3, pp.19 - 22, inria-00429168

J.-C. Bermond, M. Cosnard, D. Coudert, S. Perennes
Optimal Solution of the Maximum All Request Path Grooming Problem
Advanced International Conference on Telecommunications (AICT), 19/02/2006, Le Gosier, Guadeloupe, France, inria-00429167

J.-C. Bermond, L. Braud, D. Coudert
Traffic Grooming on the Path
12th International Colloquium on Structural Information and Communication Complexity (SIROCCO), 24/05/2005, Mont Saint-Michel, France, SIROCCO, pp.34-48, Lecture Notes in Computer Science, inria-00429172

J.-C. Bermond, D. Coudert, X. Munoz
Traffic Grooming in Unidirectional WDM Ring Networks: the all-to-all unitary case
7th IFIP Working Conference on Optical Network Design & Modelling (ONDM), 2003, Budapest, Hongrie, pp.1135-1153, inria-00429175

J.-C. Bermond, D. Coudert
Traffic Grooming in Unidirectional WDM Ring Networks using Design Theory
IEEE International Conference on Communications (ICC '03)., 05/2003, Anchorage, États-Unis, 2, pp.1402 - 1406, inria-00429174

J.-C. Bermond, D. Coudert, L. Chacon, F. Tillerot
A note on cycle covering
ACM Symposium on Parallel Algorithms and Architectures (SPAA), 2001, Hersonissos, Grèce, pp.310-311, inria-00429182

J.-C. Bermond, L. Chacon, D. Coudert, F. Tillerot
Cycle Covering
8th International Colloquium on Structural Information and Communication Complexity (SIROCCO), 27/06/2001, Vall de Nuria, Espagne, pp.21-34, Proceedings in Informatics, inria-00429183

L. Blin, J. Burman, N. Nisse
Nettoyage perpétuel de réseaux
14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), 2012, La Grande Motte, France, pp.4, hal-00687134

M. Bouklit, D. Coudert, J.-F. Lalande, C. Paul, H. Rivano
Approximate Multicommodity Flow for WDM Networks Design
SIROCCO'03: Colloquium on Structural Information and Communication Complexity, Umeä (Sweden), pp.pp. 43-56, lirmm-00269524

B. Bui Xuan, A. Ferreira, A. Jarry
Evolving graphs and least cost journeys in dynamic networks
WiOpt'03: Modeling and Optimization in Mobile, Ad Hoc and Wireless Networks, 03/03/2003, Sophia Antipolis, France, pp.10 pages, inria-00466676

C. Caillouet, N. Nisse, F. Huc, S. Pérennes, H. Rivano
Stability of a Localized and Greedy Routing Algorithm
12th IEEE Workshop in Parallel and Distributed Computational Models (IEEE APDCM 2010), in conjunction with IPDPS 2010, 19/04/2010, Atlanta, États-Unis, inria-00466484

I. Caragiannis, A. Ferreira, C. Kaklamanis, S. Pérennes, H. Rivano
Fractional path coloring on bounded degree trees
Proceedings of the 28th ICALP, 07/2001, Grèce, 2076, pp.732--743, Lecture Notes in Computer Science, hal-00429854

S. Caron, F. Giroire, D. Mazauric, J. Monteiro, S. Pérennes
Data Life Time for Different Placement Policies in P2P Storage Systems
Conference on Data Management in Grid and P2P Systems (Globe 2010), 09/2010, Bilbao, Espagne, LNCS 6265, pp.75--88, inria-00496222

S. Caron, F. Giroire, D. Mazauric, J. Monteiro, S. Pérennes
P2P Storage Systems: Data Life Time for Different Placement Policies
12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2010, Belle Dune, France, inria-00479537

A. Casteigts, S. Chaumette, A. Ferreira
Characterizing Topological Assumptions of Distributed Algorithms in Dynamic Networks
16th International Colloquium on Structural Information and Communication Complexity (SIROCCO'09), 25/05/2009, Piran, Slovénie, 5869, pp.129--144, Lecture Notes in Computer Science, hal-00408054

G. Classen, D. Coudert, A. Koster, N. Nepomuceno
A Chance-Constrained Model & Cutting Planes for Fixed Broadband Wireless Networks
Internationale Network Optimization Conference (INOC), 13/06/2011, Hamburg, Allemagne, Lecture Notes in Computer Science, inria-00587669

G. Classen, D. Coudert, A. Koster, N. Nepomuceno
Bandwidth assignment for reliable fixed broadband wireless networks
12th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), 20/06/2011, Lucca, Italie, inria-00587698

N. Cohen, D. Coudert, D. Mazauric, N. Nepomuceno, N. Nisse
Tradeoffs in process strategy games with application in the WDM reconfiguration problem
Fifth International conference on Fun with Algorithms (FUN 2010), 02/06/2010, Ischia, Italie, 6099, pp.121-132, Lecture Notes in Computer Science, inria-00495443

N. Cohen, D. Coudert, D. Mazauric, N. Nepomuceno, N. Nisse
Tradeoffs in routing reconfiguration problems
12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2010, Belle Dune, France, inria-00477413

D. Coudert, N. Nepomuceno, I. Tahiri
Energy saving in fixed wireless broadband networks
Internationale Network Optimization Conference (INOC), 13/06/2011, Hamburg, Allemagne, Lecture Notes in Computer Science, inria-00587685

D. Coudert, N. Nepomuceno, I. Tahiri
Optimisation de la consommation énergétique dans les réseaux sans fil fixes
13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2011, Cap Estérel, France, inria-00588129

D. Coudert, D. Mazauric, N. Nisse
On Rerouting Connection Requests in Networks with Shared Bandwidth
DIMAP Workshop on Algorithmic Graph Theory (AGT), 2009, Warwick, Royaume-Uni, Electronic Note Discrete Maths., 32, inria-00423452

D. Coudert, F. Giroire, I. Sau
Edge-Simple Circuits Through 10 Ordered Vertices in Square Grids
International Workshop on Combinatorial Algorithms -- IWOCA, 28/06/2009, Hradec nad Moravicì, Tchèque, République, 5874, Lecture Notes in Computer Science, inria-00429146

D. Coudert, F. Huc, D. Mazauric, N. Nisse, J.-S. Sereni
Reconfiguration dans les réseaux optiques
11èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), 2009, Carry-Le-Rouet, France, inria-00383206

D. Coudert, F. Huc, D. Mazauric, N. Nisse, J.-S. Sereni
Reconfiguration of the Routing in WDM Networks with Two Classes of Services
Conference on Optical Network Design and Modeling (ONDM), 2009, Braunschweig, Allemagne, inria-00423453

D. Coudert, N. Nepomuceno, H. Rivano
Joint Optimization of Routing and Radio Configuration in Fixed Wireless Networks
AlgoTel, 2009, Carry-Le-Rouet, France, inria-00384968

D. Coudert, N. Nepomuceno, H. Rivano
Minimizing Energy Consumption by Power-Efficient Radio Configuration in Fixed Broadband Wireless Networks
1st IEEE WoWMoM Workshop on Hot Topics in Mesh Networking (HotMESH), 06/2009, Kos, Grèce, inria-00429148

D. Coudert, F. Huc, D. Mazauric
A distributed algorithm for computing and updating the process number of a forest
22nd International Symposium on Distributed Computing (DISC), 2008, Arcachon, France, France, 5218, pp.500-501, inria-00373850

D. Coudert, F. Huc, D. Mazauric
Computing and updating the process number in trees
12th International Conference On Principles Of DIstributed Systems (OPODIS), 12/2008, Luxor, Égypte, 5401, Lecture Notes in Computer Science, inria-00429149

D. Coudert, F. Huc, F. Peix, M.-E. Voge
Reliability of Connections in Multilayer Networks under Shared Risk Groups and Costs Constraints
IEEE International Conference on Communications (ICC '08), 05/2008, Beijing, Chine, pp.5170 - 5174, inria-00429150

D. Coudert, S. Pérennes, H. Rivano, M.-E. Voge
Shared Risk Resource Groups and Survivability in Multilayer Networks
International Conference on Transparent Optical Networks (ICTON), 06/2006, Nottingham, Royaume-Uni, 3, pp.235 - 238, inria-00429170

D. Coudert, H. Rivano, X. Roche
A Combinatorial Approximation Algorithm for the Multicommodity Flow Problem
International Workshop on Approximation and Online Algorithms (WAOA'03), 2003, Budapest, Hongrie, Approximation and Online Algorithms, 2909, pp.193-230, Lecture Notes in Computer Science, inria-00429176

D. Coudert, H. Rivano
Lightpath assignment for multifibers WDM networks with wavelength translators
IEEE Global Telecommunications Conference (Globecom'02), 2002, Taipei, Taïwan, Province De Chine, 3, pp.2686 - 2690, inria-00429177

D. Coudert, X. Munoz
How Graph Theory can help Communications Engineering
Broad band optical fiber communications technology (BBOFCT), 12/2001, Jalgaon, Inde, pp.47-61, inria-00429187

D. Coudert, A. Ferreira, S. Perennes
De Bruijn isomorphisms and free space optical networks
14th International Parallel and Distributed Processing Symposium (IPDPS 2000), 01/05/2000, Cancun, Mexique, pp.769 - 774, inria-00429190

D. Coudert, A. Ferreira, X. Munoz
OTIS-Based Multi-Hop Multi-OPS Lightwave Networks
3rd Workshop on Optics and Computer Science (WOCS), 04/1999, San Juan, Porto Rico, 1586, pp.897-910, Lecture Notes in Computer Science, inria-00429192

D. Coudert, A. Ferreira, X. Munoz
Multiprocessor Architectures Using Multi-hops Multi-OPS Lightwave Networks and Distributed Control
First Merged International Parallel Processing Symposium and Symposium on Parallel and Distributed Processing (IPPS/SPDP 1998), 30/03/1998, Orlanda, États-Unis, pp.151 - 155, inria-00429196

O. Dalle, E. P. Mancini
Integrated Tools for the Simulation Analysis of Peer-To-Peer Backup Systems
SIMUTOOLS 2012, 19/03/2012, Sirmione, Italie, hal-00669241

O. Dalle, E. Mancini
Traces Generation To Simulate Large-Scale Distributed Applications
Winter Simulation Conference, 12/2011, Phoenix, AZ, États-Unis, pp.10p., inria-00638561

O. Dalle, J. Ribault
Some Desired Features for the DEVS Architecture Description Language
Symposium On Theory of Modeling and Simulation -- DEVS Integrative M\&S Symposium (TMS/DEVS 2011), 04/2011, Boston, MA, États-Unis, pp.10p., inria-00638565

O. Dalle, E. P. Mancini
Traces Generation to Simulate Large-Scale Distributed Applications
Winter Simulation Conference, 11/12/2011, Phoenix, AZ, États-Unis, inria-00634620

O. Dalle, F. Giroire, J. Monteiro, S. Pérennes
Analyse des Corrélations entre Pannes dans les Systèmes de Stockage Pair-à-Pair
AlgoTel, 2009, Carry-Le-Rouet, France, inria-00384822

O. Dalle, F. Giroire, J. Monteiro, S. Pérennes
Analysis of Failure Correlation Impact on Peer-to-Peer Storage Systems
9th IEEE International Conference on Peer-to-Peer Computing (P2P), 09/2009, Seattle, États-Unis, pp.184--193, inria-00485847

O. Dalle, J. Ribault, J. Himmelspach
Design considerations for M&S software
Winter Simulation Conference (WSC'09), 13/12/2009, Austin, États-Unis, Proceedings of the 2009 Winter Simulation Conference, pp.944 - 955, inria-00425153

A. Ferreira, S. Pérennes, A. W. Richa, H. Rivano, N. Stier Moses
Models, complexity and algorithms for the design of multifiber WDM networks
10th International Conference on Telecommunications, 2003 (ICT 2003), 23/02/2003, France, pp.12-18, hal-00429845

A. Ferreira, S. Pérennes, A. W. Richa, H. Rivano, N. Stier Moses
On the design of multifiber WDM networks
Algotel'02, 05/2002, Mèze, France, pp.25--32, hal-00429849

B. Florent, M. Matamala, N. Nisse, I. Rapaport, K. Suchan, I. Todinca
Reconstruire un graphe en une ronde
13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2011, Cap Estérel, France, inria-00587250

F. V. Fomin, F. Giroire, A. Jean-Marie, D. Mazauric, N. Nisse
Satisfaire un internaute impatient est difficile
14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), 2012, La Grande Motte, France, pp...., hal-00687102

F. Fomin, P. Fraigniaud, N. Nisse
Non-Deterministic Graph Searching: From Pathwidth to Treewidth
Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science (MFCS), 2005, Pologne, pp.364-375, hal-00421420

P. Fraigniaud, N. Nisse
Connected Treewidth and Connected Graph Searching
Latin American Theoretical Informatics Symposium (LATIN), 2006, Valdivia, Chili, inria-00423448

P. Fraigniaud, N. Nisse
Monotony Properties of Connected Visible Graph Searching
International Workshop on Graph-Theoretic Concepts in Computer Science (WG), 2006, Bergen, Norvège, inria-00423449

P. Giabbanelli, D. Mazauric, J.-C. Bermond
On the average path length of deterministic and stochastics recursive networks
CompletNet, 2010, Rio de Janeiro, Brésil, inria-00532890

F. Giroire, D. Mazauric, J. Moulierac
Routage efficace en énergie
13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2011, Cap Estérel, France, inria-00587944

F. Giroire, D. Mazauric, J. Moulierac, B. Onfroy
Minimizing Routing Energy Consumption: from Theoretical to Practical Results
IEEE/ACM International Conference on Green Computing and Communications (GreenCom), 18/12/2010, Hangzhou, Chine, pp.8, hal-00531468

F. Giroire, J. Monteiro, S. Pérennes
Peer-to-Peer Storage Systems: a Practical Guideline to be Lazy
IEEE Global Communications Conference (GlobeCom), 12/2010, Miami, États-Unis, inria-00496221

F. Giroire, J. Monteiro, S. Pérennes
P2P Storage Systems: How Much Locality Can They Tolerate?
IEEE Conference on Local Computer Networks (LCN), 10/2009, Zurich, Suisse, pp.320--323, inria-00496220

F. Giroire, J. Chandrashekar, N. Taft, E. Schooler, K. Papagiannaki
Exploiting Temporal Persistence to Detect Covert Botnet Channels
The 12th International Symposium on Recent Advances in Intrusion Detection (RAID'09), 23/09/2009, Saint Malo, France, pp.326--345, inria-00546874

D. Gonçalves, F. Havet, A. Pinlou, S. Thomassé
Spanning galaxies in digraphs
European Conference on Combinatorics, Graph Theory and Applications (EuroComb 2009), 07/09/2009, Bordeaux, France, 34, pp.139-143, Electronic Notes in Discrete Mathematics, lirmm-00433050

N. Hanusse, D. Ilcinkas, A. Kosowski, N. Nisse
Comment battre la marche aléatoire en comptant ?
12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2010, Belle Dune, France, inria-00475863

N. Hanusse, D. Ilcinkas, A. Kosowski, N. Nisse
Locating a Target with an Agent Guided by Unreliable Local Advice
PODC 2010, 07/2010, Zurich, Suisse, pp.355-364, hal-00516695

F. Havet, J. Bang-Jensen, N. Trotignon
Finding an induced subdivision of a digraph
VI Latin-American Algorithms, Graphs and Optimization Symposium (LAGOS 2011), 04/2011, Bariloche, Argentine, 37, pp.09--14, inria-00638464

F. Havet, L. Sampaio
On the Grundy number of a graph
Fifth International Symposium on Parameterized and Exact Computation (IPEC 2010), 13/12/2010, Chennai, Inde, Parameterized and Exact Computation, 6478, pp.170--179, inria-00532906

F. Havet, B. Reed, J.-S. Sereni
L(2,1)-labelling of graphs
ACM-SIAM symposium on Discrete algorithms (SODA 2008), 20/01/2008, San Francisco, California, États-Unis, pp.621-630, inria-00486183

B. Jaumard, N. Nahar Bhuiyan, S. Sebbah, F. Huc, D. Coudert
A New Framework for Efficient Shared Segment Protection Scheme for WDM Networks
11th International Conference on High Performance Switching and Routing (HPSR), 13/06/2010, Richardson, Texas, USA, Canada, pp.8, inria-00482119

B. Jaumard, N. Nahar Bhuiyan, S. Sebbah, F. Huc, D. Coudert
A New Framework for Efficient Shared Segment Protection Scheme for WDM Networks
10th INFORMS Telecommunications Conference, 05/05/2010, Montréal, Canada, inria-00482121

A. Kosowski, B. Li, N. Nisse, K. Suchan
$k$-Chordal Graphs: from Cops and Robber to Compact Routing via Treewidth
14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), 2012, La Grande Motte, France, pp...., hal-00687120

E. P. Mancini, G. Wainer, K. Al-Zoubi, O. Dalle
Simulation in the Cloud Using Handheld Devices
MSGC@CCGRID - Workshop on Modeling and Simulation on Grid and Cloud Computing - 2012, 13/05/2012, Ottawa, Canada, hal-00691248

J.-C. Maureira, P. Uribe, O. Dalle, J. Anaya, T. Asahi
Component based approach using OMNeT++ for Train Communication Modeling
ITS-T 2009, 19/10/2009, Lille., France, inria-00501882

J.-C. Maureira, O. Dalle, D. Dujovne
Generation of Realistic 802.11 Interferences in the Omnet++ INET Framework Based on Real Traffic Measurements
OMNeT++ Workshop / SIMUTools 2009, 06/03/2009, Rome, Italie, inria-00501885

N. Nisse, I. Rapaport, K. Suchan
Distributed computing of efficient routing schemes in generalized chordal graphs
International Colloquium on Structural Information and Communication Complexity (SIROCCO), 2009, Piran, Slovénie, inria-00423454

N. Nisse, K. Suchan
Fast Robber in Planar Graphs
International Workshop on Graph-Theoretic Concepts in Computer Science (WG), 2008, Durham, Royaume-Uni, inria-00423451

N. Nisse, D. Soguet
Graph Searching with advice
International Colloquium on Structural Information and Communication Complexity (SIROCCO), 2007, Castiglioncello, Italie, inria-00423450

J. Ribault, O. Dalle, D. Conan, S. Leriche
OSIF: A Framework To Instrument, Validate, and Analyze Simulations
SIMUTools2010, 16/03/2010, Torremolinos, Espagne, inria-00465141

J. Ribault, F. Peix, J. Monteiro, O. Dalle
OSA: an Integration Platform for Component-Based Simulation
Second Intl. Conf. on Simulation Tools and Techniques (SIMUTools09), 02/03/2009, Rome, Italie, inria-00449632

J. Ribault, O. Dalle
OSA : A Federative Simulation Platform
Proceedings of the Winter Simulation Conference (WSC'09), 13/12/2009, Austin, États-Unis, inria-00449642

J. Ribault, O. Dalle
Enabling advanced simulation scenarios with new software engineering techniques.
20th European Modeling and Simulation Symposium (EMSS 2008), 17/09/2008, Briatico, Italie, inria-00425150

F. Solano Donado, J. Moulierac
Routing in All-Optical Label Switched-based Networks with Small Label Spaces
IFIP/IEEE ONDM, 18/02/2009, Braunschweig, Allemagne, inria-00425298

P. Uribe, J.-C. Maureira, O. Dalle
Extending INET Framework for Directional and Asymmetrical Wireless Communications
ICST 3rd International Workshop on OMNeT++, 15/03/2010, Torremolinos, Espagne, pp.8p, inria-00530809

   COMMUNICATIONS NATIONALES

O. Amini, S. Perennes, I. Sau
Hardness of Approximating the Traffic Grooming Problem
9ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, 05/2007, Ile d'Oléron, France, pp.45-48, inria-00176960

J.-C. Bermond, F. Havet, F. Huc, C. Linhares-Sales
Allocation de fréquences et coloration impropre des graphes hexagonaux pondérés
9ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, 05/2007, Ile d'Oléron, France, pp.53-56, inria-00176955

J.-C. Bermond, J. Galtier, R. Klasing, N. Morales, S. Pérennes
Gathering in specific radio networks
8èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel06), Trégastel, 05/2006, France, pp.85--88, hal-00344620

J.-C. Bermond, O. Delmas, F. Havet, M. Montassier, S. Pérennes
Réseaux de télécommunication minimaux embarqués tolérants aux pannes
5ème Rencontres Francophones sur les aspects Algorithmiques des Télécommunications (ALGOTEL 2003), 12/05/2003, France, pp.27--32, hal-00307610

J.-C. Bermond, L. Chacon, D. Coudert, F. Tillerot
Conception d'un réseau WDM protégé par sous-réseaux
2ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel'00), 10/05/2000, La Rochelle, France, ISBN 2-7261-1157-2, pp.83-88, inria-00429292

M. Bouklit, D. Coudert, J.-F. Lalande, H. Rivano
Approximation Combinatoire de Multiflot Factionnaire : Améliorations
AlgoTel'03 : 5ièmes Rencontres Francophones sur les Aspects ALGOrithmiques des TELécommunications, Banyuls-sur-Mer (France), pp.P nd., lirmm-00269814

D. Coudert, F. Huc, D. Mazauric
Algorithme générique pour les jeux de capture dans les arbres
10ème Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel'08), 2008, Saint-Malo, France, pp.37-40, inria-00374452

D. Coudert, S. Perennes, Q.-C. Pham, J.-S. Sereni
Rerouting requests in WDM networks
7eme Rencontres Francophones sur les aspects Algorithmiques des Télécommunications (AlgoTel), 05/2005, Presqu'île de Giens, France, pp.17-20, inria-00429173

D. Coudert, H. Rivano
Routage optique dans les réseaux WDM multifibres avec conversion partielle
Quatrièmes Rencontres Francophones sur les aspects Algorithmiques des Télécommunications (AlgoTel), 22/05/2002, Mèze, France, pp.17-24, inria-00429178

D. Coudert
Chemins disjoints de poids minimum pour la sécurisation de réseaux de télécommunications
3eme Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), 28/05/2001, Saint Jean de Luz, France, pp.47-53, inria-00429185

D. Coudert, A. Ferreira, S. Perennes
Theoretical Aspects of the Optical Transpose Interconnecting System Architecture
Première Rencontres Francophones sur les aspects Algorithmiques des Télécommunications (AlgoTel), 05/05/1999, Roscoff, France, pp.101-106, inria-00429194

O. Dalle
Component-based Discrete Event Simulation Using the Fractal Component Model
International Conference on AI, Simulation and Planning in High Autonomy Systems (AIS) and Conceptual Modeling and Simulation (CMS), 08/02/2007, Buenos Aires, Argentina, pp.213--218, inria-00141624

O. Dalle
{OSA}: an {O}pen {C}omponent-based {A}rchitecture for {D}iscrete-event {S}imulation
proc. of 20th European Conf. on Modeling and Simulation, 28/05/2006, Bonn, Germany, pp.253--259, inria-00141606

F. Fomin, P. Fraigniaud, N. Nisse
Strategies d'encerclement non deterministes
8èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2006, France, pp.81-84, hal-00421419

P. Fraigniaud, N. Nisse
Stratégies d'encerclement connexes dans un réseau
7èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), 2005, France, pp.13-16, hal-00421418

J.-F. Lalande, M. Syska, Y. Verhoeven
Arrondi aléatoire et protection des réseaux WDM
ROADEF 2005, 14/02/2005, Tours, France, ROADEF 2005 / 6ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, pp.241-242, inria-00451818

J.-F. Lalande, S. Pérennes, M. Syska
Groupage dans les réseaux dorsaux WDM
ROADEF 2003, 26/02/2003, Avignon, France, pp.254-255, inria-00451812

   OUVRAGES DE SYNTHESE

D. Coudert, D. Simplot-Ryl
Ad Hoc & Sensor Wireless Networks, an International Journal -- Special issue on Ad hoc, Mobile and Wireless Networks
Coudert, D. and Simplot-Ryl, D., Old City Publishing, 2010, inria-00531585

   CHAPITRE D'OUVRAGES

J.-C. Bermond, F. Ergincan, M. Syska
Line Directed Hypergraphs
in Cryptoquater2011 ,Festchrift Jean-jacques,
Springer verlag, 2011, Lecture Notes in Computer Science, 6805,, hal-00643785

J.-C. Bermond, D. Coudert
Grooming
in Handbook of Combinatorial Designs (2nd edition)
Charles J. Colbourn and Jeffrey H. Dinitz, Chapman & Hall- CRC Press, 2006, Discrete mathematics and Applications, 1584885068inria-00429215

J.-C. Bermond, D. Coudert
Grooming
in Handbook of Combinatorial Designs
C.J. Colbourn and J.H. Dinitz, Chapman & Hall- CRC Press, 2006, Discrete mathematics and Applications, inria-00531339

T. Cinkler, D. Coudert, M. Flammini, G. Monaco, L. Moscardelli, X. Muñoz, I. Sau, M. Shalom, S. Zaks
Traffic Grooming: Combinatorial Results and Practical Resolutions.
in Graphs and Algorithms in Communication Networks: Studies in Broadband, Optical, Wireless, and Ad Hoc Networks.
Arie Koster and Xavier Muñoz, Springer, 01/01/2010, EATCS Texts in Theoretical Computer Science, 978-3-642-02249-4inria-00530964

D. Coudert, X. Munoz
Graph Theory and Traffic Grooming in WDM Rings
in Recent Research Developments in Optics
S.G. Pandalai, Research Signpost, 2003, 81-271-0028-5inria-00429212

O. Dalle, G. A. Wainer, K. Al-Zoubi, O. Dalle, D. R.C. Hill, S. Mittal, J. Risco Martin, H. Sarjoughian, L. Touraille, M. K. Traoré, B. P. Zeigler
Chapter 17: Standardizing DEVS model representation
in Discrete-Event Modeling and Simulation: Theory and Applications
Wainer, G. and Mosterman, P., Taylor and Francis, 2011, 978-1-4200-7233-4inria-00638560

O. Dalle, G. A. Wainer, K. Al-Zoubi, O. Dalle, D. R.C. Hill, S. Mittal, J. Risco Martin, H. Sarjoughian, L. Touraille, M. K. Traoré, B. P. Zeigler
Chapter 18: Standardizing DEVS Simulation Middleware
in Discrete-Event Modeling and Simulation: Theory and Applications
Wainer, G. and Mosterman, P., Taylor and Francis, 2011, 978-1-4200-7233-4inria-00638559

   THESES et HDR

D. Coudert
HDR:Algorithmique et optimisation dans les réseaux de télécommunications
Université de Nice Sophia-Antipolis, 05/03/2010, tel-00466400

D. Coudert
THESE:Algorithmique et optimisation de réseaux de communications optiques
Université de Nice Sophia-Antipolis, 11/12/2001, tel-00008087

   RAPPORTS DE RECHERCHE

P. Aboulker, F. Havet, N. Trotignon
On wheel-free graphs
Rapport de recherche, RR-7651, inria-00602079

L. Addario-Berry, S. Thomassé, F. Havet
Paths with two blocks in $n$-chromatic digraphs
Rapport de recherche, 09/2005, RR-5688, inria-00070325

L. Addario-Berry, F. Havet, C. Linhares Sales, B. Reed, S. Thomasse
Oriented trees in digraphs.
Rapport de recherche, RR-7502, inria-00551133

E. Altman, P. Nain, J.-C. Bermond
Distributed Storage Management of Evolving Files in Delay Tolerant Ad Hoc Networks
Rapport de recherche, 2008, RR-6645, inria-00321641

O. Amini, F. Havet, F. Huc, S. Thomasse
WDM and Directed Star Arboricity
Rapport de recherche, 01/2007, RR-6179, inria-00132396

O. Amini, F. Giroire, F. Huc, S. Pérennes
Minimal Selectors and Fault Tolerant Networks
Rapport de recherche, 06/2006, inria-00082015

O. Amini, D. Coudert, N. Nisse
Some Results on Non-deterministic Graph Searching in Trees
Rapport de recherche, inria-00174965

O. Amini, D. Peleg, S. Perennes, I. Sau Valls, S. Saurabh
Degree-Constrained Subgraph Problems: Hardness and Approximation Results
Rapport de recherche, RR-6690, inria-00331747

J. Araujo, J.-C. Bermond, F. Giroire, F. Havet, D. Mazauric, R. Modrzejewski
Weighted Improper Colouring
Rapport de recherche, RR-7590, inria-00583036

J. Araujo, V. Campos, F. Giroire, N. Nisse, L. Sampaio, R. Soares
On the hull number of some graph classes
Rapport de recherche, RR-7567, inria-00576581

J. Araújo, N. Cohen, F. Giroire, F. Havet
Good edge-labelling of graphs
Rapport de recherche, 2009, RR-6934, inria-00383343

M. Aste, F. Havet, C. Linhares-Sales
Grundy number and products of graphs
Rapport de recherche, RR-6672, inria-00328589

J. Bang-Jensen, F. Havet, N. Trotignon
Finding an induced subdivision of a digraph
Rapport de recherche, RR-7430, inria-00527518

L. Barrière, P. Flocchini, F. V. Fomin, P. Fraigniaud, N. Nisse, N. Santoro, D. M. Thilikos
Connected Graph Searching
Rapport de recherche, RR-7363, inria-00508888

B. Beauquier, O. Delmas, S. Pérennes
Tight Bounds for Broadcasting in the Linear Cost Model
12/1999, RR-3827, inria-00072831

B. Beauquier, S. Pérennes, D. Tóth
All-to-All Routing and Coloring in Weighted Trees of Rings
06/1999, RR-3700, inria-00072968

B. Beauquier, P. Hell, S. Pérennes
Optimal Wavelength-Routed Multicasting
10/1997, RR-3276, inria-00073413

B. Beauquier, J.-C. Bermond, L. Gargano, P. Hell, S. Pérennes, U. Vaccaro
Graph Problems Arising from Wavelength-Routing in All-Optical Networks
05/1997, RR-3165, inria-00073523

F. Becker, M. Matamala, N. Nisse, I. Rapaport, K. Suchan, I. Todinca
Adding a referee to an interconnection network: What can(not) be computed in one round.
Rapport de recherche, inria-00528733

S. Belhareth, D. Coudert, D. Mazauric, N. Nisse, I. Tahiri
Reconfiguration with physical constraints in WDM networks
Rapport de recherche, RR-7850, hal-00654111

J.-C. Bermond, C. J. Colbourn, L. Gionfriddo, G. Quattrocchi, I. Sau Valls
Drop cost and wavelength optimal two-period grooming with ratio 4
Rapport de recherche, 17/11/2009, RR-7101, inria-00432801

J.-C. Bermond, X. Muñoz, I. Sau Valls
Traffic Grooming in Bidirectional WDM Ring Networks
Rapport de recherche, 31/10/2009, RR-7080, inria-00429155

J.-C. Bermond, D. Mazauric, V. Misra, P. Nain
Distributed Call Scheduling in Wireless Networks
Rapport de recherche, 2008, RR-6763, inria-00345669

J.-C. Bermond, D. Coudert, B. Leveque
Approximations for All-to-all Uniform Traffic Grooming on Unidirectional Ring
Rapport de recherche, 01/10/2007, inria-00175795

J.-C. Bermond, J. Galtier, R. Klasing, N. Morales, S. Perennes
Hardness and approximation of gathering in static radio networks
Rapport de recherche, 06/2006, RR-5936, inria-00081032

J.-C. Bermond, L. Braud, D. Coudert
Traffic Grooming on the Path
Rapport de recherche, 2005, RR-5645, inria-00070363

J.-C. Bermond, M. Cosnard, D. Coudert, S. Pérennes
Optimal Solution of the Maximum All Request Path Grooming Problem
Rapport de recherche, 2005, RR-5627, inria-00070381

J.-C. Bermond, F. Havet, C. Tóth
Fault tolerant on-board networks with priorities
Rapport de recherche, 11/2004, RR-5363, inria-00070640

J.-C. Bermond, S. Ceroi
Minimizing SONET ADMs in unidirectional WDM rings with grooming ratio 3
11/2002, RR-4626, inria-00071959

J.-C. Bermond, D. Coudert, M.-L. Yu
On DRC-Covering of K_n by Cycles
Rapport de recherche, 10/2001, RR-4299, inria-00072288

J.-C. Bermond, N. Marlin, D. Peleg, S. Pérennès
Directed Virtual Path Layouts in ATM Networks
04/1999, RR-3665, inria-00073007

J.-C. Bermond, E. Darrot, O. Delmas, S. Perennes
Hamilton Circuits in the Directed Butterfly Network
07/1996, RR-2925, inria-00073773

J.-C. Bermond, E. Darrot, O. Delmas, S. Perennes
Hamilton Cycle Decomposition of the Butterfly Network
06/1996, RR-2920, inria-00073777

J.-C. Bermond, Z. Liu, M. Syska
Mean eccentricities of de Bruijn networks
Rapport de recherche, 1993, RR-2114, inria-00074558

J.-C. Bermond, A. Jean-Marie, D. Mazauric, J. Yu
Well Balanced Designs for Data Placement
Rapport de recherche, RR-7725, inria-00618656

J.-C. Bermond, D. Coudert, J. Moulierac, S. Perennes, H. Rivano, I. Sau, F. Solano Donado
MPLS label stacking on the line network
Rapport de recherche, RR-6803, inria-00354267

J.-C. Bermond, D. Coudert, J. Moulierac, S. Perennes, I. Sau Valls, F. Solano Donado
GMPLS Routing Strategies based on the Design of Hypergraph Layouts
Rapport de recherche, RR-6842, inria-00360576

J.-C. Bermond, D. Coudert, J. Moulierac, S. Pérennes, I. Sau, F. Solano Donado
GMPLS Label Space Minimization through Hypergraph Layouts
Rapport de recherche, RR-7071, inria-00426681

J.-C. Bermond, D. Coudert, J. Peters
Online Distributed Traffic Grooming on Path Networks
Rapport de recherche, RR-6833, inria-00359810

J.-C. Bermond, F. Havet, F. Huc, C. Linhares Sales
Improper colouring of weighted grid and hexagonal graphs
Rapport de recherche, RR-7250, inria-00472819

J.-C. Bermond, M. Cosnard, S. Pérennes
Directed acyclic graphs with the unique dipath property
Rapport de recherche, RR-6932, inria-00387085

J.-C. Bermond, N. Nisse, P. Reyes, H. Rivano
Fast Data Gathering in Radio Grid Networks
Rapport de recherche, RR-6851, inria-00363908

J.-C. Bermond, R. Correa, M.-L. Yu
Optimal Gathering Protocols on Paths under Interference Constraints
Rapport de recherche, inria-00168162

P. Berthomé, N. Nisse
A unified FPT Algorithm for Width of Partition Functions
Rapport de recherche, RR-6646, inria-00321766

S. Bessy, E. Birmelé, F. Havet
Arc-chromatic number of digraphs in which each vertex has bounded outdegree or bounded indegree
Rapport de recherche, 11/2004, RR-5364, inria-00070639

S. Bessy, F. Havet, J. Palaysi
Choosability of bipartite graphs with maximum degree $Delta$
07/2002, RR-4522, inria-00072066

S. Bessy, F. Havet
Enumerating the edge-colourings and total colourings of a regular graph
Rapport de recherche, RR-7652, inria-00602188

S. Bhadra, A. Ferreira
Computing multicast trees in dynamic networks using evolving graphs
08/2002, RR-4531, inria-00072057

L. Blin, J. Burman, N. Nisse
Perpetual Graph Searching
02/2012, hal-00675233

B. Bui Xuan, A. Ferreira, A. Jarry
Computing shortest, fastest, and foremost journeys in dynamic networks
10/2002, RR-4589, inria-00071996

V. Campos, A. Gyarfas, F. Havet, C. Linhares Sales, F. Maffray
New bounds on the Grundy number of products of graphs
Rapport de recherche, RR-7243, inria-00470158

V. Campos, F. Havet
5-choosability of graphs with 2 crossings
Rapport de recherche, RR-7618, inria-00593426

S. Caron, F. Giroire, D. Mazauric, J. Monteiro, S. Pérennes
P2P Storage Systems: Data Life Time for Different Placement Policies
Rapport de recherche, RR-7209, inria-00458190

J. Chalopin, V. Chepoi, N. Nisse, Y. Vaxès
Cop and robber games when the robber can hide and ride
Rapport de recherche, RR-7178, inria-00448243

G. Chang, F. Havet, M. Montassier, A. Raspaud
Steinberg's Conjecture and near-colorings
Rapport de recherche, RR-7669, inria-00605810

N. Cohen, D. Coudert, D. Mazauric, N. Nepomuceno, N. Nisse
Tradeoffs when optimizing Lightpaths Reconfiguration in WDM networks
Rapport de recherche, RR-7047, inria-00421140

N. Cohen, F. Havet, T. Mueller
Acyclic edge-colouring of planar graphs
Rapport de recherche, RR-6876, inria-00367394

N. Cohen, F. Havet
Linear and 2-frugal choosability of graphs of small maximum average degree
Rapport de recherche, RR-7213, inria-00459692

N. Cohen, F. Havet
Planar graphs with maximum degree Delta\geq 9 are (\Delta+1)-edge-choosable -- short proof
Rapport de recherche, RR-7098, inria-00432389

D. Coudert, F. Giroire, I. Sau Valls
Circuit visiting 10 ordered vertices in infinite grids
Rapport de recherche, 2009, RR-6910, inria-00378586

D. Coudert, J.-S. Sereni
Characterization of graphs and digraphs with small process number
Rapport de recherche, 01/2008, RR-6285, inria-00171083

D. Coudert, D. Mazauric
Network Reconfiguration using Cops-and-Robber Games
Rapport de recherche, 2008, RR-6694, inria-00315568

D. Coudert, F. Huc, F. Peix, M.-E. Voge
On Minimizing the Average Reliability of Connections in Multilayer Networks under Shared Risk Groups and Costs Constraints
Rapport de recherche, 01/10/2007, inria-00175813

D. Coudert, S. Perennes, H. Rivano, M.-E. Voge
Shared Risk Resource Groups and Colored Graph: Polynomial Cases and Transformation Issues
Rapport de recherche, 26/09/2007, inria-00175143

D. Coudert, P. Datta, S. Pérennes, H. Rivano, M.-E. Voge
Complexity and approximability issues of Shared Risk Resource Group
Rapport de recherche, 03/2006, RR-5859, inria-00070167

D. Coudert, F. Huc, J.-S. Sereni
Pathwidth of outerplanar graphs
Rapport de recherche, 01/2006, RR-5804, inria-00070220

D. Coudert, H. Rivano
Lightpath assignment for multifibers wdm optical networks with wavelength translators
06/2002, RR-4487, inria-00072101

D. Coudert, A. Ferreira, S. Pérennes
Digraph Isomorphisms and Free Space Optical Networks
Rapport de recherche, 11/1999, RR-3817, inria-00072841

D. Coudert, D. Mazauric, N. Nisse
Routing Reconfiguration/Process Number: Networks with Shared Bandwidth.
Rapport de recherche, RR-6790, inria-00350025

D. Coudert, F. Huc, D. Mazauric, N. Nisse, J.-S. Sereni
Routing Reconfiguration/Process Number: Coping wih Two Classes of Services
Rapport de recherche, RR-6698, inria-00331807

D. Coudert, F. Huc, D. Mazauric
A distributed algorithm for computing and updating the process number of a forest
Rapport de recherche, RR-6560, inria-00288304

D. Coudert, N. Nepomuceno, H. Rivano
Wireless Backhaul Networks: Minimizing Energy Consumption by Power-Efficient Radio Links Configuration
Rapport de recherche, RR-6752, inria-00344344

D. Coudert, P. Datta, H. Rivano, M.-E. Voge
Minimum Color Problems and Shared Risk Resource Group in Multilayer Networks
Rapport de recherche, I3S Research Report I3S/RR-2005-37-FR, inria-00466486

O. Dalle
OSA: an Open Component-based Architecture for Discrete-Event Simulation
Rapport de recherche, 11/2005, RR-5762, inria-00070258

O. Dalle
LoadBuilder: a Tool for Generating and Modeling Workloads in Distributed Workstation Environments
11/1996, RR-3045, inria-00073647

O. Dalle, F. Giroire, J. Monteiro, S. Pérennes
Analysis of Failure Correlation in Peer-to-Peer Storage Systems
Rapport de recherche, RR-6771, inria-00346857

O. Delmas, M. Montassier, F. Havet, S. Pérennes
Design of fault-tolerant on-board network
Rapport de recherche, 03/2006, RR-5866, inria-00070160

O. Delmas, S. Perennes
Circuit-Switched Gossiping in the 3-Dimensional Torus Networks
07/1996, RR-2930, inria-00073769

N. Eggemann, F. Havet, S. Noble
$k$-$L(2,1)$-Labelling for Planar Graphs is NP-Complete for $k\geq 4$
Rapport de recherche, RR-6840, inria-00360505

R. Erman, F. Havet, B. Lidicky, O. Pangrac
5-colouring graphs with 4 crossings
Rapport de recherche, RR-7110, inria-00437726

A. Ferreira
Building a Reference Combinatorial Modelfor Dynamic Networks:Initial Results in Evolving Graphs
12/2003, RR-5041, inria-00071542

A. Ferreira, L. Viennot
A Note on Models, Algorithms, and Data Structures for Dynamic Communication Networks
Rapport de recherche, 03/2002, RR-4403, inria-00072185

A. Ferreira, S. Pérennes, A. Richa, H. Rivano, N. Stier
On the design of Multifiber WDM Networks
08/2001, RR-4244, inria-00072343

A. Ferreira, S. Pérennes, H. Rivano
Fractional Coloring of Bounded Degree Trees
01/2001, RR-4094, inria-00072538

B. Florent, A. Kosowski, N. Nisse, I. Rapaport, K. Suchan
Interconnection network with a shared whiteboard: Impact of (a)synchronicity on computing power
Rapport de recherche, RR-7746, inria-00627910

F. Fomin, F. Giroire, A. Jean-Marie, D. Mazauric, N. Nisse
To Satisfy Impatient Web surfers is Hard
Rapport de recherche, RR-7740, inria-00625703

F. Giroire, D. Mazauric, J. Moulierac, B. Onfroy
Minimizing Routing Energy Consumption: from Theoretical to Practical Results
Rapport de recherche, 03/2010, RR-7234, inria-00464318

F. Giroire, J. Monteiro, S. Pérennes
P2P Storage Systems: How Much Locality Can They Tolerate?
Rapport de recherche, 2009, RR-7006, inria-00408078

F. Giroire, S. K. Gupta, R. Modrzejewski, J. Monteiro, S. Pérennes
Analysis of the Repair Time in Distributed Storage Systems
Rapport de recherche, RR-7538, inria-00565359

C. Gomes, P. Reyes, J.-C. Bermond
Round Weighting Problem and gathering in wireless networks with symmetrical interference
Rapport de recherche, inria-00408502

N. Hanusse, D. Ilcinkas, A. Kosowski, N. Nisse
How to beat the random walk when you have a clock?
Rapport de recherche, RR-7210, inria-00458808

F. Havet, S. Thomasse
Complexity of $(p,1)$-total labelling
Rapport de recherche, 09/2007, RR-6305, inria-00173438

F. Havet, R. Kang, T. Müller, J.-S. Sereni
Circular Choosability
Rapport de recherche, 07/2007, RR-5957, inria-00086981

F. Havet, R. Kang, J.-S. Sereni
Improper colouring of unit disk graphs
Rapport de recherche, 05/2007, RR-6206, inria-00150464

F. Havet, S. Thomasse, A. Yeo
Hoàng-Reed conjecture holds for tournaments
Rapport de recherche, 09/2006, RR-5976, inria-00091366

F. Havet
Choosability of the square of planar subcubic graphs with large girth
Rapport de recherche, 01/2006, RR-5800, inria-00070223

F. Havet
Repartitors, selectors and superselectors
Rapport de recherche, 09/2005, RR-5686, inria-00070327

F. Havet, J.-S. Sereni
Improper choosability of graphs and maximum average degree
03/2004, RR-5164, inria-00071425

F. Havet
Stable set meeting every longest paths
11/2003, RR-5009, inria-00071575

F. Havet
Upper bound for the span of (s,1)-total labelling of graphs
05/2003, RR-4816, inria-00071770

F. Havet, M.-L. Yu
(d,1)-total labelling of graphs
11/2002, RR-4650, inria-00071935

F. Havet
Design of fault tolerant on board networks with priorities via selectors
05/2002, RR-4463, inria-00072125

F. Havet
Robustness of a routing tree for the Push Tree Problem
05/2002, RR-4464, inria-00072124

F. Havet
Pancyclic arcs and connectivity in tournaments
02/2002, RR-4378, inria-00072210

F. Havet, M. Klazar, J. Kratochvil, D. Kratsch, M. Liedloff
Exact algorithms for $L(2,1)$-labeling of graphs
Rapport de recherche, RR-6587, inria-00303330

F. Havet, C. Linhares Sales, L. Sampaio
b-coloring of tight graphs
Rapport de recherche, RR-7241, inria-00468734

F. Havet, J. Van Den Heuvel, C. Mcdiarmid, B. Reed
List colouring squares of planar graphs
Rapport de recherche, RR-6586, inria-00303303

F. Havet, S. Jendrol', R. Sotak, E. Skrabulakova
Facial non-repetitive edge-colouring of plane graphs
Rapport de recherche, RR-6873, inria-00366589

F. Havet, X. Zhu
The game Grundy number of graphs
Rapport de recherche, RR-7646, inria-00600738

F. Huc, C. Molle, N. Nisse, S. Pérennes, H. Rivano
Stability of a local greedy distributed routing algorithm
Rapport de recherche, RR-6871, inria-00366441

R. Klasing, N. Morales, S. Perennes
On the Complexity of Bandwidth Allocation in Radio Networks with Steady Traffic Demands
Rapport de recherche, 12/2004, RR-5432, inria-00070575

A. Kosowski, B. Li, N. Nisse, K. Suchan
k-Chordal Graphs: from Cops and Robber to Compact Routing via Treewidth
hal-00671861

J.-F. Lalande, M. Syska, Y. Verhoeven
Mascopt - A Network Optimization Library: Graph Manipulation
Rapport Technique, 04/2004, RT-0293, inria-00069887

J.-C. Maureira, D. Dujovne, O. Dalle
Network Provisioning for High Speed Vehicles Moving along Predictable Routes - Part 1: Spiderman Handover
Rapport de recherche, RR-6850, inria-00369419

J. Moulierac, T. K. Phan, N. Thoai, C. Tran
Xcast6 Treemap Islands - A Mixed Model of Application and Network Layer Multicast
Rapport de recherche, RR-7784, inria-00637656

P. Mussi, G. Siegel
Sequential Simulation in Prosit: Programming Model and Implementation
11/1995, RR-2713, inria-00073978

I. Stavridou, A. Ferreira
Multi- Inter- and Trans-disciplinary research promoted by the European Cooperation in Science and Technology (COST): Lessons and experiments
Rapport de recherche, inria-00512712

P. Uribe, J.-C. Maureira, O. Dalle
Extending INET Framework for Directional and Asymmetrical Wireless Communications
Rapport de recherche, 2009, RR-7120, inria-00448033

   COMMUNICATIONS SANS COMITÉ DE LECTURE

J. Chalopin, V. Chepoi, N. Nisse, Y. Vaxès
Cop and robber games when the robber can hide and ride
8th French Combinatorial Conference, 06/2010, Orsay, France, inria-00482117

D. Coudert
Graph searching games for the WDM reconfiguration problem
24th European Conference on Operational Research (EURO), 11/07/2010, Lisbon, Portugal, inria-00482113

N. Nisse
Graph Searching and Graph Decompositions
24th European Conference on Operational Research (EURO) (2010), 07/2010, Lisbon, Portugal, inria-00482115

   AUTRES

O. Dalle
Should Simulation Products use Software Engineering Techniques or Should they Reuse Products of Software Engineering? -- Part 1
SCS Modeling and Simulation Magazine(3) pp.122-132, 01/07/2011, inria-00638553

O. Dalle
Should Simulation Products use Software Engineering Techniques or Should they Reuse Products of Software Engineering? -- Part 2
SCS Modeling and Simulation Magazine(4) pp., 01/07/2011, inria-00638555

Publications du pôle COMRED équipe projet INRIA OASIS

   ARTICLES AVEC COMITÉ DE LECTURE

S. Alouf, F. Huet, P. Nain
Forwarders vs. centralized server: an evaluation of two approaches for locating mobile agents
Performance Evaluation, 49(1-4), pp.299-319, 09/2002, hal-00641265

B. Amedro, D. Caromel, F. Huet, V. Bodnartchouk, C. Delbé, G. L. Taboada
HPC in Java: Experiences in Implementing the NAS Parallel Benchmarks
APPLIED INFORMATICS AND COMMUNICATIONS, 22/08/2010, inria-00504630

F. Baude, D. Caromel, C. Dalmasso, M. Danelutto, V. Getov, L. Henrio, C. Pérez
GCM: A Grid Extension to Fractal for Autonomous Distributed Components
Annals of Telecommunications, 2008, inria-00323919

F. Baude, D. Caromel, M. Leyton
File transfer in Grid applications at Deployment, Execution and Retrieval
Multiagent and Grid Systems, 3(4), pp.381-391, 2007, hal-00688655

D. Caromel, A. Di Costanzo, C. Delbe
Peer-to-Peer and Fault-tolerance: Towards Deployment-based Technical Services
Future Generation Computer Systems, pp.FGCS-D-06-00155, 2007, hal-00128505

D. Caromel, A. Di Costanzo, C. Mathieu
Peer-to-Peer for Computational Grids: Mixing Clusters and Desktop Machines
Parallel Computing, pp.Special issue for Large Scale Grid, 2007, hal-00125041

D. Caromel, G. Chazarain, L. Henrio
Garbage Collecting the Grid: A Complete DGC for Activities
Middleware 2007, LNCS 4834, 2007, inria-00180150

D. Caromel, C. Delbe, A. Di Costanzo, M. Leyton
ProActive: an Integrated platform for programming and running applications on grids and P2P systems
Computational Methods in Science and Technology, 12 pp.issue 1, 2006, hal-00125034

   COMMUNICATIONS INTERNATIONALES

S. Alouf, F. Huet, P. Nain
Forwarders vs. centralized server: an evaluation of two approaches for locating mobile agents
Proceedings of the 2002 ACM SIGMETRICS international conference on Measurement and modeling of computer systems, 15/06/2002, Marina Del Rey, California, États-Unis, Proceedings of ACM SIGMETRICS 2002, 30, pp.278-279, ACM SIGMETRICS Performance Evaluation Review, hal-00641394

B. Amedro, F. Baude, F. Huet, E. Mathias
Combining Grid and Cloud Resources by Use of Middleware for SPMD Application
2nd International Conference on Cloud Computing Technology and Science, 30/11/2010, Indianapolis, IN, États-Unis, pp.177-184, inria-00538549

R. Ameur-Boulifa, L. Henrio, E. Madelaine
Behavioural models for group communications
Int. Workshop on Components and Service Interoperability (WCSI), 06/2010, Malaga, Espagne, pp.15 p., inria-00493692

F. Baude, L. Henrio, P. Naoumenko
A Component Platform for Experimenting with Autonomic Composition
First International Conference on Autonomic Computing and Communication Systems (Autonomics 2007), 28/10/2007, Rome, Italie, inria-00178365

F. Baude, D. Caromel, R. Quilici
Grid File Transfer during Deployment
On the Move to Meaningful Internet Systems 2006, 29/10/2006, Montpellier, France, 4276, pp.1191-1202, Lecture Notes in Computer Science, hal-00688861

S. Bezinne, V. Galtier, S. Vialle, F. Baude, M. Bossy, V. Dung, L. Henrio
A Fault Tolerant and Multi-Paradigm Grid Architecture for Time Constrained Problems. Application to Financial Option Pricing
2nd IEEE International Conference on e-Science and Grid Computing - e-science'06, 12/2006, Amsterdam, Pays-Bas, pp.49, inria-00121828

A. Cansado, L. Henrio, E. Madelaine
Transparent First-class Futures and Distributed Components
5th workshop on Formal Aspects of Component Systems, 10/09/2008, Málaga, Espagne, inria-00311515

A. Cansado, L. Henrio, E. Madelaine
Unifying Architectural and Behavioural Specifications of Distributed Components
5th workshop on Formal Aspects of Component Systems, 10/09/2008, Málaga, Espagne, inria-00311516

D. Caromel, L. Mateu, E. Tanter
Sequential Object Monitors
18th European Conference on Object-Oriented Programming, 2004, Oslo, Norway, Norvège, 3086, pp.316-340, lncs, hal-00457132

S. Cussat-Blanc, F. Viale, H. Luga, Y. Duthen, D. Caromel
Genetic algorithms and grid computing for artificial embryogeny
GECCO '08 Proceedings of the 10th annual conference on Genetic and evolutionary computation, 12/07/2008, Atlanta, États-Unis, hal-00687153

V. Dung Doan, A. Gaikwad, F. Baude, M. Bossy
"Gridifying" Classification-Monte Carlo algorithm for pricing high-dimensional Bermudan-American options
Workshop on high performance computational finance, WHPCF Austin, TX - November 16th, 2008, 16/11/2008, Austin, États-Unis, pp.1-8, hal-00605774

I. Filali, L. Pellegrino, F. Bongiovanni, F. Huet, F. Baude
Modular P2P-Based Approach for RDF Data Storage and Retrieval
Advances in P2P Systems, 20/11/2011, Lisbonne, Portugal, inria-00636408

I. Filali, F. Huet
Dynamic TTL-Based Search In Unstructured Peer-to-Peer Networks
CCGrid 2010, 17/05/2010, Melbourne, Australie, pp.10 p., inria-00485790

L. Henrio, F. Huet, Z. István, G. Sebestyén
Adapting Active Objects to Multicore Architectures
ISPDC, 06/07/2011, Cluj, Roumanie, hal-00644169

L. Henrio, M. U. Khan
Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL
7th International Workshop on Formal Engineering approaches to Software Components and Architectures, 27/03/2010, Paphos, Chypre, pp.1-20, inria-00462325

L. Henrio, F. Kammüller, M. U. Khan
A Framework for Reasoning on Component Composition
FMCO, 04/11/2009, Eindhoven, Pays-Bas, inria-00490380

L. Henrio, M. U. Khan, N. Ranaldo, E. Zimeo
First Class Futures: Specification and implementation of Update Strategies
CoreGRID/ERCIM Workshop on Grids, Clouds and P2P Computing, 31/08/2010, Ischia - Naples, Italie, Euro-Par 2010 - Parallel Processing Workshops VHPC, HeteroPar, HPPC, HiBB, CoreGrid, UCHPC, HPCF, XtreemOS, PROPER, and CCPI, inria-00544594

L. Henrio, F. Kammüller, M. Rivera
An Asynchronous Distributed Component Model and Its Semantics
FMCO - 08, 2008, Sophia antiopolis, France, inria-00435145

L. Henrio, F. Kammüller
Functional Active Objects: Typing and Formalisation
Foundations of Coordination Languages and Software Architectures (FOCLASA'09), 2010, France, pp.83-101, hal-00485759

M. Leyton, L. Henrio, J. Piquer
Exceptions for Algorithmic Skeletons
16th Int. European Conference on Parallel and Distributed Computing (Euro-Par 2010), 2010, Italie, pp.??, hal-00486108

S. Malik, F. Huet
Virtual Cloud: Rent Out the Rented Resources
6th IEEE International Conference for Internet Technology and Secured Transactions (ICITST-2011), 11/12/2011, Abu Dhabi, Émirats Arabes Unis, hal-00641398

S. Malik, F. Huet
Adaptive Fault Tolerance in Real Time Cloud Computing
2011 IEEE World Congress on Services, 04/07/2011, Washington DC, États-Unis, hal-00639904

E. Tanter, J. Noyé, D. Caromel, P. Cointe
Partial Behavioral Reflection: Spatial and Temporal Selection of Reification
The 18th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA 2003), 2003, Anaheim, California, USA, États-Unis, pp.27-46, hal-00457204

   COMMUNICATIONS NATIONALES

I. Attali, D. Caromel, L. Henrio, F. Luna
Secured Information Flow for Asynchronous Sequential Processes
3rd International Workshop on Security Issues in Concurrency (SecCo'05), 08/2005, San Francisco, USA, inria-00122937

I. Attali, T. Barros, E. Madelaine
Formalisation and Proofs of the Chilean Electronic Invoices System
in proc. of the XXIV International Conference of the Chilean Computer Science Society (SCCC'04), 10/2004, Arica, Chili, inria-00087210

T. Barros, A. Cansado, E. Madelaine, M. Rivera
Model-checking Distributed Components: The Vercors Platform
Formal Aspect of Component Systems, 09/2006, Prague / Tcheque republic, inria-00091569

T. Barros, L. Henrio, E. Madelaine
Behavioural Models for Hierarchical Components
SPIN'05, 2005, San Francisco, USA, inria-00122933

T. Barros, L. Henrio, E. Madelaine
Verification of Distributed Hierarchical Components
International Workshop on Formal Aspects of Component Software (FACS'05), 2005, Macao, inria-00122926

T. Barros, R. Boulifa, E. Madelaine
Parameterized Models for Distributed Java Objects
Forte'04 conference, 09/2004, Madrid, LNCS 3235, inria-00087222

F. Baude, D. Caromel, A. Di Costanzo, C. Delbe, M. Leyton
Towards Deployments Contracts in Large Scale Clusters & Desktop Grids
Workshop on Large-Scale and Volatile Desktop Grids (PCGrid 2007), 03/2007, Long Beach, California, États-Unis, hal-00128513

J. Bustos-Jimenez, D. Caromel, A. Di Costanzo, M. Leyton, J. M. Piquer
Balancing Active Objects on a Peer to Peer Infrastructure
Proceedings of the XXV International Conference of the Chilean Computer Science Society (SCCC 2005), 11/2005, Valdivia, Chile, inria-00001237

D. Caromel, V. Cavé, A. Di Costanzo, C. Brignolles, B. Grawitz, Y. Viala
Executing Hydrodynamic Simulation on Desktop Grid with ObjectWeb ProActive
HIC2006: Proceedings of the 7th International Conference on HydroInformatics, 04/09/2006, Nice, France, inria-00068176

D. Caromel, C. Delbé, A. Di Costanzo, M. Morel
Dynamically-Fulfilled Application Constraints through Technical Services - Towards Flexible Component Deployments
Proceedings of HPC-GECO/CompFrame 2006, HPC Grid programming Environments and COmponents - Component and Framework Technology in High-Performance and Scientific Computing, 19/06/2006, Paris, France, inria-00068595

D. Caromel, C. Delbe, A. Di Costanzo
Peer-to-Peer and Fault-Tolerance: Towards Deployment Based Technical Services
Second CoreGRID Workshop on Grid and Peer to Peer Systems Architecture, 01/2006, Paris, France, inria-00001238

D. Caromel, Ludovic Henrio
Asynchonous Distributed Components: Concurrency and Determinacy
Theoretical Computer Science 2006 (IFIP TCS'06), 2006, Santiago, Chile, inria-00122924

D. Caromel, A. Di Costanzo, D. Gannon, A. Slominski
Asynchronous Peer-to-PeerWeb Services and Firewalls
IPDPS '05: Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 5, 03/04/2005, Washington, DC, USA, pp.183.1, inria-00001236

L. Henrio, E. Madelaine
Experiments with distributed Model-Checking of group-based applications
Sophia-Antipolis Formal Analysis Workshop, 06/10/2010, Sophia-Antipolis, France, pp.3p., inria-00538499

L. Henrio, F. Kammüller
A Mechanized Model of the Theory of Objects
9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 06/06/2007, CYPRUS, inria-00150272

R. Le Riche, D. Caromel, R. Duvigneau
Optimization tools and applications developed during the OMD & OMD2 projects
Forum Teratech 2011, Complex systems engineering workshop (atelier ingénierie des systèmes complexes), 29/06/2011, Palaiseau, France, emse-00686596

   DIRECTION D'OUVRAGES

E. Madelaine, M. Lumpe
Proceedings of the 4th International Workshop on Formal Aspects of Component Software
Eric Madelaine and Markus Lumpe, ENTCS, 2008, inria-00337975

   CHAPITRE D'OUVRAGES

B. Amedro, F. Baude, D. Caromel, C. Delbé, I. Filali, F. Huet, E. Mathias, O. Smirnov
An efficient framework for running applications on clusters, grids, and clouds
in Cloud Computing
Nick Antonopoulos and Lee Gillam, Springer, 2010, Computer Communications and Networks, 978-1849962407hal-00694011

L. Baduel, F. Baude, D. Caromel, A. Contes, F. Huet, M. Morel, R. Quilici
Programming, Composing, Deploying for the Grid
in Grid Computing: Software Environments and Tools
Cunha, Jose C.; Rana, Omer F., Springer, 2006, 978-1-85233-998-2inria-00486114

   THESES et HDR

F. Baude
HDR:De la programmation parallèle structurée à la programmation pour la grille
Université de Nice Sophia-Antipolis, 15/09/2006, tel-00507049

L. Henrio
THESE:Calcul d'objet asynchrone : confluence et déterminisme
informatique, Université de Nice Sophia-Antipolis, 28/11/2003, tel-00505940

F. Huet
THESE:Objets mobiles : conception d'un middleware et évaluation de la communication
informatique, Université de Nice Sophia-Antipolis, 11/12/2002, tel-00505420

E. Madelaine
HDR:Specification, Model Generation, and Verification of Distributed Applications
Université de Nice Sophia-Antipolis, 29/09/2011, tel-00625248

   RAPPORTS DE RECHERCHE

S. Alouf, F. Huet, P. Nain
Forwarders vs. Centralized Server : An Evaluation of two Approaches for Locating Mobile Agents
04/2002, RR-4440, inria-00072148

B. Amedro, V. Bodnartchouk, D. Caromel, C. Delbe, F. Huet, G. Taboada
Current State of Java for HPC
Rapport Technique, 2008, RT-0353, inria-00312039

R. Ameur-Boulifa, R. Halalai, L. Henrio, E. Madelaine
Verifying Safety of Fault-Tolerant Distributed Components -- Extended Version
Rapport de recherche, RR-7717, inria-00621264

I. Attali, D. Caromel, R. Guider
Static Analysis of Java for Distributed and Parallel Programming
03/1999, RR-3634, inria-00073040

I. Attali, D. Caromel, S. O. Ehmety
An Operational Semantics for the Eiffel Language
11/1995, RR-2732, inria-00073962

T. Barros, L. Henrio, E. Madelaine
Behavioural Models for Hierarchical Components
Rapport de recherche, 2005, RR-5591, inria-00070416

T. Barros, E. Madelaine
Formalisation and verification of the Chilean electronic invoice system
06/2004, RR-5217, inria-00070777

T. Barros, R. Boulifa, A. Cansado, L. Henrio, E. Madelaine
Behavioural Models for Distributed Fractal Components
Rapport de recherche, RR-6491, inria-00268965

F. Baude, D. Caromel, C. Delbé, L. Henrio
A Fault Tolerance protocol for ASP calculus: Design and Proof
06/2004, RR-5246, inria-00070752

B. Bennour, L. Henrio, M. Rivera
A Reconfiguration Framework for Distributed Components
Rapport de recherche, RR-6911, inria-00379268

F. Bongiovanni, L. Henrio
Mechanical Support for Efficient Dissemination on the CAN Overlay Network
Rapport de recherche, 04/2011, RR-7599, inria-00585057

R. Boulifa, E. Madelaine
Preuve de propriétés de comportement deprogrammes ProActive
05/2002, RR-4460, inria-00072128

D. Caromel, C. Delbé, L. Henrio
Promised Consistency for Rollback Recovery
Rapport de recherche, 05/2006, RR-5902, inria-00071365

D. Caromel, L. Henrio
Asynchronous Sequential Processes
03/2003, RR-4753, inria-00071834

V. D. Doan, A. Gaikwad, M. Bossy, F. Baude, F. Abergel
A financial engineering benchmark for performance analysis of grid middlewares
Rapport Technique, 2009, RT-365, inria-00387324

V. D. Doan, A. Gaikwad, M. Bossy, F. Baude, I. Stokes-Rees
Parallel Pricing Algorithms for Multi--Dimensional Bermudan/American Options using Monte Carlo methods
Rapport de recherche, 2008, RR-6530, inria-00278514

I. Filali, F. Bongiovanni, F. Huet, F. Baude
RDF Data Indexing and Retrieval: A survey of Peer-to-Peer based solutions
Rapport de recherche, 26/11/2010, RR-7457, inria-00540314

C. Hamerling, V. Legrand, F. Baude, E. Mathias, C. Ruz, M. Fried, R. Krummenacher, P. Merle, N. Dolet
D1.4.1B SOA4All Runtime
Rapport Technique, hal-00673998

L. Henrio, F. Kammüller, H. Sudhof
ASPfun: A Functional and Distributed Object Calculus Semantics, Type-system, and Formalization
Rapport de recherche, 11/2007, RR-6353, inria-00186963

L. Henrio, F. Kammüller
A Formalization of the Theory of Objects in Isabelle/HOL
Rapport de recherche, 12/2006, RR-6079, inria-00121816

L. Henrio, B. P. Serpette, S. Szentes
Implementation and Complexity of the Lowest Static Reduction
12/2003, RR-5034, inria-00071550

L. Henrio, M. Rivera
An algorithm for safely stopping a component system
Rapport de recherche, RR-6444, inria-00239449

M. U. Khan, L. Henrio
First Class Futures: a Study of Update Strategies
Rapport de recherche, 2008, RR-7113, inria-00435573

R. Krummenacher, I. Toma, C. Hamerling, J.-P. Lorre, F. Baude, V. Legrand, P. Merle, C. Ruz, C. Pedrinaci, D. Liu, T. Pariente Lobo
D1.4.1A SOA4All Reference Architecture Specification
Rapport Technique, hal-00673752

N. Parlavantzas, M. Morel, F. Baude, F. Huet, D. Caromel, V. Getov
Componentising a Scientific Application for the Grid
Rapport Technique, hal-00694511

G. Peretti Pezzi, D. Caromel, E. Vaissié, Y. Viala, B. Grawitz, F. Bonnadier
High Performance Hydraulic Simulations on the Grid using Java and ProActive
Rapport de recherche, RR-7508, inria-00555866

C. Ruz, F. Baude, V. Legrand Contes
Towards Grid Monitoring and deployment in Jade, using ProActive
Rapport de recherche, 09/2007, RR-6340, inria-00182554

   COMMUNICATIONS SANS COMITÉ DE LECTURE

F. Baude, A. Bottaro, J.-M. Brun, A. Chazalet, A. Constancin, D. Donsez, L. Gurgen, P. Lalanda, V. Legrand, V. Lestideau, S. Marié, C. Marin, A. Moreau, V. Olive
Extension de passerelles OSGi pour les domaines de la distribution électrique: Modèles et outils
Atelier de travail OSGi 2006, 2006, Paris, France, hal-00097266

V. Dung Doan, M. Bossy, F. Baude, I. Stokes-Rees
Comparison of parallel distributed American option pricing: Through Continuation Values Classification Versus Optimal Exercise Boundary Computation
Sixth IMACS Seminar on Monte Carlo Methods, 18/06/2007, Reading, Royaume-Uni, hal-00605712

Publications du pôle GLC

   ARTICLES AVEC COMITÉ DE LECTURE

O. Barais, P. Lahire, A. Muller, N. Plouzeau
Évaluation de l'apport des aspects, des sujets et des vues pour la composition et la réutilisation des modèles
L'Objet, logiciel, base de données, réseaux (RSTI série), 13(2-3), pp.177-212, 2007, hal-00414637

Y. Bastide, R. Taouil, N. Pasquier, G. Stumme, L. Lakhal
Pascal : un algorithme d'extraction des motifs fréquents
Techniques et Science Informatiques, 21(1), pp.65-95, 28/03/2002, hal-00467760

M. Blay-Fornarino, V. Hourdin, C. Joffroy, S. Lavirotte, S. Mosser, A.-M. Pinna Déry, P. Renevier, M. Riveill, J.-Y. Tigli
Architecture pour l'adaptation de Systèmes d'Information Interactifs Orientés Services
Revues des Sciences et Technologies de l'Information (RSTI), pp.93--118, 2007, hal-00531330

L. Brisson, M. Collard
How to Semantically Enhance a Data Mining Process?
Lecture Notes in Business Information Processing, 13 pp.103-116, 01/04/2009, hal-00476279

M. Cremene, M. Riveill, C. Martel
Autonomic Adaptation based on Service-Context Adequacy Determination
Electronic Notes in Theoretical Computer Science, 189 pp.35-50, 07/2007, hal-00359274

P. Crescenzo, P. Lahire
De la réutilisabilité des applications vers celle des modèles
L'Objet, logiciel, base de données, réseaux (RSTI série), 12(2-3), pp.133-156, 01/09/2006, hal-00415759

H. Delingette, J. Montagnat
Topology and Shape Constraints on Parametric Active Contours
Computer Vision and Image Understanding, 83(2), pp.1-10, 09/2001, hal-00682936

H. Delingette, J. Montagnat
Shape and Topology Constraints on Parametric Active Contours
Computer Vision and Image Understanding, 83(2), pp.140--171, 2001, inria-00615109

L. Flórez-Valencia, J. Montagnat, M. Orkisz
3D models for vascular lumen segmentation in MRA images and for artery-stenting simulation
Ingénierie et Recherche Biomédicale (ITBM-RBM), 28(2), pp.65-71, 06/2007, hal-00683451

L. Flórez-Valencia, M. Orkisz, J. Montagnat
3D graphical models for vascular-stent pose simulation
Machine Graphics and vision, 13(3), pp.235-248, 2004, hal-00682926

C. Germain-Renaud, V. Breton, P. Clarysse, Y. Gaudeau, T. Glatard, E. Jeannot, Y. Legré, C. Loomis, I. Magnin, J. Montagnat, J.-M. Moureaux, A. Osorio, X. Pennec, R. Texier
Medical image analysis on grids
International Journal of Clinical Monitoring and Computing, 19(4-5), pp.339-349, 2005, inria-00174284

B. Gibaud, G. Kassel, M. Dojat, B. Batrancourt, F. Michel, A. Gaignard, J. Montagnat
NeuroLOG: sharing neuroimaging data using an ontology-based federated approach.
AMIA ... Annual Symposium proceedings [electronic resource] / AMIA Symposium. AMIA Symposium., 2011 pp.472-80, 2011, hal-00683087

T. Glatard, J. Montagnat, D. Lingrand, X. Pennec
Flexible and efficient workflow deployement of data-intensive applications on grids with MOTEUR
International Journal of High Performance Computing Applications, 22(3), pp.347-360, 08/2008, hal-00459130

T. Glatard, J. Montagnat, D. Emsellem, D. Lingrand
A Service-Oriented Architecture enabling dynamic services grouping for optimizing distributed workflows execution
Future Generation Computer Systems, 24(7), pp.720–-730, 07/2008, hal-00459808

T. Glatard, J. Montagnat, D. Lingrand, X. Pennec
Flexible and efficient workflow deployment of data-intensive applications on GRIDS with MOTEUR
International Journal of High Performance Computing Applications, 3(22), pp.347--360, 2008, inria-00616103

N. Jacq, J. Salzemann, F. Jacq, Y. Legré, E. Medernach, J. Montagnat, A. Maass, M. Reichstadt, H. Schwichtenberg, M. Sridhar, V. Kasam, M. Zimmermann, M. Hofmann, V. Breton
Grid enabled virtual screening against malaria
Journal of Grid Computing, 6 pp.29-43, 2008, in2p3-00114120

S. Jehan-Besson, M. Gastaud, F. Precioso, M. Barlaud, G. Aubert, E. Debreuve
From snakes to region-based active contours defined by region-dependent parameters
Applied Optics, 43(2), pp.247-256, 01/2004, hal-00331466

P. Lahire, L. Quintian
New Perspective To Improve Reusability in Object-Oriented Languages
Journal of Object Technology (ETH Zurich), 5(1), pp.117--138, 2006, hal-00414625

D. Lingrand, J. Montagnat, J. Martyniak, D. Colling
Optimization of jobs submission on the EGEE production grid: modeling faults using workload
Journal of Grid Computing, 8(2), pp.305-321, 03/2010, hal-00677775

D. Lingrand, T. Glatard, J. Montagnat
Modeling the latency on production grids with respect to the execution context
Parallel Computing, 35(10-11), pp.493--511, 10/2009, hal-00459261

R. Martinez, N. Pasquier, C. Pasquier
Mining association rule bases from integrated genomic data and annotations (extended version)
Lecture Notes in Bioinformatics, LNCS 5488, pp. , 01/04/2009, hal-00361770

R. Martinez, N. Pasquier, C. Pasquier
GenMiner: mining non-redundant association rules from integrated gene expression data and annotations
Bioinformatics, 24(22), pp.2643-4, 15/11/2008, hal-00361418

R. Martinez, N. Pasquier, C. Pasquier, M. Collard, L. Lopez-Perez
Analyse des groupes de gènes co-exprimés : un outil automatique pour l'interprétation des expériences de biopuces (version étendue)
REVUE DES NOUVELLES TECHNOLOGIES DE L'INFORMATION, Classification : points de vue croisés pp.Chapitre XXI, 01/04/2008, hal-00361718

R. Martinez, M. Collard
Extracted knowledge interpretation in mining biological data: A survey
International Journal of Computer Science & Applications, 4(2), pp.145-163, 27/08/2007, hal-00476710

R. Martinez, N. Pasquier, C. Pasquier, M. Collard, L. Lopez-Perez
Co-expressed Gene Groups Analysis (CGGA): An Automatic Tool for the Interpretation of Microarray Experiments
Journal of Integrative Bioinformatics, 3(12), pp.1-12, 28/08/2006, hal-00172501

F. Michel, A. Gaignard, F. Ahmad, C. Barillot, B. Batrancourt, M. Dojat, B. Gibaud, P. Girard, D. Godard, G. Kassel, D. Lingrand, G. Malandain, J. Montagnat, M. Pélégrini-Issac, X. Pennec, J. Rojas Balderrama, B. Wali
Grid-wide neuroimaging data federation in the context of the NeuroLOG project.
Studies in health technology and informatics, 159 pp.112-23, 2010, inserm-00512799

K. C. Mondal, A. Mukhopadhyay, U. Maulik, S. Bandhyapadhyay, N. Pasquier
MOSCFRA: A Multi-objective Genetic Approach for Simultaneous Clustering and Gene Ranking
Lecture Notes in Bioinformatics (LNCS), 6685 pp.174-187, 01/08/2011, hal-00616714

O. Monga, N. Ayache, P. Sander
Using uncertainty to link edge detection and local surface modelling
Image and Vision Computing, 10(6), pp.673--682, 1992, inria-00615541

O. Monga, P. Sander, N. Ayache
From Voxel to Intrinsic Surface Features
Image and Vision Computing, 10(6), pp.403--417, 1992, inria-00615542

J. Montagnat, T. Glatard, I. Campos Plasencia, F. Castejon, X. Pennec, G. Taffoni, V. Voznesensky, C. Vuerli
Workflow-based data parallel applications on the EGEE production grid infrastructure
Journal of Grid Computing, 6(8), pp.369-383, 12/2008, hal-00683983

J. Montagnat, A. Frohner, D. Jouvenot, C. Pera, P. Kunszt, B. Koblitz, N. Santos, C. Loomis, R. Texier, D. Lingrand, P. Guio, R. B. Da Rocha, A. Sobreira De Almeida, Z. Farkas
A Secure Grid Medical Data Manager Interfaced to the gLite Middleware
Journal of Grid Computing, 6(1), pp.45-59, 03/2008, hal-00683989

J. Montagnat, A. Frohner, D. Jouvenot, C. Pera, P. Kunszt, B. Koblitz, N. Santos, C. Loomis, R. Texier, D. Lingrand, P. Guio, R. Da Rocha, A. De Almeida, Z. Farkas
A Secure Grid Medical Data Manager Interfaced to the gLite Middleware
Journal of Grid Computing, 6 pp.45-59, 2008, in2p3-00438637

J. Montagnat, H. Delingette
4D deformable models with temporal constraints: application to 4D cardiac image segmentation
Medical Image Analysis, pp.87-100, 02/2005, hal-00682924

J. Montagnat, V. BRETON, I. Magnin
Partitionning medical image databases for content-based queries on a grid
Methods of Information in Medicine, 44(2), pp.154-160, 2005, hal-00683642

J. Montagnat, M. Sermesant, H. Delingette, G. Malandain, N. Ayache
Anisotropic Filtering for Model Based Segmentation of 4D Cylindrical Echocardiographic Images
Pattern Recognition Letters, 24(4-5), pp.815-828, 02/2003, hal-00682929

J. Montagnat, M. Sermesant, H. Delingette, G. Malandain, N. Ayache
Anisotropic filtering for model-based segmentation of 4D cylindrical echocardiographic images
Pattern Recognition Letters - Special Issue on Ultrasonic Image Processing and Analysis, 24(4-5), pp.815--828, 2003, inria-00615640

J. Montagnat, H. Delingette, N. Ayache
A review of deformable surfaces: topology, geometry and deformation
Image and Vision Computing, 9(14), pp.1023-1040, 12/2001, hal-00682932

J. Montagnat, H. Delingette, N. Ayache
A review of deformable surfaces: topology, geometry and deformation
Image and Vision Computing, 19(14), pp.1023-1040, 2001, inria-00615110

J. Montagnat, H. Delingette
Globally constrained deformable models for 3D object reconstruction
Signal Processing, 71(2), pp.173--186, 1998, inria-00615089

C. Nemo, M. Blay-Fornarino, J. Montagnat, M. Riveill
Réparation de modèles par transformations indempotentes
Revues des Sciences et Technologies de l'Information, 16(5), pp.73-108, 10/2011, hal-00683448

N. Pasquier, C. Pasquier, L. Brisson, M. Collard
Mining gene expression data using domain knowledge
International Journal of Software and Informatics, 2(2), pp.215-231, 18/12/2008, hal-00361427

N. Pasquier, R. Taouil, Y. Bastide, G. Stumme, L. Lakhal
Generating a condensed representation for association rules
Journal of Intelligent Information Systems, 24(1), pp.29-60, 17/02/2005, hal-00363015

N. Pasquier, Y. Bastide, R. Taouil, L. Lakhal
Closed sets based discovery of small covers for association rules (extended version)
Networking and Information Systems, 3(2), pp.349-377, 11/06/2001, hal-00467759

L. Soler, H. Delingette, G. Malandain, J. Montagnat, N. Ayache, C. Koehl, O. Dourthe, B. Malassagne, M. Smith, D. Mutter, J. Marescaux
Fully automatic anatomical, pathological, and functional segmentation from CT scans for hepatic surgery
Computer Aided Surgery, 6(3), pp.131-42, 2001, inria-00615108

G. Stumme, R. Taouil, Y. Bastide, N. Pasquier, L. Lakhal
Computing iceberg concept lattices with Titanic
Data and Knowledge Engineering, 42(2), pp.189-222, 01/08/2002, hal-00578830

J.-Y. Tigli, S. Lavirotte, R. Gaetan, H. Vincent, C.-F.-W. Daniel, C. Eric, M. Riveill
WComp middleware for ubiquitous computing: Aspects and composite event-based Web services
Annals of Telecommunications, 64(3-4), pp.197-214, 04/2009, hal-00378325

E. Toussirot, E. Pertuiset, C. Sordet, B. Augé, D. Wendling, B. Pallot-Pradès, P. Collet, A. Lohse, J.-C. Balblanc
Safety of rituximab in rheumatoid arthritis patients with a history of severe or recurrent bacterial infection: observational study of 30 cases in everyday practice.
Joint Bone Spine, 77(2), pp.142-5, 03/2010, hal-00474832

T. Truong Huu, G. Koslovski, F. Anhalt, J. Montagnat, P. Vicat-Blanc Primet
Joint Elastic Cloud and Virtual Network Framework for Application Performance-cost Optimization
Journal of Grid Computing, 9(1), pp.27-47, 03/2011, hal-00677784

T. Truong Huu, G. Koslovski, F. Anhalt, J. Montagnat, P. Vicat-Blanc Primet
Joint elastic cloud and virtual network framework for application performance optimization and cost reduction
Journal of Grid Computing, 9(1), pp.27-47, 2010, hal-00684906

   COMMUNICATIONS INTERNATIONALES

M. Acher, A. Cleve, P. Collet, P. Merle, L. Duchien, P. Lahire
Reverse Engineering Architectural Feature Models
5th European Conference of Software Architecture (ECSA), 14/09/2011, Essen, Allemagne, inria-00614984

M. Acher, P. Collet, P. Lahire, S. Moisan, J.-P. Rigault
Modeling Variability from Requirements to Runtime
IEEE CS proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, 27/04/2011, Las Vegas, États-Unis, inria-00617273

M. Acher, P. Collet, P. Lahire, R. B. France
Managing Variability in Workflow with Feature Model Composition Operators
International Conference on Software Composition 2010, 01/07/2010, Malaga, Espagne, pp.16, LNCS, hal-00484152

M. Acher, P. Collet, P. Lahire, R. B. France
Comparing Approaches to Implement Feature Model Composition
Sixth European Conference on Modelling Foundations and Applications, 15/06/2010, Paris, France, pp.16, LNCS, hal-00484232

M. Acher, P. Collet, F. Fleurey, P. Lahire, S. Moisan, J.-P. Rigault
Modeling Context and Dynamic Adaptations with Feature Models
4th International Workshop Models@run.time at Models 2009 (MRT'09), 05/10/2009, États-Unis, pp.10, hal-00419990

M. Acher, P. Collet, P. Lahire, R. France
Composing Feature Models
2nd International Conference on Software Language Engineering (SLE'09), 05/10/2009, Denver, États-Unis, 5969, pp.62-81, LNCS, hal-00415767

M. Acher, P. Lahire, S. Moisan, J.-P. Rigault
Tackling High Variability in Video Surveillance Systems through a Model Transformation Approach
International workshop on Modeling in software engineering at ICSE 2009 (MiSE'09), 17/05/2009, Vancouver, Canada, pp.44-49, hal-00415770

M. Acher, P. Collet, P. Lahire, J. Montagnat
Imaging Services on the Grid as a Product Line: Requirements and Architecture
Workshop Service-Oriented Architectures and Software Product Lines - Putting Both Together (SOAPL'08), at SPLC 2008, 08/09/2008, Limerick, Irlande, pp.6, hal-00419992

M. Acher, P. Collet, P. Lahire
Issues in Managing Variability of Medical Imaging Grid Services
MICCAI-Grid Workshop, 06/09/2008, New York, États-Unis, pp.95--104, hal-00459517

C. Barrios-Hernandez, Y. Denneulin, M. Riveill
High Bandwidth Anomalies in Cluster and Grid Data Transfer
Proceedings of the 2007 IFIP International Conference on Network and Parallel Computing Workshops (NPC07), 18/07/2007, Dalian, Chine, pp.442-448, hal-00359293

P. Borgnat, N. Larrieu, P. Owezarski, P. Abry, J. Aussibal, L. Gallon, G. Dewaele, K. Boudaoud, L. Bernaille, A. Scherrer, Y. Zhang, Y. Labit
Détection d'attaques de Dénis de Service par un modèle non gaussien multirésolution
Colloque Francophone sur l'Ingénierie des Protocoles CFIP 2006, 11/2006, Tozeur, Tunisie, pp...., hal-00349424

M. Brice, G. Perrouin, P. Lahire, O. Barais, G. Vanwormhoudt, J.-M. Jézéquel
Weaving Variability into Domain Metamodels
12th International Conference on Model Driven Engineering Languages and Systems (MODELS'2009), ACM/IEEE, 04/10/2009, Denver, États-Unis, pp.15, LNCS, hal-00414645

L. Brisson, M. Collard, N. Pasquier
Improving the knowledge discovery process using ontologies
IEEE MCD'2005 international workshop on Mining Complex Data, 25/11/2005, Houston, États-Unis, pp.25-32, hal-00363017

L. Brisson, N. Pasquier, C. Hébert, M. Collard
HASAR: mining sequential association rules for atherosclerosis risk factor analysis
PKDD'04 Discovery Challenge on risk factors of patients with atherosclerosis co-located with the 8th European Conference on Principles and Practice of Knowledge Discovery in Databases PKDD'04, 2004, Italie, pp.14-25, hal-00324803

N. Cerezo, J. Montagnat
Scientific Workflow Reuse through Conceptual Workflows
Workshop on Workflows in Support of Large-Scale Science (WORKS'11), 11/2011, Seattle, États-Unis, pp.1-10, hal-00677831

A. Charnoz, D. Lingrand, J. Montagnat
A levelset based method for segmenting the heart in 3D+T gated SPECT images
International Workshop on Functional Imaging and Modeling of the Heart (FIMH'03), 06/2003, Lyon, France, pp.50-59, hal-00691656

P. Collet, F. Krikava, J. Montagnat, M. Blay-Fornarino, D. Manset
Issues and Scenarios for Self-Managing Grid Middleware
Workshop on Grids Meet Autonomic Computing, 06/2010, Washington, DC, États-Unis, pp.1-10, hal-00683109

L. Collins, J. Montagnat, A. Zijdenbos, A. Evans
Automated estimation of brain volume in Multiple Sclerosis with BICCR
Information Processing in Medical Imaging (IPMPI01), 06/2001, Davis, CA, États-Unis, pp.1-10, hal-00691684

M. Cremene, M. Riveill
Service-context unified knowledge representation for autonomic adaptation
6th International and Interdisciplinary Conference, CONTEXT 2007, 20/08/2007, Roskilde, Danemark, pp.150-163, LNAI, hal-00359127

M. Cremene, M. Riveill
Service-Context Knowledge-based Solution for Autonomic Adaptation
4th International Conference ATC 2007, 11/07/2007, Hong Kong, Chine, 4610, pp.61-70, LNCS, hal-00359129

H. Delingette, E. Bardinet, D. Rey, J. Lemarechal, J. Montagnat, S. Ourselin, A. Roche, D. Dormont, J. Yelnik, N. Ayache
YAV++: a Software Platform for Medical Image Processing and Visualization
Workshop on Interactive Medical Image Visualization and Analysis satellite symposia of MICCAI, IMIVA'01, 2001, Utrecht, The Netherlands, Pays-Bas, inria-00615901

H. Delingette, J. Montagnat
New Algorithms for Controlling Active Contours Shape and Topology
European Conference on Computer Vision (ECCV00), 06/2000, Dublin, Irlande, pp.381-395, hal-00691692

H. Delingette, J. Montagnat
New Algorithms for Controlling Active Contours Shape and Topology
European Conference on Computer Vision (ECCV'2000), 2000, Dublin, Ireland, Irlande, pp.381-395, LNCS, inria-00615846

H. Delingette, J. Montagnat
General Deformable Model Approach for Model-Based Reconstruction
International Workshop on Model-Based 3D Image Analysis (MB3IA98), 01/1998, Bombay, Inde, pp.1-10, hal-00691702

T.-T. Doan, Q.-M. Dao, T.-H. Vu, H.-P. Pham, V. Breton, H.-Q. Nguyen, J. Salzemann, Y. Legre, T.-H. Le, J. Montagnat
g-INFO portal: a solution to monitor Influenza A on the Grid for non-grid users
HealthGrid, 06/2011, Bristol, Royaume-Uni, pp.1-10, hal-00683104

H. Duque, J. Montagnat, J.-M. Pierson, L. Brunie, I. Magnin
DM2: A Distributed Medical Data Manager for Grids
Biogrid'03 workshop, 05/2003, Tokyo, Japon, pp.138-147, hal-00691663

G. Ereteo, M. Buffa, F. Gandon, O. Corby
Analysis of a Real Online Social Network using Semantic Web Frameworks
ISWC 2009, 10/2009, Washington, États-Unis, 5823/2009, pp.180-195, hal-00562035

G. Erétéo, F. Gandon, O. Corby, M. Buffa
Semantic Social Network Analysis
Web Science, 18/03/2009, Athènes, Grèce, inria-00378174

S. Farraposo, K. Boudaoud, L. Gallon, P. Owezarski
Some Issues raised by DoS Attacks and the TCP/IP Suite
4ème conférence sur la Sécurité et les Architectures Réseau (SAR'2005), 10/2005, Batz sur mer, France, pp...., hal-00349447

R. Ferreira Da Silva, S. Camarasu-Pop, B. Grenier, V. Hamar, D. Manset, J. Montagnat, J. Revillard, J. Rojas Balderrama, A. Tsaregorodtsev, T. Glatard
Multi-infrastructure workflow execution for medical simulation in the Virtual Imaging Platform
HealthGrid'11, 06/2011, Bristol, Royaume-Uni, pp.1-10, hal-00677827

L. Flórez-Valencia, J. Montagnat, M. Orkisz
3D graphical models for vascular-stent pose simulation
International Conference on Computer Vision and Graphics (ICCVG02), 09/2002, Zakopane, Pologne, pp.1-10, hal-00691676

A. Gaignard, J. Montagnat, B. Wali, B. Gibaud
Characterizing semantic service parameters with Role concepts to infer domain-specific knowledge at runtime
International Conference on Knowledge Engineering and Ontology Development (KEOD'11), 10/2011, Paris, France, pp.1-12, hal-00677829

A. Gaignard, J. Montagnat
Intégration des connaissances en neurosciences dans un environnement multi-centrique
Journées francophones d'Ingénierie des Connaissances (IC 2010), 06/2010, Nîmes, France, pp.21-30, hal-00691827

A. Gaignard, J. Montagnat
A distributed security policy for neuroradiological data sharing
HealthGrid, 06/2009, Berlin, Allemagne, pp.257-262, hal-00677795

C. Germain, V. Breton, P. Clarysse, Y. Gaudeau, T. Glatard, E. Jeannot, Y. Legré, C. Loomis, J. Montagnat, J.-M. Moureaux, A. Osorio, X. Pennec, R. Texier
Grid-enabling medical image analysis
Cluster Computing and Grid 2005 (CCGrid05) Bio-Medical Computations on the Grid (Bio-Grid), 09/05/2005, Cardiff, Royaume-Uni, 19, pp.339-349, hal-00166971

T. Glatard, J. Montagnat, X. Pennec
A framework for evaluating the impact of compression on registration algorithms without gold standard
International Conference on Image Processing, 10/2008, San Diego, California, États-Unis, pp.2912-2915, hal-00683112

T. Glatard, J. Montagnat
Implementation of Turing machines with the Scufl data-flow language
Workshop on Workflow Systems in e-Science, 05/2008, Lyon, France, pp.1-10, hal-00683113

T. Glatard, J. Montagnat, X. Pennec
A framework for evaluating the impact of compression on registration algorithms without gold standard
International Conference on Image Processing, 2008, no address, États-Unis, pp.2912--2915, inria-00616118

T. Glatard, D. Lingrand, J. Montagnat, M. Riveill
Impact of the execution context on Grid job performances
International Workshop on Context-Awareness and Mobility in Grid Computing (WCAMG'07), 14/05/2007, Rio de Janeiro, Brésil, pp.713--718, hal-00459267

T. Glatard, J. Montagnat, X. Pennec
Optimizing jobs timeouts on clusters and production grids
Cluster Computing and the Grid, 05/2007, Rio de Janeiro, Brésil, pp.100-107, hal-00683172

T. Glatard, X. Pennec, J. Montagnat
Performance evaluation of grid-enabled registration algorithms using bronze-standards
Medical Image Computing and Computer-Assisted Intervention, 10/2006, Copenhagen, Danemark, pp.152-160, hal-00683176

T. Glatard, D. Emsellem, J. Montagnat
Generic web service wrapper for efficient embedding of legacy codes in service-based workflows
Grid-Enabling Legacy Applications and Supporting End Users Workshop, 06/2006, Paris, France, pp.1-10, hal-00683196

T. Glatard, J. Montagnat, X. Pennec
An experimental comparison of Grid5000 clusters and the EGEE grid
Experimental Grid testbeds for the assessment of large-scale distributed applications and tools, 06/2006, Paris, France, pp.1-10, hal-00683199

T. Glatard, J. Montagnat, X. Pennec
Efficient services composition for grid-enabled data-intensive applications
High Performance and Distributed Computing, 06/2006, Paris, France, pp.333-334, hal-00683201

T. Glatard, J. Montagnat, X. Pennec
Medical image registration algorithms assesment: Bronze Standard application enactment on grids using the MOTEUR workflow engine
HealthGrid, 06/2006, Valencia, Espagne, pp.93-103, hal-00683188

T. Glatard, J. Montagnat, X. Pennec
Probabilistic and dynamic optimization of job partitioning on a grid infrastructure
Parallel, Distributed and network-based Processing, 02/2006, Montbéliard-Sochaux, France, pp.231-238, hal-00683203

T. Glatard, J. Montagnat, X. Pennec
Grid-enabled workflows for data intensive medical applications
International Symposium on Computer-Based Medical Systems (CBMS), 06/2005, Dublin, Irlande, pp.537-542, hal-00691613

T. Glatard, J. Montagnat, X. Pennec
Grid-enabled workflows for data intensive applications
Proc. 18th IEEE Symp. on Computer Based Medical Systems (CBMS'05), Dublin, Ireland, June 23-24, 2005, Dublin, Ireland, Irlande, pp.537-542, inria-00616000

T. Glatard, J. Montagnat, I. Magnin
Texture based medical image indexing and retrieval: application to cardiac imaging
workshop on Multimedia Information Retrieval (MIR), 10/2004, New York, États-Unis, pp.135-142, hal-00691625

A. Guermouche, H. Renard
A First Step to the Evaluation of SimGrid in the Context of a Complex Application
Heterogeneity in Computing Workshop, 24/05/2010, États-Unis, pp.1-10, hal-00549253

D. Hill, X. Pennec, M. Burns, M. Parkin, J. Hajnal, R. Stefanescu, D. Rueckert, J. Montagnat
Intraoperable Medical Image Registration Grid Service
Proc. of HealthGrid 2004, 2004, Clermont-Ferrand, France, inria-00615977

V. Hourdin, J.-Y. Tigli, S. Lavirotte, G. Rey, M. Riveill
SLCA, Composite Services for Ubiquitous Computing
5th International Conference on Mobile Technology, Applications and Systems (Mobility'08), 10/09/2008, Taiwan, Taïwan, Province De Chine, Article N°11, pp.8, hal-00360509

G. Koslovski, W.-L. Yeow, C. Westphal, T. Truong Huu, J. Montagnat, P. Vicat-Blanc Primet
Reliablility Support in Virtual Infrastructures
IEEE International Conference on Cloud Computing Technology and Science (CloudCom'10), 11/2010, Indianapolis, États-Unis, pp.1-10, hal-00677823

G. Koslovski, W.-L. Yeow, C. Westphal, T. T. Huu, J. Montagnat, P. Vicat-Blanc Primet
Reliability Support in Virtual Infrastructures
2nd IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2010), 30/11/2010, Indianapolis, États-Unis, hal-00684562

G. Koslovski, T. Truong Huu, J. Montagnat, P. Vicat-Blanc Primet
Executing distributed applications on virtualized infrastructures specified with the VXDL language and managed by the HIPerNET framework
International Conference on Cloud Computing (CloudComp'09), 10/2009, Munich, Allemagne, pp.1-17, hal-00677804

P. Lahire, B. Morin, G. Vanwormhoudt, A. Gaignard, O. Barais, J.-M. Jézéquel
Introducing variability into Aspect-Oriented Modeling approaches
In Proceedings of ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 07), 2007, Nashville, TN, USA, États-Unis, inria-00477562

F. Limpens, F. Gandon, M. Buffa
Un cycle de vie complet pour l'enrichissement sémantique des folksonomies
Extraction Gestion de Connaissance EGC 2011, 01/2011, Brest, France, pp.1-12, hal-00568903

F. Limpens, F. Gandon, M. Buffa
Helping online communities to semantically enrich folksonomies
Web Science 2010, 06/2010, Raleigh, États-Unis, pp.1-8, hal-00530364

F. Limpens, F. Gandon, M. Buffa
Rapprocher les ontologies et les folksonomies pour la gestion des connaissances partagées : un état de l'art.
19es Journées Francophones d'Ingénierie des Connaissances (IC 2008), 06/2008, Nancy, France, pp.123-134, hal-00416693

D. Lingrand, J. Montagnat
Efficient resubmission strategies to design robust grid production environments
IEEE e-Science (e-Science), 12/2010, Brisbane, Australie, pp.1-8, hal-00677824

D. Lingrand, J. Montagnat, T. Glatard
Modeling user submission strategies on production grids
International Symposium on High Performance Distributed Computing, 11/06/2009, Munchen, Allemagne, pp.121-130, hal-00459073

D. Lingrand, J. Montagnat, J. Martyniak, D. Colling
Analyzing the EGEE production grid workload: application to jobs submission optimization
14th Workshop on Job Scheduling Strategies for Parallel Processing, 29/05/2009, Roma, Italie, LNCS 5798, pp.37--58, hal-00459077

D. Lingrand, J. Montagnat, T. Glatard
Estimating the execution context for refining submission strategies on production grids
CCGrid, 19/05/2008, Lyon, France, pp.753 -- 758, hal-00461155

D. Lingrand, J. Montagnat
Levelset and B-spline deformable model techniques for image segmentation: a pragmatic comparative study
14th Scandinavian Conference on Image Analysis, 19/06/2005, Joennsu, Finlande, pp.25--34, hal-00460711

D. Lingrand, A. Charnoz, M. Koulibaly, J. Darcourt, J. Montagnat
Toward accurate segmentation of the LV myocardium and chamber for volumes estimation in gated SPECT sequences
European Conference on Computer Vision (ECCV'04), 05/2004, Prague, Tchèque, République, LNCS 3024, pp.1-10, hal-00691648

D. Lingrand, J. Montagnat, L. D. Collins, J. Gotman
Compensating Small Head Displacements for an accurate fMRI Registration
Scandinavian Conference on Image Analysis (SCIA), 06/2001, Bergen, Norvège, pp.10-16, hal-00691688

K. Maheshwari, J. Montagnat
Scientific workflows development using both visual-programming and scripted representations
International Workshop on Scientific Workflows (SWF'10), 07/2010, Miami, États-Unis, pp.1-8, hal-00677817

K. Maheshwari, C. Goble, P. Missier, J. Montagnat
Medical Image Processing Workflow Support on the EGEE Grid with Taverna
Intl Symposium on Computer Based Medical Systems (CBMS'09), 08/2009, New Mexico, États-Unis, pp.1-7, hal-00677802

K. Maheshwari, T. Glatard, J. Schaerer, B. Delhay, S. Camarasu-Pop, P. Clarysse, J. Montagnat
Towards Production-level Cardiac Image Analysis with Grids
HealthGrid, 06/2009, Berlin, Allemagne, pp.1-10, hal-00677800

R. Martinez, N. Pasquier, C. Pasquier
Mining association rule bases from integrated genomic data and annotations
CIBB international conference on Computational Intelligence methods for Bioinformatics and Biostatistics, 03/10/2008, Salerno, Italie, pp.33-43, hal-00361729

R. Martinez, N. Pasquier, C. Pasquier
GenMiner: mining informative association rules from genomic data
IEEE BIBM'2007 international conference on Bioinformatics and Biomedecine, 02/11/2007, Silicon Valley, États-Unis, pp.15-22, hal-00361737

R. Martinez, N. Pasquier, C. Pasquier, L. Lopez-Perez
Interpreting microarray experiments via co-expressed gene groups analysis
DS'2006 international conference on Discovery Science, 11/10/2006, Barcelona, France, 4265, pp.316-320, Lecture Notes in Artificial Intelligence, hal-00362761

R. Martinez, R. Christen, C. Pasquier, N. Pasquier
Exploratory analysis of cancer SAGE data
PKDD'2005 International Conference, 03/10/2005, Porto, Portugal, pp.6 pages, hal-00363020

L. Meziou, A. Histace, F. Precioso
ALPHA-DIVERGENCE MAXIMIZATION FOR STATISTICAL REGION BASED ACTIVE CONTOUR SEGMENTATION WITH NON PARAMETRIC PDF ESTIMATIONS
International Conference on Acoustic Speech and Signal Processing, 25/03/2012, Kyoto, Japon, pp.accepted, hal-00672258

L. Meziou, A. Histace, F. Precioso, B. Matuszewski, F. Carreiras
3D Confocal Microscopy data analysis using level-set segmentation with alpha-divergence similarity measure
International Conference on Computer Vision Theory and Applications, 24/02/2012, Rome, Italie, pp.accepted, hal-00656689

F. Michel, J. Montagnat, T. Glatard
Technical support for Life Sciences communities on a production grid infrastructure
HealthGrid'12, 05/2012, Amsterdam, Pays-Bas, pp.1-10, hal-00677839

F. Michel, A. Gaignard, F. Ahmad, C. Barillot, B. Batrancourt, M. Dojat, B. Gibaud, P. Girard, D. Godard, G. Kassel, D. Lingrand, G. Malandain, J. Montagnat, M. Pélégrini-Issac, X. Pennec, J. Rojas Balderrama, B. Wali
Grid-wide neuroimaging data federation in the context of the NeuroLOG project
HealthGrid'10, 06/2010, Paris, France, pp.112-123, hal-00677815

I. Mirbel
Vers une ontologie pour les communautés de développement de logiciel libre.
19es Journées Francophones d'Ingénierie des Connaissances (IC 2008), 06/2008, Nancy, France, pp.73-85, hal-00416689

S. Moisan, J.-P. Rigault, M. Acher, P. Collet, P. Lahire
Run Time Adaptation of Video-Surveillance Systems: A software Modeling Approach
ICVS, 8th International Conference on Computer Vision Systems, 20/09/2011, Sophia Antipolis, France, France, inria-00617279

K. C. Mondal, N. Pasquier, A. Mukhopadhyay, C. Da Costa Pereira, U. Maulik, A. Tettamanzi
Prediction of Protein Interactions on HIV-1 - Human PPI Data Using a Novel Closure-Based Integrated Approach
International Conference on Bioinformatics Models, Methods and Algorithms, 01/02/2012, Vilamoura, Portugal, pp.164-173, hal-00684571

K. C. Mondal, A. Mukhopadhyay, U. Maulik, S. Bandhyapadhyay, N. Pasquier
Simultaneous Clustering and Gene Ranking: A Multiobjective Genetic Approach
International Conference on Computational Intelligence for Bioinformatics and Biostatistics (CIBB'2010), 16/09/2010, Palermo, Italie, pp.104-114, Proceedings of DMI, hal-00578845

J. Montagnat, T. Glatard, D. Reimert, K. Maheshwari, E. Caron, F. Desprez
Workflow-based comparison of two Distributed Computing Infrastructures
Workshop on Workflows in Support of Large-Scale Science (WORKS'10), 11/2010, New Orleans, États-Unis, pp.1-10, hal-00677820

J. Montagnat, B. Isnard, T. Glatard, K. Maheshwari, M. Blay-Fornarino
A data-driven workflow language for grids based on array programming principles
Workshop on Workflows in Support of Large-Scale Science (WORKS'09), 11/2009, Portland, États-Unis, pp.1-10, hal-00677806

J. Montagnat, A. Gaignard, D. Lingrand, J. Rojas Balderrama, P. Collet, P. Lahire
NeuroLOG: a community-driven middleware design
HealthGrid, 02/06/2008, Chicago, États-Unis, pp.49--58, hal-00461611

J. Montagnat, D. Jouvenot, C. Pera, A. Frohner, P. Kunszt, B. Koblitz, N. Santos, C. Loomis
Bridging clinical information systems and grid middleware: a Medical Data Manager
HealthGrid, 06/2006, Valencia, Espagne, pp.14-24, hal-00683184

J. Montagnat, T. Glatard, D. Lingrand
Data composition patterns in service-based workflows
Workshop on Workflows in Support of Large-Scale Science, 06/2006, Paris, France, pp.1-10, hal-00683193

J. Montagnat, E. Davila, I. Magnin
Efficient visualization of 3D medical scenes for remote interactive applications
Image and Signal Processing and Analysis (ISPA), 09/2003, Roma, Italie, pp.1-10, hal-00691652

J. Montagnat, V. BRETON, I. Magnin
Using grid technologies to face medical image analysis challenges
Biogrid'03 workshop, 05/2003, Tokyo, Japon, pp.588-593, hal-00691658

J. Montagnat, H. Duque, J.-M. Pierson, V. BRETON, L. Brunie, I. Magnin
Medical Image Content-Based Queries using the Grid
HealthGrid'03, 01/2003, Lyon, France, pp.138-147, hal-00683997

J. Montagnat, H. Delingette
Space and Time Shape Constrained Deformable Surfaces for 4D Medical Image Segmentation
Medical Image Computing and Computer Assisted Intervention (MICCAI00), 10/2000, Pittsburgh, PA, États-Unis, pp.196-205, hal-00691926

J. Montagnat, H. Delingette, N. Scapel, N. Ayache
Surface Simplex Meshes for 3D Medical Image Segmentation
International Conference on Robotics and Automation (ICRA00), 04/2000, San Francisco, CA, États-Unis, pp.1-10, hal-00691695

J. Montagnat, H. Delingette
Space and Time Shape Constrained Deformable Surfaces for 4D Medical Image Segmentation
Medical Image Computing and Computer-Assisted Intervention (MICCAI'2000), 2000, Pittsburgh, USA, États-Unis, 1935, pp.196--205, Lectures Notes in Computer Science, inria-00615851

J. Montagnat, H. Delingette, G. Malandain
Cylindrical Echocadiographic Image Segmentation Based on 3D Deformable Models
conference on Medical Image Computing and Computer Assisted Intervention (MICCAI99), 09/1999, Cambridge, Royaume-Uni, pp.168-175, hal-00691700

J. Montagnat, H. Delingette, G. Malandain
Cylindrical Echocardiographic Images Segmentation based on 3D Deformable Models
Medical Image Computing and Computer-Assisted Intervention (MICCAI'99), 1999, Cambridge, UK, Royaume-Uni, 1679, pp.168--175, Lectures Notes in Computer Science, inria-00615828

J. Montagnat, H. Delingette
A Hybrid Framework for Surface Registration and Deformable Models
Computer Vision and Pattern Recognition (CVPR97), 06/1997, San Juan, Porto Rico, pp.1041-1046, hal-00691705

J. Montagnat, H. Delingette
Volumetric Medical Images Segmentation using Shape Constrained Deformable Models
Proceedings of Computer Vision Virtual reality and Robotics in Medicine (CVRMed97), 03/1997, Grenoble, France, LNCS 1205, pp.13-22, hal-00691709

J. Montagnat, H. Delingette, N. Ayache, J.-M. Clément, C. Roy, Y. Russier, V. Tassetti, J. Marescaux
Liver Segmentation in Contrast Enhanced Helical CT-Scans
Proceedings of World Congress on Medical Physics and Biomedical Engineering, 1997, Nice, France, France, inria-00615792

J. Montagnat, H. Delingette
A Hybrid Framework for Surface Registration and Deformable Models
Computer Vision and Pattern Recognition, CVPR'97, 1997, San Juan, Puerto Rico, Porto Rico, pp.1041--1046, inria-00615782

J. Montagnat, H. Delingette
Volumetric Medical Images Segmentation using Shape Constrained Deformable Models
Proceedings of the First Joint Conference CVRMed-MRCAS'97, 1997, no address, France, 1205, pp.13--22, Lecture Notes in Computer Science, inria-00615795

B. Morin, G. Perrouin, P. Lahire, O. Barais, G. Vanwormhoudt, J.-M. Jézéquel
Weaving Variability into Domain Metamodels
ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), 2009, Denver, Colorado, USA, États-Unis, inria-00468519

B. Morin, G. Vanwormhoudt, P. Lahire, A. Gaignard, O. Barais, J.-M. Jézéquel
Managing Variability Complexity in Aspect Oriented Modelling
12th International Conference on Model Driven Engineering Languages and Systems (MODELS'2009), ACM/IEEE, 28/09/2008, Toulouse, France, 5301/2008, pp.797-812, LNCS, hal-00415774

B. Morin, G. Vanwormhoudt, P. Lahire, A. Gaignard, O. Barais, J.-M. Jézéquel
Managing Variability Complexity in Aspect-Oriented Modeling
In Proceedings of ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 08), 2008, Toulouse, France, France, inria-00457129

S. Mosser, M. Blay-Fornarino, J. Montagnat
Orchestration Evolution Following Dataflow Concepts: Introducing Unanticipated Loops Inside a Legacy Workflow
International Conference on Internet and Web Applications and Services (ICIW), 24/05/2009, Venice, Italie, pp.1-6, hal-00531036

S. Mosser, M. Blay-Fornarino, M. Riveill
Service Oriented Architecture Definition Using Composition of Business-Driven Fragments
Models and Evolution(MODSE'09), MODELS'09 workshop, 04/10/2009, Denver, Colorado, États-Unis, pp.1-10, hal-00531039

S. Mosser, F. Chauvel, M. Blay-Fornarino, M. Riveill
Web Service Composition: Mashups Driven Orchestration Definition
International Conference on Itelligent Agents, Web Technologies and Internet Commerce (IAWTIC'08), 10/12/2008, Vienna, Autriche, pp.1-6, hal-00531050

S. Mosser, M. Blay-Fornarino, M. Riveill
Web Services Orchestration Evolution : A Merge Process For Behavioral Evolution
2nd European Conference on Software Architecture(ECSA'08), 29/09/2008, Paphos, Chypre, pp.1-16, hal-00531051

C. Nemo, T. Glatard, M. Blay-Fornarino, J. Montagnat
Merging overlapping orchestrations: an application to the Bronze Standard medical application
Services Computing Conference, 07/2007, Salt Lake City, Utah, États-Unis, pp.364-371, hal-00683168

A. Occello, A.-M. Dery, M. Riveill, G. Kniessel
Managing Model Evolution Using the CCBM Approach
6th Workshop on Model Based Development for Computer Based Systems - "Partitioning, Integration and Versioning of Models", 02/04/2008, Belfast, Irlande, pp.453-462, hal-00359946

A. Occello, A.-M. Pinna, M. Riveill
Validation and Verification of an UML/OCL Model with USE and B: Case Study and Lessons Learnt
5th IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW'08), 09/04/2008, Lillehammer, Norvège, pp.113-120, hal-00360510

S. Olabarriaga, D. Lingrand, J. Montagnat
MICCAI-Grid Workshop
MICCAI 2008, 06/09/2008, New-York, États-Unis, Medical imaging on grids: achievements and perspectives, hal-00694970

D. Pallez, L. Brisson, T. Baccino
Towards a human eye behavior model by applying Data Mining Techniques on Gaze Information from IEC
Human Centered Processes, 09/06/2008, Delft, Pays-Bas, pp.120-121, hal-00266334

D. Pallez, P. Collard, T. Baccino, L. Dumercy
Eye-Tracking Evolutionary Algorithm to minimize user's fatigue in IEC applied to Interactive One-Max problem
GECCO '07: the 2007 GECCO conference companion on Genetic and evolutionary computation, 07/07/2007, London, Royaume-Uni, 3, pp.2883-2886, Workshop, hal-00165139

E. Pernod, J.-C. Souplet, J. Rojas Balderrama, D. Lingrand, X. Pennec
Multiple Sclerosis Brain MRI Segmentation Workflow deployment on the EGEE Grid
MICCAI, 06/09/2008, New York, États-Unis, pp.55--64, hal-00459138

J.-M. Pierson, L. Seitz, H. Duque, J. Montagnat
MetaData for Efficient, Secure and Extensible Access to Data in a Medical Grid
Database and Expert System Applications (DEXA'04), 09/2004, Zaragoza, Espagne, pp.562-566, hal-00691642

K. Plankensteiner, J. Montagnat, R. Prodan
IWIR: A Language Enabling Portability Across Grid Workflow Systems
Workshop on Workflows in Support of Large-Scale Science (WORKS'11), 11/2011, Seattle, États-Unis, pp.1-10, hal-00677832

B. Qiu, P. Clarysse, M. Janier, J. Montagnat, D. Vray
Comparison of 3D Deformable Models For in vivo Measurements of Mouse Embryo from 3D Ultrasound Images
International Ultrasonics, Ferroelectrics, and Frequency Control (UFFC'04), 08/2004, Montreal, Canada, pp.1-10, hal-00691644

L. M. Rocha, S. Moisan, J.-P. Rigault, S. Sagar
Towards Lightweight Dynamic Adaptation A Framework and its Evaluation
12th Argentine Symposium on Software Engineering (ASSE 2011), JAII0 2011, 29/08/2011, Córdoba, Argentine, inria-00616644

L. Rocha, S. Sen, S. Moisan, J.-P. Rigault
Towards Lightweight Dynamic Adaptation. A Framework and its Evaluation
12th Argentine Symposium on Software Engineering (ASSE 2011), JAII0 2011, 01/09/2011, Córdoba, Argentine, inria-00617266

J. Rojas Balderrama, T. Truong Huu, J. Montagnat
Scalable and Resilient Workflow Executions on Production Distributed Computing Infrastructures
International Symposium on Parallel and Distributed Computing (ISPDC 2012), 06/2012, Münich, Allemagne, pp.1-8, hal-00691579

J. Rojas Balderrama, J. Montagnat, D. Lingrand
jGASW: A Service-Oriented Framework Supporting High Throughput Computing and Non-functional Concerns
IEEE International Conference on Web Services (ICWS'10), 07/2010, Miami, États-Unis, pp.1-4, hal-00677819

R. Rönngren, M. Liljenstam, R. Ayani, J. Montagnat
Transparent Incremental State Saving in Time Warp Parallel Discrete Event Simulation
Parallel And Distributed Simulation (PADS96), 05/1996, Philadelphia, États-Unis, pp.70-77, hal-00691810

R. Rönngren, M. Liljenstam, R. Ayani, J. Montagnat
A Comparative Study of State Saving Mecanisms for Time Warp Synchronized Parallel Discrete Event Simulation
Annual Simulation Symposium (ASS'96), 03/1996, New Orleans, États-Unis, pp.1-10, hal-00691812

R. Rönngren, M. Liljenstam, J. Montagnat, R. Ayani
Transparent Incremental State Saving in Time Warp Parallel Discrete Event Simulation
10th Workshop on Parallel And Distributed Simulation, 1996, no address, États-Unis, inria-00615753

L. Seitz, J. Montagnat, J.-M. Pierson, D. Oriol, D. Lingrand
Authentication and autorisation prototype on the microgrid for medical data management
HealthGrid (HG), 04/2005, Oxford, Royaume-Uni, pp.1-10, hal-00691618

L. Soler, H. Delingette, G. Malandain, J. Montagnat, N. Ayache, J.-M. Clément, C. Koehl, O. Dourthe, D. Mutter, J. Marescaux
A Fully Automatic Anatomical, Pathological and Fonctionnal Segmentation from CT-scans for Hepatic Surgery
Medical Imaging 2000, 2000, San Diego, États-Unis, pp.246--255, SPIE proceedings, inria-00615852

L. Soler, O. Dourthe, G. Malandain, J. Montagnat, H. Delingette, N. Ayache
A new 3D segmentation of liver neoplasm, portal venous system and parenchymal contours
European Congress of Radiology, 2000, Vienne (Autriche), Autriche, inria-00615847

L. Soler, G. Malandain, J. Montagnat, H. Delingette, N. Ayache, J.-M. Clément, C. Roy, Y. Russier, V. Tassetti, J. Marescaux
Automatic Segmentation of Portal Vein in CT-Scans of the Liver
Proceedings of World Congress on Medical Physics and Biomedical Engineering, 1997, Nice, France, France, pp.788, inria-00615793

H. Takagi, D. Pallez
Paired Comparisons-based Interactive Differential Evolution
World Congress on Nature and Biologically Inspired Computing, 09/12/2009, Coimbatore, Inde, pp.375-480, hal-00415778

T. Truong Huu, J. Montagnat
Virtual resources allocation for workflow-based applications distribution on a cloud infrastructure
International Symposium on Cloud Computing (Cloud'10), 05/2010, Melbourne, Australie, pp.1-6, hal-00677810

S. Varette, J.-L. Roch, J. Montagnat, L. Seitz, J.-M. Pierson, F. Leprévost
Safe Distributed Architecture for Image-based Computer Assisted Diagnosis
Workshop on Health Pervasive Systems, 06/2006, Lyon, France, pp.1-10, hal-00683206

S. Varette, S. Georget, J. Montagnat, J.-L. Roch, F. Leprévost
Distributed Authentication in GRID5000
Grid Computing and its Application to Data Analysis (GADA'05), 11/2005, Agia Napa, Chypre, LNCS 3762, pp.314-326, hal-00691609

S. Varrette, S. Georget, J. Montagnat, J.-L. Roch, F. Leprévost
Distributed Authentication in GRID5000
GADA 2005 : The Second International Workshop on Grid Computing and its Application to Data Analysis, 31/10/2005, Agia Napa, Chypre, 3762, pp.314-326, LNCS, hal-00691869

P. Vicat-Blanc Primet, J.-P. Gelas, O. Mornard, G. Koslovski, V. Roca, L. Giraud, J. Montagnat, T. Truong Huu
A Scalable Security Model for Enabling Dynamic Virtual Private Execution Infrastructures on the Internet
International Symposium on Cluster Computing and the Grid, 05/2009, Shanghai, Chine, pp.1-8, hal-00677790

P. Vicat-Blanc Primet, J. Montagnat, F. Chanussot
Flexible and Dynamic Control of Network QoS in Grid environments: the QoSINUS approach
Cluster 2004, 09/2004, San Diego, États-Unis, pp.1-10, hal-00691636

D. Vray, A. Discher, J. Lefloc'H, W. Mai, P. Clarysse, Q. C. Pham, J. Montagnat, M. Janier
3D Quantification of Ultrasound Images: Application to Mouse Embryo Imaging In Vivo
Ultrasonics, Ferroelectrics, and Frequency Control Society (UFFC02), 10/2002, Munich, Allemagne, pp.1-10, hal-00691671

B. Wali, B. Gibaud, F. Ahmad, C. Barillot, F. Michel, B. Wali, B. Batrancourt, M. Dojat, P. Girard, A. Gaignard, D. Lingrand, J. Montagnat, J. Rojas Balderrama, G. Malandain, X. Pennec, D. Godard, G. Kassel, M. Pélégrini-Issac
A federated system for sharing and reuse of images and image processing tools in neuroimaging
in Proceedings of the Computer Assisted Radiology and Surgery (CARS'11), 22/06/2011, Berlin, Allemagne, pp.0-0, hal-00690921

A. Yurchyshyna, C. Faron-Zucker, I. Mirbel, B. Sall, N. Le Thanh, A. Zarli
Une approche ontologique pour formaliser la connaissance experte dans le modèle du contrôle de conformité en construction.
19es Journées Francophones d'Ingénierie des Connaissances (IC 2008), 06/2008, Nancy, France, pp.49-60, hal-00416687

   COMMUNICATIONS NATIONALES

P. Albert, M. Blay-Fornarino, P. Collet, B. Combemale, S. Dupuy-Chessa, A. Front, A. Grost, P. Lahire, X. Le Pallec, L. Ledrich, T. Nodenot, A.-M. Pinna-Dery, S. Rusinek
End-User Modelling
Défis du Génie de la Programmation et du Logiciel, journées nationales du GDR GPL, 2010, Pau, France, France, inria-00504668

J. Aussibal, P. Borgnat, Y. Labit, G. Dewaele, N. Larrieu, L. Gallon, P. Owezarski, P. Abry, K. Boudaoud
Base de traces d'anomalies légitimes et illégitimes
2nd Conference on Security in Network Architectures and Information Systems SAR-SSI 2007, 06/2007, Annecy, France, pp...., hal-00349423

P. Borgnat, N. Larrieu, P. Owezarski, P. Abry, J. Aussibal, L. Gallon, G. Dewaele, K. Boudaoud, L. Bernaille, A. Scherrer, Y. Zhang, Y. Labit
Détection d'attaques de Dénis de Service par un modèle non gaussien multirésolution
Colloque Francophone sur l'Ingénierie des Protocoles - CFIP 2006, 30/10/2006, Tozeur/Tunisia, Tunisie, Session 7 : sécurité, pp.12 p., inria-00111928

P. Borgnat, N. Larrieu, P. Owezarski, P. Abry, J. Aussibal, L. Gallon, G. Dewaele, K. Boudaoud, L. Bernaille, Y. Zhang, Y. Labit
Détection d'attaques en Dénis de Service par un modèle non gaussien multirésolution
CFIP 2006, 10/2006, Tozeur, Tunisie, pp.;, hal-00408607

M. Boufarguine, N. Thome, V. Guitteny, F. Precioso
Suivi 3D Monoculaire pour un Système de Vidéosurveillance à l'aide d'un Modèle de Mouvement et un Modèle d'Apparence
RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), 24/01/2012, Lyon, France, pp.978-2-9539515-2-3, hal-00660973

M. Boufarguine, N. Thome, V. Guitteny, F. Precioso
Suivi 3D Monoculaire pour un Système de Vidéosurveillance à l'aide d'un Modèle de Mouvement et un Modèle d'Apparence
RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), 24/01/2012, Lyon, France, pp.978-2-9539515-2-3, hal-00660977

L. Brisson, M. Collard, N. Pasquier
Ontologie et base de connaissances pour le pré-traitement et post-traitement en fouille de données
Atelier Fouille de Données Complexe de la conférence EGC'2006 sur l'Extraction et la Gestion des Connaissances, 17/01/2006, Lyon, France, pp. 13-26, hal-00362768

M. Buffa, G. Erétéo, F. Gandon
Wiki et Web Sémantique
IC 2007 : Ingénierie des Connaissances, 02/07/2007, Grenoble, France, inria-00379431

A. Capouillez, P. Crescenzo, P. Lahire
Le modèle OFL au service du métaprogrammeur
Conférence sur les langages et modèles à objets 2002 (LMO'2002), 23/01/2002, Montpellier, France, 8, pp.11-24, hal-00484442

O. Corby, C. Faron-Zucker, I. Mirbel
Démarches sémantiques de recherche d'information sur le Web
IC 2009 : 20es Journées Francophones d'Ingénierie des Connaissances « Connaissance et communautés en ligne », 26/05/2009, Tunisie, pp.289-300, hal-00380309

M. Cremene, M. Riveill, C. Martel, C. Loghin, C. Miron
Adaptation dynamique de services
2004, pp.53-64, ISBN : 2-7261-1276-5, hal-00003282

P. Crescenzo, P. Lahire, E. Tundrea
SmartModels : la généricité paramétrée au service des modèles métiers
Conférence sur les Langages et Modèles à objets 2006 (LMO'2006), 22/03/2006, Nîmes, France, pp.151-166, hal-00484373

T. Glatard, J. Montagnat, X. Pennec
Optimizing jobs timeouts on clusters and production grids
International Symposium on Cluster Computing and the Grid (CCGrid), 2007, Rio de Janeiro, Brésil, pp.100-107, inria-00616037

T. Glatard, D. Emsellem, J. Montagnat
Generic web service wrapper for efficient embedding of legacy codes in service-based workflows
Grid-Enabling Legacy Applications and Supporting End Users Workshop (GELA'06), Paris, France, June 19-23, 2006, no address, Terres Australes Françaises, inria-00615587

T. Glatard, J. Montagnat, X. Pennec
An experimental comparison of Grid5000 clusters and the EGEE grid
Proc of the Workshop on Experimental Grid testbeds for the assessment of large-scale distributed applications and tools (EXPGRID'06), Paris, France, June 19-23, 2006, no address, France, inria-00615593

T. Glatard, J. Montagnat, X. Pennec
Efficient services composition for grid-enabled data-intensive applications
Proceedings of the IEEE International Symposium on High Performance Distributed Computing (HPDC'06), Paris, France, June 19, 2006, no address, France, pp.333--334, inria-00615604

T. Glatard, J. Montagnat, X. Pennec
Medical image registration algorithms assessment: Bronze Standard application enactment on grids using the MOTEUR workflow engine
Proc. of the HealthGrid conference (HealthGrid'06), Valencia, Spain, June 7-9, 2006, no address, Espagne, 120, pp.93--103, Studies in Health Technology and Informatics, inria-00615598

T. Glatard, J. Montagnat, X. Pennec
Probabilistic and dynamic optimization of job partitioning on a grid infrastructure
14th euromicro conference on Parallel, Distributed and network-based Processing (PDP06), 2006, Montbéliard-Sochaux, France, pp.231-238, inria-00615580

T. Glatard, X. Pennec, J. Montagnat
Performance evaluation of grid-enabled registration algorithms using bronze-standards
Proc. of the 9th International Conference on Medical Image Computing and Computer Assisted Intervention (MICCAI'06), Part II, 2006, no address, Danemark, 4191, pp.152--160, LNCS, inria-00615597

F. Limpens, F. Gandon, M. Buffa
Sémantique des folksonomies: structuration collaborative et assistée
Ingénierie des Connaissances, 05/2009, Hammamet, Tunisie, pp.37-48, inria-00378223

F. Limpens, F. Gandon, M. Buffa
Economie de la contribution et outils de partage de connaissances
Ingénierie des connaissances, 2008, Nancy, France, pp.1-8, hal-00530373

D. Lingrand, J. Montagnat, T. Glatard
Estimation of latency on production grid over several weeks
ICT4Health, 28/02/2008, Manila, Philippines, pp.4, hal-00461615

R. Martinez, N. Pasquier, C. Pasquier, M. Collard
Analyse des groupes de gènes co-exprimés : un outil automatique pour l'interpretation des expériences de biopuces
SFC'2006 Conference, 30/05/2006, Metz, France, pp.10 pages, hal-00363018

J. Montagnat, T. Glatard, D. Lingrand
Data composition patterns in service-based workflows
Workshop on Workflows in Support of Large-Scale Science (WORKS'06), 2006, Paris, France, France, inria-00615613

J. Montagnat, H. Delingette
Reconstruction surfacique et segmentation robuste à base de maillages déformables
Proceedings of Sixth Orasis conference (ORASIS'97), 1997, La Colle-sur-Loup, France, France, inria-00615791

S. Mosser, M. Blay-Fornarino, P. Collet, P. Lahire
Vers l'intégration dynamique de contrats dans des architectures orientées services : une experience applicative du modèle au code
2ème Conférence sur les Architectures Logicielles (CAL'08), 03/03/2008, Montréal, Canada, pp.1-15, hal-00531054

R. Negrel, V. Fernandes Mota, G. Philippe-Henri, M. Bernardes Vieira, F. Precioso
Indexation des Bases Vidéos à l'aide d'une Modélisation du Flot Optique par Bases de Polynômes
RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), 24/01/2012, Lyon, France, pp.978-2-9539515-2-3, hal-00656527

C. Nemo, T. Glatard, M. Blay-Fornarino, J. Montagnat
Merging overlapping orchestrations: an application to the Bronze Standard medical application
International Conference on Services Computing (SCC 2007), 2007, Salt Lake City, Utah, USA, États-Unis, pp.364--371, inria-00616036

M. Sakkinen, P. Lahire, C.-B. Chirila
Towards Fully-fledged Reverse Inheritance in Eiffel
11th Symposium on Programming Languages and Software Tools (SPLST'09), 26/08/2009, Tampère, Finlande, pp.1-16, hal-00415768

   OUVRAGES DE SYNTHESE

P. Lahire, P. Collet
Actes des Journées du groupe Objets, Composants et Modèles (OCM'2006)
Laboratoire I3S, 24/03/2006, hal-00415766

D. Lingrand
Introduction au Traitement d'Images
Vuibert, 02/2008, Théories, algorithmes, applications, hal-00463907

   DIRECTION D'OUVRAGES

P. Lahire, M. Oussalah
Actes de la Journée thématique Composition d'objets, de composants et de services (COSMAL'09)
-, 01/2009, hal-00486341

M. Oussalah, P. Lahire
la composition d'objets, de composants et de services
hermes, 2010, hal-00486338

   CHAPITRE D'OUVRAGES

M. Collard, L. Kefi-Khelif, T. Van Trang, O. Corby
A Data warehousing approach for Genomics Data Meta-Analysis
in Evolving Application Domains of Data Warehousing and Mining: Trends and Solutions
Pedro Furtado, Information Science Reference, 2009, hal-00468097

G. Ereteo, F. Limpens, F. Gandon, O. Corby, M. Buffa, M. Leitzelman, P. Sander
Semantic Social Network Analysis: A Concrete Case
in Handbook of Research on Methods and Techniques for Studying Virtual Communities: Paradigms and Phenomena
IGI Global, 01/2011, hal-00562056

C. Germain-Renaud, V. BRETON, P. Clarysse, B. Delhay, Y. Gaudeau, T. Glatard, E. Jeannot, Y. Legre, J. Montagnat, J.-M. Moureaux, A. Osorio, X. Pennec, J. Schaerer, R. Texier
Grid Analysis of Radiological Data
in Handbook of Research on Computational Grid Technologies for Life Sciences, Biomedicine and Healthcare
Mario Cannataro (Ed.), IGI, 05/2009, chapter 19, hal-00683992

C. Germain-Renaud, V. Breton, P. Clarysse, B. Delhay, Y. Gaudeau, T. Glatard, E. Jeannot, Y. Legré, J. Montagnat, J.-M. Moureaux, A. Osorio, X. Pennec, J. Schaerer, R. Texier
Grid analysis of radiological data
in Handbook of Research on Computational Grid Technologies for Life Sciences, Biomedicine and Healthcare
Mario Cannataro, Medical Information Science Reference, 05/2009, hal-00382594

C. Germain-Renaud, V. Breton, P. Clarysse, B. Delhay, Y. Gaudeau, T. Glatard, E. Jannot, Y. Legré, J. Montagnat, J.-M. Moureau, A. Osorio, X. Pennec, J. Schaerer, R. Texier
Handbook of Research on Computational Grid Technologies for Life Sciences, Biomedicine, and Healthcare
in undefined or unknown booktitle
Cannataro, Mario, IGI Global, 2009, 9781605663746inria-00616093

T. Glatard, G. Sipos, J. Montagnat, Z. Farkas, P. Kacsuk
Workflow Level Parametric Study Support by MOTEUR and the P-GRADE Portal
in Workflows for e-Science
Springer, 01/2007, ISBN 978-1-84628-519-6hal-00682801

P. Lahire, G. Arévalo, H. Astudillo, A. Black, E. Ernst, M. Huchard, M. Sakkinen, P. Valtchev
Report from the ECOOP 2004 Workshop on Mechanisms for Specialization, Generalization and Inheritance (MASPEGHI 2004)
in Object-Oriented Technology: ECOOP 2004 Workshop Reader
springer, 14/06/2004, LNCS, hal-00484463

S. Moisan, J.-P. Rigault
Teaching Object-Oriented Modeling and UML to Various Audiences
in Workshops and Symposia at MODELS 2009, Reports and Revised Selected Papers
Ghosh, Sudipto, Springer-Verlag, 2009, LNCS, inria-00617284

N. Pasquier
Frequent closed itemsets based condensed representations for association rules
in Post-Mining of Association Rules: Techniques for Effective Knowledge Extraction
Information Science Reference, 31/05/2009, hal-00361744

N. Pasquier
Mining association rules using frequent closed itemsets
in Encyclopedia of Data Warehousing and Mining
Information Science Reference, 29/04/2005, hal-00363019

   THESES et HDR

P. Collet
HDR:Taming Complexity of Large Software Systems: Contracting, Self-Adaptation and Feature Modeling
Université de Nice Sophia-Antipolis, 06/12/2011, tel-00657444

P. Crescenzo
THESE:OFL : un modèle pour paramétrer la sémantique opérationnelle des langages à objets - Application aux relations inter-classes
informatique, Université de Nice Sophia-Antipolis, 20/12/2001, tel-00504891

P. Lahire
HDR:De l'extension des langages à objets à la réalisation de modèles métiers : une évolution du développement logiciel
Université de Nice Sophia-Antipolis, 10/12/2004, tel-00467143

S. Lavirotte
THESE:Reconnaissance Structurelle de Formules Mathématiques Typographiées et Manuscrites
informatique, Université de Nice Sophia-Antipolis, 14/06/2000, tel-00523373

I. Mirbel
HDR:Contributions à la modélisation, la réutilisation et la flexibilité des systèmes d'information
Université de Nice Sophia-Antipolis, 25/06/2008, tel-00461124

J. Montagnat
HDR:Traitement et analyse de grands ensembles d'images médicales
Université de Nice Sophia-Antipolis, 20/12/2006, tel-00460766

J. Montagnat
THESE:Segmentation d'image médicales volumiques à l'aide de maillages déformables contraints
École normale supérieure de Cachan - ENS Cachan; Université Paris Sud - Paris XI, 06/09/1996, tel-00691915

F. Precioso
THESE:Contours actifs paramétriques pour la segmentation d'images et vidéos
informatique, Université de Nice Sophia-Antipolis, 24/09/2004, tel-00327411

   RAPPORTS DE RECHERCHE

P. Collet, M.-A. Abchir, T. Bathias, M. Blay-Fornarino, F. Krikava, J. Lenoir, J. Lesbegueries, S. Madelénat, J. Malenfant, D. Manset, O. Melekhova, R. Mollon, J. Montagnat, R. Nzekwa, A. Pappa, J. Revillard, R. Rouvoy, L. Seinturier, I. Truck
Requirements of the SALTY project
02/08/2010, hal-00539093

S. Dalmas, M. Gaetano, A. Sausse
ASAP : a protocol for symbolic computation systems
Rapport de recherche, 1994, RT-0162, inria-00070007

T. Glatard, J. Montagnat, X. Pennec, D. Emsellem, D. Lingrand
MOTEUR: a data-intensive service-based workflow manager
hal-00691832

Z. Kato, J. Zerubia, M. Berthod, J.-P. Stromboni
Image classification using Markov random fields with two new relaxation methods : deterministic pseudo annealing and modified metropolis dynamics
Rapport de recherche, 1992, RR-1606, inria-00074954

N. Plouzeau, N. Ferry, M. Blay-Fornarino, A.-F. Le Meur, S. Mosser, L. Seinturier, J.-Y. Tigli, G. Waignier
Guide pour l'écriture des transformations pivot vers plates-formes
Rapport Technique, hal-00669794

P. Primet Vicat-Blanc, G. Koslovski, F. Anhalt, T. T. Huu, J. Montagnat
Exploring the Virtual Infrastructures as a Service concept with HIPerNET
Rapport de recherche, RR-7185, inria-00450409

A. Ressouche, J.-Y. Tigli, C. Oscar
Composition and Formal Validation in Reactive Adaptive Middleware
Rapport de recherche, inria-00565860

   COMMUNICATIONS SANS COMITÉ DE LECTURE

L. Brisson, M. Collard, K. Le Brigand, P. Barbry
KTA: A framework for integrating expert knowledge and experiment memory in transcriptome analysis
Proceedings of OntoKDD workshop in ECML/PKDD Conference, 2004, PISE, Italie, hal-00088761

G. Ereteo, M. Buffa, F. Gandon, P. Grohan, M. Leitzelman, P. Sander
A State of the Art on Social Network Analysis and its Applications on a Semantic Web
SDOW2008, 2008, Allemagne, hal-00562064

E. Hermann, R. Kassick, R. Ávila, C. Barrios-Hernandez, M. Riveill, Y. Denneulin, P. O. A. Navaux
Performance evaluation of meta-data transfer and storage in clusters
CLCAR 2007 : Latinoamericana Conference of High Performance Computing, 13/08/2007, Santa Marta, Colombie, hal-00697472

D. Lingrand, T. Glatard, J. Montagnat
Taking into account the execution context to optimize medical image databases indexation
Second Singaporean-French Biomedical Imaging Workshop, 27/08/2007, Lyon, France, hal-00461626

D. Pallez
Minimisation de la fatigue de l'utilisateur en utilisant un oculomètre dans le cadre d'Algorithmes Evolutionnaire Interactifs
Journées Evolutionnaires Trimestrielles, 18ème édition, 14/03/2008, Paris, France, hal-00266596

J. Rojas Balderrama, D. Lingrand, E. Pernod, J.-C. Souplet, X. Pennec, J. Montagnat
NeuroLOG: Neuroscience Application Workflows Execution on the EGEE Grid
EGEE conference, 22/09/2008, Istanbul, Turquie, hal-00461625

J. Rojas Balderrama, T. Truong Huu, J. Montagnat
A Comprehensive Framework for Scientific Applications Execution on Distributed Computing Infrastructures
Rencontres Scientifiques France Grilles 2011, 19/09/2011, Lyon, France, hal-00653021

   AUTRES

P. Collet, P. Lahire
Actes des Journées du groupe Objets, Composants et Modèles (OCM'2005)
Actes des Journées du groupe Objets, Composants et Modèles (OCM'2005), 11/03/2005, hal-00419986

T. Glatard, J. Montagnat, X. Pennec
Optimizing jobs timeouts on clusters and production grids
I3S laboratory Research Report (I3S/RR-2006-35-FR), Sophia Antipolis, France, 11/2006, hal-00691828

T. Glatard, J. Montagnat, X. Pennec
An optimized workflow enactor for data-intensive grid applications
I3S laboratory Research Report (I3S/RR-2005-32-FR), Sophia Antipolis, France, 10/2005, hal-00691833

P. Lahire, G. Georg, M. Oussalah, J. Whittle, N. Moha, S. Van Baelen
Composition&Variability'2010. First International Workshop on Composition: Objects, Aspects, Components, Services and Product Lines
Proceedings of the workshop "Composition&Variability'2010" that had been held at the AOSD Conference., 15/03/2010, hal-00484507

F. Limpens, F. Gandon, M. Buffa
Linking Folksonomies and Ontologies for Supporting Knowledge Sharing: a State of the Art
Deliverable of ISICIL ANR-funded project, 2009, hal-00530371

D. Lingrand, J. Montagnat, T. Glatard
Deriving grid workload models from user submission strategies
Research Report I3S laboratory, number I3S/RR-2009-17-FR, Sophia Antipolis, 11/2009, hal-00459126

D. Lingrand, J. Montagnat, T. Glatard
Estimating the execution context for refining submission strategies on production grids
Technical Report I3S laboratory, number I3S/RR-2007-22-FR, Sophia Antipolis, 11/2007, hal-00461623

A.-M. Pinna-Déry, D. Lingrand, S. Meunier, E. Mignerot, P. Renevier
Commandes gestuelles et interactions 3D: une étude centrée utilisateurs
Research Report I3S laboratory, number I3S/RR-2007-23-FR, Sophia Antipolis, 11/2007, hal-00461634