Skip to Main content Skip to Navigation

hal-01379322v1  Conference papers
Guillaume BressonMohamed-Cherif RahalDominique GruyerMarc RevilloudZayed Alsayed. A Cooperative Fusion Architecture for Robust Localization: Application to Autonomous Driving
IEEE Intelligent Transportation Systems Conference 2016, Nov 2016, Rio de Janeiro, Brazil
hal-01411848v1  Journal articles
Zeinab HmedehHarry KourdounakisVassilis ChristophidesCédric Du MouzaMichel Scholl et al.  Content-Based Publish/Subscribe System for Web Syndication
Journal of Computer Science and Technology, Springer Verlag, 2016, 31, pp.359 - 380. ⟨10.1007/s11390-016-1632-8⟩
hal-01423053v1  Journal articles
Vincent Cohen-AddadMichel HabibFabien de Montgolfier. Algorithmic aspects of switch cographs
Discrete Applied Mathematics, Elsevier, 2016, 200, pp.23 - 42. ⟨10.1016/j.dam.2015.07.008⟩
hal-01401856v2  Master thesis
Michele Pittoni. Online Identification of Last-Mile Throughput Bottlenecks on Home Routers
Networking and Internet Architecture [cs.NI]. 2016
hal-01415767v1  Master thesis
Maximilian Bachl. Collaborative Home Network Troubleshooting
Networking and Internet Architecture [cs.NI]. 2016
hal-01666599v1  Patents
Liliana Cucu-GrosjeanAdriana Gogonel. Simulation Device
France, Patent n° : FR2016/050504. 2016
hal-01419694v1  Journal articles
Robert I. DavisLiliana Cucu-GrosjeanMarko BertognaAlan Burns. A review of priority assignment in real-time systems
Journal of Systems Architecture, Elsevier, 2016, 65, pp.64 - 82
hal-01358702v1  Conference papers
Stefano CentomoJulien DeantoniRobert de Simone. Using SystemC Cyber Models in an FMI Co-Simulation Environment
19th Euromicro Conference on Digital System Design 31 August - 2 September 2016, Aug 2016, Limassol, Cyprus. ⟨10.1109/DSD.2016.86⟩
hal-01457184v2  Conference papers
Djamé SeddahMarie Candito. Hard Time Parsing Questions: Building a QuestionBank for French
Tenth International Conference on Language Resources and Evaluation (LREC 2016), May 2016, Portorož, Slovenia
hal-01584054v1  Conference papers
Héctor Alonso MartínezDjamé SeddahBenoît Sagot. From Noisy Questions to Minecraft Texts: Annotation Challenges in Extreme Syntax Scenarios
2nd Workshop on Noisy User-generated Text (W-NUT) at CoLing 2016, Dec 2016, Osaka, Japan
hal-01410080v1  Poster communications
Ines KhoufiPascale MinetErwan LivolantBadr Rmili. Building an IEEE 802.15.4e TSCH network
35th IEEE -- International Performance Computing and Communications Conference, Dec 2016, Las Vegas, United States
hal-01337093v1  Conference papers
Mariem SaiedJens GustedtGilles Muller. Automatic Code Generation for Iterative Multi-dimensional Stencil Computations
High Performance Computing, Data, and Analitics, Dec 2016, Hydarabat, India
hal-01355859v1  Conference papers
Ferdian ThungDinh Xuan Bach LeDavid LoJulia Lawall. Recommending Code Changes for Automatic Backporting of Linux Device Drivers
32nd IEEE International Conference on Software Maintenance and Evolution (ICSME), IEEE, Oct 2016, Raleigh, North Carolina, United States
hal-01251943v1  Conference papers
Arthur BlotPierre-Évariste DagandJulia Lawall. From Sets to Bits in Coq
FLOPS 2016, Mar 2016, Kochi, Japan
hal-01252167v1  Journal articles
Jean-Pierre LoziFlorian DavidGaël ThomasJulia LawallGilles Muller. Fast and Portable Locking for Multicore Architectures
ACM Transactions on Computer Systems, Association for Computing Machinery, 2016, ⟨10.1145/2845079⟩
hal-01391678v1  Conference papers
Olivier MichalonCorentin RibeyreMarie CanditoAlexis Nasr. Deeper syntax for better semantic parsing
Coling 2016 - 26th International Conference on Computational Linguistics, Dec 2016, Osaka, Japan
hal-01353734v1  Conference papers
Maximin CoavouxBenoît Crabbé. Neural Greedy Constituent Parsing with Dynamic Oracles
Association for Computational Linguistics (ACL), 2016, Berlin, Germany
hal-01356691v1  Conference papers
Fernando GarridoDavid Gonzalez BautistaVicente MilanésJoshué PérezFawzi Nashashibi. Optimized trajectory planning for Cybernetic Transportation Systems
9th IFAC Symposium on Intelligent Autonomous Vehicles IAV 2016, Jun 2016, Leipzig, Germany. pp.1-6
hal-01021928v2  Journal articles
Nicolas BrisebarreChristoph LauterMarc MezzarobbaJean-Michel Muller. Comparison between binary and decimal floating-point numbers
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2016, 65 (7), pp.2032-2044. ⟨10.1109/TC.2015.2479602⟩
hal-01352109v1  Conference papers
George BosilcaAurélien BouteillerAmina GuermoucheThomas HéraultYves Robert et al.  Failure Detection and Propagation in HPC systems
SC 2016 - The International Conference for High Performance Computing, Networking, Storage and Analysis, Nov 2016, Salt Lake City, United States
hal-01346067v1  Journal articles
Pietro GoriOlivier ColliotLinda Marrakchi-KacemYulia WorbeFabrizio de Vico Fallani et al.  Parsimonious Approximation of Streamline Trajectories in White Matter Fiber Bundles
IEEE Transactions on Medical Imaging, Institute of Electrical and Electronics Engineers, 2016, PP (99), ⟨10.1109/TMI.2016.2591080⟩
hal-01391526v1  Conference papers
Marianne DjemaaMarie CanditoPhilippe MullerLaure Vieu. Corpus annotation within the French FrameNet: a domain-by-domain methodology
Tenth International Conference on Language Resources and Evaluation (LREC 2016), May 2016, Portorož, Slovenia
hal-01391542v1  Conference papers
Laure VieuPhilippe MullerMarie CanditoMarianne Djemaa. A general framework for the annotation of causality based on FrameNet
Tenth International Conference on Language Resources and Evaluation (LREC 2016), May 2016, Portorož, Slovenia
hal-01394769v1  Conference papers
Dehui DuPing HuangKaiqiang JiangFrédéric MalletMingrui Yang. MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks
FACS 2016 - The 13th International Conference on Formal Aspects of Component Software, Oct 2016, Besançon, France
hal-01391743v2  Conference papers
Rachel BawdenBenoît Crabbé. Boosting for Efficient Model Selection for Syntactic Parsing
COLING 2016 - 26th International Conference on Computational Linguistics, Dec 2016, Osaka, Japan. pp.1-11
cea-01436006v1  Conference papers
Alexandre AdomnicaiBenjamin LacAnne CanteautJacques Jean-Alain FournierLaurent Masson et al.  On the importance of considering physical attacks when implementing lightweight cryptography
Lightweight Cryptography Workshop 2016 | NIST, NIST, Oct 2016, Gaithersburg, United States
hal-01311264v1  Poster communications
Tengfei ChangPere TusetJonathan MunozXavier VilajosanaThomas Watteyne. OpenWSN & OpenMote: Demo’ing A Complete Ecosystem for the Industrial Internet of Things
SECON 2016 - 13th Annual IEEE International Conference on Sensing, Communication and Networking, Jun 2016, London, United Kingdom. 2016, ⟨10.1109/SAHCN.2016.7733004⟩
hal-00769249v3  Journal articles
Florent JacquemardLuc SegoufinJérémie Dimino. FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems.
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2016, 12 (2), pp.32. ⟨10.2168/LMCS-12(2:3)2016⟩
hal-01367535v1  Conference papers
Florent Jacquemard. Some results on confluence: decision and what to do without
5th International Workshop on Confluence, Beniamino Accattoli, Ashish Tiwari Sep 2016, Obergurgl, Austria
hal-01274035v1  Journal articles
Florent JacquemardClément Poncelet Sanchez. An Automatic Test Framework for Interactive Music Systems
Journal of New Music Research, Taylor & Francis (Routledge), 2016, 45 (2), pp.18
hal-01314969v2  Journal articles
Clément Poncelet SanchezFlorent Jacquemard. Model-Based Testing for Building Reliable Realtime Interactive Music Systems
Science of Computer Programming, Elsevier, 2016, Special Issue on Software Verification and Testing (SAC-SVT'15), 132 (2), pp.143-172
hal-01298806v1  Conference papers
Adrien YcartJean BressonFlorent JacquemardSlawomir Staworko. Une approche interactive pour la transcription rythmique dans OpenMusic
Journées d'Informatique Musicale 2016, AFIM, Mar 2016, Albi, France
tel-01302875v2  Theses
Matias Vara Larsen. BCOol : the Behavioral Coordination Operator Language
Other [cs.OH]. Université Nice Sophia Antipolis, 2016. English. ⟨NNT : 2016NICE4013⟩
hal-01394677v1  Conference papers
Min ZhangFrédéric MalletHuibiao Zhu. An SMT-Based Approach to the Formal Analysis of MARTE/CCSL
Formal Methods and Software Engineering, Nov 2016, Tokyo, Japan. pp.433-449, ⟨10.1007/978-3-319-47846-3_27⟩
hal-01394665v1  Conference papers
Aamir Mehmood KhanFrédéric MalletRashid Muhammad. Natural Interpretation of UML/MARTE Diagrams for System Requirements Specification
2016 11th IEEE Symposium on Industrial Embedded Systems (SIES), May 2016, Krakow, Poland. pp.193-198, ⟨10.1109/SIES.2016.7509429⟩
hal-01421280v1  Conference papers
Cristian MaximAdriana GogonelIrina AsavoaeMihail AsavoaeLiliana Cucu-Grosjean et al.  Reproducibility and representativity - mandatory properties for the compositionality of measurement-based WCET estimation approaches
The 9th International Workshop on Compositional Theory and Technology for Real-Time Embedded System (CRTS2016), Dec 2016, Porto, Portugal
hal-01327798v1  Conference papers
Keoma Brun-LagunaThomas WatteyneSami MalekZiran ZhangCarlos Oroza et al.  SOL: An End-to-end Solution for Real-World Remote Monitoring Systems
IEEE International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), Sep 2016, Valencia, Spain
hal-01355060v1  Conference papers
Pedro Henrique GomesYing ChenThomas WatteyneBhaskar Krishnamachari. Insights into Frequency Diversity from Measurements on an Indoor Low Power Wireless Network Testbed
IEEE Global Telecommunications Conference (GLOBECOM), Workshop on Low-Layer Implementation and Protocol Design for IoT Applications (IoT-LINK), Dec 2016, Washington, DC, United States
hal-01217190v1  Conference papers
Pedro Henrique GomesThomas WatteynePradipta GoshBhaskar Krishnamachari. Reliability through Time-Slotted Channel Hopping and Flooding-based Routing
International Conference on Embedded Wireless Systems and Networks (EWSN), Dependability Competition, ACM, Feb 2016, Graz, Austria
hal-01333316v1  Conference papers
Jesica de ArmasPere TusetTengfei ChangFerran AdelantadoThomas Watteyne et al.  Determinism Through Path Diversity: Why Packet Replication Makes Sense
International Conference on Intelligent Networking and Collaborative Systems (INCoS), Sep 2016, Ostrava, Czech Republic, France
hal-01346979v1  Conference papers
Antoine BlinCédric CourtaudJulien SopenaJulia LawallGilles Muller. Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System
28th EUROMICRO Conference on Real-Time Systems (ECRTS'16), Jul 2016, Toulouse, France
hal-01329539v1  Conference papers
Timothée BernardLaurence Danlos. Modelling Discourse in STAG: Subordinate Conjunctions and Attributing Phrases
12th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+12), Jun 2016, Düsseldorf, Germany. pp.38-47
hal-01392829v1  Documents associated with scientific events
Laurence DanlosBenoît Crabbé. Natural Language Processing, 60 years after the Chomsky-Schützenberger hierarchy
Marie Paule Schützenberger 20 ans après, Mar 2016, Bordeaux, France
hal-01311527v1  Poster communications
Keoma Brun-LagunaAna Laura DiedrichsJavier Emilio ChaarDiego DujovneJuan Carlos Taffernaberry et al.  A Demo of the PEACH IoT-based Frost Event Prediction System for Precision Agriculture
SECON 2016 - 13th Annual IEEE International Conference on Sensing, Communication and Networking , Jun 2016, London, United Kingdom. 2016, ⟨10.1109/SAHCN.2016.7732963⟩
hal-01388949v1  Conference papers
Rudyar CortésXavier BonnaireOlivier MarinLuciana ArantesPierre Sens. GeoTrie: A Scalable Architecture for Location-Temporal Range Queries over Massive GeoTagged Data Sets
The 15th IEEE International Symposium on Network Computing and Applications (NCA 2016), 2016, Cambridge, MA, United States
hal-01349524v1  Conference papers
Pierre Donat-BouilludJean-Louis GiavittoArshia ContNicolas SchmidtYann Orlarey. Embedding native audio-processing in a score following system with quasi sample accuracy
ICMC 2016 - 42th International Computer Music Conference, Sep 2016, Utrecht, Netherlands
hal-01257524v1  Journal articles
Nicolás Schmidt GubbinsArshia ContJean-Louis Giavitto. First steps toward embedding real-time audio computing in Antescofo
Journal de Investigación de Pregado (Investigación, Interdisciplina, Innovación), Pontificia Universidad Católica de Chile, 2016, 6
hal-01340589v1  Journal articles
Nicolas HidalgoLuciana ArantesPierre SensXavier Bonnaire. ECHO: Efficient Complex Query over DHT overlays
Journal of Parallel and Distributed Computing, Elsevier, 2016, 88, pp.31-45. ⟨10.1016/j.jpdc.2015.10.007⟩
hal-01295738v1  Journal articles
Adrien Le CoëntLaurent FribourgNicolas MarkeyFlorian de VuystLudovic Chamoin. Distributed Synthesis of State-Dependent Switching Control
Lecture Notes in Computer Science, Springer, 2016, Reachability Problems (RP 2016), 9899, pp.119-133. ⟨10.1007/978-3-319-45994-3_9⟩
hal-01254275v1  Journal articles
Hermes SengerVeronica Gil-CostaLuciana ArantesCesar A.C. MarcondesMauricio Marin et al.  BSP Cost and Scalability Analysis for MapReduce Operations
Concurrency and Computation: Practice and Experience, Wiley, 2016, 28 (8), pp.2503-2527 ⟨10.1002/cpe.3628⟩
hal-01709754v1  Conference papers
Iryna AndriyanovaJean-Pierre Tillich. Multi-Stage Quantum Turbo Codes with an Arbitrary Small Decoding Error Probability
54th Annual Allerton Conference on Communication, Control, and Computing, Sep 2016, Urbana, United States
hal-01358399v1  Conference papers
Valérie IssarnyGeorgios BouloukakisNikolaos GeorgantasBenjamin Billet. Revisiting Service-oriented Architecture for the IoT: A Middleware Perspective
14th International Conference on Service Oriented Computing (ICSOC), Oct 2016, Banff, Alberta, Canada
hal-01358043v1  Conference papers
Georgios BouloukakisNikolaos GeorgantasSiddhartha DuttaValérie Issarny. Integration of Heterogeneous Services and Things into Choreographies
14th International Conference on Service Oriented Computing (ICSOC), Oct 2016, Banff, Alberta, Canada
hal-01223494v2  Conference papers
Pierre FraigniaudMarc HeinrichAdrian Kosowski. Local Conflict Coloring
FOCS 2016 - 57th Annual IEEE Symposium on Foundations of Computer Science, Oct 2016, New Brunswick, NJ, United States
hal-01423632v1  Book sections
Pierre Fraigniaud. Locality in Distributed Graph Algorithms
Encyclopedia of Algorithms, Springer, pp.1143-1148, 2016, 978-1-4939-2863-7. ⟨10.1007/978-1-4939-2864-4_608⟩
hal-01392822v1  Conference papers
Laurence DanlosMathieu ConstantLucie Barque. Improvement of VerbNet-like resources by frame typing
Workshop on Grammar and Lexicon: interactions and interfaces (GramLex), The COLING 2016 Organizing Committee, Dec 2016, Osaka, Japan. pp.61-70
hal-01235718v1  Conference papers
Yann LepoittevinIsabelle Herlin. Regularization terms for motion estimation. Links with spatial correlations
VISAPP - International Conference on Computer Vision Theory and Applications, Feb 2016, Rome, Italy. pp.458-466, ⟨10.5220/0005712104560464⟩
hal-01249778v1  Conference papers
Katsiaryna MirylenkaVassilis ChristophidesThemis PalpanasIoannis PefkianakisMartin May. Characterizing Home Device Usage From Wireless Traffic Time Series
19th International Conference on Extending Database Technology (EDBT), Mar 2016, Bordeaux, France
hal-01256092v1  Conference papers
Pierre-Louis CurienMarcelo FioreGuillaume Munch-Maccagnoni. A theory of effects and resources: adjunction models and polarised calculi
Principles of Programmming Languages, Jan 2016, Saint-Petersbourg, Florida, United States. ⟨10.1145/2837614.2837652⟩
hal-01377879v1  Journal articles
Elisabeth MaillartCaroline PapeixCharles MellerioAnne BertrandCatherine Lubetzki et al.  Extensive and severe CNS demyelination associated with golimumab therapy
Journal of Neurology, Springer Verlag, 2016, 263 (9), pp.1869 - 1871
hal-01400469v1  Conference papers
Karthikeyan BhargavanAntoine Delignat-LavaudCédric FournetAnitha GollamudiGeorges Gonthier et al.  Formal Verification of Smart Contracts: Short Paper
ACM Workshop on Programming Languages and Analysis for Security, Oct 2016, Vienna, Austria. ⟨10.1145/2993600.2993611⟩
tel-01399451v1  Habilitation à diriger des recherches
Hoeteck Wee. Advances in Functional Encryption
Cryptography and Security [cs.CR]. ENS Paris - Ecole Normale Supérieure de Paris, 2016
hal-01353886v1  Conference papers
Yujie ZhongRelja ArandjelovicAndrew Zisserman. Faces In Places: Compound query retrieval
BMVC - 27th British Machine Vision Conference, Sep 2016, York, United Kingdom
hal-01385178v1  Journal articles
Michel AbdallaFabrice BenhamoudaDavid Pointcheval. Public-key encryption indistinguishable under plaintext-checkable attacks
IET Information Security, Institution of Engineering and Technology, 2016, 10 (6), pp.288-303. ⟨10.1049/iet-ifs.2015.0500⟩
hal-01321532v1  Conference papers
Francis BachVianney Perchet. Highly-Smooth Zero-th Order Online Optimization Vianney Perchet
Conference on Learning Theory (COLT), Jun 2016, New York, United States
hal-01380735v1  Reports
Michel AbdallaRomain GayMariana RaykovaHoeteck Wee. Multi-Input Inner-Product Functional Encryption from Pairings
[Technical Report] Cryptology ePrint Archive: Report 2016/425, IACR. 2016
hal-01255765v1  Conference papers
Guillaume SeguinPiotr BojanowskiRémi LajugieIvan Laptev. Instance-level video segmentation from object tracks
CVPR 2016, IEEE, Jun 2016, Las Vegas, United States
tel-01407461v1  Theses
Thomas Schatz. ABX-Discriminability Measures and Applications
Cognitive science. Université Paris 6 (UPMC), 2016. English
hal-01377993v1  Conference papers
Houda FerradiRémi GéraudDiana MaimutDavid NaccacheDavid Pointcheval. Legally Fair Contract Signing Without Keystones
ACNS 2016 - 14th International Conference Applied Cryptography and Network Security, Jun 2016, Guildford, United Kingdom. pp.175 - 190, ⟨10.1007/978-3-319-39555-5_10⟩
hal-01393643v1  Journal articles
Pierre FraigniaudAmos Korman. An Optimal Ancestry Labeling Scheme with Applications to XML Trees and Universal Posets
Journal of the ACM (JACM), Association for Computing Machinery, 2016, 63, pp.1 - 31. ⟨10.1145/2794076⟩