- 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
[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-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]
[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-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-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-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-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-04199557:1]
William Soto, Yannick Parmentier & Claire Gardent, Phylogeny-Inspired Soft Prompts For Data-to-Text Generation in Low-Resource Languages, in IJCNLP-AACL 2023: The 13th International Joint Conference on Natural Language Processing and the 3rd Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics, Yuki Arase and Baotian Hu and Wei Lu (Ed.). Bali, Indonesia. 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]
[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]
[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-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-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]
Revue internationale à comité de lecture
[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-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]
Communications avec actes dans un congrès international
[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-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-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-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-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-04199557:1]
William Soto, Yannick Parmentier & Claire Gardent, Phylogeny-Inspired Soft Prompts For Data-to-Text Generation in Low-Resource Languages, in IJCNLP-AACL 2023: The 13th International Joint Conference on Natural Language Processing and the 3rd Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics, Yuki Arase and Baotian Hu and Wei Lu (Ed.). Bali, Indonesia. 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]
Communications avec actes dans un congrès national
[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]
Communications sans actes
[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]
Autres Publications
[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-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]
Université d'Orléans | INSA Centre Val de Loire
LIFO - Laboratoire d'Informatique Fondamentale d'Orléans 