Skip to Main content Skip to Navigation


hal-03269226v1  Journal articles
François DrossFrédéric Havet. On the unavoidability of oriented trees
Journal of Combinatorial Theory, Series B, Elsevier, 2021, 151, pp.83-110. ⟨10.1016/j.jctb.2021.06.003⟩
hal-03275286v1  Conference papers
Zakaria OurnaniMohammed Chakib BelgaidRomain RouvoyPierre RustJoel Penhoat. Evaluating the Impact of Java Virtual Machines on Energy Consumption
15th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), Oct 2021, Bari, Italy
hal-03285418v1  Conference papers
Igor KhmelnitskyDaniel NeiderRajarshi RoyXuan XieBenoît Barbot et al.  Property-Directed Verification and Robustness Certification of Recurrent Neural Networks
19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021), Oct 2021, Gold Coast (Online), Australia
hal-03269129v1  Conference papers
Zakaria OurnaniRomain RouvoyPierre RustJoel Penhoat. Comparing the Energy Consumption of Java I/O Libraries and Methods
37th International Conference on Software Maintenance and Evolution (ICSME), Sep 2021, Luxembourg, Luxembourg
hal-03150821v1  Conference papers
Serge HaddadSusanna Donatelli. Expressiveness and Conciseness of Timed Automata for the Verification of Stochastic Models
Proceedings of the 14th International Conference on Language and Automata Theory and Applications (LATA'20), Sep 2021, Milan, Italy
tel-03271262v1  Theses
David Lopez. Diagrammes de Voronoï et Surfaces déformables
Ingénierie, finance et science [cs.CE]. Université de Lorraine (Nancy), 2021. Français
hal-03269168v1  Conference papers
Édouard GuégainClément QuintonRomain Rouvoy. On Reducing the Energy Consumption of Software Product Lines
Systems and Software Product Line Conference (SPLC), Sep 2021, Leicester, United Kingdom
hal-02972664v1  Book sections
Nicolas SimonazziJean-Marc SalottiCaroline DuboisDominique Seminel. Emotion Detection Based on Smartphone Using User Memory Tasks and Videos
Tareq Ahram; Redha Taiar; Karine Langlois; Arnaud Choplin. Advances in Intelligent Systems and Computing 1253, Human Interaction, Emerging Technologies and Future Applications III, proceedings of the 3rd International Conference on Human Interaction and Emerging Technologies: Future Applications (IHIET 2020), August 27–29, 2020, Paris, France, 1253, Springer, pp.244-249, 2021, AISC, ⟨10.1007/978-3-030-55307-4_37⟩
hal-03285433v1  Conference papers
Benoît BarbotBenedikt BolligAlain FinkelSerge HaddadIgor Khmelnitsky et al.  Extracting Context-Free Grammars from Recurrent Neural Networks using Tree-Automata Learning and A* Search
15th International Conference on Grammatical Inference (ICGI 2021), Aug 2021, New York City (Online), United States
hal-03278370v1  Conference papers
Benedikt BolligCinzia Di GiustoAlain FinkelLaetitia LaversaEtienne Lozes et al.  A Unifying Framework for Deciding Synchronizability
32nd International Conference on Concurrency Theory (CONCUR 2021), Aug 2021, Paris, France
hal-03264020v1  Conference papers
Kilian FatrasThibault SéjournéNicolas CourtyRémi Flamary. Unbalanced minibatch Optimal Transport; applications to Domain Adaptation
International Conference in machine Learning, Jul 2021, online, France
hal-03269174v1  Conference papers
Antonin DureyPierre LaperdrixWalter RudametkinRomain Rouvoy. FP-Redemption: Studying Browser Fingerprinting Adoption for the Sake of Web Security
International Conference on the Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA), Jul 2021, Lisboa, Portugal
hal-03281377v1  Book sections
Nicolas FerryHui SongErkuden RiosAndreas Metzger. The ENACT approach
DevOps for Trustworthy Smart IoT Systems, Now Publishers, 2021, ⟨10.1561/9781680838251.ch2⟩
hal-03265573v1  Conference papers
Étienne AndréDylan MarinhoJaco van de Pol. A Benchmarks Library for Extended Parametric Timed Automata
15th International Conference on Tests and Proofs (TAP 2021), Jun 2021, Virtual, Norway. pp.39-50, ⟨10.1007/978-3-030-79379-1_3⟩
hal-03298750v1  Conference papers
Zheng ChengDominique Méry. A Refinement Strategy for Hybrid System Design with Safety Constraints
Model and Data Engineering - 10th International Conference, , Jun 2021, TALLINN, France. pp.3-17, ⟨10.1007/978-3-030-78428-7_1⟩
hal-03177639v1  Conference papers
Thibault MahoTeddy FuronErwan Le Merrer. SurFree: a fast surrogate-free black-box attack
CVPR 2021 - Conference on Computer Vision and Pattern Recognition, Jun 2021, Virtual, France. pp.1-10
hal-03095987v1  Conference papers
Mário AlvimBernardo AmorimSophia KnightSantiago QuinteroFrank Valencia. A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks
FORTE 2021 - 41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2021, Valletta, Malta
hal-02533400v1  Book sections
Audrey Knauf. Accompagnement au déploiement d’enseignements hybrides dans le supérieur au regard de la spécificité de chaque université. Le cas du projet BASAR
Enseignement supérieur et numérique. Mondialisation, mobilités, Presses universitaires de Nancy - Éditions universitaires de Lorraine, pp.101-122, 2021, Questions de communication, série actes, 42/2021
hal-03125981v1  Conference papers
Bastien BerthelotEric GrivelPierrick Legrand. New variants of DFA based on loess and lowess methods: generalization of the detrending moving average
ICASSP 2021 - IEEE International Conference on Acoustics, Speech and Signal Processing, Jun 2021, Totonto, Canada
hal-03250787v1  Book sections
Yamine Aït-AmeurRégine LaleauDominique MéryNeeraj Kumar Singh. Towards Leveraging Domain Knowledge in State-Based Formal Methods
Raschke, Alexander; Riccobene, Elvinia; Schewe, Klaus-Dieter. Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Brger on the Occasion of His 75th Birthday", Lecture Notes in Computer Science (12750), Springer, pp.1-13, 2021, Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Brger on the Occasion of His 75th Birthday, 978-3-030-76020-5. ⟨10.1007/978-3-030-76020-5_1⟩
hal-03285041v1  Journal articles
Daniel Rodrigues CarvalhoAndré Seznec. Understanding Cache Compression
ACM Transactions on Architecture and Code Optimization, Association for Computing Machinery, 2021, 18 (3), pp.1-27. ⟨10.1145/3457207⟩
hal-02192469v1  Journal articles
Quentin Le GallBartłomiej BłaszczyszynElie CaliTaoufik En-Najjary. Continuum Line-of-Sight Percolation on Poisson-Voronoi Tessellations
Advances in Applied Probability, Applied Probability Trust, 2021, 53 (2), pp.510--536. ⟨10.1017/apr.2020.69⟩
hal-03260893v1  Books
Philippe Darche. Le Microprocesseur 4 : aspects logiciels
ISTE Ltd, 2021, 978-1-78405-772-5, 978-178406-772-4
hal-03260888v1  Books
Philippe Darche. Le Microprocesseur 3 : aspects matériels
ISTE Ltd, 2021, 978-1-78405-771-8, 978-178406-771-7
hal-03260885v1  Books
Philippe Darche. Le Microprocesseur 2 : communication dans un système numérique
ISTE Ltd, 2021, 978-1-78405-770-1, 978-1-78406-770-0