Lifo - Laboratoire d'Informatique Fondamentale d'orléans INSA Centre Val de Loire Université d'Orléans Université d'Orléans

Lifo > Publications for year 2023

 Site en Français



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



Go to publications of year : 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


International Refereed Journals


[hal-03942522:1]
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko & Ondrej Majer, Qualitative reasoning in a two-layered framework, International Journal of Approximate Reasoning, Vol. 154. Pp. 84-108, Elsevier. 03. 2023. [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. 05. 2023. [URL]
[hal-03877563:1]
Maël Dumas, Anthony Perez & Ioan Todinca, A Cubic Vertex-Kernel for Trivially Perfect Editing, Algorithmica, Springer Verlag. 04. 2023. [URL]
[hal-04297852:1]
Sofiane Elguendouze, Adel Hafiane, Marcilio C.P. de Souto & Anaïs Halftermeyer, Explainability in image captioning based on the latent space, Neurocomputing, Vol. 546. Pp. 126319, Elsevier. 08. 2023. [URL]
[hal-03663680:1]
Laurent Feuilloley, Pierre Fraigniaud, Pedro Montealegre, Ivan Rapaport, Eric Rémila & Ioan Todinca, Local Certification of Graphs with Bounded Genus, Discrete Applied Mathematics, Vol. 325. Pp. 9-36, Elsevier. 2023. [URL]
[hal-03942458:1]
Daniil Kozhemiachenko & Liubov Vashentseva, Non-contingency in a Paraconsistent Setting, Logic Journal of the IGPL, Oxford University Press (OUP). 01. 2023. [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, ACM. 2023. [URL]


International Conference or Workshop with Proceedings


[hal-04240432:1]
Nicolas Anciaux, Sabine Frittella, Baptiste Joffroy & Benjamin Nguyen, Demo : Data Minimization and Informed Consent in Administrative Forms, in ACM CCS 2023 - Conference on Computer and Communications Security. Copenhagen, Denmark. 11. 2023. [URL]
[hal-04158825:1]
Aymeric Beauchamp, Thi-Bich-Hanh Dao, Samir Loudni & Christel Vrain, Incremental Constrained Clustering by Minimal Weighted Modification, in CP 2023: 29th International Conference on Principles and Practice of Constraint Programming, Roland H. C. Yap (Ed.). Toronto, Ontario, Canada, Vol. 280(38). 08. 2023. [URL]
[hal-04225512:1]
Florent Becker & Shahrzad Heydarshahi, DNA Tile Self-Assembly for 3D-Surfaces: Towards Genus Identification, in 29th International Conference on DNA Computing and Molecular Programming, DNA 2023. Sendai, Japan, Vol. 276(2:1-2:21), Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 09. 2023. [URL]
[hal-04008484:1]
Rohann Bella, Xavier Bultel, Céline Chevalier, Pascal Lafourcade & Charles Olivier-Anclin, Practical Construction for Secure Trick-Taking Games Even With Cards Set Aside, in FC2023 - Twenty-Seventh International Conference Financial Cryptography and Data Security. Bol, Brač, Croatia. 05. 2023. [URL]
[hal-04346541:1]
Rohann Bella, Xavier Bultel, Chevalier Céline, Pascal Lafourcade & Charles Olivier-Anclin, Practical Construction for Secure Trick-Taking Games Even with Cards Set Aside., in Financial Cryptography and Data Security (FC 2023). Bol and Split, Croatia, Lecture Notes in Computer Science. 05. 2023. [URL]
[hal-04190258:1]
Chérifa Ben Khelil, Frédéric Rayar, Jean-Yves Antoine, Lisa Hoiry, Mathieu Raynal & Anais Lefeuvre-Halftermeyer, What you need is what you get: adapting word prediction of Augmentative and Alternative Communication aids to youth language, in 25th International Conference on Human-Computer Interaction (HCII 2023), Constantine Stephanidis and Margherita Antona and Stavroula Ntoa and Gavriel Salvendy (Ed.). Copenhague, Denmark, Communications in Computer and Information Science book series (CCIS), Vol. 1833. Pp. 240-247, Springer Nature Switzerland. 07. 2023. [URL]
[hal-04182291:1]
Radu Ciucanu, Pascal Lafourcade, Gael Marcadet & Marta Soare, SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits (Extended Abstract), in Thirty-Second International Joint Conference on Artificial Intelligence IJCAI-23. Macau, China. Pp. 6863-6867, International Joint Conferences on Artificial Intelligence Organization. 08. 2023. [URL]
[hal-04355640:1]
Maël Dumas & Anthony Perez, An Improved Kernelization Algorithm for Trivially Perfect Editing, in 18th International Symposium on Parameterized and Exact Computation (IPEC 2023). Amsterdam, France, Vol. 285. Pp. 15:1-15:17, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik. 09. 2023. [URL]
[hal-04378885:1]
Pierre Fraigniaud, Pedro Montealegre, Ivan Rapaport & Ioan Todinca, Energy-Efficient Distributed Algorithms for~Synchronous Networks, in Structural Information and Communication Complexity - 30th International Colloquium (SIROCCO 2023). Alcalà de Henares, Spain, Lecture Notes in Computer Science, Vol. 13892. Pp. 482-501, Springer Nature Switzerland. 06. 2023. [URL]
[hal-04160161:1]
Sabine Frittella, Daniil Kozhemiachenko & Bart Verheij, Presumptive Reasoning in a Paraconsistent Setting, in Theoretical Aspects of Rationality and Knowledge. Oxford (UK), United Kingdom, Vol. 379. Pp. 233-244. 06. 2023. [URL]
[hal-04387910:1]
Olivier Gracianne, Anaïs Halftermeyer & Thi-Bich-Hanh Dao, Identifying relevant descriptors for tweet sets, in 2023 IEEE 35th International Conference on Tools with Artificial Intelligence (ICTAI). Atlanta (GA), United States, Vol. 35th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2023, Atlanta, GA, USA, November 6-8, 2023. IEEE 2023, ISBN 979-8-3503-4273-4. Pp. 263-268, IEEE. 11. 2023. [URL]
[hal-04209633:1]
Lisa Hoiry, Cherifa Ben Khelil, Frédéric Rayar, Anaïs Halftermeyer, Jean-Yves Antoine & Mathieu Raynal, STAACS3: Simulation Tool for AAC with Single-Switch Scanning, in 17h International Conference of the Association for the Advancement of Assistive Technology in Europe (AAATE 2023). Paris, France, Studies in Health Technology and Informatics, Vol. 306{:} Assistive Technology{:} Shaping a Sustainable and Inclusive World. Pp. 487 - 494, IOS Press. 08. 2023. [URL]
[hal-04308892:1]
Carmen Lancho, Marcilio de Souto & Isaac Martin de Diego, Complexity-Driven Sampling for Bagging, in Intelligent Data Engineering and Automated Learning -- IDEAL 2023. Évora, Portugal, Lecture Notes in Computer Science, Vol. 14404. Pp. 15-21, Springer. 11. 2023. [URL]
[hal-04310353:1]
Dominique Laurent, Jacques Chabin, Mirian Halfeld Ferrari Alves & Nicolas Hiot, Managing Linked Nulls in Property Graphs: Tools to Ensure Consistency and Reduce Redundancy, in ADBIS 2023. Barcelogne, Spain(13985). Pp. 180-194, Springer. 09. 2023. [URL]
[hal-04071808:1]
Clément Lecomte & Patrice Bonhomme, Energy Aware Strategy for Discrete Event Systems using Inhibitor P-Time Petri nets and Deep Reinforcement Learning, in IEEE 9th International Conference on Control, Decision and Information Technologies (CoDIT'23). Rome (Italy), Italy. 07. 2023. [URL]
[hal-04171949:1]
Frédéric Loulergue & Abdelali Ed-Dbali, Verified High Performance Computing: the SyDPaCC Approach, in 16th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS). Marrakech, Morocco, Springer. 10. 2023. [URL]
[hal-04142453:1]
Frédéric Loulergue & Jolan Philippe, Towards Verified Scalable Parallel Computing with Coq and Spark, in Workshop on Formal Techniques for Java-like Programs (FTfJP). Seatle, WA, United States. 07. 2023. [URL]
[hal-04192063:1]
Duy Ngo & Yannick Parmentier, Towards Sentence-level Text Readability Assessment for French, in Second Workshop on Text Simplification, Accessibility and Readability (TSAR AT RANLP2023). Varna, Bulgaria. 09. 2023. [URL]
[hal-04173428:2]
Olivia Proust & Frédéric Loulergue, Verified Scalable Parallel Computing with Why3, in 21st International Conference on Software Engineering and Formal Methods (SEFM). Eindhoven, Netherlands, LNCS, Springer. 11. 2023. [URL]
[hal-04113024:1]
Thibault Prouteau, Nicolas Dugué, Simon Guillot & Anthony Perez, SINr: a python package to train interpretable word and graph embeddings, in French Regional Conference on Complex Systems. Le Havre, France. Pp. 215. 05. 2023. [URL]
[hal-04357057:1]
Adam Przybyłek, Aleksandra Karpus, Allel Hadjali, Anton Dignös, Carmem Hara, Danae Pla Karidi, Ester Zumpano, Fabio Persia, Genoveva Vargas-Solar, George Papastefanatos, Giancarlo Sperlì, Giorgos Giannopoulos, Ivan Luković, Julien Aligon, Manolis Terrovitis, Marek Grzegorowski, Mariella Bonomo, Mirian Halfeld Ferrari, Nicolas Labroche, Paul Monsarrat, Richard Chbeir, Sana Sellami, Seshu Tirupathi, Simona Rombo, Slavica Kordić, Sonja Ristić, Tommaso Di Noia, Torben Bach Pedersen & Vincenzo Moscato, Databases and~Information Systems: Contributions from~ADBIS 2023 Workshops and~Doctoral Consortium, in 27th European Conference on Advances in Databases and Information Systems (ADBIS 2023). Barcelona, Spain, Communications in Computer and Information Science book series (CCIS), Vol. 1850. Pp. 293-311, Springer Nature Switzerland. 09. 2023. [URL]
[hal-04142455:1]
Darine Rammal, Wadoud Bousdira & Frederic Dabrowski, Synchronous cooperative threading model in MSSL, in SAC '23: 38th ACM/SIGAPP Symposium on Applied Computing. Tallinn, Estonia. Pp. 1380-1383, ACM. 2023. [URL]
[hal-04303374:2]
Marina Seghier, Alice Millour & Jean-Yves Antoine, Descripteurs Linguistiques et Caractérisation Objective des Catégories Textuelles, in 5èmes journées du Groupement de Recherche CNRS guillemotleft Linguistique Informatique, Formelle et de Terrain guillemotright, Yannick Parmentier (Éds.) Karën Fort, Claire Gardent (Ed.). Nancy, France. Pp. 106-112. 11. 2023. [URL]
[hal-04176159:1]
Yani Ziani, Nikolai Kosmatov, Frédéric Loulergue, Daniel Gracia Pérez & Téo Bernier, Towards Formal Verification of a TPM Software Stack, in 18th International Conference on integrated Formal Methods (iFM). Leiden, Netherlands, LNCS. Pp. 28, Springer. 11. 2023. [URL]


National Conference or Workshop with Proceedings


[hal-03872184:1]
Franck Anaël Mbiaya, Christel Vrain, Frédéric Ros, Thi-Bich-Hanh Dao & Yves Lucas, Graphe de connaissances pour la classification d 'images, in Extraction et Gestion des Connaissances. Lyon, France. 01. 2023. [URL]


Poster sessions


[hal-04355447:1]
Jérôme Durand-Lose Laboratoire d'Informatique Fondamentale d'Orleans, Drawing numerable linear orderings, in Unconventional Computation and Natural Computation. Jacksonville - Floride, United States. 2023. [URL]


Unrefereed publications at Conferences or Workshops


[hal-04142454:1]
Frédéric Loulergue, Tutorial: Collaborative Analysis and Verification of C Programs with Frama-C, in 38th IEEE/ACM International Conference on Automated Software Engineering (ASE). Kirchberg, Luxembourg. 09. 2023. [URL]
[hal-04323219:1]
Agata Savary, Cherifa Ben Khelil, Carlos Ramisch, Voula Giouli, Verginica Barbu Mititelu, Najet Hadj Mohamed, Cvetana Krstev, Chaya Liebeskind, Hongzhi Xu, Sara Stymne, Tunga Güngör, Thomas Pickard, Bruno Guillaume, Archna Bhatia, Marie Candito, Polona Gantar, Uxoa Iñurrieta, Albert Gatt, Kovalevskaite Jolanta, Krek Simon, Timm Lichte, Nikola Ljubešić, Johanna Monti, Carla Parra Escartín, Mehrnoush Shamsfard, Ivelina Stoyanova, Veronika Vincze & Abigail Walsh, PARSEME corpus release 1.3, in Proceedings of the 19th Workshop on Multiword Expressions (MWE 2023). Dubrovnik, Slovenia. Pp. 24-35, Association for Computational Linguistics. 05. 2023. [URL]


Other Publications


[hal-04354000:1]
Adrien Boiret, Cédric Eichler, Benjamin Nguyen & Sara Taki, Privacy Operators for Semantic Graph Databases as Graph Rewriting. 06. 2023. [URL]
[hal-04354037:1]
Adrien Boiret, Cédric Eichler, Benjamin Nguyen & Sara Taki, Granon: un moteur formel de procédures d'assainissement de données graphes. 10. 2023. [URL]
[hal-04051113:1]
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer & Krishna Manoorkar, Describing and Quantifying Contradiction between Pieces of Evidence via Belnap Dunn Logic and Dempster-Shafer Theory. 02. 2023. [URL]
[hal-04321648:1]
Jacques Chabin, Mirian Halfeld Ferrari, Nicolas Hiot & Dominique Laurent, Incremental Consistent Updating of Incomplete Databases. 2023. [URL]
[hal-03982841:1]
Jacques Chabin, Mirian Halfeld Ferrari, Nicolas Hiot & Dominique Laurent, Incremental Consistent Updating of Incomplete Databases. 02. 2023. [URL]
[hal-04265250:1]
Cédric Eichler, Specification of data and databases. 2023. [URL]
[hal-04265485:1]
Cédric Eichler, Benjamin Nguyen, Sara Taki & Adrien Boiret, D3 - Final Use-Cases Specification. 10. 2023. [URL]
[hal-04357066:1]
Mirian Halfeld Ferrari, Paolo Ceravolo, Sonja Ristic, Yaser Jararweh & Dimitrios Katsaros, Guest editorial: Advances in intelligent data, data engineering, and information systems, Vol. 20. Pp. v-vii, ComSIS Consortium. 2023. [URL]



2024/01/16 generated via HALLO + JabRef.