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⟩