Skip to Main content Skip to Navigation
  1. Search


...
hal-03461137v1  Conference papers
Mahyar Tourchi Moghaddam, Eric Rutten, Guillaume 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 Dinh, Christophe Godin, Eugenio 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 Belloir, Jérémy Buisson, Lionel 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 Gumiel, Lucas Emanuel Silva E Oliveira, Vincent Claveau, Natalia Grabar, Emerson 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 Gumiel, Lucas Emanuel Silva E Oliveira, Vincent Claveau, Natalia Grabar, Emerson 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 Wang, Immanuel Trummer, Debabrota 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 Calissano, Aasa Feragen, Simone Vantini. Graph-Valued Models for Dimensionality Reduction and Regression
Joint Statistical Meeting 2021, Aug 2022, Online, United States
hal-03473179v1  Conference papers
Véronique Cortier, Antoine Dallon, Sté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-03450625v1  Conference papers
Ghada Arfaoui, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Adina Nedelcu et al.  A Cryptographic View of Deep-Attestation, or how to do Provably-Secure Layer-Linking
ACNS, Jun 2022, Rome, Italy
...
hal-03471927v1  Conference papers
Karim Eldefrawy, Tancrède Lepoint, Antonin Leroux. Communication-Efficient Proactive MPC for Dynamic Groups with Dishonest Majorities
ACNS 2022, Jun 2022, Rome, Italy
...
hal-03514297v1  Conference papers
Daniel Deutch, Nave Frost, Benny Kimelfeld, Mikaë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 Cherrueau, Marie Delavergne, Alexandre van Kempen, Adrien Lebre, Dimitri 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 Blanchet, Vincent Cheval, Vé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 Shen, Xinlei He, Yufei Han, Yang 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 Taylor, Eleni Nisioti, Clé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 Comignani, Laure Berti-Équille, Noël Novelli, Angela Bonifati. Provenance-aware Discovery of Functional Dependencies on Integrated Views
IEEE International Conference on Data Engineering, May 2022, Kuala Lumpur, Malaysia
...
hal-03521369v1  Journal articles
Rodolphe Griset, Pascale Bendotti, Boris Detienne, Marc Porcheron, Halil Şen et al.  Combining Dantzig-Wolfe and Benders decompositions to solve a large-scale nuclear outage planning problem
European Journal of Operational Research, Elsevier, In press, 298 (3), pp.1067-1083. ⟨10.1016/j.ejor.2021.07.018⟩
...
hal-03531143v1  Conference papers
Giuseppe Lipari, Fabien Bouquillon, Smail 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-03510612v1  Conference papers
Olivier Blazy, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Cristina Onete et al.  MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALing
Symposium on Applied Computing (SAC), Apr 2022, Virtual, Czech Republic. ⟨10.1145/3477314.3507044⟩
...
hal-03517852v1  Conference papers
Ce Zheng, Malcolm Egan, Laurent Clavier, Anders Kalør, Petar 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 Derumigny, Théophile Bastian, Fabian Gruber, Guillaume Iooss, Christophe 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 Robillard, Hé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 Yuan, Filip Maksimovic, Brad Wheeler, David Burnett, Lydia 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 Tumash, Carlos Canudas de Wit, Maria 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-03434293v3  Journal articles
Mališa Vučinić, Göran Selander, John Mattsson, Thomas Watteyne. Lightweight Authenticated Key Exchange with EDHOC
IEEE Computer, IEEE, 2022, ⟨10.1109/MC.2022.3144764⟩
hal-03500153v1  Journal articles
Jaechul Lee, Cédric Killian, Sebastien Le Beux, Daniel 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⟩