006C69 (2004) |
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 |
003157 (2010) |
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 |
003858 (2009) |
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 |
003863 (2009) |
Jérôme François [France] ; Radu State [France] ; Olivier Festor [France] | Botnets IRC et P2P pour une supervision à large échelle |
006228 (2005) |
Remi Badonnel [France] ; Radu State [France] ; Olivier Festor [France] | Monitoring End-to-End Connectivity in Mobile Ad-Hoc Networks |
006371 (2005) |
MOHAMED SALAH BOUASSIDA [France] ; Isabelle Chrisment [France] ; Olivier Festor [France] | Efficient clustering for multicast key distribution in MANETs |
006B38 (2004) |
V. Cridlig [France] ; O. Festor [France] ; R. State [France] | Role-Based Access Control for XML Enabled Management Gateways |
006C59 (2004) |
Claude Chaudet [France] ; Olivier Festor [France] ; Isabelle Guérin Lassous [France] ; Radu State [France] | A Managed Bandwidth Reservation Protocol for Ad Hoc Networks |
006C67 (2004) |
Marc Eluard [France] ; Thomas Jensen [France] | Validation du contrôle d'accès dans des cartes à puce multiapplications |
006C75 (2004) |
Anas Abou El Kalam [France] ; Yves Deswarte [France] | Modèle de sécurité pour le secteur de la santé |
006D22 (2004) |
MOHAMED SALAH BOUASSIDA [France] ; Isabelle Chrisment [France] ; Olivier Festor [France] | An enhanced hybrid key management protocol for secure multicast in ad hoc networks |
000E28 (2014) |
Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Alejandro Quintero [Canada] | Spécification et analyse d'un protocole de contrôle d'accès optimiste pour éditeurs collaboratifs répartis |
001698 (2013) |
Pakawat Pupatwibul [Australie] ; Ameen Banjar [Australie] ; Robin Braun [Australie] | Using DAIM as a Reactive Interpreter for OpenFlow Networks to Enable Autonomic Functionality |
001E89 (2012) |
Vincent Boudht [France] ; Johanne Cohhn [France] ; Rodolphe Giroudeau [France] ; Jean-Clalide Könic [France] | SCHEDULING IN THE PRESENCE OF PROCESSOR NETWORKS: COMPLEXITY AND APPROXIMATION |
002817 (2011) |
Khaled Gaaloul [Luxembourg (pays)] ; H. A. Proper [Luxembourg (pays)] ; Ehtesham Zahoor [France] ; François Charoy [France] ; Claude Godart [France] | A logical framework for reasoning about delegation policies in workflow management systems |
004239 (2008) |
Fabrice Lauri [France] ; François Charpillet [France] | Résolution du problème de la patrouille multi-agent en utilisant des colonies compétitives de fourmis |
004443 (2008) |
BOULBABA BEN AMMAR [France, Tunisie] ; MOHAMED TAHAR BHIRI [Tunisie] ; Jeanine Souquieres [France] | Modélisation événementielle pour la construction de diagrammes de classes |
004464 (2008) |
Mohamed Khalgui [Allemagne, France] | A deployment methodology of real-time industrial control applications in distributed controllers |
005376 (2006) |
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 |
005427 (2006) |
Abdelkader Lahmadi [France] ; Laurent Andrey [France] ; Olivier Festor [France] | On Delays in Management Frameworks: Metrics, Models and Analysis |
005599 (2006) |
Nazim Benaïsa [France] ; Dominique Cansell [France] ; Dominique Méry [France] | Integration of security policy into system modeling |
006159 (2005) |
Anis Koubâa [France] ; Ye-Qiong Song [France] ; Jean-Pierre Thomesse [France] | (m,k)-WFQ, intégration des contraintes temporelles (m,k)-firm dans les réseaux à débit garanti |
006221 (2005) |
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 |
006325 (2005) |
Guillaume Doyen [France] ; Emmanuel Nataf [France] ; Olivier Festor [France] | A Hierarchical Architecture for a Distributed Management of P2P Networks and Services |
006337 (2005) |
| Ordonnancement pour les systèmes temps réel |
006341 (2005) |
Christine Rochange [France] ; Pascal Sainrat [France] | Régulation du flot d'instructions pour des processeurs orientés temps réel |
006343 (2005) |
Joël Goossens [Belgique] ; Pascal Richard [France] | Optimisation de performance pour des systèmes temps réel stricts à priorité fixe |
006352 (2005) |
Shelby Funk [États-Unis] ; Sanjoy K. Baruah | Restricting EDF migration on uniform heterogeneous multiprocessors |
006353 (2005) |
Dieter Zöbel [Allemagne] ; David Polock [Allemagne] | Priority inheritance revisited : Towards the conformance of real-time protocols |
006B57 (2004) |
Tarek Abbes [France] ; Adel Bouhoula [Tunisie] ; Michael Rusinowitch [France] | On the fly pattern matching for intrusion detection with Snort |
006C65 (2004) |
| Sécurité informatique |
006C80 (2004) |
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 |
006C93 (2004) |
JIAN LI [France] ; YEQIONG SONG [France] ; Francoise Simonot-Lion [France] | Schedulability analysis for systems under (m,k)-firm constraints |
006D21 (2004) |
R. State [France] ; O. Festor [France] ; B. Zores [France] | An extensible agent toolkit for device management |
009D02 (2000) |
N. Navet [France] ; Y.-Q. Song [France] ; F. Simonot [France] | Worst-case deadline failure probability in real-time applications distributed over controller area network |
00BC94 (1997) |
J. Toussaint [France] ; F. Simonot-Lion [France] | Vérification formelle de propriétés temporelles d'une application distribuée temps réel |
00BC95 (1997) |
L. Vega [France] ; Jean-Pierre Thomesse [France] | Vers une caractérisation temporelle de profils de communication |
00BD07 (1997) |
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 |
00C135 (1996) |
Y. Song [France] ; F. Simonot-Lion [France] ; N. Navet [France] | Validation of distributed real time systems thanks to performance evaluation of their physical architecture |
00C813 (1995) |
A.-I. Mouaddib [France] | Progressive goal-directed reasoning for real-time AI systems |
00CD69 (1994) |
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 |
000E35 (2014) |
B. Addis [France] ; A. Capone [Italie] ; G. Carello [Italie] ; L. G. Gianoli [Italie, Canada] ; B. Sanso [Canada] | On the energy cost of robustness and resiliency in IP networks |
000E43 (2014) |
Bernardetta Addis [France] ; Danilo Ardagna [Italie] ; Antonio Capone [Italie] ; Giuliana Carello [Italie] | Energy-aware joint management of networks and Cloud infrastructures |
000E72 (2014) |
Jean-Luc Danger [France] ; Mourad Debbabi [Canada] ; Jean-Yves Marion [France] ; Joaquin Garcia-Alfaro [France] ; Nur Zincir Heywood [Canada] | Foundations and practice of security : 6th international symposium, FPS 2013, La Rochelle, France, October 21-22, 2013, revised selected papers |
001701 (2013) |
Robin Strand [Suède] ; Krzysztof Chris Ciesielski [États-Unis] ; Filip Malmberg [Suède] ; Punam K. Saha [États-Unis] | The minimum barrier distance |
001705 (2013) |
Tobias Jung [Belgique] ; Sylvain Martin [Belgique] ; Mohamed Nassar [France] ; Damien Ernst [Belgique] ; Guy Leduc [Belgique] | Outbound SPIT filter with optimal performance guarantees |
001726 (2013) |
Véronique Cortier [France] ; Ben Smyth [France] | Attacking and fixing Helios: An analysis of ballot secrecy |
001890 (2012-10-22) |
Martín Barrère [France] ; Rémi Badonnel [France] ; Olivier Festor [France] | Collaborative Remediation of Configuration Vulnerabilities in Autonomic Networks and Systems |
002798 (2011) |
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 |
002D68 (2010-04) |
Liliana Cucu-Grosjean [France] ; Joël Goossens [Belgique] | Predictability of Fixed-Job Priority Schedulers on Heterogeneous Multiprocessor Real-Time Systems |
003159 (2010) |
Gregory Zacharewicz [France] ; Bruno Vallespir [France] ; David Chen [France] | Interopérabilité des entreprises: Vers l'utilisation d'ontologies éphémères |
003862 (2009) |
Abdelkader Lahmadi [France] ; Laurent Andrey [France] ; Olivier Festor [France] | Caractérisation des délais dans les applications de supervision de réseaux et de services |
003B44 (2009) |
Charbel Rahhal [France] ; Hala Skaf-Molli [France] ; Pascal Molli [France] | SWooki, un wiki sémantique sur réseau pair-à-pair |
003B88 (2009) |
Guillaume Bonfante [France] ; Matthieu Kaczmarek [France] ; Jean-Yves Marion [France] | Architecture of a morphological malware detector : EICAR 2008 |
004454 (2008) |
Gérard Wagener [France] ; Radu State [France] ; Alexandre Dulaunoy [Luxembourg (pays)] | Malware behaviour analysis |
004462 (2008) |
CHUNG SHUE CHEN [Norvège] ; WING SHING WONG [Hong Kong] ; Ye-Qiong Song [France] | Constructions of Robust Protocol Sequences for Wireless Sensor and Ad hoc Networks |
004B09 (2007) |
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 |
004D10 (2007) |
Mohamed Khalgui [France] ; Xavier Rebeuf [France] ; Françoise Simonot-Lion [France] | An approach for the simultaneous allocation and deployment of distributed component based applications |
004D40 (2007) |
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 |
005347 (2006) |
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 |
005363 (2006) |
Dominique Cansell [France] ; Dominique Méry [France] ; Joris Rehm [France] | Time Constraint Patterns for Event B Development |
005366 (2006) |
Olivier Chevassut [États-Unis] ; Pierre-Alain Fouque [France] ; Pierrick Gaudry [France] ; David Pointcheval [France] | The Twist-AUgmented Technique for Key Exchange |
005383 (2006) |
Adrien Coulet [France] ; Malika Smaïl-Tabbone [France] ; Amedeo Napoli [France] ; Marie-Dominique Devignes [France] | Suggested Ontology for Pharmacogenomics (SO-Pharm): Modular Construction and Preliminary Testing |
005401 (2006) |
Véronique Cortier [France] ; Michaël Rusinowitch [France] ; Eugen Z Linescu [France] | Relating Two Standard Notions of Secrecy |
005428 (2006) |
Ustun Yildiz [France] ; Olivier Perrin [France] ; Claude Godart [France] | On Automating Networked Enterprise Management |
005548 (2006) |
Emmanuel Jeannot [France] ; Flavien Vernier [France] | A Practical Approach of Diffusion Load Balancing Algorithms |
005579 (2006) |
Vincent Cridlig [France] ; Radu State [France] ; Olivier Festor [France] | Ensuite, une plate-forme libre de configuration de réseau |
005593 (2006) |
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 |
005597 (2006) |
Stéphane Gobron [France] ; Denis Finck [France] ; Philippe Even [France] ; Bertrand Kerautret [France] | Merging cellular automata for simulating surface effects |
005603 (2006) |
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 |
005604 (2006) |
Dominique Cansell [France] ; Dominique Méry [France] | Formal and incremental construction of distributed algorithms : On the distributed reference counting algorithm |
005615 (2006) |
Karim Baina [Maroc] ; Khalid Benali [France] ; Claude Godart [France] | DISCOBOLE : A service architecture for interconnecting workflow processes |
006165 (2005) |
Moritz Hammer [Allemagne] ; Alexander Knapp [Allemagne] ; Stephan Merz [France] | Truly On-the-Fly LTL Model Checking |
006170 (2005) |
Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Towards Synchronizing Linear Collaborative Objects with Operational Transformation |
006192 (2005) |
Tomasz Truderung [Pologne] | Selecting Theories and Recursive Protocols |
006226 (2005) |
François Lamarche [France] ; Lutz Stra Burger [Allemagne] | Naming Proofs in Classical Propositional Logic |
006301 (2005) |
Laurent Ciarletta [France] ; Mi-Jung Choi [France] | Automatic Configuration for VPN Using Active XML |
006308 (2005) |
Luciano P. Reis [Brésil, France] ; Alberto B. Raposo [Brésil] ; Jean-Claude Paul [France] ; Fabien Bosquet [France] | An Architecture for Collaborative Geomodeling |
006323 (2005) |
Vincent Cridlig [France] ; H. Abdelnur [France] ; J. Bourdellon [France] ; Radu State [France] | A NetConf Network Management Suite: ENSUITE |
006326 (2005) |
Remi Badonnel [France] ; Radu State [France] ; Olivier Festor [France] ; Andre Schaff [France] | A Framework for Optimizing End-to-End Connectivity Degree in Mobile Ad-Hoc Networks |
006349 (2005) |
Nicolas Navet [France] ; YEQIONG SONG [France] ; Francoise Simonot-Lion [France] ; Cédric Wilwert [France] | Trends in automotive communication systems |
006368 (2005) |
Bruno Gaujal [France] ; Nicolas Navet [France] | Fault confinement mechanisms on CAN: Analysis and improvements |
006373 (2005) |
Mathieu D'Aquin [France] ; Jean Lieber [France] ; Amedeo Napoli [France] | Decentralized case-based reasoning for the semantic web |
006A88 (2004) |
Ghassan Chaddoud ; Vijay Varadharajan ; Isabelle Chrisment ; André Schaff | Gestion efficace de la sécurité des communications de groupe pour le service SSM |
006B71 (2004) |
Johanne Cohen [France] ; Emmanuel Jeannot [France] ; Nicolas Padoy [France] | Messages Scheduling for Data Redistribution between Clusters |
006B82 (2004) |
Anis Koubaa [France] ; Ye-Qiong Song [France] ; Jean-Pierre Thomesse [France] | Integrating (m,k)–Firm Real-Time Guarantees into the Internet QoS Model |
006C17 (2004) |
Walid Gaaloul [France] ; Sami Bhiri [France] ; Claude Godart [France] | Discovering Workflow Transactional Behavior from Event-Based Log |
006C18 (2004) |
Abdessamad Imine [France] ; Pascal Molli [France] ; Gérald Oster [France] ; Michaël Rusinowitch [France] | Deductive Verification of Distributed Groupware Systems |
006C33 (2004) |
Alexander Keller [États-Unis] ; Remi Badonnel [France] | Automating the Provisioning of Application Services with the BPEL4WS Workflow Language |
006C56 (2004) |
Guillaume Doyen [France] ; Emmanuel Nataf [France] ; Olivier Festor [France] | A Performance-Oriented Management Information Model for the Chord Peer-to-peer Framework |
006C63 (2004) |
G. Doyen [France] ; O. Festor [France] ; E. Nataf [France] | A CIM Extension for Peer-to-Peer Network and Service Management |
006C85 (2004) |
ZHI WANG [République populaire de Chine] ; YE QIONG SONG [France] ; Hai-Bin Yu [République populaire de Chine] ; YOUXIAN SUN [République populaire de Chine] | Worst-case response time of aperiodc message in WorldFIP and its improvement in real-time capability |
006C95 (2004) |
Tarek Abbes [France] ; Adel Bouhoula [Tunisie] ; Michaël Rusinowitch [France] | Protocol analysis in intrusion detection using decision tree |
006D03 (2004) |
Anis Koubaa [France] ; Ye-Qiong Song [France] | Loss-tolerant QoS using firm constraints in guaranteed rate networks |
006D12 (2004) |
Yves Caniou [France] ; Emmanuel Jeannot [France] | Efficient scheduling heuristics for GridRPC systems |
006D15 (2004) |
Y. Adam [France] ; B. Fillinger ; I. Astic ; A. Lahmadi ; P. Brigant | Deployment and test of IPv6 services in the VTHD network |
007927 (2003) |
Fabrice Jumel [France] ; Nicolas Navet [France] ; Françoise Simonot-Lion [France] | Nouvelles politiques pour la réservation explicite de ressources en avance |
007A34 (2003) |
Guillaume Doyen [France] ; Emmanuel Nataf [France] ; Olivier Festor [France] | Management of Peer-to-Peer Networks Applied to Instant Messaging |
007A70 (2003) |
Karim Baïna [France, Australie] ; Khalid Benali [France] ; Claude Godart [France, Australie] | Dynamic Interconnection of Heterogeneous Workflow Processes through Services |
007A81 (2003) |
R. State [France] ; O. Festor [France] ; I. Chrisment [France] | Context Driven Access Control to SNMP MIB Objects in Multi-homed Environments |