- Renseignements pratiques
- Enseignement
Contact
LIFO - Bâtiment IIIA
Rue Léonard de Vinci
B.P. 6759
F-45067 ORLEANS Cedex 2
Email:
contact.lifo
Tel: +33 (0)2 38 41 99 29
Fax: +33 (0)2 38 41 71 37
Accès aux publications de l'année : 1992 1993 1994 1995 1996 1997 1998 1999 2000 2001 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024
[hal-04653616:1]
Ismaïl Baaj, Zied Bouraoui, Antoine Cornuéjols, Thierry Denoeux, Sébastien Destercke, Didier Dubois, Marie-Jeanne Lesot, João Marques-Silva, Jérôme Mengin, Henri Prade, Steven Schockaert, Mathieu Serrurier, Olivier Strauss & Christel Vrain, Synergies between machine learning and reasoning - An introduction by the Kay R. Amel group, International Journal of Approximate Reasoning, Vol. 171. Pp. 109206, Elsevier. 04. 2024. [URL]
[hal-04631734:1]
Adrien Boiret, Cédric Eichler, Benjamin Nguyen & Sara Taki, Graph rewriting primitives for semantic graph databases sanitization, Computer Science and Information Systems(00). Pp. 26-26, ComSIS Consortium. 2024. [URL]
[hal-04573584:1]
Arthur Braida, Simon Martiel & Ioan Todinca, Tight Lieb--Robinson Bound for approximation ratio in quantum annealing, npj Quantum Information, Vol. 10(1). Pp. 40, Nature. 04. 2024. [URL]
[hal-04577323:1]
Arthur Braida, Simon Martiel & Ioan Todinca, Avoided level crossings with exponentially closing gaps in quantum annealing, Physical Review A, Vol. 109(2). Pp. 022415, American Physical Society. 02. 2024. [URL]
[hal-04067909:1]
Hélène Coullon, Ludovic Henrio, Frédéric Loulergue & Simon Robillard, Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey, ACM Computing Surveys, Vol. 56(1). Pp. 1-37, Association for Computing Machinery. 01. 2024. [URL]
[hal-04438047:1]
Thi-Bich-Hanh Dao & Christel Vrain, A review on declarative approaches for constrained clustering, International Journal of Approximate Reasoning. Pp. 109135, Elsevier. 02. 2024. [URL]
[hal-04611604:1]
Maël Dumas, Florent Foucaud, Anthony Perez & Ioan Todinca, On Graphs Coverable by k Shortest Paths, SIAM Journal on Discrete Mathematics, Vol. 38(2). Pp. 1840-1862, Society for Industrial and Applied Mathematics. 06. 2024. [URL]
[hal-04525593:1]
Pierre Fraigniaud, Pedro Montealegre, Ivan Rapaport & Ioan Todinca, A Meta-Theorem for Distributed Certification, Algorithmica, Vol. 86(2). Pp. 585-612, Springer Verlag. 2024. [URL]
[hal-04574231:1]
Matteo Francia, Stefano Rizzi & Patrick Marcel, Explaining cube measures through Intentional Analytics, Information Systems, Vol. 121, Elsevier. 03. 2024. [URL]
[hal-04574233:1]
Dimos Gkitsakis, Spyridon Kaloudis, Eirini Mouselli, Veronika Peralta, Patrick Marcel & Panos Vassiliadis, Cube query interestingness: Novelty, relevance, peculiarity and surprise, Information Systems, Vol. 123. Pp. 102381, Elsevier. 07. 2024. [URL]
[hal-04065774:1]
Dara Ly, Nikolai Kosmatov, Frédéric Loulergue & Julien Signoles, Sound runtime assertion checking for memory properties via program transformation, Formal Aspects of Computing, Vol. 36(1). Pp. 4:1-46, Springer Verlag. 2024. [URL]
[hal-04484340:1]
Franck Anaël Mbiaya, Christel Vrain, Frédéric Ros, Thi-Bich-Hanh Dao & Yves Lucas, Knowledge graph-based image classification, Data and Knowledge Engineering. Pp. 102285, Elsevier. 02. 2024. [URL]
[hal-04431670:1]
Cristina Yassue Morimoto, Aurora Trinidad Ramirez Pozo & Marcílio Carlos Pereira de Souto, An adaptive evolutionary multi-objective clustering based on the data properties of the base partitions, Expert Systems with Applications, Vol. 245. Pp. 123102, Elsevier. 07. 2024. [URL]
[hal-04586759:1]
Nicolò Tonci, Sébastien Rivault, Mostafa Bamha, Sophie Robert, Sébastien Limet & Massimo Torquati, LSH SimilarityJoin Pattern in FastFlow, International Journal of Parallel Programming, Springer Verlag. 05. 2024. [URL]
[hal-04528312:1]
Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021, Wolfgang Ahrendt and Frédéric Loulergue and Heike Wehrheim (Ed.), Vol. 36(1). Pp. 1-2, Springer Verlag. 03. 2024. [URL]
[hal-04605772:1]
SAT-Based Automated Completion for Reachability Analysis, Yohan Boichut and Adrien Boiret and Vincent Hugot (Ed.). 06. 2024. [URL]
[tel-04546106:1]
Sofiane Elguendouze, Explainable Artificial Intelligence approaches for Image Captioning, Thèse de Doctorat. Université d'Orléans. 01. 2024. [URL]
[tel-04546776:1]
Darine Rammal, Memory safety for synchronous reactive programming, Thèse de Doctorat. Université d'Orléans. 01. 2024. [URL]
[hal-04149000:2]
Nicolas Anciaux, Sabine Frittella, Baptiste Joffroy, Benjamin Nguyen & Guillaume Scerri, A new PET for Data Collection via Forms with Data Minimization, Full Accuracy and Informed Consent, in 27th International Conference on Extending Database Technology, EDBT 2024. Paestum, Italy. 03. 2024. [URL]
[hal-04572043:1]
Farid Arfi, Hélène Coullon, Frédéric Loulergue, Jolan Philippe & Simon Robillard, An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization, in ICE 2024 - 17th Interaction and Concurrency Experience. Groningen, Netherlands, Electronic Proceedings in Theoretical Computer Science. 06. 2024. [URL]
[hal-04354615:1]
Téo Bernier, Yani Ziani, Nikolai Kosmatov & Frédéric Loulergue, Combining Deductive Verification with Shape Analysis, in 27th International Conference on Fundamental Approaches to Software Engineering (FASE). Luxembourg, Luxembourg, LNCS, Vol. 14573. Pp. 280-289, Springer. 2024. [URL]
[hal-04624521:1]
Xavier Bultel, Physical Ring Signature, in 12th International Conference on Fun with Algorithms (FUN 2024). La Maddalena, Italy, Vol. 291, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik. 06. 2024. [URL]
[hal-04644979:1]
Xavier Bultel & Charles Olivier-Anclin, Taming Delegations in Anonymous Signatures: k-Times Anonymity for Proxy and Sanitizable Signature, in CANS 2024 - International Conference on Cryptology and Network Security. Cambridge, United Kingdom. 09. 2024. [URL]
[hal-04644465:1]
Frédéric Loulergue & Jordan Ischard, A Framework for the Development of Verified Scalable Parallel Functional Languages, in Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Crete Island, Greece, Springer. 10. 2024. [URL]
[hal-04637532:1]
Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue & Daniel Gracia Pérez, Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack, in 18th International Conference on Tests and Proofs (TAP). Milan (Italie), Italy, Springer. 09. 2024. [URL]
[hal-04574228:1]
Nedra Amara & Said Gattoufi, Applying Multiple Instance Learning for Breast Cancer Lesion Detection in Mammography Images, in 10th International Conference on Information and Communication Technologies for Ageing Well and e-Health. Angers, France. Pp. 93-97, SCITEPRESS - Science and Technology Publications. 04. 2024. [URL]
[hal-04622131:1]
Téo Bernier, Yani Ziani, Nikolai Kosmatov & Frédéric Loulergue, Combiner la vérification déductive avec l'analyse de forme, in Journées Approches Formelles pour l'Assistance au Développement de Logiciels (AFADL). Strasbourg, France. 06. 2024. [URL]
[hal-04500764:1]
Pierre Bouchet, Christian Toinard & Sophie Jacquot, A passive assessment of homecare need with a Rasch model, in The 15th International Multi-Conference on Complexity, Informatics and Cybernetics: IMCIC 2024. Orlando (Florida), United States. 03. 2024. [URL]
[hal-04659728:1]
Clément Dallard, Maël Dumas, Claire Hilaire, Martin Milanič, Anthony Perez & Nicolas Trotignon, Detecting $K2,3$ as~an~Induced Minor, in IWOCA 2024. Ischia, Italy, Lecture Notes in Computer Science, Vol. 14764. Pp. 151-164, Springer Nature Switzerland. 07. 2024. [URL]
[hal-04616847:1]
Lisa Hoiry, Cherifa Ben Khelil, Jean-Yves Antoine, Mathieu Thebaud, Samuel Pouplin, Frédéric Rayar, Anaïs Lefeuvre-Halftermeyer & Mathieu Raynal, CAA : quelles configurations pour les claviers virtuels ? Retours sur trois focus groups réalisés en structures de rééducation, in Conférence Handicap 2024. Paris, France. 06. 2024. [URL]
[hal-04450137:2]
Lisa Hoiry, Frédéric Rayar, Jean-Yves Antoine, Cherifa Ben Khelil & Mathieu Raynal, RéoLoc : Réorganisation dynamique des caractères sur un clavier à défilement automatique ligne/colonne, in 35e conférence internationale francophone sur l'interaction humain-machine. Paris, France. 03. 2024. [URL]
[hal-04597221:1]
Clément Lecomte & Patrice Bonhomme, Least-Cost Firing Sequences Estimation in P-Time Labeled Petri Nets Systems, in 10th International Conference on Control, Decision and Information Technologies ( Codit 2024 ). Valetta, Malta. 07. 2024. [URL]
[hal-04597523:1]
Frédéric Loulergue & Julien Tesson, Verified Parallel Programming in Coq with Bulk Synchronous Parallel Homomorphisms, in 17th International Symposium on High-Level Parallel Programming and Applications (HLPP). Pisa, Italy. 07. 2024. [URL]
[hal-04574222:1]
Nedra Amara, Muhammad Shoaib Shoaib, Ahmed Junaid Junaid & Nasir Sayed Sayed, A Robust Secure Communication Protocol for Wireless Sensor Networks in Industrial Environments. 05. 2024. [URL]
[hal-04571345:3]
Florent Becker, Strict Self-Assembly of Discrete Self-Similar Fractal Shapes. 05. 2024. [URL]
[hal-04646294:1]
Thibaut Martinet & Guillaume Metzler, LAMBDA: Alignement de Points de Repère et Adaptation de Domaine Basée sur des Mélanges. 07. 2024. [URL]
[hal-04556201:2]
WhyBSML 0.2, Frédéric Loulergue and Olivia Proust (Ed.), Zenodo. 2024. [URL]
Revue internationale à comité de lecture
[hal-04653616:1]
Ismaïl Baaj, Zied Bouraoui, Antoine Cornuéjols, Thierry Denoeux, Sébastien Destercke, Didier Dubois, Marie-Jeanne Lesot, João Marques-Silva, Jérôme Mengin, Henri Prade, Steven Schockaert, Mathieu Serrurier, Olivier Strauss & Christel Vrain, Synergies between machine learning and reasoning - An introduction by the Kay R. Amel group, International Journal of Approximate Reasoning, Vol. 171. Pp. 109206, Elsevier. 04. 2024. [URL]
[hal-04631734:1]
Adrien Boiret, Cédric Eichler, Benjamin Nguyen & Sara Taki, Graph rewriting primitives for semantic graph databases sanitization, Computer Science and Information Systems(00). Pp. 26-26, ComSIS Consortium. 2024. [URL]
[hal-04573584:1]
Arthur Braida, Simon Martiel & Ioan Todinca, Tight Lieb--Robinson Bound for approximation ratio in quantum annealing, npj Quantum Information, Vol. 10(1). Pp. 40, Nature. 04. 2024. [URL]
[hal-04577323:1]
Arthur Braida, Simon Martiel & Ioan Todinca, Avoided level crossings with exponentially closing gaps in quantum annealing, Physical Review A, Vol. 109(2). Pp. 022415, American Physical Society. 02. 2024. [URL]
[hal-04067909:1]
Hélène Coullon, Ludovic Henrio, Frédéric Loulergue & Simon Robillard, Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey, ACM Computing Surveys, Vol. 56(1). Pp. 1-37, Association for Computing Machinery. 01. 2024. [URL]
[hal-04438047:1]
Thi-Bich-Hanh Dao & Christel Vrain, A review on declarative approaches for constrained clustering, International Journal of Approximate Reasoning. Pp. 109135, Elsevier. 02. 2024. [URL]
[hal-04611604:1]
Maël Dumas, Florent Foucaud, Anthony Perez & Ioan Todinca, On Graphs Coverable by k Shortest Paths, SIAM Journal on Discrete Mathematics, Vol. 38(2). Pp. 1840-1862, Society for Industrial and Applied Mathematics. 06. 2024. [URL]
[hal-04525593:1]
Pierre Fraigniaud, Pedro Montealegre, Ivan Rapaport & Ioan Todinca, A Meta-Theorem for Distributed Certification, Algorithmica, Vol. 86(2). Pp. 585-612, Springer Verlag. 2024. [URL]
[hal-04574231:1]
Matteo Francia, Stefano Rizzi & Patrick Marcel, Explaining cube measures through Intentional Analytics, Information Systems, Vol. 121, Elsevier. 03. 2024. [URL]
[hal-04574233:1]
Dimos Gkitsakis, Spyridon Kaloudis, Eirini Mouselli, Veronika Peralta, Patrick Marcel & Panos Vassiliadis, Cube query interestingness: Novelty, relevance, peculiarity and surprise, Information Systems, Vol. 123. Pp. 102381, Elsevier. 07. 2024. [URL]
[hal-04065774:1]
Dara Ly, Nikolai Kosmatov, Frédéric Loulergue & Julien Signoles, Sound runtime assertion checking for memory properties via program transformation, Formal Aspects of Computing, Vol. 36(1). Pp. 4:1-46, Springer Verlag. 2024. [URL]
[hal-04484340:1]
Franck Anaël Mbiaya, Christel Vrain, Frédéric Ros, Thi-Bich-Hanh Dao & Yves Lucas, Knowledge graph-based image classification, Data and Knowledge Engineering. Pp. 102285, Elsevier. 02. 2024. [URL]
[hal-04431670:1]
Cristina Yassue Morimoto, Aurora Trinidad Ramirez Pozo & Marcílio Carlos Pereira de Souto, An adaptive evolutionary multi-objective clustering based on the data properties of the base partitions, Expert Systems with Applications, Vol. 245. Pp. 123102, Elsevier. 07. 2024. [URL]
[hal-04586759:1]
Nicolò Tonci, Sébastien Rivault, Mostafa Bamha, Sophie Robert, Sébastien Limet & Massimo Torquati, LSH SimilarityJoin Pattern in FastFlow, International Journal of Parallel Programming, Springer Verlag. 05. 2024. [URL]
Direction d'ouvrages scientifiques
[hal-04528312:1]
Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021, Wolfgang Ahrendt and Frédéric Loulergue and Heike Wehrheim (Ed.), Vol. 36(1). Pp. 1-2, Springer Verlag. 03. 2024. [URL]
[hal-04605772:1]
SAT-Based Automated Completion for Reachability Analysis, Yohan Boichut and Adrien Boiret and Vincent Hugot (Ed.). 06. 2024. [URL]
Thèses et Habilitations à Diriger des Recherches
[tel-04546106:1]
Sofiane Elguendouze, Explainable Artificial Intelligence approaches for Image Captioning, Thèse de Doctorat. Université d'Orléans. 01. 2024. [URL]
[tel-04546776:1]
Darine Rammal, Memory safety for synchronous reactive programming, Thèse de Doctorat. Université d'Orléans. 01. 2024. [URL]
Communications avec actes dans un congrès international
[hal-04149000:2]
Nicolas Anciaux, Sabine Frittella, Baptiste Joffroy, Benjamin Nguyen & Guillaume Scerri, A new PET for Data Collection via Forms with Data Minimization, Full Accuracy and Informed Consent, in 27th International Conference on Extending Database Technology, EDBT 2024. Paestum, Italy. 03. 2024. [URL]
[hal-04572043:1]
Farid Arfi, Hélène Coullon, Frédéric Loulergue, Jolan Philippe & Simon Robillard, An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization, in ICE 2024 - 17th Interaction and Concurrency Experience. Groningen, Netherlands, Electronic Proceedings in Theoretical Computer Science. 06. 2024. [URL]
[hal-04354615:1]
Téo Bernier, Yani Ziani, Nikolai Kosmatov & Frédéric Loulergue, Combining Deductive Verification with Shape Analysis, in 27th International Conference on Fundamental Approaches to Software Engineering (FASE). Luxembourg, Luxembourg, LNCS, Vol. 14573. Pp. 280-289, Springer. 2024. [URL]
[hal-04624521:1]
Xavier Bultel, Physical Ring Signature, in 12th International Conference on Fun with Algorithms (FUN 2024). La Maddalena, Italy, Vol. 291, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik. 06. 2024. [URL]
[hal-04644979:1]
Xavier Bultel & Charles Olivier-Anclin, Taming Delegations in Anonymous Signatures: k-Times Anonymity for Proxy and Sanitizable Signature, in CANS 2024 - International Conference on Cryptology and Network Security. Cambridge, United Kingdom. 09. 2024. [URL]
[hal-04644465:1]
Frédéric Loulergue & Jordan Ischard, A Framework for the Development of Verified Scalable Parallel Functional Languages, in Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Crete Island, Greece, Springer. 10. 2024. [URL]
[hal-04637532:1]
Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue & Daniel Gracia Pérez, Runtime Verification for High-Level Security Properties: Case Study on the TPM Software Stack, in 18th International Conference on Tests and Proofs (TAP). Milan (Italie), Italy, Springer. 09. 2024. [URL]
Communications sans actes
[hal-04574228:1]
Nedra Amara & Said Gattoufi, Applying Multiple Instance Learning for Breast Cancer Lesion Detection in Mammography Images, in 10th International Conference on Information and Communication Technologies for Ageing Well and e-Health. Angers, France. Pp. 93-97, SCITEPRESS - Science and Technology Publications. 04. 2024. [URL]
[hal-04622131:1]
Téo Bernier, Yani Ziani, Nikolai Kosmatov & Frédéric Loulergue, Combiner la vérification déductive avec l'analyse de forme, in Journées Approches Formelles pour l'Assistance au Développement de Logiciels (AFADL). Strasbourg, France. 06. 2024. [URL]
[hal-04500764:1]
Pierre Bouchet, Christian Toinard & Sophie Jacquot, A passive assessment of homecare need with a Rasch model, in The 15th International Multi-Conference on Complexity, Informatics and Cybernetics: IMCIC 2024. Orlando (Florida), United States. 03. 2024. [URL]
[hal-04659728:1]
Clément Dallard, Maël Dumas, Claire Hilaire, Martin Milanič, Anthony Perez & Nicolas Trotignon, Detecting $K2,3$ as~an~Induced Minor, in IWOCA 2024. Ischia, Italy, Lecture Notes in Computer Science, Vol. 14764. Pp. 151-164, Springer Nature Switzerland. 07. 2024. [URL]
[hal-04616847:1]
Lisa Hoiry, Cherifa Ben Khelil, Jean-Yves Antoine, Mathieu Thebaud, Samuel Pouplin, Frédéric Rayar, Anaïs Lefeuvre-Halftermeyer & Mathieu Raynal, CAA : quelles configurations pour les claviers virtuels ? Retours sur trois focus groups réalisés en structures de rééducation, in Conférence Handicap 2024. Paris, France. 06. 2024. [URL]
[hal-04450137:2]
Lisa Hoiry, Frédéric Rayar, Jean-Yves Antoine, Cherifa Ben Khelil & Mathieu Raynal, RéoLoc : Réorganisation dynamique des caractères sur un clavier à défilement automatique ligne/colonne, in 35e conférence internationale francophone sur l'interaction humain-machine. Paris, France. 03. 2024. [URL]
[hal-04597221:1]
Clément Lecomte & Patrice Bonhomme, Least-Cost Firing Sequences Estimation in P-Time Labeled Petri Nets Systems, in 10th International Conference on Control, Decision and Information Technologies ( Codit 2024 ). Valetta, Malta. 07. 2024. [URL]
[hal-04597523:1]
Frédéric Loulergue & Julien Tesson, Verified Parallel Programming in Coq with Bulk Synchronous Parallel Homomorphisms, in 17th International Symposium on High-Level Parallel Programming and Applications (HLPP). Pisa, Italy. 07. 2024. [URL]
Autres Publications
[hal-04574222:1]
Nedra Amara, Muhammad Shoaib Shoaib, Ahmed Junaid Junaid & Nasir Sayed Sayed, A Robust Secure Communication Protocol for Wireless Sensor Networks in Industrial Environments. 05. 2024. [URL]
[hal-04571345:3]
Florent Becker, Strict Self-Assembly of Discrete Self-Similar Fractal Shapes. 05. 2024. [URL]
[hal-04646294:1]
Thibaut Martinet & Guillaume Metzler, LAMBDA: Alignement de Points de Repère et Adaptation de Domaine Basée sur des Mélanges. 07. 2024. [URL]
Logiciels
[hal-04556201:2]
WhyBSML 0.2, Frédéric Loulergue and Olivia Proust (Ed.), Zenodo. 2024. [URL]
Université d'Orléans | INSA Centre Val de Loire
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans 