Skip to Main content Skip to Navigation

hal-00869120v1  Conference papers
Hervé Albin-AmiotPierre CointeYann-Gaël GuéhéneucNarendra Jussien. Instantiating and Detecting Design Patterns: Putting Bits and Pieces Together
16th IEEE conference on Automated Software Engineering (ASE'01), 2001, San Diego, United States. pp.166--173
hal-01830494v1  Conference papers
Cécile Appert-RollandJulien PettréAnne-Hélène OlivierWilliam WarrenAymeric Duigou-Majumdar et al.  Experimental Study of Collective Pedestrian Dynamics
PED 2018 - 9th International conference on Pedestrian and Evacuation Dynamics, Aug 2018, Lund, Sweden. pp.1-8
hal-00909293v1  Conference papers
Mounir AssafJulien SignolesFrédéric TronelEric Totel. Moniteur hybride de flux d'information pour un langage supportant des pointeurs
SARSSI - 8ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information, Sep 2013, Mont de Marsan, France
hal-00814671v2  Conference papers
Mounir AssafJulien SignolesFrédéric TronelEric Totel. Program Transformation for Non-interference Verification on Programs with Pointers
28th Security and Privacy Protection in Information Processing Systems (SEC), Jul 2013, Auckland, New Zealand. pp.231-244, ⟨10.1007/978-3-642-39218-4_18⟩
hal-01110783v1  Conference papers
Gilles BartheDelphine DemangeDavid Pichardie. A Formally Verified SSA-based Middle-end
21th European Symposium on Programming, ESOP 2012, Mar 2012, Tallin, Estonia. pp.47-66, ⟨10.1007/978-3-642-28869-2_3⟩
hal-01855845v1  Conference papers
Jean BenvenutiLaure Berti-ÉquilleEric Jacopin. Le projet SABRE : de l’ontologie à l’inférence
15ièmes Journées Francophones d'Ingénieire des Connaissances (IC 2004), May 2004, Lyon, France
hal-02556878v1  Conference papers
Gautier BerthouPierre-Evariste DagandDelphine DemangeRémi OudinTanguy Risset. Intermittent Computing with Peripherals, Formally Verified
LCTES '20 - 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems, Jun 2020, London / Virtual, United Kingdom. pp.85-96, ⟨10.1145/3372799.3394365⟩
hal-02453411v1  Conference papers
Marie-Stéphanie BracqMarie Le DuffEstelle MichinovBruno ArnaldiValérie Gouranton et al.  Training situation awareness through error recognition in an immersive virtual operating room
International conference for multi-area simulation ICMASim 2019, Oct 2019, Angers, France. pp.208-216
hal-00869108v1  Conference papers
Hadrien CambazardFabien DemazeauNarendra JussienPhilippe David. Interactively solving school timetabling problems using extensions of constraint programming
Practice and Theory of Automated Timetabling (PATAT 2004), 2004, Pittsburgh, PA, United States. pp.107--124
hal-00869105v1  Conference papers
Hadrien CambazardNarendra Jussien. Identifying and exploiting problem structures using explanation-based constraint programming
International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CP-AI-OR'05), 2005, Prague, Czech Republic. pp.94--109
hal-00909298v1  Conference papers
Michel CatanRoberto Di CosmoAntoine EicheTudor Alexandru LascuMichael Lienhardt et al.  Aeolus: Mastering the Complexity of Cloud Application Deployment
ESOCC - European Conference on Service-Oriented and Cloud Computing - 2013, 2013, Malaga, Spain. pp.1-3, ⟨10.1007/978-3-642-40651-5_1⟩
hal-01184235v1  Conference papers
Houssem-Eddine ChihoubShadi IbrahimYue LiGabriel AntoniuMaría Pérez et al.  Exploring Energy-Consistency Trade-offs in Cassandra Cloud Storage System
SBAC-PAD'15-The 27th International Symposium on Computer Architecture and High Performance Computing, Oct 2015, Florianopolis, Santa Catarina, Brazil
hal-01027778v1  Conference papers
Vincent ClaveauEwa Kijak. Generating and using probabilistic morphological resources for the biomedical domain
9th edition of the Language Resources and Evaluation Conference, LREC 2014, May 2014, Reykjavik, Iceland. 7 p
inserm-02368720v1  Conference papers
Claire CuryPierre MaurelGiulia LioiRémi GribonvalChristian Barillot. Learning bi-modal EEG-fMRI neurofeedback to improve neurofeedback in EEG only
Real-Time Functional Imaging and Neurofeedback, Dec 2019, Maastricht, Netherlands. pp.1-2, ⟨10.1101/599589⟩
inserm-02489459v2  Conference papers
Claire CuryGiulia LioiLorraine PerronnetAnatole LécuyerPierre Maurel et al.  Impact of 1D and 2D visualisation on EEG-fMRI neurofeedback training during a motor imagery task.
ISBI 2020 - IEEE International Symposium on Biomedical Imaging, Apr 2020, Iowa City, United States. pp.1-4
hal-00580133v1  Conference papers
Carole Delporte-GalletHugues FauconnierRachid GuerraouiAnne-Marie KermarrecEric Ruppert et al.  Byzantine Agreement with Homonyms
PODC - 30th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, Jun 2011, San Jose, United States. pp.21-30, ⟨10.1145/1993806.1993810⟩
hal-01100781v1  Conference papers
Carole Delporte-GalletHugues FauconnierMichel Raynal. An Exercise in Concurrency: From Non-blocking Objects to Fair Objects
International Conference on Network-Based Information Systems( NBiS 2014), Sep 2014, Salerne, Italy
hal-01100780v1  Conference papers
Carole Delporte-GalletHugues FauconnierMichel Raynal. Fair Synchronization in the Presence of Process Crashes and its Weakest Failure Detector
33h Symposium on Reliable Distributed Systems (SRDS), Oct 2014, Nara, Japan. pp.161-170, ⟨10.1109/SRDS.2014.18⟩
hal-02433606v1  Conference papers
Carole Delporte-GalletHugues FauconnierMichel Raynal. On the Weakest Failure Detector for Read/Write-Based Mutual Exclusion
AINA 2019 - 33rd International Conference on Advanced Information Networking and Applications, Mar 2019, Matsue, Japan. ⟨10.1007/978-3-030-15032-7_24⟩
hal-01517320v1  Conference papers
Carole Delporte-GalletHugues FauconnierSergio RajsbaumMichel Raynal. t-résilient snapshot immédiat
ALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France
hal-01110779v1  Conference papers
Delphine DemangeDavid PichardieLéo Stefanesco. Verifying Fast and Sparse SSA-based Optimizations in Coq.
24th International Conference on Compiler Construction, CC 2015, 2015, London, United Kingdom
hal-00924716v1  Conference papers
Delphine DemangeVincent LaporteLei ZhaoDavid PichardieSuresh Jagannathan et al.  Plan B: A Buffered Memory Model for Java
Proc. of the 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2013, Jan 2013, Rome, Italy
inserm-03129743v1  Conference papers
Quentin DuchéElise BannierJacques-François DioufRomain MoirandKarine Gallopel-Morvan et al.  BOLD fMRI to assess the impact of alcohol advertisements in young drinkers
OHBM 2020 - 26th Annual Meeting of the Organization for Human Brain Mapping, Organization for Human Brain Mapping (OHBM), Jun 2020, Montréal, Canada. pp.1-3
hal-00831401v1  Conference papers
Ehab ElsalamounyVladimiro Sassone. An HMM-based reputation model
Advances in Security of Information and Communication Networks, Sep 2013, Cairo, Egypt. pp.111-121, ⟨10.1007/978-3-642-40597-6_9⟩
hal-03363179v1  Conference papers
Hao FanShengwei BianSong WuSong JiangShadi Ibrahim et al.  Gear: Enable Efficient Container Storage and Deployment with a New Image Format
ICDCS'21 - 41st IEEE International Conference on Distributed Computing Systems, Jul 2021, Washington DC, United States. pp.1-11
hal-02389113v1  Conference papers
Hao FanSong WuShadi IbrahimXiming ChenHai Jin et al.  NCQ-Aware I/O Scheduling for Conventional Solid State Drives
IPDPS 2019 - 33rd IEEE International Parallel & Distributed Processing Symposium, May 2019, Rio de Janeiro, Brazil. pp.523-532, ⟨10.1109/IPDPS.2019.00062⟩
hal-01163810v1  Conference papers
Léon Constantin FopaFabrice JouanotAlexandre TermierMaurice Tchuenté. Le web sémantique en aide à l'analyste de traces d'exécution
BDA 2014 : Gestion de données - principes, technologies et applications, Oct 2014, Autrans, France. pp.43--47
hal-03084627v1  Conference papers
Luis GalárragaJulien DelaunayJean-Louis Dessalles. REMI: Mining Intuitive Referring Expressions on Knowledge Bases
EDBT 2020 - 23rd International Conference on Extending Database Technology, Mar 2020, Virtual Event, Denmark. pp.387-390, ⟨10.5441/002/edbt.2020.39⟩
hal-00862713v1  Conference papers
Quentin GalvaneMarc ChristieRémi RonfardChen-Kim LimMarie-Paule Cani. Steering Behaviors for Autonomous Cameras
MIG 2013 - ACM SIGGRAPH conference on Motion in Games, Nov 2013, Dublin, Ireland. pp.93-102, ⟨10.1145/2522628.2522899⟩
hal-02933477v1  Conference papers
Adélaïde GenayAnatole LécuyerMartin Hachet. Incarner un Avatar en Réalité Augmentée : Revue de la Littérature
WACAI 2020 - Workshop sur les Affects, Compagnons artificiels et Interactions, CNRS, Université Toulouse Jean Jaurès, Université de Bordeaux, Jun 2020, Saint Pierre d'Oléron, France
hal-00869112v1  Conference papers
Mohammad GhoniemNarendra JussienJean-Daniel Fekete. VISEXP: visualizing constraint solver dynamics using explanations
FLAIRS'04: Seventeenth international Florida Artificial Intelligence Research Society conference, 2004, Miami, Florida, United States. pp.263--268
hal-00869096v1  Conference papers
Émilie GrellierPierre DejaxNarendra Jussien. Problème de tournées de collectes et livraisons multi-périodique~: résolution grâce au GRASP
5èmes journées Francophones de Recherche Opérationnelle (FRANCORO V) 8ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2007), 2007, Grenoble, France
hal-00869103v1  Conference papers
Émilie GrellierPierre DejaxNarendra JussienZhiqiang Lu. Tournées de collectes et livraisons dans le cadre de la logistique inverse
7ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2006), 2006, Lille, France
hal-00869102v1  Conference papers
Émilie GrellierPierre DejaxNarendra JussienZhiqiang Lu. Vehicle routing problem in mixed flows for reverse logistics: a modeling framework
International Conference on Information Systems, Logistics, and Supply Chain (ILS 2006), 2006, Lyon, France
hal-00869117v1  Conference papers
Yann-Gaël GuéhéneucRémi DouenceNarendra Jussien. No Java without Caffeine ― A tool for dynamic analysis of Java programs
17th IEEE conference on Automated Software Engineering (ASE'02), 2002, Edinburgh, UK, pp.117--126
hal-00869121v1  Conference papers
Yann-Gaël GuéhéneucNarendra Jussien. Quelques explications pour les patrons ou une utilisation de la PPC avec explications pour l'identification de patrons de conception
7ièmes Journées nationales sur la résolution pratique de problèmes NP-complets (JNPC'01), 2001, Toulouse, France. pp.111-122
inria-00461366v1  Conference papers
Thomas GuyetCatherine GarbayMichel Dojat. Interprétation collaborative de séries temporelles
Colloque de l'association pour la recherche cognitive, Dec 2009, Rouen, France
hal-00840338v1  Conference papers
Christophe HauserFrédéric TronelColin FidgeLudovic Mé. Intrusion detection in distributed systems, an approach based on taint marking
IEEE ICC2013 - IEEE International Conference on Communications, Jun 2013, Budapest, Hungary
hal-00655854v1  Conference papers
Patrick HéasEtienne MéminNicolas Papadakis. Dense estimation of layer motions in the atmosphere
International Conference on Pattern Recognition (ICPR'06), Aug 2006, China. pp.vol 3
inserm-02379281v1  Conference papers
Karl HelmerDavid KeatorTibor AuerSatrajit GhoshCamille Maumet et al.  Constructing an Ontology of Neuroscience Experiments for the Neuroimaging Data Model (NIDM) Authors: Introduction
OHBM 2019 - 25th Annual Meeting of the Organization for Human Brain Mapping, Jun 2019, Jun 2019, Rome, Italy. pp.1-4
hal-00869094v1  Conference papers
Fabien HermenierXavier LorcaHadrien CambazardJean-Marc MenaudNarendra Jussien. Reconfiguration dynamique du placement dans les grilles de calcul dirigée par les objectifs
Sixième Conférence Française sur les Systèmes d'Exploitation (CFSE'08), 2008, Fribourg, France
inria-00471162v1  Conference papers
Sebastien HillaireAnatole LécuyerRémi CozotGéry Casiez. Depth-of-Field Blur Effects for First-Person Navigation in Virtual Environments
Symposium on Virtual Reality Software and Technology, ACM, Nov 2007, NewPort Beach, United States