| Ident. | Authors (with country if any) | Title |
|---|
| 000018 |
Bernardetta Addis [France] ; Danilo Ardagna [Italie] ; Antonio Capone [Italie] ; Giuliana Carello [Italie] | Energy-aware joint management of networks and Cloud infrastructures |
| 000044 |
Pakawat Pupatwibul [Australie] ; Ameen Banjar [Australie] ; Robin Braun [Australie] | Using DAIM as a Reactive Interpreter for OpenFlow Networks to Enable Autonomic Functionality |
| 000118 |
Violeta I. Perez-Nueno [France] ; David W. Ritchie [France] | Using Consensus-Shape Clustering To Identify Promiscuous Ligands and Protein Targets and To Choose the Right Query for Shape-Based Virtual Screening |
| 000151 |
Pierre Konopacki [France, Canada] ; Marc Frappier [Canada] ; Régine Laleau [France] | Modélisation de politiques de sécurité à l'aide d'une algèbre de processus: Présentation de la méthode EB3SEC |
| 000153 |
Gregory Zacharewicz [France] ; Bruno Vallespir [France] ; David Chen [France] | Interopérabilité des entreprises: Vers l'utilisation d'ontologies éphémères |
| 000198 |
Charbel Rahhal [France] ; Hala Skaf-Molli [France] ; Pascal Molli [France] | SWooki, un wiki sémantique sur réseau pair-à-pair |
| 000211 |
Julien Siebert [France] ; Laurent Ciarletta [France] ; Vincent Chevrier [France] | De l'intérêt du couplage de modèles pour appréhender les interactions utilisateurs/réseaux dynamiques |
| 000217 |
Jérome Francois [France] ; Radu State [France] ; Olivier Festor [France] | Botnets IRC et P2P pour une supervision à large échelle : Supervision et sécurité dans les grands réseaux |
| 000258 |
Fabrice Lauri [France] ; Francois Charpillet [France] | Résolution du problème de la patrouille multi-agent en utilisant des colonies compétitives de fourmis |
| 000284 |
Mohamed Khalgui [Allemagne, France] | A deployment methodology of real-time industrial control applications in distributed controllers |
| 000287 |
Yves Bontemps [Belgique] ; Germain Saval [Belgique] ; Pierre-Yves Schobbens [Belgique] ; Patrick Heymans [Belgique] | Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence |
| 000289 |
Didier Bert [France] ; Héctor Ruiz Barradas [France, Mexique] | Propriétés de vivacité dans les systèmes B : Application à l'algorithme de Ricart-Agrawala |
| 000305 |
Mohamed Khalgui [France] ; Xavier Rebeuf [France] ; Francoise Simonot-Lion [France] | An approach for the simultaneous allocation and deployment of distributed component based applications |
| 000332 |
Mohsen Rouached [France] ; Walid Gaaloul [France] ; Wil M. P. Van Der Aalst [Pays-Bas] ; Sami Bhiri [France] ; Claude Godart [France] | Web Service Mining and Verification of Properties : An Approach Based on Event Calculus |
| 000339 |
Dominique Cansell [France] ; Dominique Méry [France] ; Joris Rehm [France] | Time constraint patterns for event B development |
| 000344 |
P. Gaudry [France] ; T. Houtmann [France] ; D. Kohel [Australie] ; C. Ritzenthaler [France] ; A. Weng [France] | The 2-Adic CM Method for Genus 2 Curves with Application to Cryptography |
| 000345 |
Adrien Coulet [France] ; Malika Smail-Tabbone [France] ; Amedeo Napoli [France] ; Marie-Dominique Devignes [France] | Suggested Ontology for Pharmacogenomics (SO-Pharm) : Modular Construction and Preliminary Testing |
| 000359 |
Thomas Bangemann [Allemagne] ; Xavier Rebeuf [France] ; Denis Reboul [France] ; Andreas Schulze [Allemagne] ; Jacek Szymanski [France] ; Jean-Pierre Thomesse [France] ; Mario Thron [Allemagne] ; Noureddine Zerhouni [France] | PROTEUS : Creating distributed maintenance systems through an integration platform |
| 000365 |
Abdelkader Lahmadi [France] ; Laurent Andrey [France] ; Olivier Festor [France] | On delays in management frameworks : Metrics, models and analysis |
| 000382 |
Abdessamad Imine [France] ; Michaël Rusinowitch [France] ; Gérald Oster [France] ; Pascal Molli [France] | Formal design and verification of operational transformation algorithms for copies convergence |
| 000383 |
Dominique Cansell [France] ; Dominique Méry [France] | Formal and incremental construction of distributed algorithms : On the distributed reference counting algorithm |
| 000399 |
Karim Baina [Maroc] ; Khalid Benali [France] ; Claude Godart [France] | DISCOBOLE : A service architecture for interconnecting workflow processes |
| 000422 |
Emmanuel Jeannot [France] ; Flavien Vernier [France] | A Practical Approach of Diffusion Load Balancing Algorithms |
| 000442 |
Moritz Hammer [Allemagne] ; Alexander Knapp [Allemagne] ; Stephan Merz [France] | Truly on-the-fly LTL model checking |
| 000445 |
Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Towards synchronizing linear collaborative objects with operational transformation |
| 000455 |
Tomasz Truderung [France, Pologne] | Selecting theories and recursive protocols |
| 000471 |
Abdelkader Lahmadi [France] ; Laurent Andrey [France] ; Olivier Festor [France] | On the impact of management on the performance of a managed system : A JMX-based management case study |
| 000476 |
Francois Lamarche [France] ; Lutz Strassburger [Allemagne] | Naming proofs in classical propositional logic |
| 000479 |
Remi Badonnel [France] ; Radu State [France] ; Olivier Festor [France] | Monitoring end-to-end connectivity in mobile ad-hoc networks |
| 000501 |
MOHAMED SALAH BOUASSIDA [France] ; Isabelle Chrisment [France] ; Olivier Festor [France] | Efficient clustering for multicast key distribution in MANETs |
| 000505 |
Mathieu D'Aquin [France] ; Jean Lieber [France] ; Amedeo Napoli [France] | Decentralized case-based reasoning for the semantic web |
| 000524 |
Luciano P. Reis [Brésil, France] ; Albeno B. Raposo [Brésil] ; Jean-Claude Paul [France] ; Fabien Bosquet [France] | An architecture for collaborative geomodeling |
| 000529 |
Guillaume Doyen [France] ; Emmanuel Nataf [France] ; Olivier Festor [France] | A hierarchical architecture for a distributed management of P2P networks and services |
| 000535 |
| Sécurité informatique |
| 000537 |
Marc Eluard [France] ; Thomas Jensen [France] | Validation du contrôle d'accès dans des cartes à puce multiapplications |
| 000539 |
Jean-Marc Percher [France] ; Ricardo Puttini [France] ; Ludovic Me [France] ; Olivier Camp [France] ; Bernard Jouga [France] ; Patrick Altiers [France] | Un système de détection d'intrusions distribué pour réseaux ad hoc |
| 000545 |
Anas Abou El Kalam [France] ; Yves Deswarte [France] | Modèle de sécurité pour le secteur de la santé |
| 000552 |
Hervé Debar [France] ; Benjamin Morin [France] ; Frédéric Cuppens [France] ; Fabien Autrel [France] ; Ludovic Me [France] ; Bernard Vivinis [France] ; Salem Benferhat [France] ; Mireille Ducasse [France] ; Rodolphe Ortalo [France] | Détection d'intrusions : corrélation d'alertes |
| 000571 |
JIAN LI [France] ; YEQIONG SONG [France] ; Francoise Simonot-Lion [France] | Schedulability analysis for systems under (m,k)-firm constraints |
| 000573 |
V. Cridlig [France] ; O. Festor [France] ; R. State [France] | Role-based Access Control for XML enabled management gateways |
| 000592 |
Johanne Cohen [France] ; Emmanuel Jeannot [France] ; Nicolas Padoy [France] | Messages scheduling for data redistribution between clusters |
| 000598 |
Anis Koubaa [France] ; Ye-Qiong Song [France] ; Jean-Pierre Thomesse [France] | Integrating (m, k)-firm real-time guarantees into the internet QoS Model |
| 000608 |
Yves Caniou [France] ; Emmanuel Jeannot [France] | Efficient scheduling heuristics for GridRPC systems |
| 000613 |
Walid Gaaloul [France] ; Sami Bhiri [France] ; Claude Godart [France] | Discovering workflow transactional behavior from event-based log |
| 000616 |
Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Deductive verification of distributed groupware systems |
| 000623 |
Alexander Keller [États-Unis] ; Remi Badonnel [France] | Automating the provisioning of application services with the BPEL4WS workflow language |
| 000626 |
R. State [France] ; O. Festor [France] ; B. Zores [France] | An extensible agent toolkit for device management |
| 000628 |
MOHAMED SALAH BOUASSIDA [France] ; Isabelle Chrisment [France] ; Olivier Festor [France] | An enhanced hybrid key management protocol for secure multicast in ad hoc networks |
| 000636 |
Guillaume Doyen [France] ; Emmanuel Nataf [France] ; Olivier Festor [France] | A performance-oriented management information model for the Chord peer-to-peer framework |
| 000640 |
Claude Chaudet [France] ; Olivier Festor [France] ; Isabelle Guerin Lassous [France] ; Radu State [France] | A managed bandwidth reservation protocol for ad hoc networks |
| 000684 |
Stephan Merz [France] | On the logic of TLA+ |
| 000691 |
Guillaume Doyen [France] ; Emmanuel Nataf [France] ; Olivier Festor [France] | Management of peer-to-peer networks applied to instant messaging |
| 000709 |
Karim Baïna [France, Australie] ; Khalid Benali [France] ; Claude Godart [France] | Dynamic interconnection of heterogeneous workflow processes through services |
| 000744 |
Yves Caniou [France] | Ordonnancement pour le modèle temps partagé |
| 000781 |
Samir Tata [France] | Policies for cooperative virtual teams |
| 000891 |
Isabelle Guérin Lassous [France] ; Jens Gustedt [France] | Portable List ranking: An experimental study |
| 000907 |
Ghassan Chaddoud [France] ; Isabelle Chrisment [France] ; André Schaff [France] | Dynamic group key management protocol |
| 000912 |
Jacques Lonchamp [France] ; Fabrice Muller [France] | Computer-supported deliberations for distributed teams |
| 000926 |
Jacques Lonchamp [France] ; Fabrice Muller [France] | A generic support for distributed deliberations |
| 000955 |
N. Navet [France] ; Y.-Q. Song [France] ; F. Simonot [France] | Worst-case deadline failure probability in real-time applications distributed over controller area network |
| 000A89 |
M. Munier [France] ; K. Benali [France] ; C. Godart [France] | DisCOO, a really distributed system for cooperation |
| 000B00 |
M. Krajecki [France] | An object oriented environment to manage the parallelism of the FIIT applications |
| 000B13 |
M. Smaïl [France] | Vers des systèmes évolutifs de recherche d'information : un état de l'art |
| 000B17 |
B. Mermet [France] ; D. Mery [France] ; D. Samborski [France] | Spécifications de services : une approche avec B |
| 000B26 |
T. Lambolais [France] ; N. Levy [France] ; J. Souquieres [France] | Assistance au développement de spécifications de protocoles de communication |
| 000B28 |
M. Bounab [Arabie saoudite] ; C. Godart [France] | Tool integration in distributed environments : an experience report in a manufacturing framework |
| 000B52 |
M. Mouhoub [France] ; F. Charpillet [France] ; J. P. Haton [France] | Experimental analysis of numeric and symbolic constraint satisfaction techniques for temporal reasoning |
| 000B75 |
J. Toussaint [France] ; F. Simonot-Lion [France] | Vérification formelle de propriétés temporelles d'une application distribuée temps réel |
| 000B76 |
L. Vega [France] ; Jean-Pierre Thomesse [France] | Vers une caractérisation temporelle de profils de communication |
| 000B90 |
D. Boudebous [France] ; Jean-Claude Derniame [France] ; J. Tankoano [France] | Démarche de structuration logique des systèmes temps réel répartis pour la commande de procédés industriels |
| 000C52 |
| Systèmes à objets : tendances actuelles et évolution |
| 000C53 |
A. A. David [France] | Vers une recherche coopérative dans les systèmes de recherche d'informations |
| 000C60 |
P.-Y. Chevalier [France] ; D. Hagimont [France] ; J. Mossiere [France] ; X. Rousset De Pina [France] | Le système réparti à objets Guide |
| 000C70 |
Y. Song [France] ; F. Simonot-Lion [France] ; N. Navet [France] | Validation of distributed real time systems thanks to performance evaluation of their physical architecture |
| 000D26 |
A.-I. Mouaddib [France] | Progressive goal-directed reasoning for real-time AI systems |
| 000D35 |
C. Cardeira [France] ; Z. Mammeri [France] | Ordonnancement de tâches dans les systèmes temps réel et répartis. Algorithmes et critères de classification |
