Skip to Main content Skip to Navigation

hal-02946930v2  Reports
Guillaume AmbalAlan SchmittSergueï Lenglet. Automatic Transformation of a Big-Step Skeletal Semantics into Small-Step
[Research Report] RR-9363, Inria Rennes - Bretagne Atlantique. 2020
hal-02536463v2  Journal articles
Guillaume AmbalSergueï LengletAlan Schmitt. HOπ in Coq
Journal of Automated Reasoning, Springer Verlag, 2020, ⟨10.1007/s10817-020-09553-0⟩
hal-01493442v1  Journal articles
Cérès CartonAurélie LemaitreBertrand Coüasnon. Eyes Wide Open: an interactive learning method for the design of rule-based systems
International Journal on Document Analysis and Recognition, Springer Verlag, 2017, 20 (2), pp.91-103. ⟨10.1007/s10032-017-0282-x⟩
hal-01246370v1  Journal articles
Eric MarchandHideaki UchiyamaFabien Spindler. Pose Estimation for Augmented Reality: A Hands-On Survey
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2016, 22 (12), pp.2633 - 2651. ⟨10.1109/TVCG.2015.2513408⟩
hal-01391065v1  Journal articles
Pierre BuyssensOlivier Le MeurMaxime DaisyDavid TschumperléOlivier Lézoray. Depth-guided disocclusion inpainting of synthesized RGB-D images
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2017, 26 (2), pp.525-538. ⟨10.1109/TIP.2016.2619263⟩
hal-02378053v1  Journal articles
David GommeletJulien Le TanouAline RoumyMichael RopertChristine Guillemot. Optical-Flow Based Nonlinear Weighted Prediction for SDR and Backward Compatible HDR Video Coding
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, In press, pp.1-16. ⟨10.1109/TIP.2019.2945685⟩
hal-01388959v1  Journal articles
Elif VuralChristine Guillemot. Out-of-sample generalizations for supervised manifold learning for classification
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2016, 25 (3), pp.15. ⟨10.1109/tip.2016.2520368⟩
hal-02155040v1  Journal articles
Jinglei ShiXiaoran JiangChristine Guillemot. A framework for learning depth from a flexible subset of dense and sparse light field views
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2019, pp.5867-5880. ⟨10.1109/TIP.2019.2923323⟩
hal-01388955v1  Journal articles
Julio Cesar FerreiraElif VuralChristine Guillemot. Geometry-Aware Neighborhood Search for Learning Local Models for Image Superresolution
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2016, 25 (3), pp.14. ⟨10.1109/tip.2016.2522303⟩
hal-02130555v1  Journal articles
Mikaël Le PenduChristine GuillemotAljosa Smolic. A Fourier Disparity Layer representation for Light Fields
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, In press, pp.5740 - 5753. ⟨10.1109/TIP.2019.2922099⟩
hal-01591517v1  Journal articles
Reuben FarrugiaChristine Guillemot. Face Hallucination Using Linear Models of Coupled Sparse Support
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2017, 26 (9), pp.4562-4577. ⟨10.1109/TIP.2017.2717181⟩
hal-01388961v1  Journal articles
Mikaël Le PenduChristine GuillemotDominique Thoreau. Inter-Layer Prediction of Color in High Dynamic Range Image Scalable Compression
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2016, 25, pp.3585 - 3596. ⟨10.1109/TIP.2016.2571559⟩
hal-01663508v1  Journal articles
Eduardo CanalePablo RomeroGerardo Rubino. Factorization and Exact Evaluation of the Source-Terminal Diameter-Constrained Reliability
Networks, Wiley, 2017, Special Issue on Design of Resilient Communication Networks, 70 (4), pp.283-291. ⟨10.1002/net.21780⟩
hal-02012672v1  Journal articles
George GiakkoupisPhilipp Woelfel. Efficient Randomized Test-And-Set Implementations
Distributed Computing, Springer Verlag, In press, pp.565-586. ⟨10.1007/s00446-019-00349-z⟩
hal-02502648v1  Conference papers
Romain TerrierValérie GourantonCédric BachNico PallaminBruno Arnaldi. Scenario-based VR Framework for Product Design
VISIGRAPP 2020 - 15th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, Feb 2020, Valletta, Malta. pp.1-8
hal-02126782v2  Conference papers
Cassio DantasJérémy CohenRémi Gribonval. Learning Tensor-structured Dictionaries with Application to Hyperspectral Image Denoising
EUSIPCO 2019 - 27th European Signal Processing Conference, Sep 2019, A Coruña, Spain. pp.1-5, ⟨10.23919/EUSIPCO.2019.8902593⟩
hal-02175630v1  Conference papers
Cassio DantasJérémy CohenRémi Gribonval. Hyperspectral Image Denoising using Dictionary Learning
WHISPERS 2019 - 10th Workshop on Hyperspectral Image and Signal Processing: Evolution in Remote Sensing, Sep 2019, Amsterdam, Netherlands. pp.1-5, ⟨10.1109/WHISPERS.2019.8921110⟩
hal-03197198v1  Journal articles
Wouter van TollJulien Pettré. Algorithms for Microscopic Crowd Simulation: Advancements in the 2010s
Computer Graphics Forum, Wiley, In press, Eurographics 2021, 40 (2)
hal-03195692v1  Conference papers
George GiakkoupisMehrdad Jafari GivPhilipp Woelfel. Efficient Randomized DCAS
STOC 2021 - 53rd Annual ACM SIGACT Symposium on Theory of Computing, Jun 2021, Rome (Virtual), Italy. pp.1-64
hal-02164770v1  Book sections
Jean-Baptiste BarreauEmmanuel LanoëRonan Gaugne. 3D Sketching of the Fortified Entrance of the Citadel of Aleppo from a Few Sightseeing Photos
Horst Kremers. Digital Cultural Heritage, Springer International Publishing, pp.359-371, 2020, 978-3-030-15200-0. ⟨10.1007/978-3-030-15200-0_24⟩
hal-03038560v1  Conference papers
Sébastien CanardAdela GeorgescuGuillaume KaimAdeline Roux-LangloisJacques Traoré. Constant-Size Lattice-Based Group Signature with Forward Security in the Standard Model
ProvSec 2020 - the 14th International Conference on Provable and Practical Security, Nov 2020, Singapore / Virtual, Singapore. pp.24-44, ⟨10.1007/978-3-030-62576-4_2⟩
hal-02944908v1  Conference papers
Patrick DerbezPaul HuynhVirginie LallemandMaría Naya-PlasenciaLéo Perrin et al.  Cryptanalysis Results on Spook: Bringing Full-round Shadow-512 to the Light
CRYPTO 2020 - 40th Annual International Cryptology Conference, Aug 2020, Santa Barbara / Virtual, United States. pp.359--388, ⟨10.1007/978-3-030-56877-1_13⟩
hal-03149211v1  Conference papers
Lamine NoureddineAnnelie HeuserCassius PuodziusOlivier Zendra. SE-PAC: A Self-Evolving PAcker Classifier against rapid packers evolution
CODASPY '21 - 11th ACM Conference on Data and Application Security and Privacy, Apr 2021, Virtual Event, United States. pp.1-12, ⟨10.1145/3422337.3447848⟩
hal-01888300v2  Journal articles
Yves MocquardBruno SericolaEmmanuelle Anceaume. Probabilistic Analysis of Rumor Spreading Time
INFORMS Journal on Computing, Institute for Operations Research and the Management Sciences (INFORMS), 2020, 32 (1), ⟨10.1287/ijoc.2018.0845⟩
hal-03024408v1  Conference papers
Antoine DurandGuillaume HébertKhalifa ToumiGérard MemmiEmmanuelle Anceaume. The StakeCube blockchain : Instantiation, Evaluation & Applications
BCCA 2020 - International Conference on Blockchain Computing and Applications, Nov 2020, Virtual, Turkey. pp.1-8
hal-03038124v1  Conference papers
Olivier BernardAdeline Roux-Langlois. Twisted-PHS: Using the Product Formula to Solve Approx-SVP in Ideal Lattices
Asiacrypt 2020 - 26th Annual International Conference on the Theory and Application of Cryptology and Information Security, Dec 2020, Virtual, France
hal-03058482v1  Conference papers
Daniel de Almeida BragaPierre-Alain FouqueMohamed Sabt. Dragonblood is Still Leaking: Practical Cache-based Side-Channel in the Wild
ACSAC 2020 - Annual Computer Security Applications Conference, Dec 2020, Austin / Virtual, United States. pp.291-303, ⟨10.1145/3427228.3427295⟩
hal-02473843v1  Conference papers
Giuseppe Di LunaEmmanuelle AnceaumeSilvia BonomiLeonardo Querzoni. Synchronous Byzantine Lattice Agreement in O(log(f )) Rounds
ICDCS 2020 - 40th IEEE International Conference on Distributed Computing Systems, IEEE, Nov 2020, Singapore, Singapore. pp.1-11
hal-03043681v1  Conference papers
Geoffrey SaunoisFrédérique RobinEmmanuelle AnceaumeBruno Sericola. Permissionless Consensus based on Proof-of-Eligibility
NCA 2020 - 19th IEEE International Symposium on Network Computing and Applications, Nov 2020, Boston (virtual venue), United States
hal-03199313v1  Conference papers
Deise Santana MaiaMinh-Tan PhamSébastien Lefèvre. Watershed-based attribute profiles for pixel classification of remote sensing data
DGMM 2021 - IAPR International Conference on Discrete Geometry and Mathematical Morphology, May 2021, Uppsala / Virtual, Sweden
hal-02566587v1  Conference papers
Anne KiefferPatrick MailléBruno Tuffin. Non Neutrality With Users Deciding Differentiation: A Satisfying Option?
IEEE/ACM International Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS) Workshop, Nov 2020, Nice, France
hal-02542689v1  Conference papers
Ximun CastoreoPatrick MailléBruno Tuffin. Weaknesses and Challenges of Network Neutrality Measurement Tools
16th International Conference on Network and Service Management (CNSM), Nov 2020, Bordeaux, France
hal-01938939v1  Conference papers
Patrick MailléBruno Tuffin. A Network Reliability Game
17th International Conference on the Economics of Grids, Clouds, Systems, and Services (GECON),, Sep 2020, Izola, Slovenia
hal-01578990v1  Conference papers
Tristan AllardTassadit BouadiJoris DuguépérouxVirginie Sans. From Self-Data to Self-Preferences: Towards Preference Elicitation in Personal Information Management Systems
International Workshop on Personal Analytics and Privacy (In conjunction with ECML PKDD 2017) , Sep 2017, Skopje, Macedonia
hal-01400271v1  Poster communications
Nathanael CheriereMatthieu Dorier. Design and Evaluation of Topology-aware Scatter and AllGather Algorithms for Dragonfly Networks
Supercomputing 2016, Nov 2016, Salt Lake City, United States. Supercomputing 2016
hal-02177158v1  Journal articles
Paul TempleMathieu AcherJean-Marc Jézéquel. Empirical Assessment of Multimorphic Testing
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, In press, pp.1-21. ⟨10.1109/TSE.2019.2926971⟩
hal-02313650v1  Conference papers
Routa MoussailebCharles BerrtiGuillaume DeboisdeffreNora CuppensJean-Louis Lanet. Watch Out! Doxware on The Way…
CRiSIS 2019 - 14th International Conference on Risks and Security of Internet and Systems, Oct 2019, Hammamet, Tunisia
hal-02305957v2  Journal articles
Alessio AntoniniMari Carmen Suárez-FigueroaAlessandro AdamouFrancesca BenattiFrançois Vignale et al.  Understanding the phenomenology of reading through modelling
Semantic Web – Interoperability, Usability, Applicability, IOS Press, In press, 12 (2), pp.191-217. ⟨10.3233/SW-200396⟩
hal-01415724v1  Conference papers
Antonin GillesPatrick GioiaRémi CozotLuce Morin. Computer generated hologram from Multiview-plus-Depth data considering specular reflections
IEEE International Conference on Multimedia Expo Workshops (ICMEW 2016), Jul 2016, Seattle, WA, United States. pp.1-6, ⟨10.1109/ICMEW.2016.7574699⟩
hal-01730163v2  Conference papers
Paul TempleMathieu AcherJean-Marc Jézéquel. Multimorphic Testing
ICSE '18 - ACM/IEEE 40th International Conference on Software Engineering, May 2018, Gothenburg, Sweden. pp.1-2, ⟨10.1145/3183440.3195043⟩
hal-01659137v1  Journal articles
Paul TempleMathieu AcherJean-Marc JézéquelOlivier Barais. Learning-Contextual Variability Models
IEEE Software, Institute of Electrical and Electronics Engineers, 2017, 34 (6), pp.64-70. ⟨10.1109/MS.2017.4121211⟩
hal-01357713v1  Journal articles
Ludovic HoyetAnne-Hélène OlivierRichard KulpaJulien Pettré. Perceptual Effect of Shoulder Motions on Crowd Animations
ACM Transactions on Graphics, Association for Computing Machinery, 2016, 35 (4), pp.1-10. ⟨10.1145/2897824.2925931⟩
hal-02349490v1  Conference papers
Tristan CharrierArthur QueffelecOcan SankurFrançois Schwarzentruber. Reachability and Coverage Planning for Connected Agents
AAMAS 2019 - 18th International Conference on Autonomous Agents and MultiAgent Systems, May 2019, Montreal, Canada. pp.1874-1876
hal-01410216v1  Conference papers
Gilles BartheSonia BelaïdFrançois DupressoirPierre-Alain FouqueBenjamin Grégoire et al.  Strong Non-Interference and Type-Directed Higher-Order Masking
CCS 2016 - 23rd ACM Conference on Computer and Communications Security, Oct 2016, Vienne, Austria. pp.116 - 129, ⟨10.1145/2976749.2978427⟩
hal-02544516v1  Conference papers
Florian BertonLudovic HoyetAnne-Hélène OlivierJulien BruneauOlivier Le Meur et al.  Eye-Gaze Activity in Crowds: Impact of Virtual Reality and Density
VR 2020 - 27th IEEE Conference on Virtual Reality and 3D User Interfaces, Mar 2020, Atlanta, United States. pp.1-10
hal-01332716v1  Conference papers
Pierre PlantardHubert ShumFranck Multon. Ergonomics Measurements using Kinect with a Pose Correction Framework
Digital Human Modeling, Jun 2016, Montreal, Canada. pp.8
hal-01919065v1  Conference papers
Zhiguang LiuAntonio MucherinoLudovic HoyetFranck Multon. Surface based motion retargeting by preserving spatial relationship
MIG '18 - 11th Annual International Conference on Motion, Interaction, and Games, Nov 2018, Limassol, Cyprus. pp.1-11, ⟨10.1145/3274247.3274507⟩
hal-01612939v1  Journal articles
Pierre PlantardHubert ShumFranck Multon. Usability of corrected Kinect measurement for ergonomic evaluation in constrained environment
International Journal of Human Factors Modelling and Simulation, Inderscience, 2017, 5 (4), pp.338 - 353. ⟨10.1504/IJHFMS.2017.087018⟩
hal-02951833v1  Conference papers
Nicolas OlivierLudovic HoyetFerran Argelaguet SanzFabien DanieauQuentin Avril et al.  The impact of stylization on face recognition
SAP 2020 - ACM Symposium on Applied Perception, Sep 2020, Virtual, United States. pp.1-9, ⟨10.1145/3385955.3407930⟩
hal-02951875v1  Journal articles
Katja ZibrekBenjamin NiayAnne-Hélène OlivierLudovic HoyetJulien Pettré et al.  The effect of gender and attractiveness of motion on proximity in virtual reality
ACM Transactions on Applied Perception, Association for Computing Machinery, 2020, 17 (4), pp.1-15. ⟨10.1145/3419985⟩
hal-01555452v1  Conference papers
Said Yacine BoulahiaEric AnquetilRichard KulpaFranck Multon. 3D Multistroke Mapping (3DMM): Transfer of Hand-Drawn Pattern Representation for Skeleton-Based Gesture Recognition
12th IEEE International Conference on Automatic Face and Gesture Recognition (FG 2017), May 2017, Washington, DC., United States. pp.462 - 467, ⟨10.1109/FG.2017.63⟩
hal-02349475v1  Conference papers
Tristan CharrierArthur QueffelecOcan SankurFrançois Schwarzentruber. Reachability and Coverage Planning for Connected Agents
IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1-7
hal-03137952v1  Conference papers
Cyprien GottsteinPhilippe Raipin ParvedyMichel HurfinHassan ThomasThierry Coupaye. Inverse Space Filling Curve Partitioning Applied to Wide Area Graphs
DMS 2020 - 11th International conference on Database Management Systems, Nov 2020, Zurich, Switzerland. pp.223-241, ⟨10.5121/csit.2020.101417⟩
hal-01666377v1  Conference papers
Said Yacine BoulahiaEric AnquetilFranck MultonRichard Kulpa. Dynamic hand gesture recognition based on 3D pattern assembled trajectories
IPTA 2017 - 7th IEEE International Conference on Image Processing Theory, Tools and Applications, Nov 2017, Montreal, Canada. pp.1-6
hal-03163763v1  Conference papers
Camille-Sovanneary GauthierRomaric GaudelElisa Fromont. Bandit Algorithm for Both Unknown Best Position and Best Item Display on Web Pages
IDA 2021 - 19th International Symposium on Intelligent Data Analysis, Apr 2021, Porto (virtual), Portugal. pp.1-12
hal-01078386v1  Conference papers
Jacques-Henri JourdanVincent LaporteSandrine BlazyXavier LeroyDavid Pichardie. A formally-verified C static analyzer
POPL 2015: 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2015, Mumbai, India. pp.247-259, ⟨10.1145/2676726.2676966⟩
hal-01339969v1  Conference papers
Sandrine BlazyVincent LaporteDavid Pichardie. An Abstract Memory Functor for Verified C Static Analyzers
ACM SIGPLAN International Conference on Functional Programming (ICFP 2016), Sep 2016, Nara, Japan. pp.14, ⟨10.1145/2951913.2951937⟩
hal-01156595v1  Conference papers
Gunter MussbacherDaniel AmyotRuth BreuJean-Michel BruelBetty Cheng et al.  The relevance of model-driven engineering thirty years from now
17th International Conference ACM/IEEE - Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2014, Valencia, Spain. pp. 183-200, ⟨10.1007/978-3-319-11653-2_12⟩
hal-02285736v1  Conference papers
Trung-Dung LeVerena KantereLaurent Orazio. Optimizing DICOM data management with NSGA-G
International Workshop on Design, Optimization, Languages and Analytical Processing of Big Data, Mar 2019, Lisbon, Portugal
hal-02285762v1  Conference papers
Trung-Dung LeVerena KantereLaurent Orazio. Dynamic estimation for medical data management in a cloud federation
International Workshop on Data Analytics solutions for Real-LIfe APplications, Mar 2019, Lisbon, Portugal
hal-00807884v1  Conference papers
Roberto BagnaraMatthieu CarlierRoberta GoriArnaud Gotlieb. Symbolic Path-Oriented Test Data Generation for Floating-Point Programs
Proc. of the 6th IEEE Int. Conf. on Software Testing, Verification and Validation (ICST'13), Mar 2013, Luxembourg, Luxembourg
hal-01237131v1  Journal articles
Eric BadouelLoïc HélouëtGeorges-Edouard KouamouChristophe MorvanRobert Nsaibirni. Active Workspaces: Distributed Collaborative Systems based on Guarded Attribute Grammars
ACM SIGAPP applied computing review : a publication of the Special Interest Group on Applied Computing, Association for Computing Machinery (ACM), 2015, 15 (3), pp.6-34. ⟨10.1145/2835260.2835261⟩
hal-03103810v2  Journal articles
Trung-Dung LeVerena KantereLaurent d'Orazio. Dynamic estimation and Grid partitioning approach for Multi-Objective Optimization Problems in medical cloud federations
Transactions on Large-Scale Data- and Knowledge-Centered Systems, Springer Berlin / Heidelberg, 2020
hal-01390478v1  Journal articles
Tobias MarschallManja MarzThomas AbeelLouis DijkstraBas E. Dutilh et al.  Computational pan-genomics: status, promises and challenges
Briefings in Bioinformatics, Oxford University Press (OUP), 2018, 19 (1), pp.118-135. ⟨10.1093/bib/bbw089⟩
hal-00812515v1  Conference papers
Sandrine BlazyVincent LaporteAndré MaronezeDavid Pichardie. Formal Verification of a C Value Analysis Based on Abstract Interpretation
SAS - 20th Static Analysis Symposium, Jun 2013, Seattle, United States. pp.324-344
hal-03207589v3  Conference papers
Kerian ThuillierCaroline BaroukhAlexander BockmayrLudovic CottretLoïc Paulevé et al.  Learning Boolean controls in regulated metabolic networks: a case-study
19th International Conference on Computational Methods in Systems Biology, 2021, Bordeaux, France