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-01239341v1  Conference papers
Nathanael CherierePierre Donat-BouilludShadi IbrahimMatthieu Simonin. On the Usability of Shortest Remaining Time First Policy in Shared Hadoop Clusters
SAC 2016-The 31st ACM/SIGAPP Symposium on Applied Computing, Apr 2016, Pisa, Italy
...
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-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
...
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-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-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-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-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⟩