Skip to Main content Skip to Navigation


inria-00638305v1  Conference papers
Gregor von BochmannStefan HaarClaude JardGuy-Vincent Jourdan. Testing Systems Specified as Partial Order Input\slashOutput Automata
Proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing of Software and Communicating Systems (TestCom'08) and 8th International Workshop on Formal Approaches to Testing of Software (FATES'08), 2008, Tokyo, Japan, Japan. pp.169-183, ⟨10.1007/978-3-540-68524-1_13⟩
inria-00638306v1  Conference papers
Stefan HaarClaude JardGuy-Vincent Jourdan. Testing Input\slashOutput Partial Order Automata
Proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing of Software and Communicating Systems (TestCom'07) and 7th International Workshop on Formal Approaches to Testing of Software (FATES'07), 2007, Tallinn, Estonia. pp.171-185, ⟨10.1007/978-3-540-73066-8_12⟩
in2p3-00948666v1  Conference papers
F. BodinPh. BoucaudN. CabibboG. CascinoF. Calvayrac et al.  APE computers--past, present and future
Europhysics Conference on Computational Physics Computational Modeling and Simulation of Complex Systems, Sep 2001, Aachen, Germany. pp.402-409, ⟨10.1016/S0010-4655(02)00314-4⟩
hal-00666293v1  Conference papers
Pascal FradetStéphane Hong Tuan Ha. Aspects of Availability
Proc. of the Sixth International Conference on Generative Programming and Component Engineering, GPCE'07, Oct 2007, Salzburg, Austria. pp.165-174, ⟨10.1145/1289971.1289999⟩
hal-00871157v1  Conference papers
Abdellatif Benjelloun TouimiMichel MilhauAlain Le GuyaderCaroline FontaineClaude Delpha et al.  Secured diffusion of music on mobiles: An end-to-end approach
3rd Taiwanese-French Conference on Information Technology, Mar 2006, Nancy, France
hal-02746678v1  Conference papers
Frédéric LecerfAnthony BretaudeauOlivier SallouColette DésertAnne Blum et al.  AnnotQTL: a new tool to gather functional and comparative information on a genomic region
15th QTLMAS, Institut National de Recherche Agronomique (INRA). UMR Génétique Animale (0598)., May 2011, Rennes, France
hal-00637840v1  Conference papers
Guillaume ChapuisOlivier FilangiPascale Le RoyJean-Michel ElsenDominique Lavenier. GPU Accelerted QTLMap
The 15th QTL-MAS workshop, May 2011, -, France
hal-02058340v1  Conference papers
Sean LynchRichard KulpaLaurentius Antonius MeerhoffAnthony SorelJulien Pettré et al.  Collision avoidance between walkers with a twist: strategies for curvilinear and rectilinear paths.
ISPGR 2019 - Conference of the International Society for Posture & Gait Research, Jun 2019, Edinburgh, United Kingdom
hal-01638297v1  Conference papers
Hao JiangZacharie BrodardTengfei ChangAhmed BouabdallahNicolas Montavont et al.  Dependability Competition: Controlled Replication for Higher Reliability and Predictability in Industrial IoT Networks
EWSN 2017 : International Conference on Embedded Wireless Systems and Networks, Feb 2017, Uppsala, Sweden. pp.282 - 283
hal-02310154v1  Conference papers
Pedro SilvaAlexandru CostanGabriel Antoniu. Towards a Methodology for Benchmarking Edge Processing Frameworks
IPDPSW 2019 - IEEE International Parallel and Distributed Processing Symposium Workshops, May 2019, Rio de Janeiro, Brazil. pp.904-907, ⟨10.1109/IPDPSW.2019.00149⟩
hal-01572193v1  Conference papers
Álvaro García-Recuero. Efficient Privacy-Preserving Adversarial Learning in Decentralized Online Social Networks
ASONAM 2017 - IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining , Jul 2017, Sydney, Australia. ⟨10.1145/3110025.3119400⟩
hal-02183527v1  Conference papers
Olivier Sentieys. Playing with number for Energy Efficiency, Introduction to Approximate Computing
INC 2019 - IEEE International Nanodevices and Computing, Apr 2019, Grenoble, France
hal-01781468v1  Conference papers
Saad El JaouhariAhmed BouabdallahJean-Marie Bonnin. A secure WebRTC/WoT-based health-care architecture enhanced with access control
ICOIN 2018 - 32nd International Conference on Information Networking, Jan 2018, Chiang Mai, Thailand. pp.182-187, ⟨10.1109/ICOIN.2018.8343107⟩
hal-01809090v1  Conference papers
Ange OuyaBlanca Martinez de AragonCécile BouetteGuillaume HabaultNicolas Montavont et al.  An Efficient Electric Vehicle Charging Architecture based on LoRa Communication
SmartGridComm 2017 - 8th IEEE International Conference on Smart Grid Communications, Oct 2017, Dresden, Germany. pp.381-386, ⟨10.1109/SmartGridComm.2017.8340723⟩
hal-01855923v1  Conference papers
Fouzia MoussouniLaure Berti-ÉquilleGwenael RoséOlivier LoréalEmilie Guérin. QDex: A Database Profiler for Generic Bio-data Exploration and Quality Aware Integration
Proceedings of the Intl. Workshop on Approaches and Architectures for Web Data Integration and Mining in Life Sciences (WebDIM4LS) in Web Information Systems Engineering, WISE 2007 International Workshops,, Dec 2007, Nacy, France
hal-01856029v1  Conference papers
Laure Berti-ÉquilleAnish Das SarmaXin Luna DongAmélie MarianDivesh Srivastava. Sailing the Information Ocean with Awareness of Currents: Discovery and Application of Source Dependence
Proceedings of the Biennial Conference on Innovative Data Systems Research (CIDR), Jan 2009, Asilomar, CA, United States
hal-01629878v1  Conference papers
Stjepan PicekAnnelie HeuserAlan JovicAxel Legay. Climbing Down the Hierarchy: Hierarchical Classification for Machine Learning Side-Channel Attacks
AFRICACRYPT 2017 - International Conference on Cryptology in Africa, May 2017, Dakar, Senegal. pp.61-78, ⟨10.1007/978-3-319-57339-7_4⟩
hal-01975986v1  Conference papers
Nicolas MontavontGeorgios PapadopoulosRemous-Aris KoutsiamanisPeriklis ChatzimisiosDiego Dujovne. TAOF: Traffic Aware Objective Function for RPL-based Networks
GIIS 2018 : Global Information Infrastructure and Networking Symposium, Oct 2018, Thessaloniki, Greece. ⟨10.1109/GIIS.2018.8635699⟩
hal-01657448v1  Conference papers
Gerardo Rubino. New results on the transient analysis of some fundamental queuing systems - Keynote presentation
ACMPT 2017 - Analytical and Computational Methods in Probability Theory and its Applications, Lomonosov Moscow State University (MSU), Oct 2017, Moscow, Russia
hal-01658082v1  Conference papers
Gerardo Rubino. Rare events in simulation: issues and techniques - Plenary speaker
IMA 2017 - the 6th World Congress of the Microsimulation Association, Jun 2017, Torino, Italy
hal-01645400v1  Conference papers
Jean-Louis Lanet. Experimenting similarity-based hijacking attacks detection and response in Android Systems
ICISS, International Conference on Information Systems Security, Dec 2017, Bombay, India
hal-01591926v1  Conference papers
Abdelhak MesbahJean-Louis LanetMohamed Mezghiche. Reverse Engineering a Code without the Code
1st Reversing and Offensive-oriented Trends Symposium 2017 , Sergey Bratus (Dartmouth College), Nov 2017, Vienna, Austria
hal-01883409v1  Conference papers
Christel BaierNathalie BertrandClemens DubslaffDaniel GburekOcan Sankur. Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes
LICS '18 - 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. pp.86-94, ⟨10.1145/3209108.3209184⟩
hal-02291241v1  Conference papers
Loïc HélouëtNicolas MarkeyRitam Raha. Reachability Games with Relaxed Energy Constraints
GandALF 2019 - Tenth International Symposium on Games, Automata, Logics, and Formal Verification, Sep 2019, Bordeaux, France. pp.17-33, ⟨10.4204/EPTCS.305.2⟩
hal-02062166v1  Conference papers
Serge GueltonAdrien GuinetPierrick BrunetJuan Manuel MartinezFabien Dagnat et al.  Combining Obfuscation and Optimizations in the Real World
18th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), Sep 2018, Madrid, Spain. pp.24 - 33, ⟨10.1109/SCAM.2018.00010⟩
cea-01808886v1  Conference papers
Sandrine BlazyD. BühlerB. Yakobowski. Structuring abstract interpreters through state and value abstractions
18th International Conference on Verification Model Checking and Abstract Interpretation (VMCAI 2017), Jan 2017, Paris, France. pp.112-130, ⟨10.1007/978-3-319-52234-0_7⟩
hal-01887809v1  Conference papers
Antoine CriniereAline RoumyThomas MaugeyMichel KiefferJean Dumoulin. Compression of spatio-temporally correlated and massive georeferenced Data
EGU'18, European Geosciences Union General Assembly, Apr 2018, Vienne, Austria
hal-01656115v1  Conference papers
Daniela RengaHussein Al Haj HassanMichela MeoLoutfi Nuaymi. Improving the interaction of a green mobile network with the smart grid
ICC 2017 : IEEE International Conference on Communications, May 2017, Paris, France. pp.1 - 7, ⟨10.1109/ICC.2017.7997121⟩
hal-01656188v1  Conference papers
Mariem Ben YahiaYannick Le LouedecLoutfi NuaymiGwendal Simon. When HTTP/2 Rescues DASH: Video Frame Multiplexing
INFOCOM 2017 : IEEE International Conference on Computer Communications, May 2017, Atlanta, United States. pp.677 - 682, ⟨10.1109/INFCOMW.2017.8116458⟩
hal-01638304v1  Conference papers
Hao JiangAhmed Bouabdallah. Towards a JSON-Based Fast Policy Evaluation Framework
C&TC 2017 : Cloud and Trusted Computing - International Symposium on Secure Virtual Infrastructures, Oct 2017, Rhodes, Greece. pp.22 - 30, ⟨10.1007/978-3-319-69459-7_2⟩
hal-01683385v1  Conference papers
Himalaya JainJoaquin ZepedaPatrick PérezRémi Gribonval. Learning a Complete Image Indexing Pipeline
CVPR 2018 - IEEE Conference on Computer Vision and Pattern Recognition, Jun 2018, Salt Lake City, United States
hal-01683390v1  Conference papers
Himalaya JainJoaquin ZepedaPatrick PérezRémi Gribonval. SUBIC: A supervised, structured binary code for image search
The IEEE International Conference on Computer Vision (ICCV), Oct 2017, Venise, Italy. ⟨10.1109/ICCV.2017.96⟩
hal-01645404v1  Conference papers
Jean-Louis LanetAbdelhak Mesbah. The Express Laundry - from black box to white box
Workshop InS3PECT: Ingénierie Système de Services Sécurisés Pour objEts ConnecTé, Dec 2017, Nice, France
hal-01658088v1  Conference papers
Gerardo Rubino. Dependability Analysis through Monte Carlo Methods: The Case of Rare Events - Tutorial
ICDT 2017 - The 12th International Conference on Digital Telecommunications, Apr 2017, Venezia, Italy
hal-02894772v1  Conference papers
Thierry JéronNicolas MarkeyDavid MentréReiya NoguchiOcan Sankur. Incremental methods for checking real-time consistency
FORMATS 2020 - 18th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienne, Austria. pp.1-18
hal-01640074v1  Conference papers
Uli FahrenbergAxel Legay. Featured Weighted Automata
5th FME Workshop on Formal Methods in Software Engineering (FormaliSE 2017), May 2017, Buenos Aires, Argentina. ⟨10.1109/FormaliSE.2017.2⟩
hal-01658064v1  Conference papers
Gerardo Rubino. On the derivation of closed-form expressions of the solutions to (possibly infinite) some simple linear systems of ODEs - Keynote presentation
CDEDS 2017 - Conference on Differential Equations and Dynamical Systems, Sep 2017, Suzhou, China
hal-01645403v1  Conference papers
Jean-Louis Lanet. Formal Methods and the Dark Side of the Force
Journée Approches Formelles des Systèmes Embarqués Communicants, Jun 2017, Paris, France
hal-01645396v1  Conference papers
Jean-Louis LanetAurélien Palisse. When data reveals ransomware activity
4th International Conference on Operational Planning, Technological Innovations and Mathematical Applications,, May 2017, Athen, Greece
hal-01591931v1  Conference papers
Abdelhak MesbahMohamed MezghicheJean-Louis Lanet. Persistant Fault Injection Attack, From White-box to Black-box
The 5th International Conference on Electrical Engineering - ICEE 2017, Oct 2017, Boumedrès, Algeria
inria-00536714v1  Conference papers
Antoine EicheDaniel ChilletSébastien PillementOlivier Sentieys. Task placement for dynamic and partial reconfigurable architecture
Conference on Design and Architectures for Signal and Image Processing, Oct 2010, Edimbourg, United Kingdom
hal-01896281v1  Conference papers
Jacob ChakareskiRidvan AksuXavier CorbillonGwendal SimonVishy Swaminathan. Viewport-Driven Rate-Distortion Optimized 360° Video Streaming
ICC 2018 : IEEE International Conference on Communications, IEEE, May 2018, Kansas City, United States. ⟨10.1109/ICC.2018.8422859⟩
hal-02173102v1  Conference papers
Antoine BeugnardLudger FiegeRobert FilmanEric JulSalah Sadou et al.  Communication Abstractions for Distributed Systems
ECOOP'2004 Workshop Reader, J. Malenfant and Bjarte M. Ostvold éditeurs, LNCS 3344, Jun 2004, Oslo, France. pp.66 - 74
hal-01658101v1  Conference papers
Sebastián BasterrechGerardo Rubino. A G-Network as a Reservoir Computing Model
First G-Networks Workshop, Jan 2017, Nice, France
hal-02980833v1  Conference papers
Nathalie BertrandNicolas MarkeySuman SadhukhanOcan Sankur. Dynamic network congestion games
FSTTCS 2020 - 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2020, Goa, India
hal-01651125v1  Conference papers
Olivier Le MeurAntoine CoutrotZhi LiuPia RämäAdrien Le Roch et al.  Your gaze betrays your age
25th European Signal Processing Conference - EUSIPCO, Aug 2017, Kos, Greece
hal-01651151v1  Conference papers
Olivier Le MeurAntoine CoutrotAdrien Le RochAndrea HeloPia Rämä et al.  Age-dependent saccadic models for predicting eye movements
IEEE International Conference on Image Processing - ICIP 2017, Sep 2017, Shanghai, China
hal-01664764v1  Conference papers
Hao JiangZacharie BrodardTengfei ChangAhmed BouabdallahNicolas Montavont et al.  Competition: Controlled Replication for Higher Reliability and Predictability in Industrial IoT Networks
EWSN 2017 : International Conference on Embedded Wireless Systems and Networks, Feb 2017, Uppsala, Sweden
hal-01609010v1  Conference papers
Jamal BoulmalFrédéric LuartAhmed BouabdallahMichel l'Hostis. Group Communication in the reTHINK Framework
EuCNC 2017 : European Conference on Networks and Communications, Jun 2017, Oulu, Finland. ⟨10.1109/EuCNC.2017.7980648⟩
hal-01424935v1  Conference papers
Jorge PuenteCamino Rodríguez VelaInés Gonzalez-RodriguezEl-Ghazali Talbi. SimGA : A simulating approach to fuzzy job shop problems
META 2016 - 6th International Conference on Metaheuristics and Nature Inspired Computing, 2016, Marrakech, Morocco
hal-01759017v1  Conference papers
Younes KhadraouiXavier LagrangeAnnie Gravey. Implementation of LTE/WiFi Link Aggregation with Very Tight Coupling
PIMRC 2017 : IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, Oct 2017, Montreal, Canada. ⟨10.1109/PIMRC.2017.8292259⟩
hal-01894037v1  Conference papers
Saad El JaouhariAhmed Bouabdallah. Dynamic security management of smart WoT infrastructures using SDN
VTC-Fall 2018 : IEEE 88th Vehicular Technology, Aug 2018, Chicago, United States. ⟨10.1109/VTCFall.2018.8690740⟩
hal-02309758v1  Conference papers
Samy KambouAhmed Bouabdallah. A Strong Authentication Method for Web/Mobile Services
2019 6th IEEE International Conference on Cyber Security and Cloud Computing (CSCloud)/ 2019 5th IEEE International Conference on Edge Computing and Scalable Cloud (EdgeCom), Jun 2019, Paris, France. pp.124-129, ⟨10.1109/CSCloud/EdgeCom.2019.000-8⟩
hal-02189627v1  Conference papers
Samy KambouAhmed Bouabdallah. Improving Strong Mobile Authentication with Structural Diversity and User-Friendliness
2019 10th IFIP International Conference on New Technologies, Mobility and Security (NTMS), Jun 2019, CANARY ISLANDS, Spain. pp.1-5, ⟨10.1109/NTMS.2019.8763821⟩
hal-01881249v1  Conference papers
Ayman ChouayakhAurelien BechlerIsabel AmigoLoutfi NuaymiPatrick Maillé. PAM: A Fair and Truthful Mechanism for 5G Dynamic Spectrum Allocation
PIMRC 2018 : IEEE 29th Annual International Symposium on Personal, Indoor and Mobile Radio Communications, Sep 2018, Bologne, Italy. ⟨10.1109/PIMRC.2018.8580859⟩
hal-01660646v1  Conference papers
Armando CastañedaMichel RaynalSergio Rajsbaum. Long-Lived Tasks
NETYS 2017 - 5th International Conference on NETworked sYStems, May 2017, Marrakech, Morocco. pp.439-454, ⟨10.1007/978-3-319-59647-1_32⟩
hal-02005468v1  Conference papers
Rémi SharrockBaptiste GaultierPetra TaylorMichael GoudzwaardMathias Hiron et al.  Coding Tutorials for any Programming Language or Interactive Tutorials for C and Arduino
SIGCSE '18 : 49th ACM Technical Symposium on Computer Science, Feb 2018, Baltimore, United States. pp.1051-1051, ⟨10.1145/3159450.3162381⟩
hal-01988323v1  Conference papers
Mariem Ben YahiaYannick Le LouedecGwendal SimonLoutfi Nuaymi. HTTP/2-Based Streaming Solutions for Tiled Omnidirectional Videos
ISM 2018 : IEEE International Symposium on Multimedia, Dec 2018, Taichung, Taiwan. pp.89-96, ⟨10.1109/ISM.2018.00023⟩
hal-02276070v1  Conference papers
Samy KambouAhmed Bouabdallah. Using Structural Diversity to Enforce Strong Authentication of Mobiles to the Cloud
CNS 2019 IEEE Conference on Communications and Network Security, Jun 2019, Washington DC, United States. pp.1-9, ⟨10.1109/CNS.2019.8802823⟩
hal-02268373v1  Conference papers
Mathieu AcherTewfik ZiadiRoberto Lopez-HerrejonJabier Martinez. Seventh international workshop on reverse variability engineering (REVE 2019)
SPLC 2019 - 23rd International Systems and Software Product Line Conference, Sep 2019, Paris, France. pp.1
hal-02276618v1  Conference papers
Gwendal SimonViswanathan Swaminathan. An Open Initiative for the Delivery of Infinitely Scalable and Animated 3D Scenes
VR 2019 : IEEE Conference on Virtual Reality and 3D User Interfaces, Mar 2019, Osaka, France. pp.1161-1162, ⟨10.1109/VR.2019.8798342⟩
hal-02193642v1  Conference papers
Simon LunelStefan MitschBenoît BoyerJean-Pierre Talpin. Parallel Composition and Modular Verification of Computer Controlled Systems in Differential Dynamic Logic
FM 2019 - 23rd International Symposium on Formal Methods, Oct 2019, Porto, Portugal. pp.1-22
hal-01887824v1  Conference papers
Saad El JaouhariAhmed Bouabdallah. A Privacy Safeguard Framework for a WebRTC/WoT-Based Healthcare Architecture
COMPSAC 2018 : IEEE 42nd Annual Computer Software and Applications Conference, in the 13th IEEE International Workshop on Security, Trust and Privacy for Software Application (STPSA 2018), Jul 2018, Tokyo, Japan. ⟨10.1109/COMPSAC.2018.10278⟩
hal-01950397v1  Conference papers
Salah Eddine BenatiaOmar SmailMeftah BoudjelalBernard Cousin. ESMRsc: Energy Aware and Stable Multipath Routing Protocol for Ad Hoc Networks in Smart City
2nd International Conference on Artificial Intelligence in Renewable Energetic Systems (ICAIRES'2018), Nov 2018, Tipasa, Algeria. pp.31-42, ⟨10.1007/978-3-030-04789-4_4⟩
hal-01923463v1  Conference papers
Ayman ChouayakhAurelien BechlerIsabel AmigoLoutfi NuaymiPatrick Maillé. A truthful auction mechanism for dynamic allocation of LSA spectrum blocks for 5G
NETGCOOP 2018 : 9th International Conference on NETwork Games, COntrol and OPtimisation, Nov 2018, New York, United States. ⟨10.1007/978-3-030-10880-9_13⟩
hal-02276617v1  Conference papers
Gwendal SimonStefano PetrangeliNathan CarrViswanathan Swaminathan. Streaming a Sequence of Textures for Adaptive 3D Scene Delivery
VR 2019 : IEEE Conference on Virtual Reality and 3D User Interfaces, Mar 2019, Osaka, Japan. pp.1159-1160, ⟨10.1109/VR.2019.8797855⟩
hal-02276620v1  Conference papers
Mengbai XiaoShuoqian WangChao ZhouLi LiuZhenhua Li et al.  Companion Paper for "MiniView Layout for Bandwidth-Efficient 360-Degree Video
ACMMULTIMEDIA 2019 : 27th ACM International Conference on Multimedia, Oct 2019, Nice, France. ⟨10.1145/3343031.3351168⟩
hal-01924302v1  Conference papers
Juana CordovaGonzalo EspinozaLoutfi Nuaymi. Simple capacity estimations in the complex 5G/New Radio system
PIMRC 2018 : 29th Annual International Symposium on Personal, Indoor and Mobile Radio Communications, Sep 2018, Bologne, Italy. ⟨10.1109/PIMRC.2018.8580861⟩
hal-02268141v1  Conference papers
Patricia BouyerOrna KupfermanNicolas MarkeyBastien MaubertAniello Murano et al.  Reasoning about Quality and Fuzziness of Strategic Behaviours
IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1588-1594, ⟨10.24963/ijcai.2019/220⟩
hal-01575566v1  Conference papers
Thomas MaugeyOlivier Le MeurZhi Liu. Saliency-based navigation in omnidirectional image
MMSP 2017 - IEEE International Workshop on Multimedia Signal Processing, Oct 2017, Luton, United Kingdom
hal-01597830v1  Conference papers
Xavier CorbillonFrancesca de SimoneGwendal Simon. 360-Degree Video Head Movement Dataset
MMSys 2017 : 8th ACM on Multimedia Systems Conference , Jun 2017, Taipei, Taiwan. pp.199 - 204, ⟨10.1145/3083187.3083215⟩
hal-01615148v1  Conference papers
Jean-Pierre Talpin. Compositional methods for CPS design (keynote abstract)
3rd Symposium on Dependable Software Engineering: Theories, Tools and Applications, Oct 2017, Changsha, China
hal-01663941v1  Conference papers
Amir Teshome WonjigaLouis RillingChristine Morin. Verification for Security Monitoring SLAs in IaaS Clouds: the Example of a Network IDS
NOMS 2018 - Network Operations and Management Symposium, Apr 2018, Taipei, Taiwan. pp.1-7, ⟨10.1109/NOMS.2018.8406157⟩
hal-01741050v1  Conference papers
Iaad Ben DhiaMustapha BouhtouTaoufik En NajjarySamer LahoudXavier Lagrange. Optimization of Access Points Selection and Resource Allocation in Heterogeneous Wireless Network
PIMRC 2017 : IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, Oct 2017, Montreal, Canada. ⟨10.1109/PIMRC.2017.8292261⟩
hal-01666280v1  Conference papers
Saad El JaouhariAhmed BouabdallahJean-Marie BonninTayeb Lemlouma. Securing the Communications in a WoT/WebRTC-based Smart Healthcare Architecture
MT4H 2017 : 2nd International Workshop on Mobile Technology for Healthcare, Jun 2017, Exeter, United Kingdom. pp.403 - 408, ⟨10.1109/ISPAN-FCST-ISCC.2017.70⟩
hal-01660734v1  Conference papers
Rachid GuerraouiAnne-Marie KermarrecRhicheek PatraMahammad ValiyevJingjing Wang. I Know Nothing about You But Here is What You Might Like.
DSN 2017 - The 47th IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2017, Denver, United States. pp.1-12, ⟨10.1109/DSN.2017.22⟩
hal-01977701v1  Conference papers
Allal TiberkakAbdelfetah HentoutAbdelkader BelkhirTayeb LemloumaAhmed Bouabdallah. Set Theory-based FSM for Managing Home Emergencies Concept, Properties and Process Algebra
3rd International Conference on Pattern Analysis and Intelligent Systems (PAIS), Oct 2018, Tebessa, Algeria. ⟨10.1109/PAIS.2018.8598482⟩
hal-01581496v1  Conference papers
Santiago Ruano RinconSandrine VatonStéphane Bortzmeyer. A Software-based Approach to Generate and Detect Flooding Attacks against DNS Infrastructure
OARC 26 2016 : workshop DSN-OARC - Domain Name System Operations Analysis ane Research Center, May 2017, Madrid, Spain
hal-01574796v1  Conference papers
Najmeddine MajedStéphane RagotXavier LagrangeAlberto BlancJérôme Dufour et al.  Experimental evaluation of WebRTC voice quality in LTE coverage tests
QoMEX 2017 : 9th International Conference on Quality of Multimedia Experience , May 2017, Erfurt, Germany. pp.1 - 6, ⟨10.1109/QoMEX.2017.7965649⟩
hal-01926978v1  Conference papers
Jean-Pierre Talpin. Refinement types for system design (abstract)
FDL 2018 - Forum on specification and Design Languages, Sep 2018, Munich, Germany
hal-01855836v1  Conference papers
Laure Berti-Équille. Quality-Aware Association Rule Mining
Proceedings of Advances in Knowledge Discovery and Data Mining. PAKDD 2006, Apr 2006, Singapore, Singapore. pp.440-449
hal-01239864v1  Conference papers
Thomas GaillatPascale SébillotNicolas Ballier. Automated processing of an English learner corpus: the case of this and that
ICAME332012 : Corpora at the centre and crossroads of English linguistics, University of Leuven, May 2012, Louvain, Belgium
hal-03145963v1  Conference papers
Alban SifferAlexandre TermierPierre-Alain FouqueChristine Largouët. Netspot: a simple Intrusion Detection System with statistical learning
TrustCom 2020 - IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications, Dec 2020, Guangzhou, China. ⟨10.1109/TrustCom50675.2020.00122⟩
hal-02391261v1  Conference papers
Jérémy BeaumontHervé Saint-JalmesOscar AcostaTobias KoberMark Tanner et al.  High Contrast T1-Weigthed Mri with Fluid and White Matter Suppression Using Mp2Rage
ISBI 2019 - 16th IEEE International Symposium on Biomedical Imaging, Apr 2019, Venice, Italy. pp.701-704, ⟨10.1109/ISBI.2019.8759494⟩
hal-03252105v1  Conference papers
Roucan-Kane, MaudSandra Mara Schiavi BankutiMelise BouroullecPaulo Souza Junior. Organizational innovations in the French bovine meat industry: a case Study of the Label Rouge Veau d’Aveyron et du Ségala
146th EAAE Seminar: Technology transfer as a driver of innovative entrepreneurship in agriculture, Jul 2015, Crete, Greece
hal-03353609v1  Conference papers
Laurent MicletHenri Prade. Handling analogical proportions in classical logic and fuzzy logics settings
10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2009), Jul 2009, Verona, Italy. pp.638-650, ⟨10.1007/978-3-642-02906-6_55⟩
hal-03148616v1  Conference papers
Vicent CholviAntonio Fernandez AntaChryssis GeorgiouNicolas NicolaouMichel Raynal. Atomic Appends in Asynchronous Byzantine Distributed Ledgers
EDCC 2020 - 16th European Dependable Computing Conference, Sep 2020, Munich, Germany. pp.77-84, ⟨10.1109/EDCC51268.2020.00022⟩
hal-03065835v1  Conference papers
Johann KnechtelElif Bilge KavunFrancesco RegazzoniAnnelie HeuserAnupam Chattopadhyay et al.  Towards Secure Composition of Integrated Circuits and Electronic Systems: On the Role of EDA
DATE 2020 - Design, Automation & Test in Europe Conference & Exhibition, Mar 2020, Grenoble, France. pp.508-513, ⟨10.23919/DATE48585.2020.9116483⟩
hal-02982981v1  Conference papers
David Méndez-AcuñaJosé GalindoBenoit CombemaleArnaud BlouinBenoit Baudry. Reverse engineering language product lines from existing DSL variants
22nd International Systems and Software Product Line Conference - SPLC 2018, Sep 2018, Gothenburg, Sweden. pp.148, ⟨10.1145/3233027.3236394⟩