Skip to Main content Skip to Navigation


...
hal-03461137v1  Conference papers
Mahyar Tourchi MoghaddamEric RuttenGuillaume Giraud. Hierarchical Control for Self-adaptive IoT Systems A Constraint Programming-Based Adaptation Approach
HICSS 2022 - Hawaii International Conference on System Sciences, Dec 2022, Hawaii, United States. pp.1-10
hal-03533746v1  Book sections
Jean-Louis DinhChristophe GodinEugenio Azpeitia. Introduction to to Computational Modeling of Multicellular Tissues
Plant Systems Biology, 2395, Springer New York, pp.107-145, 2022, Methods in Molecular Biology, ⟨10.1007/978-1-0716-1816-5_7⟩
...
hal-03418759v1  Book sections
Nicolas BelloirJérémy BuissonLionel Touseau. Model-Driven Engineering as the Interface for Tactical Operation Order of Mixed Robot/Human Platoons
Developments and Advances in Defense and Security, 255, Springer Singapore, pp.205-214, 2022, Smart Innovation, Systems and Technologies, ⟨10.1007/978-981-16-4884-7_16⟩
...
hal-03398607v1  Journal articles
Yohan Bonescki GumielLucas Emanuel Silva E OliveiraVincent ClaveauNatalia GrabarEmerson Cabrera Paraiso et al.  Temporal Relation Extraction in Clinical Texts
ACM Computing Surveys, Association for Computing Machinery, 2022, 54 (7), pp.1-36. ⟨10.1145/3462475⟩
...
hal-03509562v1  Journal articles
Yohan Bonescki GumielLucas Emanuel Silva E OliveiraVincent ClaveauNatalia GrabarEmerson Cabrera Paraiso et al.  Temporal Relation Extraction in Clinical Texts
ACM Computing Surveys, Association for Computing Machinery, 2022, 54 (7), pp.1-36. ⟨10.1145/3462475⟩
hal-03445686v1  Conference papers
Junxiong WangImmanuel TrummerDebabrota Basu. UDO: Universal Database Optimization using Reinforcement Learning
Proceedings of the VLDB Endowment, Sep 2022, Sydney, Australia. pp.3402-3414, ⟨10.14778/3484224.3484236⟩
...
hal-03518747v1  Documents associated with scientific events
Anna CalissanoAasa FeragenSimone Vantini. Graph-Valued Models for Dimensionality Reduction and Regression
Joint Statistical Meeting 2021, Aug 2022, Online, United States
hal-03473179v1  Conference papers
Véronique CortierAntoine DallonStéphanie Delaune. A small bound on the number of sessions for security protocols
35th IEEE Computer Security Foundations Symposium- CSF 2022, Aug 2022, Haifa, Israel
...
hal-03514297v1  Conference papers
Daniel DeutchNave FrostBenny KimelfeldMikaël Monet. Computing the Shapley Value of Facts in Query Answering
SIGMOD Conference 2022, Jun 2022, Philadelphia, United States
...
hal-03293492v2  Journal articles
Bernard Brogliato. Dissipative dynamical systems with set-valued feedback loops Well-posed set-valued Lur'e dynamical systems
IEEE Control Systems Magazine, Institute of Electrical and Electronics Engineers, In press, pp.1-49
...
hal-03324177v1  Journal articles
Ronan-Alexandre CherrueauMarie DelavergneAlexandre van KempenAdrien LebreDimitri Pertin et al.  EnosLib: A Library for Experiment-Driven Research in Distributed Computing
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2022, 33 (6), pp.1464-1477. ⟨10.1109/TPDS.2021.3111159⟩
...
hal-03366962v1  Conference papers
Bruno BlanchetVincent ChevalVéronique Cortier. ProVerif with Lemmas, Induction, Fast Subsumption, and Much More
S&P'22 - 43rd IEEE Symposium on Security and Privacy, May 2022, San Francisco, United States
...
hal-03482156v1  Conference papers
Yun ShenXinlei HeYufei HanYang Zhang. Model Stealing Attacks Against Inductive Graph Neural Networks
SP 2022 - 43rd IEEE Symposium on Security and Privacy, May 2022, San Francisco, United States
...
hal-03403459v1  Conference papers
Julius TaylorEleni NisiotiClément Moulin-Frier. Socially Supervised Representation Learning: the Role of Subjectivity in Learning Efficient Representations
International Conference on Autonomous Agents and Multi-Agent Systems, May 2022, Auckland, New Zealand
...
hal-03474955v1  Conference papers
Ugo ComignaniLaure Berti-ÉquilleNoël NovelliAngela Bonifati. Provenance-aware Discovery of Functional Dependencies on Integrated Views
IEEE International Conference on Data Engineering, May 2022, Kuala Lumpur, Malaysia
...
hal-03531143v1  Conference papers
Giuseppe LipariFabien BouquillonSmail Niar. Improving CRPD Analysis for EDF Scheduling: Trading Speed for Precision
The 37th ACM/SIGAPP Symposium On Applied Computing, Apr 2022, Brno, Czech Republic. ⟨10.1145/3477314.3507027⟩
...
hal-03517852v1  Conference papers
Ce ZhengMalcolm EganLaurent ClavierAnders KalørPetar Popovski. Stochastic Resource Allocation for Outage Minimization in Random Access with Correlated Activation
IEEE Wireless Communications and Networking Conference (WCNC), Apr 2022, Austin, United States
...
hal-03531740v1  Conference papers
Nicolas DerumignyThéophile BastianFabian GruberGuillaume IoossChristophe Guillon et al.  PALMED: Throughput Characterization for Superscalar Architectures
International Symposium on Code Generation and Optimization (CGO), Apr 2022, Seoul, South Korea
hal-03536643v1  Conference papers
Simon RobillardHélène Coullon. SMT-Based Planning Synthesis for DistributedSystem Reconfigurations
International Conference on Fundamental Approaches to Software Engineering (FASE), Apr 2022, Munich, Germany
...
hal-03538251v1  Conference papers
Titan YuanFilip MaksimovicBrad WheelerDavid BurnettLydia Lee et al.  A Temperature-Compensated BLE Beacon and 802.15.4-to-BLE Translator on a Crystal-Free Mote
EuMW - European Microwave Week 2021, Apr 2022, London, United Kingdom
...
hal-02955853v1  Journal articles
Liudmila TumashCarlos Canudas de WitMaria Laura Delle Monache. Boundary Control Design for Traffic with Nonlinear Dynamics
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/TAC.2021.3069394⟩
hal-03500153v1  Journal articles
Jaechul LeeCédric KillianSebastien Le BeuxDaniel Chillet. Distance-aware Approximate Nanophotonic Interconnect
ACM Transactions on Design Automation of Electronic Systems, Association for Computing Machinery, 2022, 27 (2), pp.1-30. ⟨10.1145/3484309⟩
...
hal-01981553v1  Conference papers
Florent CapelliNicolas CrosettiJoachim NiehrenJan Ramon. Linear Programs with Conjunctive Queries
25th Internationcal Conference on Database Theory (ICDT 2022), Mar 2022, Edinburgh, United Kingdom
...
hal-03501774v1  Conference papers
Hee-Soo ChoiBruno GuillaumeKarën Fort. Corpus-based Language Universals Analysis using Universal Dependencies
Quasy (Quantitative Syntax), SyntaxFest 2021, Mar 2022, Sofia, Bulgaria
...
hal-03494462v1  Conference papers
Sylvain KahaneMartine VanhoveRayan ZianeBruno Guillaume. A morph-based and a word-based treebank for Beja
TLT 2021 - 20th International Workshop on Treebanks and Linguistic Theories, Mar 2022, Sofia, Bulgaria
...
hal-03509136v1  Conference papers
Kim GerdesBruno GuillaumeSylvain KahaneGuy Perrier. Starting a new treebank? Go SUD! Theoretical and practical benefits of the Surface-Syntactic distributional approach
Sixth International Conference on Dependency Linguistics (Depling, SyntaxFest 2021), Mar 2022, Sofia, Bulgaria
hal-03516799v1  Conference papers
Jean-Baptiste HorelChristian LaugierLina MarssoRadu MateescuLucie Muller et al.  Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles
Design, Automation and Test in Europe - Autonomous Systems Design (DATE/ASD'2022), Mar 2022, Antwerp, Belgium
...
hal-03500332v1  Conference papers
Lei MoQi ZhouAngeliki KritikakouJi Liu. Energy Efficient, Real-time and Reliable Task Deployment on NoC-based Multicores with DVFS
IEEE/ACM Design, Automation and Test in Europe (DATE), Mar 2022, Antwerp, Belgium
...
hal-03531372v1  Conference papers
Davaadorj BattulgaMozhdeh FarhadiMulugeta TamiruLi WuGuillaume Pierre. LivingFog: Leveraging fog computing and LoRaWAN technologies for smart marina management (experience paper)
ICIN 2022 - 25th Conference on Innovation in Clouds, Internet and Networks, Mar 2022, Paris, France
...
hal-03290860v2  Conference papers
Nicolas CharpenayMaël Le TreustAline Roumy. Zero-error source coding when side information may be present
IZS 2022 - International Zurich Seminar on Information and Communication, Mar 2022, Zurich, Switzerland. pp.1-5
...
hal-03485386v1  Conference papers
Angeliki KritikakouOlivier SentieysGuillaume HubertYouri HelenJean-Francois Coulon et al.  FLODAM: Cross-Layer Reliability Analysis Flow for Complex Hardware Designs
25th IEEE/ACM Design, Automation and Test in Europe (DATE), Mar 2022, Antwerp, Belgium. pp.1-6
...
hal-03505795v1  Journal articles
Hélène BarucqHenri CalandraJulien DiazStefano Frambati. Polynomial-reproducing spline spaces from fine zonotopal tilings
Journal of Computational and Applied Mathematics, Elsevier, 2022, 402, pp.113812. ⟨10.1016/j.cam.2021.113812⟩
...
hal-03512251v1  Conference papers
Parya ZolfaghariJoel OrtizCédric KillianSébastien Le Beux. Non-Volatile Phase Change Material based Nanophotonic Interconnect
IEEE/ACM Design, Automation and Test in Europe (DATE), Mar 2022, Antwerp, Belgium
...
hal-03338278v2  Journal articles
Yishu DuLoris MarchalGuillaume PallezYves Robert. Optimal Checkpointing Strategies for Iterative Applications
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2022, 33 (3), pp.507-522. ⟨10.1109/TPDS.2021.3099440⟩
...
hal-03537989v1  Book sections
Alain GélyMiguel CouceiroAmedeo Napoli. Towards Distributivity in FCA for Phylogenetic Data
Rokia Missaoui, Leonard Kwuida, Talel Abdessalem. Complex Data Analysis with Formal Concept Analysis, Springer, In press, Complex Data Analysis with Formal Concept Analysis