Publications HAL de la collection MICS; MAS

2025

Pré-publication, Document de travail

ref_biblio
Thomas Traversié, Florian Rabe. Formalizing Representation Theorems for a Logical Framework with Rewriting. 2025. ⟨hal-05027872⟩
titre
Formalizing Representation Theorems for a Logical Framework with Rewriting
auteur
Thomas Traversié, Florian Rabe
article
2025
Accès au texte intégral et bibtex
https://hal.science/hal-05027872/file/morphism.pdf BibTex
ref_biblio
Pierre Cry, Paolo Ballarini, András Horváth, Pascale Le Gall. Statistical process discovery. 2025. ⟨hal-05051965⟩
titre
Statistical process discovery
auteur
Pierre Cry, Paolo Ballarini, András Horváth, Pascale Le Gall
article
2025
Accès au texte intégral et bibtex
https://hal.science/hal-05051965/file/main.pdf BibTex

2024

Article dans une revue

ref_biblio
Mathieu Lerouge, Céline Gicquel, Vincent Mousseau, Wassila Ouerdane. Modeling and generating user‐centered contrastive explanations for the workforce scheduling and routing problem. International Transactions in Operational Research, 2024, ⟨10.1111/itor.13594⟩. ⟨hal-04933808⟩
titre
Modeling and generating user‐centered contrastive explanations for the workforce scheduling and routing problem
auteur
Mathieu Lerouge, Céline Gicquel, Vincent Mousseau, Wassila Ouerdane
article
International Transactions in Operational Research, 2024, ⟨10.1111/itor.13594⟩
Accès au bibtex
BibTex
ref_biblio
Khaled Belahcene, Vincent Mousseau, Wassila Ouerdane, Marc Pirlot, Olivier Sobrie. A guided tour of multiple criteria sorting models and methods. Annals of Operations Research, 2024, 343 (2), pp.785-845. ⟨10.1007/s10479-024-06278-w⟩. ⟨hal-04933810⟩
titre
A guided tour of multiple criteria sorting models and methods
auteur
Khaled Belahcene, Vincent Mousseau, Wassila Ouerdane, Marc Pirlot, Olivier Sobrie
article
Annals of Operations Research, 2024, 343 (2), pp.785-845. ⟨10.1007/s10479-024-06278-w⟩
Accès au bibtex
BibTex
ref_biblio
Felix Brandt, Anaëlle Wilczynski. On the Convergence of Swap Dynamics to Pareto-Optimal Matchings. Journal of Artificial Intelligence Research, 2024, 80 (1-2), pp.1063-1098. ⟨10.1613/jair.1.15305⟩. ⟨hal-04880353⟩
titre
On the Convergence of Swap Dynamics to Pareto-Optimal Matchings
auteur
Felix Brandt, Anaëlle Wilczynski
article
Journal of Artificial Intelligence Research, 2024, 80 (1-2), pp.1063-1098. ⟨10.1613/jair.1.15305⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04880353/file/15305wPg%23s-5.pdf BibTex
ref_biblio
Manuel Amoussou, Khaled Belahcène, Christophe Labreuche, Nicolas Maudet, Vincent Mousseau, et al.. Questionable Stepwise Explanations for a Robust Additive Preference Model. International Journal of Approximate Reasoning, 2024, 171, pp.108982. ⟨10.1016/j.ijar.2023.108982⟩. ⟨hal-04168685⟩
titre
Questionable Stepwise Explanations for a Robust Additive Preference Model
auteur
Manuel Amoussou, Khaled Belahcène, Christophe Labreuche, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane
article
International Journal of Approximate Reasoning, 2024, 171, pp.108982. ⟨10.1016/j.ijar.2023.108982⟩
Accès au bibtex
BibTex
ref_biblio
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall. Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation. The Journal of Object Technology, 2024, 23 (2), pp.2:1-16. ⟨10.5381/jot.2024.23.2.a2.⟩. ⟨cea-04604825⟩
titre
Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation
auteur
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
article
The Journal of Object Technology, 2024, 23 (2), pp.2:1-16. ⟨10.5381/jot.2024.23.2.a2.⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-04604825/file/article2.pdf BibTex

Communication dans un congrès

ref_biblio
András Horváth, Paolo Ballarini, Pierre Cry. Probabilistic Process Discovery with Stochastic Process Trees. EAI VALUESTOOLS 2024, Dec 2024, Milan, Italy. ⟨hal-05021584⟩
titre
Probabilistic Process Discovery with Stochastic Process Trees
auteur
András Horváth, Paolo Ballarini, Pierre Cry
article
EAI VALUESTOOLS 2024, Dec 2024, Milan, Italy
Accès au texte intégral et bibtex
https://hal.science/hal-05021584/file/main.pdf BibTex
ref_biblio
Paolo Ballarini, Andras Horvath, Pierre Cry. Probabilistic Process Discovery with Stochastic Process Trees. Conference on Perfomance Evaluation and Optimization of Complex Systems, Dec 2024, Milan, Italy. ⟨hal-05021623⟩
titre
Probabilistic Process Discovery with Stochastic Process Trees
auteur
Paolo Ballarini, Andras Horvath, Pierre Cry
article
Conference on Perfomance Evaluation and Optimization of Complex Systems, Dec 2024, Milan, Italy
Accès au texte intégral et bibtex
https://hal.science/hal-05021623/file/valuetools_2024-2.pdf BibTex
ref_biblio
Vincent Mousseau, Henri Surugue, Anaëlle Wilczynski. Do We Care About Poll Manipulation in Political Elections?. 27th European Conference on Artificial Intelligence (ECAI 2024), Oct 2024, Santiago de Compostela, Spain. ⟨10.3233/FAIA240908⟩. ⟨hal-04880319⟩
titre
Do We Care About Poll Manipulation in Political Elections?
auteur
Vincent Mousseau, Henri Surugue, Anaëlle Wilczynski
article
27th European Conference on Artificial Intelligence (ECAI 2024), Oct 2024, Santiago de Compostela, Spain. ⟨10.3233/FAIA240908⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04880319/file/FAIA-392-FAIA240908-1.pdf BibTex
ref_biblio
Dao Thauvin, Stéphane Herbin, Wassila Ouerdane, Céline Hudelot. Interpretable image classification through an argumentative dialog between encoders. 27TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, Oct 2024, Saint-Jacques de Compostelle, Spain. pp.3316-3323, ⟨10.3233/FAIA240880⟩. ⟨hal-04673794v2⟩
titre
Interpretable image classification through an argumentative dialog between encoders
auteur
Dao Thauvin, Stéphane Herbin, Wassila Ouerdane, Céline Hudelot
article
27TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, Oct 2024, Saint-Jacques de Compostelle, Spain. pp.3316-3323, ⟨10.3233/FAIA240880⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04673794/file/article_Dao_THAUVIN.pdf BibTex
ref_biblio
Karl Jochen Micheel, Anaëlle Wilczynski. Fairness in Repeated House Allocation. 27th European Conference on Artificial Intelligence (ECAI 2024), Oct 2024, Santiago de Compostela, Spain. ⟨10.3233/faia240909⟩. ⟨hal-04880340⟩
titre
Fairness in Repeated House Allocation
auteur
Karl Jochen Micheel, Anaëlle Wilczynski
article
27th European Conference on Artificial Intelligence (ECAI 2024), Oct 2024, Santiago de Compostela, Spain. ⟨10.3233/faia240909⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04880340/file/FAIA-392-FAIA240909-1.pdf BibTex
ref_biblio
Aurélie Beynier, Jean-Guy Mailly, Nicolas Maudet, Anaelle Wilczynski. Explaining the Lack of Locally Envy-Free Allocations. 27th European Conference on Artificial Intelligence (ECAI 2024), European Association for Artificial Intelligence (EurAI); Spanish AI Society (AEPIA), Oct 2024, Santiago de Compostela, Spain. ⟨hal-04670468⟩
titre
Explaining the Lack of Locally Envy-Free Allocations
auteur
Aurélie Beynier, Jean-Guy Mailly, Nicolas Maudet, Anaelle Wilczynski
article
27th European Conference on Artificial Intelligence (ECAI 2024), European Association for Artificial Intelligence (EurAI); Spanish AI Society (AEPIA), Oct 2024, Santiago de Compostela, Spain
Accès au bibtex
BibTex
ref_biblio
Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Pascale Le Gall. High-Level Program Properties in Frama-C: Definition, Verification and Deduction. International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA), Oct 2024, Crete Island, Greece. ⟨hal-04663406⟩
titre
High-Level Program Properties in Frama-C: Definition, Verification and Deduction
auteur
Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Pascale Le Gall
article
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA), Oct 2024, Crete Island, Greece
Accès au bibtex
BibTex
ref_biblio
Hénoïk Willot, Khaled Belahcene, Sébastien Destercke. Principled Explanations for Robust Redistributive Decisions. 27th European Conference on Artificial Intelligence, Including 13th Conference on Prestigious Applications of Intelligent Systems (ECAI-PAIS 2024), Oct 2024, Santiago de compostela, Spain. pp.979 - 986, ⟨10.3233/FAIA240587⟩. ⟨hal-04647555v3⟩
titre
Principled Explanations for Robust Redistributive Decisions
auteur
Hénoïk Willot, Khaled Belahcene, Sébastien Destercke
article
27th European Conference on Artificial Intelligence, Including 13th Conference on Prestigious Applications of Intelligent Systems (ECAI-PAIS 2024), Oct 2024, Santiago de compostela, Spain. pp.979 - 986, ⟨10.3233/FAIA240587⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04647555/file/Full_ECAI2024___Principled_Explanations_for_Robust_Redistributive_Decisions.pdf BibTex
ref_biblio
Géraud Faye, Morgane Casanova, Benjamin Icard, Julien Chanson, Guillaume Gadek, et al.. HYBRINFOX at CheckThat! 2024 - Task 1: Enhancing Language Models with Structured Information for Check-Worthiness Estimation Notebook for the HYBRINFOX Team at CheckThat! 2024 -Task 1. Conference and Labs of the Evaluation Forum (CLEF 2024), Sep 2024, Grenoble, France. ⟨hal-04876041⟩
titre
HYBRINFOX at CheckThat! 2024 - Task 1: Enhancing Language Models with Structured Information for Check-Worthiness Estimation Notebook for the HYBRINFOX Team at CheckThat! 2024 -Task 1
auteur
Géraud Faye, Morgane Casanova, Benjamin Icard, Julien Chanson, Guillaume Gadek, Guillaume Gravier, Paul Égré
article
Conference and Labs of the Evaluation Forum (CLEF 2024), Sep 2024, Grenoble, France
Accès au texte intégral et bibtex
https://hal.science/hal-04876041/file/paper-37.pdf BibTex
ref_biblio
Pierre Cry, Paolo Ballarini, András Horváth, Pascale Le Gall. A framework for optimisation based stochastic process discovery. Proceedings of the International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, Sep 2024, Calgary (Alberta), Canada. ⟨10.1007/978-3-031-68416-6_3⟩. ⟨hal-04720353⟩
titre
A framework for optimisation based stochastic process discovery
auteur
Pierre Cry, Paolo Ballarini, András Horváth, Pascale Le Gall
article
Proceedings of the International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, Sep 2024, Calgary (Alberta), Canada. ⟨10.1007/978-3-031-68416-6_3⟩
Accès au bibtex
BibTex
ref_biblio
Morgane Casanova, Julien Chanson, Benjamin Icard, Géraud Faye, Guillaume Gadek, et al.. HYBRINFOX at CheckThat! 2024 - Task 2: Enriching BERT Models with the Expert System VAGO for Subjectivity Detection. CLEF 2024 - Conference and Labs of the Evaluation Forum, Sep 2024, Grenoble, France. pp.1-9, ⟨10.48550/arXiv.2407.03770⟩. ⟨hal-04871189⟩
titre
HYBRINFOX at CheckThat! 2024 - Task 2: Enriching BERT Models with the Expert System VAGO for Subjectivity Detection
auteur
Morgane Casanova, Julien Chanson, Benjamin Icard, Géraud Faye, Guillaume Gadek, Guillaume Gravier, Paul Égré
article
CLEF 2024 - Conference and Labs of the Evaluation Forum, Sep 2024, Grenoble, France. pp.1-9, ⟨10.48550/arXiv.2407.03770⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04871189/file/CLEF_task2.pdf BibTex
ref_biblio
Thomas Traversié. Proofs for Free in the λΠ-Calculus Modulo Theory. LFMTP 2024 - International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Jul 2024, Tallinn, Estonia. pp.49 - 63, ⟨10.4204/eptcs.404.4⟩. ⟨hal-04646198⟩
titre
Proofs for Free in the λΠ-Calculus Modulo Theory
auteur
Thomas Traversié
article
LFMTP 2024 - International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Jul 2024, Tallinn, Estonia. pp.49 - 63, ⟨10.4204/eptcs.404.4⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04646198/file/paper.cgi.pdf BibTex
ref_biblio
Hénoïk Willot, Sébastien Destercke, Khaled Belahcene. Explications et caractérisation de décisions équitables. 18èmes Journées d'Intelligence Artificielle Fondamentale (JIAF-JFPDA 2024), Jean-Guy Mailly; François Schwarzentruber; Anaëlle Wilczynski, Jul 2024, La Rochelle, France. pp.68-78. ⟨hal-04763967⟩
titre
Explications et caractérisation de décisions équitables
auteur
Hénoïk Willot, Sébastien Destercke, Khaled Belahcene
article
18èmes Journées d'Intelligence Artificielle Fondamentale (JIAF-JFPDA 2024), Jean-Guy Mailly; François Schwarzentruber; Anaëlle Wilczynski, Jul 2024, La Rochelle, France. pp.68-78
Accès au texte intégral et bibtex
https://hal.science/hal-04763967/file/JIAF2024_paper_7.pdf BibTex
ref_biblio
Thomas Traversié. Kuroda's Translation for the λΠ-Calculus Modulo Theory and Dedukti. LFMTP 2024 - International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Jul 2024, Tallinn, Estonia. pp.35-48, ⟨10.4204/eptcs.404.3⟩. ⟨hal-04646168⟩
titre
Kuroda's Translation for the λΠ-Calculus Modulo Theory and Dedukti
auteur
Thomas Traversié
article
LFMTP 2024 - International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, Jul 2024, Tallinn, Estonia. pp.35-48, ⟨10.4204/eptcs.404.3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04646168/file/paper.cgi.pdf BibTex
ref_biblio
Benjamin Icard, François Maine, Morgane Casanova, Géraud Faye, Julien Chanson, et al.. A Multi-Label Dataset of French Fake News: Human and Machine Insights. LREC-COLING 2024 - The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, May 2024, Torino, Italy. pp.812-818. ⟨hal-04521059⟩
titre
A Multi-Label Dataset of French Fake News: Human and Machine Insights
auteur
Benjamin Icard, François Maine, Morgane Casanova, Géraud Faye, Julien Chanson, Guillaume Gadek, Ghislain Atemezing, François Bancilhon, Paul Égré
article
LREC-COLING 2024 - The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, May 2024, Torino, Italy. pp.812-818
Accès au bibtex
https://arxiv.org/pdf/2403.16099 BibTex
ref_biblio
Karl Jochen Micheel, Anaelle Wilczynski. Fairness in Repeated House Allocation (Extended Abstract). 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024), May 2024, Auckland, New Zealand. ⟨hal-04880376⟩
titre
Fairness in Repeated House Allocation (Extended Abstract)
auteur
Karl Jochen Micheel, Anaelle Wilczynski
article
23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024), May 2024, Auckland, New Zealand
Accès au bibtex
BibTex
ref_biblio
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall. Finite Automata synthesis from interactions. FormaliSE '24 -the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering, Apr 2024, Lisbonne, Portugal. pp.12-22, ⟨10.1145/3644033.3644382⟩. ⟨cea-04604956⟩
titre
Finite Automata synthesis from interactions
auteur
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
article
FormaliSE '24 -the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering, Apr 2024, Lisbonne, Portugal. pp.12-22, ⟨10.1145/3644033.3644382⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-04604956/file/paper_nfa_generation_formalise2024_camera_readyfinal.pdf BibTex
ref_biblio
Valentin Blot, Gilles Dowek, Thomas Traversié, Théo Winterhalter. From Rewrite Rules to Axioms in the λΠ-Calculus Modulo Theory. FoSSaCS 2024 - 27th International Conference on Foundations of Software Science and Computation Structures, Apr 2024, Luxembourg City, Luxembourg. pp.3-23, ⟨10.1007/978-3-031-57231-9_1⟩. ⟨hal-04275229v2⟩
titre
From Rewrite Rules to Axioms in the λΠ-Calculus Modulo Theory
auteur
Valentin Blot, Gilles Dowek, Thomas Traversié, Théo Winterhalter
article
FoSSaCS 2024 - 27th International Conference on Foundations of Software Science and Computation Structures, Apr 2024, Luxembourg City, Luxembourg. pp.3-23, ⟨10.1007/978-3-031-57231-9_1⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04275229/file/elimrule.pdf BibTex
ref_biblio
Géraud Faye, Benjamin Icard, Morgane Casanova, Julien Chanson, François Maine, et al.. Exposing propaganda: an analysis of stylistic cues comparing human annotations and machine classification. EACL Workshop on Understanding Implicit and Underspecified Language (UnImplicit 2024), Mar 2024, Malte, Malta. ⟨hal-04443096v2⟩
titre
Exposing propaganda: an analysis of stylistic cues comparing human annotations and machine classification
auteur
Géraud Faye, Benjamin Icard, Morgane Casanova, Julien Chanson, François Maine, François Bancilhon, Guillaume Gadek, Guillaume Gravier, Paul Égré
article
EACL Workshop on Understanding Implicit and Underspecified Language (UnImplicit 2024), Mar 2024, Malte, Malta
Accès au texte intégral et bibtex
https://hal.science/hal-04443096/file/UnImplicit_2023-version%203.pdf BibTex
ref_biblio
Hénoïk Willot, Sébastien Destercke, Khaled Belahcene. Explications axiomatisées pour décisions équitables. 25e congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2024), Société française de recherche opérationnelle et d'aide à la décision, Mar 2024, Amiens, France. ⟨hal-04590407⟩
titre
Explications axiomatisées pour décisions équitables
auteur
Hénoïk Willot, Sébastien Destercke, Khaled Belahcene
article
25e congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2024), Société française de recherche opérationnelle et d'aide à la décision, Mar 2024, Amiens, France
Accès au texte intégral et bibtex
https://hal.science/hal-04590407/file/ROADEF_2024_OWA.pdf BibTex

Chapitre d'ouvrage

ref_biblio
Vincent Auriau, Khaled Belahcène, Emmanuel Malherbe, Vincent Mousseau. Learning Multiple Multicriteria Additive Models from Heterogeneous Preferences. Algorithmic Decision Theory, 15248, Springer Nature Switzerland, pp.207-224, 2024, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-73903-3_14⟩. ⟨hal-04905016⟩
titre
Learning Multiple Multicriteria Additive Models from Heterogeneous Preferences
auteur
Vincent Auriau, Khaled Belahcène, Emmanuel Malherbe, Vincent Mousseau
article
Algorithmic Decision Theory, 15248, Springer Nature Switzerland, pp.207-224, 2024, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-73903-3_14⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04905016/file/Auriau-et-al-ADT2024.pdf BibTex

N°spécial de revue/special issue

ref_biblio
Khaled Belahcène, Sébastien Destercke, Christophe Labreuche, Meltem Öztürk, Paolo Viappiani. Advances in preference handling: foreword. Annals of Mathematics and Artificial Intelligence, 92 (6), pp.1377-1379, 2024, Annals of Mathematics and Artificial Intelligence, ⟨10.1007/s10472-024-09954-6⟩. ⟨hal-04916949⟩
titre
Advances in preference handling: foreword
auteur
Khaled Belahcène, Sébastien Destercke, Christophe Labreuche, Meltem Öztürk, Paolo Viappiani
article
Annals of Mathematics and Artificial Intelligence, 92 (6), pp.1377-1379, 2024, Annals of Mathematics and Artificial Intelligence, ⟨10.1007/s10472-024-09954-6⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04916949/file/Pref_foreword.pdf BibTex

Ouvrages

ref_biblio
Emmanuel Adam, Thomas Guyet, Benoit Le Blanc, Dominique Longin, Nadia Abchiche-Mimouni, et al.. Conférence Nationale d’Intelligence Artificielle Année 2024. Association Française pour l'Intelligence Artificielle, 2024. ⟨hal-04748891⟩
titre
Conférence Nationale d’Intelligence Artificielle Année 2024
auteur
Emmanuel Adam, Thomas Guyet, Benoit Le Blanc, Dominique Longin, Nadia Abchiche-Mimouni, Ghislain Atemezing, Nathalie Aussenac-Gilles, Jean-Guy Mailly, Catherine Roussey, François Schwarzentruber, Anaelle Wilczynski, Haïfa Zargayouna
article
Association Française pour l'Intelligence Artificielle, 2024
Accès au texte intégral et bibtex
https://ut3-toulouseinp.hal.science/hal-04748891/file/Ouvrage_Promotion_AFIA_2024_WEB.pdf BibTex

Proceedings/Recueil des communications

ref_biblio
Jean-Guy Mailly, François Schwarzentruber, Anaelle Wilczynski. Actes des 18es Journées d’Intelligence Artificielle Fondamentale et des 19es Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes. Plate-Forme Intelligence Artificielle, Association Française pour l'Intelligence Artificielle, 2024. ⟨hal-04620491v2⟩
titre
Actes des 18es Journées d’Intelligence Artificielle Fondamentale et des 19es Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes
auteur
Jean-Guy Mailly, François Schwarzentruber, Anaelle Wilczynski
article
Plate-Forme Intelligence Artificielle, Association Française pour l'Intelligence Artificielle, 2024
Accès au texte intégral et bibtex
https://hal.science/hal-04620491/file/Actes_JIAF_JFPDA_PFIA2024.pdf BibTex

Pré-publication, Document de travail

ref_biblio
Thomas Traversié. Kuroda's Translation for Higher-Order Logic. 2024. ⟨hal-04561757⟩
titre
Kuroda's Translation for Higher-Order Logic
auteur
Thomas Traversié
article
2024
Accès au texte intégral et bibtex
https://hal.science/hal-04561757/file/kurodahol.pdf BibTex

2023

Article dans une revue

ref_biblio
Marc Aiguier, Isabelle Bloch, Salim Nibouche, Ramón Pino Pérez. Morpho-Logic from a Topos Perspective – Application to Symbolic AI. International Journal of Approximate Reasoning, 2023, 161, pp.109011. ⟨10.1016/J.IJAR.2023.109011⟩. ⟨hal-04453306⟩
titre
Morpho-Logic from a Topos Perspective – Application to Symbolic AI
auteur
Marc Aiguier, Isabelle Bloch, Salim Nibouche, Ramón Pino Pérez
article
International Journal of Approximate Reasoning, 2023, 161, pp.109011. ⟨10.1016/J.IJAR.2023.109011⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04453306/file/2023-5-Morphologic%20from%20a%20topos%20prespective-application%20to%20symbolic%20IA-IJAR-2023.pdf BibTex
ref_biblio
Géraud Faye, Wassila Ouerdane, Guillaume Gadek, Souhir Gahbiche, Sylvain Gatepaille. A novel hybrid approach for text encoding: Cognitive Attention To Syntax model to detect online misinformation. Data and Knowledge Engineering, 2023, pp.102230. ⟨10.1016/j.datak.2023.102230⟩. ⟨hal-04222431⟩
titre
A novel hybrid approach for text encoding: Cognitive Attention To Syntax model to detect online misinformation
auteur
Géraud Faye, Wassila Ouerdane, Guillaume Gadek, Souhir Gahbiche, Sylvain Gatepaille
article
Data and Knowledge Engineering, 2023, pp.102230. ⟨10.1016/j.datak.2023.102230⟩
Accès au bibtex
BibTex
ref_biblio
Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall. Efficient computation of arbitrary control dependencies. Theoretical Computer Science, 2023, 969, pp.114029. ⟨10.1016/j.tcs.2023.114029⟩. ⟨hal-04490333⟩
titre
Efficient computation of arbitrary control dependencies
auteur
Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall
article
Theoretical Computer Science, 2023, 969, pp.114029. ⟨10.1016/j.tcs.2023.114029⟩
Accès au bibtex
BibTex
ref_biblio
Felix Brandt, Martin Bullinger, Anaëlle Wilczynski. Reaching Individually Stable Coalition Structures. ACM Transactions on Economics and Computation, 2023, 11 (1-2), pp.1-65. ⟨10.1145/3588753⟩. ⟨hal-04182110⟩
titre
Reaching Individually Stable Coalition Structures
auteur
Felix Brandt, Martin Bullinger, Anaëlle Wilczynski
article
ACM Transactions on Economics and Computation, 2023, 11 (1-2), pp.1-65. ⟨10.1145/3588753⟩
Accès au bibtex
https://arxiv.org/pdf/2211.09571 BibTex
ref_biblio
Marc Aiguier, Isabelle Bloch. Abstract Categorical Logic. Logica Universalis, 2023, 17 (1), pp.23-67. ⟨10.1007/s11787-022-00320-w⟩. ⟨hal-04491095⟩
titre
Logique catégorielle abstraite
auteur
Marc Aiguier, Isabelle Bloch
article
Logica Universalis, 2023, 17 (1), pp.23-67. ⟨10.1007/s11787-022-00320-w⟩
Accès au bibtex
BibTex
ref_biblio
Khaled Belahcene, Vincent Mousseau, Wassila Ouerdane, Marc Pirlot, Olivier Sobrie. Multiple criteria sorting models and methods—Part I: survey of the literature. 4OR: A Quarterly Journal of Operations Research, 2023, 21, pp.1-46. ⟨10.1007/s10288-022-00530-4⟩. ⟨hal-03932949⟩
titre
Multiple criteria sorting models and methods—Part I: survey of the literature
auteur
Khaled Belahcene, Vincent Mousseau, Wassila Ouerdane, Marc Pirlot, Olivier Sobrie
article
4OR: A Quarterly Journal of Operations Research, 2023, 21, pp.1-46. ⟨10.1007/s10288-022-00530-4⟩
Accès au bibtex
BibTex
ref_biblio
Khaled Belahcene, Vincent Mousseau, Wassila Ouerdane, Marc Pirlot, Olivier Sobrie. Multiple criteria sorting models and methods. Part II: theoretical results and general issues. 4OR: A Quarterly Journal of Operations Research, 2023, 21, pp.181-204. ⟨10.1007/s10288-022-00531-3⟩. ⟨hal-03932958⟩
titre
Multiple criteria sorting models and methods. Part II: theoretical results and general issues
auteur
Khaled Belahcene, Vincent Mousseau, Wassila Ouerdane, Marc Pirlot, Olivier Sobrie
article
4OR: A Quarterly Journal of Operations Research, 2023, 21, pp.181-204. ⟨10.1007/s10288-022-00531-3⟩
Accès au bibtex
BibTex
ref_biblio
Erwan Mahe, Christophe Gaston, Pascale Le Gall. Denotational and operational semantics for interaction languages : application to trace analysis. Science of Computer Programming, 2023, 232, pp.103034. ⟨10.1016/j.scico.2023.103034⟩. ⟨cea-04258909⟩
titre
Denotational and operational semantics for interaction languages : application to trace analysis
auteur
Erwan Mahe, Christophe Gaston, Pascale Le Gall
article
Science of Computer Programming, 2023, 232, pp.103034. ⟨10.1016/j.scico.2023.103034⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-04258909/file/scp_2023_preprint.pdf BibTex
ref_biblio
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall. Interaction-based offline runtime verification of distributed systems. Lecture Notes in Computer Science, 2023, Fundamentals of Software Engineering, 14155, pp.88-103. ⟨10.1007/978-3-031-42441-0_7⟩. ⟨cea-04228010⟩
titre
Interaction-based offline runtime verification of distributed systems
auteur
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
article
Lecture Notes in Computer Science, 2023, Fundamentals of Software Engineering, 14155, pp.88-103. ⟨10.1007/978-3-031-42441-0_7⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-04228010/file/fsen_2023_camera_ready_map.pdf BibTex

Communication dans un congrès

ref_biblio
Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Thang Nguyen. Symbolic Path-guided Test Cases for Models with Data and Time. Formal Aspects of Component Software (FACS), Oct 2023, Paris (en ligne), France. ⟨hal-04486318⟩
titre
Symbolic Path-guided Test Cases for Models with Data and Time
auteur
Boutheina Bannour, Arnault Lapitre, Pascale Le Gall, Thang Nguyen
article
Formal Aspects of Component Software (FACS), Oct 2023, Paris (en ligne), France
Accès au texte intégral et bibtex
https://hal.science/hal-04486318/file/FACS_2023_Symbolic_Path-guided_Test_Cases_for_Models_with_Data_and_Time.pdf BibTex
ref_biblio
Baptistin Coutance, Prasanna Maddila, Anaëlle Wilczynski. Rank-Envy-Freeness in Roommate Matchings. 26th European Conference on Artificial Intelligence (ECAI 2023), Sep 2023, Krakow (Cracovie), Poland. ⟨10.3233/FAIA230308⟩. ⟨hal-04239712⟩
titre
Rank-Envy-Freeness in Roommate Matchings
auteur
Baptistin Coutance, Prasanna Maddila, Anaëlle Wilczynski
article
26th European Conference on Artificial Intelligence (ECAI 2023), Sep 2023, Krakow (Cracovie), Poland. ⟨10.3233/FAIA230308⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04239712/file/rank_envy_Wilczynski2023.pdf BibTex
ref_biblio
Stéphane Airiau, Hugo Gilbert, Umberto Grandi, Jérôme Lang, Anaëlle Wilczynski. Fair Rent Division on a Budget Revisited. 26th European Conference on Artificial Intelligence (ECAI 2023), European Association for Artificial Intelligence (EurAI); Polish Artificial Intelligence Society (PSSI), Sep 2023, Kraków, Poland. ⟨10.3233/faia230253⟩. ⟨hal-04261690⟩
titre
Fair Rent Division on a Budget Revisited
auteur
Stéphane Airiau, Hugo Gilbert, Umberto Grandi, Jérôme Lang, Anaëlle Wilczynski
article
26th European Conference on Artificial Intelligence (ECAI 2023), European Association for Artificial Intelligence (EurAI); Polish Artificial Intelligence Society (PSSI), Sep 2023, Kraków, Poland. ⟨10.3233/faia230253⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04261690/file/FAIA-372-FAIA230253%20%281%29.pdf BibTex
ref_biblio
Élise Lincker, Camille Guinaudeau, Olivier Pons, Jérôme Dupire, Céline Hudelot, et al.. Noisy and Unbalanced Multimodal Document Classification: Textbook Exercises as a Use Case. 20th International Conference on Content-based Multimedia Indexing (CBMI 2023), Sep 2023, Orléans, France. pp.71 - 78, ⟨10.1145/3617233.3617239⟩. ⟨hal-04221023⟩
titre
Noisy and Unbalanced Multimodal Document Classification: Textbook Exercises as a Use Case
auteur
Élise Lincker, Camille Guinaudeau, Olivier Pons, Jérôme Dupire, Céline Hudelot, Vincent Mousseau, Isabelle Barbet, Caroline Huron
article
20th International Conference on Content-based Multimedia Indexing (CBMI 2023), Sep 2023, Orléans, France. pp.71 - 78, ⟨10.1145/3617233.3617239⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04221023/file/Lincker_Noisy-and-Unbalanced-Multimodal-Document-Classification.pdf BibTex
ref_biblio
Paolo Ballarini, Mahmoud Bentriou, Paul-Henry P.-H. Cournède. A Formal Approach for Tuning Stochastic Oscillators. Computational Methods in Systems Biology, Sep 2023, Luxembourg, Luxembourg. pp.1-17, ⟨10.1007/978-3-031-42697-1_1⟩. ⟨hal-04570564⟩
titre
A Formal Approach for Tuning Stochastic Oscillators
auteur
Paolo Ballarini, Mahmoud Bentriou, Paul-Henry P.-H. Cournède
article
Computational Methods in Systems Biology, Sep 2023, Luxembourg, Luxembourg. pp.1-17, ⟨10.1007/978-3-031-42697-1_1⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04570564/file/main.pdf BibTex
ref_biblio
Léa Pacini, Jérôme Dupire, Isabelle Barbet, Olivier Pons, Camille Guinaudeau, et al.. Textbook's accessibility for children with dyspraxia and visual disability. 17th International Conference of the Association for the Advancement of Assistive Technology in Europe, AAATE 2023, Association for the Advancement of Assistive Technology in Europe, Aug 2023, Paris, France. ⟨hal-04410340⟩
titre
Textbook's accessibility for children with dyspraxia and visual disability
auteur
Léa Pacini, Jérôme Dupire, Isabelle Barbet, Olivier Pons, Camille Guinaudeau, Vincent Mousseau, Céline Hudelot, Caroline Huron
article
17th International Conference of the Association for the Advancement of Assistive Technology in Europe, AAATE 2023, Association for the Advancement of Assistive Technology in Europe, Aug 2023, Paris, France
Accès au texte intégral et bibtex
https://hal.science/hal-04410340/file/Pacini_AAATE_correctedVer.pdf BibTex
ref_biblio
Anaëlle Wilczynski. Ordinal Hedonic Seat Arrangement under Restricted Preference Domains: Swap Stability and Popularity. Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}, Aug 2023, Macau, China. pp.2906-2914, ⟨10.24963/ijcai.2023/324⟩. ⟨hal-04182108⟩
titre
Ordinal Hedonic Seat Arrangement under Restricted Preference Domains: Swap Stability and Popularity
auteur
Anaëlle Wilczynski
article
Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}, Aug 2023, Macau, China. pp.2906-2914, ⟨10.24963/ijcai.2023/324⟩
Accès au bibtex
BibTex
ref_biblio
Hénoïk Willot, Sébastien Destercke, Khaled Belahcene. Prime Implicants as a Versatile Tool to Explain Robust Classification. 13th International Symposium on Imprecise Probabilities: Theories and Applications (ISIPTA 2023), Enrique Miranda; Ignacio Montes; Erik Quaeghebeur; Barbara Vantaggi, Jul 2023, Oviedo, Spain. pp.461-471. ⟨hal-04310960⟩
titre
Prime Implicants as a Versatile Tool to Explain Robust Classification
auteur
Hénoïk Willot, Sébastien Destercke, Khaled Belahcene
article
13th International Symposium on Imprecise Probabilities: Theories and Applications (ISIPTA 2023), Enrique Miranda; Ignacio Montes; Erik Quaeghebeur; Barbara Vantaggi, Jul 2023, Oviedo, Spain. pp.461-471
Accès au texte intégral et bibtex
https://hal.science/hal-04310960/file/ISIPTA_2023_WILLOT_paper_25.pdf BibTex
ref_biblio
Hénoïk Willot, Sébastien Destercke, Khaled Belahcene. Les implicants premiers, un outil polyvalent pour l'explication de classification robuste. 17èmes Journées d'Intelligence Artificielle Fondamentale (JIAF-JFPDA 2023), Zied Bouraoui; François Schwarzentruber; Anaëlle Wilczynski, Jul 2023, Strasbourg, France. pp.146-155. ⟨hal-04310904⟩
titre
Les implicants premiers, un outil polyvalent pour l'explication de classification robuste
auteur
Hénoïk Willot, Sébastien Destercke, Khaled Belahcene
article
17èmes Journées d'Intelligence Artificielle Fondamentale (JIAF-JFPDA 2023), Zied Bouraoui; François Schwarzentruber; Anaëlle Wilczynski, Jul 2023, Strasbourg, France. pp.146-155
Accès au texte intégral et bibtex
https://hal.science/hal-04310904/file/JIAF___Les_implicants_premiers__un_outil_polyvalent_pour_l_explication_de_classification_robuste.pdf BibTex
ref_biblio
Elise Lincker, Olivier Pons, Camille Guinaudeau, Isabelle Barbet, Jérôme Dupire, et al.. Layout- and Activity-based Textbook Modeling for Automatic PDF Textbook Extraction. Intelligent Textbooks 2023, Jul 2023, Tokyo, Japan. pp.37-53. ⟨hal-04184895⟩
titre
Layout- and Activity-based Textbook Modeling for Automatic PDF Textbook Extraction
auteur
Elise Lincker, Olivier Pons, Camille Guinaudeau, Isabelle Barbet, Jérôme Dupire, Céline Hudelot, Vincent Mousseau, Caroline Huron
article
Intelligent Textbooks 2023, Jul 2023, Tokyo, Japan. pp.37-53
Accès au texte intégral et bibtex
https://hal.science/hal-04184895/file/layout-and-activity-based-textbook-modeling-for-automatic-textbook-extraction.pdf BibTex
ref_biblio
Romain Pascual, Pascale Le Gall, Hakim Belhaouari, Agnès Arnould. Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique. 22ème Journées des Approches Formelles dans l’Assistance au Développement de Logiciels, AFADL’23., Jun 2023, Rennes, France. ⟨hal-04185658⟩
titre
Une approche pour inférer les expressions de calcul géométrique en modélisation à base topologique
auteur
Romain Pascual, Pascale Le Gall, Hakim Belhaouari, Agnès Arnould
article
22ème Journées des Approches Formelles dans l’Assistance au Développement de Logiciels, AFADL’23., Jun 2023, Rennes, France
Accès au texte intégral et bibtex
https://hal.science/hal-04185658/file/AFADL2023.pdf BibTex
ref_biblio
Olivier Pons, Isabelle Barbet, Jérôme Dupire, Valérie Grembi, Camille Guinaudeau, et al.. Projet ANR MALIN : MAnuels scoLaires INclusifs. CORIA-TALN 2023 30e Conférence sur le Traitement Automatique des Langues Naturelles (TALN), Jun 2023, Paris, France. pp.30-31. ⟨hal-04208594⟩
titre
Projet ANR MALIN : MAnuels scoLaires INclusifs
auteur
Olivier Pons, Isabelle Barbet, Jérôme Dupire, Valérie Grembi, Camille Guinaudeau, Céline Hudelot, Caroline Huron, Elise Lincker, Vincent Mousseau, Léa Pacini
article
CORIA-TALN 2023 30e Conférence sur le Traitement Automatique des Langues Naturelles (TALN), Jun 2023, Paris, France. pp.30-31
Accès au texte intégral et bibtex
https://hal.science/hal-04208594/file/481730.pdf BibTex
ref_biblio
Elise Lincker, Camille Guinaudeau, Olivier Pons, Isabelle Barbet, Jérôme Dupire, et al.. Classification automatique de données déséquilibrées et bruitées : application aux exercices de manuels scolaires. CORIA-TALN 2023 30e Conférence sur le Traitement Automatique des Langues Naturelles (TALN), Servan, Christophe; Vilnat, Anne, Jun 2023, Paris, France. pp.121-130. ⟨hal-04130220⟩
titre
Classification automatique de données déséquilibrées et bruitées : application aux exercices de manuels scolaires
auteur
Elise Lincker, Camille Guinaudeau, Olivier Pons, Isabelle Barbet, Jérôme Dupire, Céline Hudelot, Vincent Mousseau, Caroline Huron
article
CORIA-TALN 2023 30e Conférence sur le Traitement Automatique des Langues Naturelles (TALN), Servan, Christophe; Vilnat, Anne, Jun 2023, Paris, France. pp.121-130
Accès au texte intégral et bibtex
https://hal.science/hal-04130220/file/460982.pdf BibTex
ref_biblio
Nicolas Belloir, Wassila Ouerdane, Oscar Pastor. Caractérisation des fausses nouvelles Une approche basée sur la modélisation conceptuelle. 41st INFORSID 2023, May 2023, La Rochelle, France. pp.103-104. ⟨hal-04453332⟩
titre
Caractérisation des fausses nouvelles Une approche basée sur la modélisation conceptuelle
auteur
Nicolas Belloir, Wassila Ouerdane, Oscar Pastor
article
41st INFORSID 2023, May 2023, La Rochelle, France. pp.103-104
Accès au texte intégral et bibtex
https://hal.science/hal-04453332/file/BELLOIR-INFORSID2023-VFinale.pdf BibTex
ref_biblio
Javier Maass, Vincent Mousseau, Anaelle Wilczynski. A Hotelling-Downs Game for Strategic Candidacy with Binary Issues. 22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023), May 2023, London, United Kingdom. ⟨hal-04135567⟩
titre
A Hotelling-Downs Game for Strategic Candidacy with Binary Issues
auteur
Javier Maass, Vincent Mousseau, Anaelle Wilczynski
article
22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023), May 2023, London, United Kingdom
Accès au bibtex
BibTex
ref_biblio
Mathieu Lerouge, Céline Gicquel, Vincent Mousseau, Wassila Ouerdane. Génération d'explications de différentes natures pour les utilisateurs d'outils d'optimisation : application au problème de planification d'employés mobiles. ROADEF 2023 - 24e congrès de la Société Française de Recherche Opérationnelle et Aide à la Décision, Feb 2023, Rennes, France. ⟨hal-04389330⟩
titre
Génération d'explications de différentes natures pour les utilisateurs d'outils d'optimisation : application au problème de planification d'employés mobiles
auteur
Mathieu Lerouge, Céline Gicquel, Vincent Mousseau, Wassila Ouerdane
article
ROADEF 2023 - 24e congrès de la Société Française de Recherche Opérationnelle et Aide à la Décision, Feb 2023, Rennes, France
Accès au texte intégral et bibtex
https://hal.science/hal-04389330/file/LEROUGE_ROADEF2023_V2.pdf BibTex
ref_biblio
Manuel Amoussou, Khaled Belahcene, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane. Explication de recommandations issues d’un modèle additif : de la conceptualisation à l’évaluation. 24e congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2023), ROADEF, Feb 2023, Rennes, France. ⟨hal-04108900⟩
titre
Explication de recommandations issues d’un modèle additif : de la conceptualisation à l’évaluation
auteur
Manuel Amoussou, Khaled Belahcene, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane
article
24e congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2023), ROADEF, Feb 2023, Rennes, France
Accès au texte intégral et bibtex
https://hal.science/hal-04108900/file/ROADEF2023_Manuel.pdf BibTex
ref_biblio
Mathieu Lerouge, Céline Gicquel, Vincent Mousseau, Wassila Ouerdane. Counterfactual Explanations for Workforce Scheduling and Routing Problems. ICORES 2023 - 12th International Conference on Operations Research and Enterprise Systems, Feb 2023, Lisbon, Portugal. pp.50-61, ⟨10.5220/0011639900003396⟩. ⟨hal-04016553⟩
titre
Counterfactual Explanations for Workforce Scheduling and Routing Problems
auteur
Mathieu Lerouge, Céline Gicquel, Vincent Mousseau, Wassila Ouerdane
article
ICORES 2023 - 12th International Conference on Operations Research and Enterprise Systems, Feb 2023, Lisbon, Portugal. pp.50-61, ⟨10.5220/0011639900003396⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04016553/file/_ICORES__Counterfactual_explanations_for_Workforce_Scheduling_and_Routing_Problems-5.pdf BibTex

Chapitre d'ouvrage

ref_biblio
Pascale Le Gall, Romain Pascual. Transformations de graphes décorés. Laurent Fuchs (éd.). Informatique Mathématique Une photographie en 2023, CNRS, Chapitre 4, pp. 133 -- 178, 2023, CNRS Alpha, 978-2-271-14930-5. ⟨hal-04187816⟩
titre
Transformations de graphes décorés
auteur
Pascale Le Gall, Romain Pascual
article
Laurent Fuchs (éd.). Informatique Mathématique Une photographie en 2023, CNRS, Chapitre 4, pp. 133 -- 178, 2023, CNRS Alpha, 978-2-271-14930-5
Accès au texte intégral et bibtex
https://hal.science/hal-04187816/file/2023GraphesDecores.pdf BibTex

HDR

ref_biblio
Paolo Ballarini. Contributions to formal modelling and analysis of stochastic models Mémoire d'habilitation à diriger des recherches. Computer Science [cs]. CentraleSupélec, Université Paris-Saclay, 2023. ⟨tel-04335487⟩
titre
Contributions à la modélisation formelle et à l'analyse de modèles stochastiques
auteur
Paolo Ballarini
article
Computer Science [cs]. CentraleSupélec, Université Paris-Saclay, 2023
Accès au texte intégral et bibtex
https://hal.science/tel-04335487/file/main.pdf BibTex

Ouvrages

ref_biblio
Emmanuel Adam, Thomas Guyet, Benoit Le Blanc, Dominique Longin, Zied Bouraoui, et al.. Conférence Nationale d’Intelligence Artificielle Année 2023. Association Française pour l'Intelligence Artificielle, 2023. ⟨hal-04310171v2⟩
titre
Conférence Nationale d’Intelligence Artificielle Année 2023
auteur
Emmanuel Adam, Thomas Guyet, Benoit Le Blanc, Dominique Longin, Zied Bouraoui, Sandra Bringay, Romaric Gaudel, Charlotte Laclau, Christelle Launois, Maxime Morge, Catherine Roussey, François Schwarzentruber, Cassia Trojahn, Élise Vareilles, Anaelle Wilczynski
article
Association Française pour l'Intelligence Artificielle, 2023
Accès au texte intégral et bibtex
https://ut3-toulouseinp.hal.science/hal-04310171/file/Ouvrage_promotion_AFIA_2023_Version_WEB.pdf BibTex

Poster de conférence

ref_biblio
Elise Lincker, Léa Pacini, Olivier Pons, Camille Guinaudeau, Jérôme Dupire, et al.. MALIN : MAnuels scoLaires INclusifs. Colloque Handiversité 2023 - L'innovation pour le partage, Apr 2023, Gif-sur-Yvette, France. ⟨hal-04410349⟩
titre
MALIN : MAnuels scoLaires INclusifs
auteur
Elise Lincker, Léa Pacini, Olivier Pons, Camille Guinaudeau, Jérôme Dupire, Céline Hudelot, Vincent Mousseau, Isabelle Barbet, Caroline Huron
article
Colloque Handiversité 2023 - L'innovation pour le partage, Apr 2023, Gif-sur-Yvette, France
Accès au texte intégral et bibtex
https://hal.science/hal-04410349/file/Poster%20Handiversit%C3%A9%202023.pdf BibTex
ref_biblio
Romain Pascual, Hakim Belhaouari, Agnès Arnould, Pascale Le Gall. Inference of geometric modeling operations. Journées Nationales de l’Informatique Mathématique, Apr 2023, Paris, France. . ⟨hal-04068329⟩
titre
Inference of geometric modeling operations
auteur
Romain Pascual, Hakim Belhaouari, Agnès Arnould, Pascale Le Gall
article
Journées Nationales de l’Informatique Mathématique, Apr 2023, Paris, France.
Accès au texte intégral et bibtex
https://hal.science/hal-04068329/file/2023_04_04_posterJNIM.pdf BibTex

Proceedings/Recueil des communications

ref_biblio
Zied Bouraoui, François Schwarzentruber, Anaelle Wilczynski. Actes des 17es Journées d'Intelligence Artificielle Fondamentale et des 18es Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes. Plate-Forme Intelligence Artificielle, Association Française pour l'Intelligence Artificielle, 2023. ⟨hal-04209856v2⟩
titre
Actes des 17es Journées d'Intelligence Artificielle Fondamentale et des 18es Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes
auteur
Zied Bouraoui, François Schwarzentruber, Anaelle Wilczynski
article
Plate-Forme Intelligence Artificielle, Association Française pour l'Intelligence Artificielle, 2023
Accès au texte intégral et bibtex
https://hal.science/hal-04209856/file/Actes_JIAF_JFPDA_PFIA2023.pdf BibTex

2022

Article dans une revue

ref_biblio
Khaled Belahcene, Vincent Mousseau, Wassila Ouerdane, Marc Pirlot, Olivier Sobrie. Ranking with Multiple Reference Points: Efficient SAT-based learning procedures. Computers and Operations Research, 2022, 150, pp.106054. ⟨10.1016/j.cor.2022.106054⟩. ⟨hal-03838934⟩
titre
Ranking with Multiple Reference Points: Efficient SAT-based learning procedures
auteur
Khaled Belahcene, Vincent Mousseau, Wassila Ouerdane, Marc Pirlot, Olivier Sobrie
article
Computers and Operations Research, 2022, 150, pp.106054. ⟨10.1016/j.cor.2022.106054⟩
Accès au bibtex
BibTex
ref_biblio
Pegdwendé Minoungou, Vincent Mousseau, Wassila Ouerdane, Paolo Scotton. A MIP-based approach to learn MR-Sort models with single-peaked preferences. Annals of Operations Research, 2022, ⟨10.1007/s10479-022-05007-5⟩. ⟨hal-03812773⟩
titre
A MIP-based approach to learn MR-Sort models with single-peaked preferences
auteur
Pegdwendé Minoungou, Vincent Mousseau, Wassila Ouerdane, Paolo Scotton
article
Annals of Operations Research, 2022, ⟨10.1007/s10479-022-05007-5⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03812773/file/MIP_Based_SP_2022.pdf BibTex
ref_biblio
Ali Tlili, Oumaima Khaled, Vincent Mousseau, Wassila Ouerdane. Interactive portfolio selection involving multicriteria sorting models. Annals of Operations Research, 2022, ⟨10.1007/s10479-022-04877-z⟩. ⟨hal-03740205⟩
titre
Interactive portfolio selection involving multicriteria sorting models
auteur
Ali Tlili, Oumaima Khaled, Vincent Mousseau, Wassila Ouerdane
article
Annals of Operations Research, 2022, ⟨10.1007/s10479-022-04877-z⟩
Accès au bibtex
BibTex
ref_biblio
Selin Özpeynirci, Özgür Özpeynirci, Vincent Mousseau. Portfolio decision analysis with a generalized balance approach. Computers and Operations Research, 2022, 142, pp.105705. ⟨10.1016/j.cor.2022.105705⟩. ⟨hal-03672262⟩
titre
Portfolio decision analysis with a generalized balance approach
auteur
Selin Özpeynirci, Özgür Özpeynirci, Vincent Mousseau
article
Computers and Operations Research, 2022, 142, pp.105705. ⟨10.1016/j.cor.2022.105705⟩
Accès au bibtex
BibTex
ref_biblio
Romain Pascual, Hakim Belhaouari, Agnès Arnould, Pascale Le Gall. Inferring topological operations on generalized maps: application to subdivision schemes. Graphics and Visual Computing, 2022, ⟨10.1016/j.gvc.2022.200049⟩. ⟨hal-03491856v2⟩
titre
Inferring topological operations on generalized maps: application to subdivision schemes
auteur
Romain Pascual, Hakim Belhaouari, Agnès Arnould, Pascale Le Gall
article
Graphics and Visual Computing, 2022, ⟨10.1016/j.gvc.2022.200049⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03491856/file/gvc2022inference.pdf BibTex
ref_biblio
Özgür Özpeynirci, Selin Özpeynirci, Vincent Mousseau. A decomposition based minimax regret approach for inverse multiple criteria sorting problem. 4OR: A Quarterly Journal of Operations Research, 2022, 21 (1), pp.125-149. ⟨10.1007/s10288-022-00505-5⟩. ⟨hal-04483139⟩
titre
A decomposition based minimax regret approach for inverse multiple criteria sorting problem
auteur
Özgür Özpeynirci, Selin Özpeynirci, Vincent Mousseau
article
4OR: A Quarterly Journal of Operations Research, 2022, 21 (1), pp.125-149. ⟨10.1007/s10288-022-00505-5⟩
Accès au bibtex
BibTex
ref_biblio
Romain Pascual, Pascale Le Gall, Agnès Arnould, Hakim Belhaouari. Topological consistency preservation with graph transformation schemes. Science of Computer Programming, 2022, 214, pp.102728. ⟨10.1016/j.scico.2021.102728⟩. ⟨hal-03380327⟩
titre
Topological consistency preservation with graph transformation schemes
auteur
Romain Pascual, Pascale Le Gall, Agnès Arnould, Hakim Belhaouari
article
Science of Computer Programming, 2022, 214, pp.102728. ⟨10.1016/j.scico.2021.102728⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03380327/file/Topological_Consistency_Preservation_with_Graph_Transformation_Schemes.pdf BibTex
ref_biblio
Erwan Mahe, Christophe Gaston, Pascale Le Gall. Equivalence of denotational and operational semantics for interaction languages. Lecture Notes in Computer Science, 2022, Theoretical Aspects of Software Engineering, 13299, pp.113-130. ⟨10.1007/978-3-031-10363-6_8⟩. ⟨cea-04060492⟩
titre
Equivalence of denotational and operational semantics for interaction languages
auteur
Erwan Mahe, Christophe Gaston, Pascale Le Gall
article
Lecture Notes in Computer Science, 2022, Theoretical Aspects of Software Engineering, 13299, pp.113-130. ⟨10.1007/978-3-031-10363-6_8⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-04060492/file/tase_2022_camera_ready.pdf BibTex
ref_biblio
Agnès Arnould, Hakim Belhaouari, Thomas Bellet, Pascale Le Gall, Romain Pascual. Preserving consistency in geometric modeling with graph transformations. Mathematical Structures in Computer Science, 2022, ⟨10.1017/S0960129522000226⟩. ⟨hal-03821122⟩
titre
Preserving consistency in geometric modeling with graph transformations
auteur
Agnès Arnould, Hakim Belhaouari, Thomas Bellet, Pascale Le Gall, Romain Pascual
article
Mathematical Structures in Computer Science, 2022, ⟨10.1017/S0960129522000226⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03821122/file/2022Geometry.pdf BibTex

Communication dans un congrès

ref_biblio
Lionel Blatter, Nikolai Kosmatov, V. Prevosto, Pascale Le Gall. An efficient VCGen-based modular verification of relational properties. ISoLA 2022 - 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2022, Rhodes, Greece. ⟨cea-03768250⟩
titre
An efficient VCGen-based modular verification of relational properties
auteur
Lionel Blatter, Nikolai Kosmatov, V. Prevosto, Pascale Le Gall
article
ISoLA 2022 - 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2022, Rhodes, Greece
Accès au texte intégral et bibtex
https://cea.hal.science/cea-03768250/file/Relational_Properties_Papers.pdf BibTex
ref_biblio
Nicolas Belloir, Wassila Ouerdane, Oscar Pastor. Characterizing Fake News: A Conceptual Modeling-based Approach. ER 2022 - 41st International Conference on Conceptual Modeling, Oct 2022, Hyderabad, India. ⟨10.1007/978-3-031-17995-2_9⟩. ⟨hal-03697974⟩
titre
Characterizing Fake News: A Conceptual Modeling-based Approach
auteur
Nicolas Belloir, Wassila Ouerdane, Oscar Pastor
article
ER 2022 - 41st International Conference on Conceptual Modeling, Oct 2022, Hyderabad, India. ⟨10.1007/978-3-031-17995-2_9⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03697974/file/ER2022.pdf BibTex
ref_biblio
Alexandre Goy, Daniela Petrişan, Marc Aiguier. Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces. 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Jul 2022, Glasgow (SCOTLAND), France. ⟨10.4230/LIPIcs.ICALP.2021.132⟩. ⟨hal-04491472⟩
titre
Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces
auteur
Alexandre Goy, Daniela Petrişan, Marc Aiguier
article
48th International Colloquium on Automata, Languages, and Programming (ICALP 2021), Jul 2022, Glasgow (SCOTLAND), France. ⟨10.4230/LIPIcs.ICALP.2021.132⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04491472/file/LIPIcs.ICALP.2021.132_aiguier.pdf BibTex
ref_biblio
Manuel Amoussou, Khaled Belahcene, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane. Des explications par étapes pour le modèle additif. 16èmes Journées d'Intelligence Artificielle Fondamentale (JIAF 2022), Jun 2022, Saint-Etienne, France. pp.35-48. ⟨hal-03825214⟩
titre
Des explications par étapes pour le modèle additif
auteur
Manuel Amoussou, Khaled Belahcene, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane
article
16èmes Journées d'Intelligence Artificielle Fondamentale (JIAF 2022), Jun 2022, Saint-Etienne, France. pp.35-48
Accès au texte intégral et bibtex
https://hal.science/hal-03825214/file/JIAF2022_FR-3.pdf BibTex
ref_biblio
Laurent Gourvès, Julien Lesca, Anaëlle Wilczynski. Sur l'Équité via la Sélection en Séquence pour l'Allocation de Biens Indivisibles. 16èmes Journées d'Intelligence Artificielle Fondamentale, Jun 2022, Saint-Etienne, France. ⟨hal-03839729⟩
titre
Sur l'Équité via la Sélection en Séquence pour l'Allocation de Biens Indivisibles
auteur
Laurent Gourvès, Julien Lesca, Anaëlle Wilczynski
article
16èmes Journées d'Intelligence Artificielle Fondamentale, Jun 2022, Saint-Etienne, France
Accès au texte intégral et bibtex
https://hal.science/hal-03839729/file/JIAF_Picking_Sequence_Fairness_Criteria-40.pdf BibTex
ref_biblio
Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall. Certified verification of relational properties. iFM 2022 : International Conference on integrated Formal Methods, Jun 2022, Lugano, Switzerland. pp.86-105, ⟨10.1007/978-3-031-07727-2_6⟩. ⟨cea-03714381⟩
titre
Certified verification of relational properties
auteur
Lionel Blatter, Nikolai Kosmatov, Virgile Prevosto, Pascale Le Gall
article
iFM 2022 : International Conference on integrated Formal Methods, Jun 2022, Lugano, Switzerland. pp.86-105, ⟨10.1007/978-3-031-07727-2_6⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-03714381/file/main.pdf BibTex
ref_biblio
Nicolas Belloir, Wassila Ouerdane, Oscar Pastor, Émilien Frugier, Louis-Antoine de Barmon. A Conceptual Characterization of Fake News: A Positioning Paper. 16th International Conference on Research Challenges in Information Science (RCIS'22), May 2022, Barcelone, Spain. ⟨10.1007/978-3-031-05760-1_41⟩. ⟨hal-03679073⟩
titre
A Conceptual Characterization of Fake News: A Positioning Paper
auteur
Nicolas Belloir, Wassila Ouerdane, Oscar Pastor, Émilien Frugier, Louis-Antoine de Barmon
article
16th International Conference on Research Challenges in Information Science (RCIS'22), May 2022, Barcelone, Spain. ⟨10.1007/978-3-031-05760-1_41⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03679073/file/A_conceptual_characterization_of_Fake_News_a_Positioning_Paper.pdf BibTex
ref_biblio
Mathieu Lerouge, Céline Gicquel, Vincent Mousseau, Wassila Ouerdane. Conception de méthodes d'explication des solutions émanant de systèmes d'optimisation, application à la planification d'employés mobiles. ROADEF2022 - 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03595266⟩
titre
Conception de méthodes d'explication des solutions émanant de systèmes d'optimisation, application à la planification d'employés mobiles
auteur
Mathieu Lerouge, Céline Gicquel, Vincent Mousseau, Wassila Ouerdane
article
ROADEF2022 - 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France
Accès au texte intégral et bibtex
https://hal.science/hal-03595266/file/Lerouge_ROADEF2022.pdf BibTex

Chapitre d'ouvrage

ref_biblio
Salvatore Greco, Vincent Mousseau, Jerzy Stefanowski, Constantin Zopounidis. Roman Słowiński and His Research Program: Intelligent Decision Support Systems Between Operations Research and Artificial Intelligence. Intelligent Decision Support Systems, Springer International Publishing, pp.1-27, 2022, Multiple Criteria Decision Making, ⟨10.1007/978-3-030-96318-7_1⟩. ⟨hal-04483141⟩
titre
Roman Słowiński and His Research Program: Intelligent Decision Support Systems Between Operations Research and Artificial Intelligence
auteur
Salvatore Greco, Vincent Mousseau, Jerzy Stefanowski, Constantin Zopounidis
article
Intelligent Decision Support Systems, Springer International Publishing, pp.1-27, 2022, Multiple Criteria Decision Making, ⟨10.1007/978-3-030-96318-7_1⟩
Accès au bibtex
BibTex

HDR

ref_biblio
Wassila Ouerdane. From Preference Elicitation to Explaining Decisions: a Dialectical Perspective. Artificial Intelligence [cs.AI]. Université Paris - Saclay, 2022. ⟨tel-03919312v2⟩
titre
From Preference Elicitation to Explaining Decisions: a Dialectical Perspective
auteur
Wassila Ouerdane
article
Artificial Intelligence [cs.AI]. Université Paris - Saclay, 2022
Accès au texte intégral et bibtex
https://hal.science/tel-03919312/file/HDR_Ouerdane_2022-25.pdf BibTex

Autre publication scientifique

ref_biblio
Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall. Editorial. 2022, ⟨10.1007/s11219-022-09590-5⟩. ⟨cea-04129929⟩
titre
Editorial
auteur
Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall
article
2022, ⟨10.1007/s11219-022-09590-5⟩
Accès au bibtex
BibTex

Ouvrages

ref_biblio
Zied Bouraoui, Valérie Camps, Éric Gaussier, Maxime Guériau, Christelle Launois, et al.. Conférence Nationale d'Intelligence Artificielle Année 2022. Association Française d'Intelligence Artificielle, pp.1-239, 2022. ⟨hal-03777860v2⟩
titre
Conférence Nationale d'Intelligence Artificielle Année 2022
auteur
Zied Bouraoui, Valérie Camps, Éric Gaussier, Maxime Guériau, Christelle Launois, Nicolas Prcovic, Céline Rouveirol, Fatiha Saïs, François Schwarzentruber, Anaelle Wilczynski, Yves Demazeau, Thomas Guyet, Dominique Longin, Davy Monticolo, Ahmed Samet
article
Association Française d'Intelligence Artificielle, pp.1-239, 2022
Accès au texte intégral et bibtex
https://hal.science/hal-03777860/file/OUN017%20-%20CNIA%202022%20V2.pdf BibTex

Poster de conférence

ref_biblio
Romain Pascual, Hakim Belhaouari, Agnès Arnould, P Le Gall. A first step towards the inference of geological topological operations. Eurographics 2022, Apr 2022, Reims, France. 2022, ⟨10.2312/egp.20221005⟩. ⟨hal-03664618⟩
titre
A first step towards the inference of geological topological operations
auteur
Romain Pascual, Hakim Belhaouari, Agnès Arnould, P Le Gall
article
Eurographics 2022, Apr 2022, Reims, France. 2022, ⟨10.2312/egp.20221005⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03664618/file/eg2022-poster.pdf BibTex

Proceedings/Recueil des communications

ref_biblio
Zied Bouraoui, Anaelle Wilczynski. Actes des 16es Journées d'Intelligence Artificielle Fondamentale. Plate-Forme Intelligence Artificielle, Association Française pour l'Intelligence Artificielle, 2022. ⟨hal-03781382⟩
titre
Actes des 16es Journées d'Intelligence Artificielle Fondamentale
auteur
Zied Bouraoui, Anaelle Wilczynski
article
Plate-Forme Intelligence Artificielle, Association Française pour l'Intelligence Artificielle, 2022
Accès au texte intégral et bibtex
https://hal.science/hal-03781382/file/Actes_JIAF_PFIA2022.pdf BibTex
ref_biblio
Salvatore Greco, Vincent Mousseau, Jerzy Stefanowski, Constantin Zopounidis. Intelligent Decision Support Systems. Combining Operations Research and Artificial Intelligence - Essays in Honor of Roman Słowiński, Springer International Publishing, 2022, Multiple Criteria Decision Making, ⟨10.1007/978-3-030-96318-7⟩. ⟨hal-04483144⟩
titre
Intelligent Decision Support Systems
auteur
Salvatore Greco, Vincent Mousseau, Jerzy Stefanowski, Constantin Zopounidis
article
Combining Operations Research and Artificial Intelligence - Essays in Honor of Roman Słowiński, Springer International Publishing, 2022, Multiple Criteria Decision Making, ⟨10.1007/978-3-030-96318-7⟩
Accès au bibtex
BibTex

Pré-publication, Document de travail

ref_biblio
Mathieu Lerouge, Céline Gicquel, Vincent Mousseau, Wassila Ouerdane. Generating user-centered contrastive explanations for the Workforce Scheduling and Routing Problem. 2022. ⟨hal-03795653⟩
titre
Generating user-centered contrastive explanations for the Workforce Scheduling and Routing Problem
auteur
Mathieu Lerouge, Céline Gicquel, Vincent Mousseau, Wassila Ouerdane
article
2022
Accès au bibtex
BibTex

2021

Article dans une revue

ref_biblio
Mahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède. Automaton-ABC: A statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models. Theoretical Computer Science, 2021, 893, pp.191-219. ⟨10.1016/j.tcs.2021.09.039⟩. ⟨hal-04148855⟩
titre
Automaton-ABC: A statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models
auteur
Mahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède
article
Theoretical Computer Science, 2021, 893, pp.191-219. ⟨10.1016/j.tcs.2021.09.039⟩
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-04148855/file/S0304397521005739.pdf BibTex
ref_biblio
Ali Tlili, Khaled Belahcene, Oumaima Khaled, Vincent Mousseau, Wassila Ouerdane. Learning Non-Compensatory Sorting models using efficient SAT/MaxSAT formulations. European Journal of Operational Research, 2021, 298 (3), pp.979-1006. ⟨10.1016/j.ejor.2021.08.017⟩. ⟨hal-03347526⟩
titre
Learning Non-Compensatory Sorting models using efficient SAT/MaxSAT formulations
auteur
Ali Tlili, Khaled Belahcene, Oumaima Khaled, Vincent Mousseau, Wassila Ouerdane
article
European Journal of Operational Research, 2021, 298 (3), pp.979-1006. ⟨10.1016/j.ejor.2021.08.017⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03347526/file/S0377221721006858.pdf BibTex
ref_biblio
Selin Özpeynirci, Özgür Özpeynirci, Vincent Mousseau. An interactive algorithm for resource allocation with balance concerns. OR Spectrum, 2021, 43 (4), pp.983-1005. ⟨10.1007/s00291-021-00632-1⟩. ⟨hal-04496364⟩
titre
An interactive algorithm for resource allocation with balance concerns
auteur
Selin Özpeynirci, Özgür Özpeynirci, Vincent Mousseau
article
OR Spectrum, 2021, 43 (4), pp.983-1005. ⟨10.1007/s00291-021-00632-1⟩
Accès au bibtex
BibTex
ref_biblio
Alexandru-Liviu Olteanu, Khaled Belahcene, Vincent Mousseau, Wassila Ouerdane, Antoine Rolland, et al.. Preference elicitation for a ranking method based on multiple reference profiles. 4OR: A Quarterly Journal of Operations Research, 2021, 20, pp.63-84. ⟨10.1007/s10288-020-00468-5⟩. ⟨hal-03094046⟩
titre
Preference elicitation for a ranking method based on multiple reference profiles
auteur
Alexandru-Liviu Olteanu, Khaled Belahcene, Vincent Mousseau, Wassila Ouerdane, Antoine Rolland, Jun Zheng
article
4OR: A Quarterly Journal of Operations Research, 2021, 20, pp.63-84. ⟨10.1007/s10288-020-00468-5⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03094046/file/Preference_Elicitation_for_a_Ranking_Method_________based_on_Multiple_Reference_Profiles.pdf BibTex

Communication dans un congrès

ref_biblio
Paolo Ballarini, András Horváth. Performance Analysis of Production Lines Through Statistical Model Checking. European Workshop on Performance Engineering International Conference on Analytical and Stochastic Modeling Techniques and Applications, Dec 2021, Tsukuba, Japan. pp.264-281, ⟨10.1007/978-3-030-91825-5_16⟩. ⟨hal-04148897⟩
titre
Performance Analysis of Production Lines Through Statistical Model Checking
auteur
Paolo Ballarini, András Horváth
article
European Workshop on Performance Engineering International Conference on Analytical and Stochastic Modeling Techniques and Applications, Dec 2021, Tsukuba, Japan. pp.264-281, ⟨10.1007/978-3-030-91825-5_16⟩
Accès au bibtex
BibTex
ref_biblio
Laurent Gourvès, Julien Lesca, Anaëlle Wilczynski. On Fairness via Picking Sequences in Allocation of Indivisible Goods. 7th International Conference on Algorithmic Decision Theory (ADT-21), Nov 2021, Toulouse, France. pp.258-272, ⟨10.1007/978-3-030-87756-9_17⟩. ⟨hal-03406848⟩
titre
On Fairness via Picking Sequences in Allocation of Indivisible Goods
auteur
Laurent Gourvès, Julien Lesca, Anaëlle Wilczynski
article
7th International Conference on Algorithmic Decision Theory (ADT-21), Nov 2021, Toulouse, France. pp.258-272, ⟨10.1007/978-3-030-87756-9_17⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03406848/file/Picking_Sequence_Fairness_Criteria-33.pdf BibTex
ref_biblio
Jean-Philippe Poli, Wassila Ouerdane, Regis Pierrard. Génération d'explications textuelles en XAI : le cas de l'annotation sémantique. Rencontres francophones sur la logique floue et ses applications, Université de la Sorbonne, Oct 2021, Paris, France. pp.179-186. ⟨cea-03406887⟩
titre
Génération d'explications textuelles en XAI : le cas de l'annotation sémantique
auteur
Jean-Philippe Poli, Wassila Ouerdane, Regis Pierrard
article
Rencontres francophones sur la logique floue et ses applications, Université de la Sorbonne, Oct 2021, Paris, France. pp.179-186
Accès au texte intégral et bibtex
https://cea.hal.science/cea-03406887/file/LFA2021_Generation_Explication_Annotation_S_mantique.pdf BibTex
ref_biblio
Ismaïl Baaj, Jean-Philippe Poli, Wassila Ouerdane, Nicolas Maudet. Inférence min-max pour un système à base de règles possibilistes. Rencontres francophones sur la logique floue et ses applications, Université de la Sorbonne, Oct 2021, Paris, France. pp.233-240. ⟨cea-03402616⟩
titre
Inférence min-max pour un système à base de règles possibilistes
auteur
Ismaïl Baaj, Jean-Philippe Poli, Wassila Ouerdane, Nicolas Maudet
article
Rencontres francophones sur la logique floue et ses applications, Université de la Sorbonne, Oct 2021, Paris, France. pp.233-240
Accès au texte intégral et bibtex
https://cea.hal.science/cea-03402616/file/LFA__inf_rence_min_max_pour_un_syst_me___base_de_r_gles_possibilistes.pdf BibTex
ref_biblio
Ismaïl Baaj, Jean-Philippe Poli, Wassila Ouerdane, Nicolas Maudet. Representation of Explanations of Possibilistic Inference Decisions. ECSQARU 2021: European Conference on Symbolic and Quantitative Approaches with Uncertainty, Sep 2021, Prague, Czech Republic. pp.513-527, ⟨10.1007/978-3-030-86772-0_37⟩. ⟨cea-03406884⟩
titre
Representation of Explanations of Possibilistic Inference Decisions
auteur
Ismaïl Baaj, Jean-Philippe Poli, Wassila Ouerdane, Nicolas Maudet
article
ECSQARU 2021: European Conference on Symbolic and Quantitative Approaches with Uncertainty, Sep 2021, Prague, Czech Republic. pp.513-527, ⟨10.1007/978-3-030-86772-0_37⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-03406884/file/ECSQARU_camera_ready_2021___Representation_of_Explanations_Of_Possibilistic_Inference_Decisions%20%282%29.pdf BibTex
ref_biblio
Paolo Ballarini, Andras Horvath. Formal analysis of production line systems by probabilistic model checking tools. 2021 IEEE 26th International Conference on Emerging Technologies and Factory Automation (ETFA), Sep 2021, Vasteras, Sweden. pp.01-08, ⟨10.1109/ETFA45728.2021.9613494⟩. ⟨hal-04148904⟩
titre
Formal analysis of production line systems by probabilistic model checking tools
auteur
Paolo Ballarini, Andras Horvath
article
2021 IEEE 26th International Conference on Emerging Technologies and Factory Automation (ETFA), Sep 2021, Vasteras, Sweden. pp.01-08, ⟨10.1109/ETFA45728.2021.9613494⟩
Accès au bibtex
BibTex
ref_biblio
Khaled Belahcene, Vincent Mousseau, Anaëlle Wilczynski. Combining Fairness and Optimality when Selecting and Allocating Projects. 30th International Joint Conference on Artificial Intelligence (IJCAI 2021), Aug 2021, Montreal, Canada. pp.38-44, ⟨10.24963/ijcai.2021/6⟩. ⟨hal-03312854⟩
titre
Combining Fairness and Optimality when Selecting and Allocating Projects
auteur
Khaled Belahcene, Vincent Mousseau, Anaëlle Wilczynski
article
30th International Joint Conference on Artificial Intelligence (IJCAI 2021), Aug 2021, Montreal, Canada. pp.38-44, ⟨10.24963/ijcai.2021/6⟩
Accès au bibtex
BibTex
ref_biblio
Ismaïl Baaj, Jean-Philippe Poli, Wassila Ouerdane, Nicolas Maudet. Min-max inference for Possibilistic Rule-Based System. 2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Jul 2021, Luxembourg, Luxembourg. pp.9494506, ⟨10.1109/FUZZ45933.2021.9494506⟩. ⟨hal-03408909⟩
titre
Min-max inference for Possibilistic Rule-Based System
auteur
Ismaïl Baaj, Jean-Philippe Poli, Wassila Ouerdane, Nicolas Maudet
article
2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Jul 2021, Luxembourg, Luxembourg. pp.9494506, ⟨10.1109/FUZZ45933.2021.9494506⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03408909/file/article_IsmailBaaj_FUZZ_IEEE_2021_min_max_inference_for_possibilistic_rule_based_system.pdf BibTex
ref_biblio
Jean-Philippe Poli, Wassila Ouerdane, Regis Pierrard. Generation of Textual Explanations in XAI: the Case of Semantic Annotation. 2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Jul 2021, Luxembourg, Luxembourg. pp.9494589, ⟨10.1109/FUZZ45933.2021.9494589⟩. ⟨hal-03408917⟩
titre
Generation of Textual Explanations in XAI: the Case of Semantic Annotation
auteur
Jean-Philippe Poli, Wassila Ouerdane, Regis Pierrard
article
2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), Jul 2021, Luxembourg, Luxembourg. pp.9494589, ⟨10.1109/FUZZ45933.2021.9494589⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03408917/file/article_JeanPhilippePoli_FuzzIEEE2021_Generation%20of%20Textual%20Explanations%20in%20XAI.pdf BibTex
ref_biblio
Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Louis Rilling, Pascale Le Gall. Methodology for Specification and Verification of High-Level Requirements with MetAcsl. FormaliSE 2021 - 9th International Conference on Formal Methods in Software Engineering, IEEE TCSE; SIGSOFT, May 2021, Online conference, France. ⟨cea-03179670⟩
titre
Méthodologie pour la spécification et la vérification de besoins haut niveau avec MetAcsl
auteur
Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Louis Rilling, Pascale Le Gall
article
FormaliSE 2021 - 9th International Conference on Formal Methods in Software Engineering, IEEE TCSE; SIGSOFT, May 2021, Online conference, France
Accès au texte intégral et bibtex
https://cea.hal.science/cea-03179670/file/main.pdf BibTex
ref_biblio
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall. A small-step approach to multi-trace checking against interactions. SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, ACM (SIGAPP), Mar 2021, Virtual Event, South Korea. pp.1815-1822, ⟨10.1145/3412841.3442054⟩. ⟨cea-04224612⟩
titre
A small-step approach to multi-trace checking against interactions
auteur
Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall
article
SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, ACM (SIGAPP), Mar 2021, Virtual Event, South Korea. pp.1815-1822, ⟨10.1145/3412841.3442054⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-04224612/file/sac_svt_2021_hal_cea.pdf BibTex
ref_biblio
Felix Brandt, Martin Bullinger, Anaëlle Wilczynski. Reaching Individually Stable Coalition Structures in Hedonic Games. 35th AAAI Conference on Artificial Intelligence (AAAI-21), Feb 2021, Virtual event, United States. pp.5211-5218. ⟨hal-03312852⟩
titre
Reaching Individually Stable Coalition Structures in Hedonic Games
auteur
Felix Brandt, Martin Bullinger, Anaëlle Wilczynski
article
35th AAAI Conference on Artificial Intelligence (AAAI-21), Feb 2021, Virtual event, United States. pp.5211-5218
Accès au bibtex
BibTex

Pré-publication, Document de travail

ref_biblio
Manuel Amoussou, Khaled Belahcene, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane. Step-wise Explanations for the Additive Model. 2021. ⟨hal-03964933⟩
titre
Step-wise Explanations for the Additive Model
auteur
Manuel Amoussou, Khaled Belahcene, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane
article
2021
Accès au texte intégral et bibtex
https://hal.science/hal-03964933/file/StepwiseExplanation_AdditiveModel2021.pdf BibTex

2020

Article dans une revue

ref_biblio
Paolo Ballarini, Benoît Barbot. Cosmos: Evolution of a Statistical Model Checking Platform. ACM SIGMETRICS Performance Evaluation Review, 2020, Lecture Notes in Computer Science, 12229 (4), pp.420-439. ⟨10.1145/3543146.3543161⟩. ⟨hal-04030219⟩
titre
Cosmos: Evolution of a Statistical Model Checking Platform
auteur
Paolo Ballarini, Benoît Barbot
article
ACM SIGMETRICS Performance Evaluation Review, 2020, Lecture Notes in Computer Science, 12229 (4), pp.420-439. ⟨10.1145/3543146.3543161⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04030219/file/Cosmos_TOSME_2021-1%20%281%29.pdf BibTex
ref_biblio
Özgür Özpeynirci, Selin Özpeynirci, Vincent Mousseau. An interactive approach for inverse multiple criteria sorting problem. Journal of Multi-Criteria Decision Analysis, 2020, 28 (3-4), pp.160-169. ⟨10.1002/mcda.1719⟩. ⟨hal-04496348⟩
titre
An interactive approach for inverse multiple criteria sorting problem
auteur
Özgür Özpeynirci, Selin Özpeynirci, Vincent Mousseau
article
Journal of Multi-Criteria Decision Analysis, 2020, 28 (3-4), pp.160-169. ⟨10.1002/mcda.1719⟩
Accès au bibtex
BibTex
ref_biblio
Erwan Mahe, Christophe Gaston, Pascale Le Gall. Revisiting semantics of interactions for trace validity analysis. Lecture Notes in Computer Science, 2020, 12076, pp.482-501. ⟨10.1007/978-3-030-45234-6_24⟩. ⟨cea-04224596⟩
titre
Revisiting semantics of interactions for trace validity analysis
auteur
Erwan Mahe, Christophe Gaston, Pascale Le Gall
article
Lecture Notes in Computer Science, 2020, 12076, pp.482-501. ⟨10.1007/978-3-030-45234-6_24⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-04224596/file/fase2020_hal_cea.pdf BibTex

Communication dans un congrès

ref_biblio
Pegdwendé Minoungou, Vincent Mousseau, Wassila Ouerdane, Paolo Scotton. Learning an MR-sort model from data with latent criteria preference direction. In the 5th workshop from multiple criteria Decision Aid to Preference Learning, Nov 2020, Trento, Italy. ⟨hal-03102714⟩
titre
Learning an MR-sort model from data with latent criteria preference direction
auteur
Pegdwendé Minoungou, Vincent Mousseau, Wassila Ouerdane, Paolo Scotton
article
In the 5th workshop from multiple criteria Decision Aid to Preference Learning, Nov 2020, Trento, Italy
Accès au texte intégral et bibtex
https://hal.science/hal-03102714/file/Pegdwende_DA2PL_2020-7.pdf BibTex
ref_biblio
Manuel Amoussou, Khaled Belahcene, Christophe Labreuche, Nicolas Maudet, Vincent Mousseau, et al.. Explaining Robust Additive Decision Models: Generation of Mixed Preference-Swaps by Using MILP. From Multiple Criteria Decision Aid to Preference Learning (DA2PL 2020), Nov 2020, Trento (virtual), Italy. ⟨hal-03230519⟩
titre
Explaining Robust Additive Decision Models: Generation of Mixed Preference-Swaps by Using MILP
auteur
Manuel Amoussou, Khaled Belahcene, Christophe Labreuche, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane
article
From Multiple Criteria Decision Aid to Preference Learning (DA2PL 2020), Nov 2020, Trento (virtual), Italy
Accès au texte intégral et bibtex
https://hal.science/hal-03230519/file/DA2PL_2020-5.pdf BibTex
ref_biblio
Paolo Ballarini, Davide Duma, Andras Horváth, Roberto Aringhieri. Petri Nets Validation of Markovian Models of Emergency Department Arrivals. Application and Theory of Petri Nets and Concurrenc, Jun 2020, Paris, France. pp.219-238, ⟨10.1007/978-3-030-51831-8_11⟩. ⟨hal-04148920⟩
titre
Petri Nets Validation of Markovian Models of Emergency Department Arrivals
auteur
Paolo Ballarini, Davide Duma, Andras Horváth, Roberto Aringhieri
article
Application and Theory of Petri Nets and Concurrenc, Jun 2020, Paris, France. pp.219-238, ⟨10.1007/978-3-030-51831-8_11⟩
Accès au bibtex
BibTex
ref_biblio
Boutheina Bannour, Arnault Lapitre, Pascale Le Gall. Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution. International Conference on Network Systems (NETYS), Jun 2020, Marrachech, Morocco. pp.94-111, ⟨10.1007/978-3-030-67087-0_7⟩. ⟨cea-04486240⟩
titre
Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution
auteur
Boutheina Bannour, Arnault Lapitre, Pascale Le Gall
article
International Conference on Network Systems (NETYS), Jun 2020, Marrachech, Morocco. pp.94-111, ⟨10.1007/978-3-030-67087-0_7⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-04486240/file/netys2020_Exploring_IoT_Trickle_Dissemination_Timed_Model_checking_and_Symbex.pdf BibTex
ref_biblio
Régis Pierrard, Laurent Cabaret, Jean-Philippe Poli, Céline Hudelot. SIMD-based Exact Parallel Fuzzy Dilation Operator for Fast Computing of Fuzzy Spatial Relations. WPMVP 2020 Workshop on Programming Models for SIMD/Vector Processing, Feb 2020, San Diego, United States. ⟨10.1145/3380479.3380482⟩. ⟨hal-02517053⟩
titre
SIMD-based Exact Parallel Fuzzy Dilation Operator for Fast Computing of Fuzzy Spatial Relations
auteur
Régis Pierrard, Laurent Cabaret, Jean-Philippe Poli, Céline Hudelot
article
WPMVP 2020 Workshop on Programming Models for SIMD/Vector Processing, Feb 2020, San Diego, United States. ⟨10.1145/3380479.3380482⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02517053/file/PPOPP2020__HAL_.pdf BibTex

2019

Article dans une revue

ref_biblio
Marc Aiguier, Isabelle Bloch. Logical Dual Concepts based on Mathematical Morphology in Stratified Institutions. Journal of Applied Non-Classical Logics, 2019, 29 (4), pp.392-429. ⟨10.1080/11663081.2019.1668678⟩. ⟨hal-02288074⟩
titre
Logical Dual Concepts based on Mathematical Morphology in Stratified Institutions
auteur
Marc Aiguier, Isabelle Bloch
article
Journal of Applied Non-Classical Logics, 2019, 29 (4), pp.392-429. ⟨10.1080/11663081.2019.1668678⟩
Accès au bibtex
BibTex

Communication dans un congrès

ref_biblio
Ismaïl Baaj, Jean-Philippe Poli, Wassila Ouerdane. Some insights Towards a Unified Semantic Representation of Explanation for eXplainable Artificial Intelligence (XAI). The 1st workshop on Interactive Natural Language Technology for Explainable Artificial Intelligence (NL4XAI), Oct 2019, Tokyo, Japan. pp.14-19, ⟨10.18653/v1/W19-8404⟩. ⟨hal-03102722⟩
titre
Some insights Towards a Unified Semantic Representation of Explanation for eXplainable Artificial Intelligence (XAI)
auteur
Ismaïl Baaj, Jean-Philippe Poli, Wassila Ouerdane
article
The 1st workshop on Interactive Natural Language Technology for Explainable Artificial Intelligence (NL4XAI), Oct 2019, Tokyo, Japan. pp.14-19, ⟨10.18653/v1/W19-8404⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03102722/file/article_IsmailBaaj_NL4XAI2019_Some%20insights%20Towards%20a%20Unified%20Semantic%20Representation.pdf BibTex
ref_biblio
Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Louis Rilling, Pascale Le Gall. Tame your annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties. International Conference on Tests and Proofs (TAP), Oct 2019, Porto, Portugal. ⟨10.1007/978-3-030-31157-5_11⟩. ⟨cea-02301892⟩
titre
Tame your annotations with MetAcsl: Specifying, Testing and Proving High-Level Properties
auteur
Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Louis Rilling, Pascale Le Gall
article
International Conference on Tests and Proofs (TAP), Oct 2019, Porto, Portugal. ⟨10.1007/978-3-030-31157-5_11⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-02301892/file/main.pdf BibTex
ref_biblio
Khaled Belahcene, Christophe Labreuche, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane. Comparing options with argument schemes powered by cancellation. 28th International Joint Conference on Artificial Intelligence (IJCAI-19), Aug 2019, Macao, Macau SAR China. pp.1537-1543, ⟨10.24963/ijcai.2019/213⟩. ⟨hal-02133034⟩
titre
Comparing options with argument schemes powered by cancellation
auteur
Khaled Belahcene, Christophe Labreuche, Nicolas Maudet, Vincent Mousseau, Wassila Ouerdane
article
28th International Joint Conference on Artificial Intelligence (IJCAI-19), Aug 2019, Macao, Macau SAR China. pp.1537-1543, ⟨10.24963/ijcai.2019/213⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02133034/file/ijcai19-BelahceneEtAl.pdf BibTex
ref_biblio
Ngo Minh Thang Nguyen, Boutheina Bannour, Arnault Lapitre, Pascale Le Gall. Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks. 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Apr 2019, Xi'an, China. pp.168-175, ⟨10.1109/ICSTW.2019.00047⟩. ⟨hal-02421125⟩
titre
Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks
auteur
Ngo Minh Thang Nguyen, Boutheina Bannour, Arnault Lapitre, Pascale Le Gall
article
2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Apr 2019, Xi'an, China. pp.168-175, ⟨10.1109/ICSTW.2019.00047⟩
Accès au bibtex
BibTex
ref_biblio
Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Louis Rilling, Pascale Le Gall. MetAcsl: Specification and Verification of High-Level Properties. TACAS 2019, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17462-0_22⟩. ⟨cea-02019790⟩
titre
MetAcsl: Specification and Verification of High-Level Properties
auteur
Virgile Robles, Nikolai Kosmatov, Virgile Prévosto, Louis Rilling, Pascale Le Gall
article
TACAS 2019, Apr 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-17462-0_22⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-02019790/file/main.pdf BibTex
ref_biblio
Paolo Ballarini, Benoît Barbot, Nicolas Vasselin. Performance modelling of access control mechanisms for local and vehicular wireless networks. 12th EAI International Conference on Pervasive Computing Technologies for Healthcare, Mar 2019, Palma, Spain. pp.111-118. ⟨hal-02131725⟩
titre
Performance modelling of access control mechanisms for local and vehicular wireless networks
auteur
Paolo Ballarini, Benoît Barbot, Nicolas Vasselin
article
12th EAI International Conference on Pervasive Computing Technologies for Healthcare, Mar 2019, Palma, Spain. pp.111-118
Accès au texte intégral et bibtex
https://hal.science/hal-02131725/file/1901.04285.pdf BibTex
ref_biblio
Alexandre Goy, Marc Aiguier, Isabelle Bloch. From Structuring Elements to Structuring Neighborhood Systems. 14th International Symposium on Mathematical Morphology (ISMM), 2019, Saarbr\"ucken, Germany. pp.16-28, ⟨10.1007/978-3-030-20867-7_2⟩. ⟨hal-02288568⟩
titre
From Structuring Elements to Structuring Neighborhood Systems
auteur
Alexandre Goy, Marc Aiguier, Isabelle Bloch
article
14th International Symposium on Mathematical Morphology (ISMM), 2019, Saarbr\"ucken, Germany. pp.16-28, ⟨10.1007/978-3-030-20867-7_2⟩
Accès au bibtex
BibTex

Chapitre d'ouvrage

ref_biblio
Mahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède. Reachability Design Through Approximate Bayesian Computation. Computational Methods in Systems Biology, pp.207-223, 2019, ⟨10.1007/978-3-030-31304-3_11⟩. ⟨hal-02317539⟩
titre
Propriétés d'atteignabilité par la méthode d'Approximate Bayesian Computation
auteur
Mahmoud Bentriou, Paolo Ballarini, Paul-Henry Cournède
article
Computational Methods in Systems Biology, pp.207-223, 2019, ⟨10.1007/978-3-030-31304-3_11⟩
Accès au bibtex
BibTex

Ouvrages

ref_biblio
Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall. Testing Software and Systems. Springer International Publishing, LNCS-11812, 2019, Lecture Notes in Computer Science, 978-3-030-31279-4. ⟨10.1007/978-3-030-31280-0⟩. ⟨hal-02526347⟩
titre
Testing Software and Systems
auteur
Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall
article
Springer International Publishing, LNCS-11812, 2019, Lecture Notes in Computer Science, 978-3-030-31279-4. ⟨10.1007/978-3-030-31280-0⟩
Accès au bibtex
BibTex

2018

Article dans une revue

ref_biblio
Marc Aiguier, Jamal Atif, Isabelle Bloch, Ramon Pino Perez. Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction. International Journal of Approximate Reasoning, 2018, 102, pp.1 - 20. ⟨10.1016/j.ijar.2018.07.014⟩. ⟨hal-01858106⟩
titre
Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction
auteur
Marc Aiguier, Jamal Atif, Isabelle Bloch, Ramon Pino Perez
article
International Journal of Approximate Reasoning, 2018, 102, pp.1 - 20. ⟨10.1016/j.ijar.2018.07.014⟩
Accès au bibtex
BibTex
ref_biblio
Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot. Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics. Artificial Intelligence, 2018, 256, pp.160 - 180. ⟨10.1016/j.artint.2017.12.002⟩. ⟨hal-01823450⟩
titre
Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
auteur
Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot
article
Artificial Intelligence, 2018, 256, pp.160 - 180. ⟨10.1016/j.artint.2017.12.002⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01823450/file/Belief_Revision.pdf BibTex
ref_biblio
J.-C. Léchenet, N. Kosmatov, P. Le Gall. Cut branches before looking for bugs: certifiably sound verification on relaxed slices. Formal Aspects of Computing, 2018, 30 (1), pp.107-131. ⟨10.1007/s00165-017-0439-x⟩. ⟨cea-01801601⟩
titre
Cut branches before looking for bugs: certifiably sound verification on relaxed slices
auteur
J.-C. Léchenet, N. Kosmatov, P. Le Gall
article
Formal Aspects of Computing, 2018, 30 (1), pp.107-131. ⟨10.1007/s00165-017-0439-x⟩
Accès au bibtex
BibTex

Communication dans un congrès

ref_biblio
Arthur Hennequin, Lionel Lacassagne, Laurent Cabaret, Quentin Meunier. A new Direct Connected Component Labeling and Analysis Algorithms for GPUs. 2018 Conference on Design and Architectures for Signal and Image Processing (DASIP), Oct 2018, Porto, Portugal. ⟨10.1109/dasip.2018.8596835⟩. ⟨hal-01923784⟩
titre
A new Direct Connected Component Labeling and Analysis Algorithms for GPUs
auteur
Arthur Hennequin, Lionel Lacassagne, Laurent Cabaret, Quentin Meunier
article
2018 Conference on Design and Architectures for Signal and Image Processing (DASIP), Oct 2018, Porto, Portugal. ⟨10.1109/dasip.2018.8596835⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01923784/file/dasip2018_final.pdf BibTex
ref_biblio
Paolo Ballarini, Michel Batteux, Leo Chartier, Antoine Rauzy. Analysis of business process specifications with OpenAltarica. 2018 IEEE International Systems Engineering Symposium (ISSE), Oct 2018, Rome, Italy. ⟨10.1109/syseng.2018.8544458⟩. ⟨hal-02194937⟩
titre
Analysis of business process specifications with OpenAltarica
auteur
Paolo Ballarini, Michel Batteux, Leo Chartier, Antoine Rauzy
article
2018 IEEE International Systems Engineering Symposium (ISSE), Oct 2018, Rome, Italy. ⟨10.1109/syseng.2018.8544458⟩
Accès au bibtex
BibTex
ref_biblio
Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prévosto, Guillaume Petiot. Static and Dynamic Verification of Relational Properties on Self-Composed C Code. Tests and Proofs - TAP, Jun 2018, Toulouse, France. ⟨cea-01835470⟩
titre
Static and Dynamic Verification of Relational Properties on Self-Composed C Code
auteur
Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prévosto, Guillaume Petiot
article
Tests and Proofs - TAP, Jun 2018, Toulouse, France
Accès au texte intégral et bibtex
https://cea.hal.science/cea-01835470/file/main.pdf BibTex
ref_biblio
Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prévosto. RPP : Preuve automatique de propriétés relationnelles par Self-Composition. Approches Formelles pour l'Assistance au Développement de Logiciels - AFADL, Jun 2018, Grenoble, France. ⟨cea-01835491⟩
titre
RPP : Preuve automatique de propriétés relationnelles par Self-Composition
auteur
Lionel Blatter, Nikolai Kosmatov, Pascale Le Gall, Virgile Prévosto
article
Approches Formelles pour l'Assistance au Développement de Logiciels - AFADL, Jun 2018, Grenoble, France
Accès au texte intégral et bibtex
https://cea.hal.science/cea-01835491/file/rpp.pdf BibTex
ref_biblio
Marc Aiguier, Isabelle Bloch. Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning. World Congress and School on Universal Logic (UNILOG 2018), Jun 2018, Vichy, France. ⟨hal-02287722⟩
titre
Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning
auteur
Marc Aiguier, Isabelle Bloch
article
World Congress and School on Universal Logic (UNILOG 2018), Jun 2018, Vichy, France
Accès au bibtex
BibTex
ref_biblio
Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall. Fast Computation of Arbitrary Control Dependencies. FASE 2018 International Conference on Fundamental Approaches to Software Engineering, Apr 2018, Thessaloniki, Greece. pp.207-224, ⟨10.1007/978-3-319-89363-1_12⟩. ⟨hal-02539534⟩
titre
Fast Computation of Arbitrary Control Dependencies
auteur
Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall
article
FASE 2018 International Conference on Fundamental Approaches to Software Engineering, Apr 2018, Thessaloniki, Greece. pp.207-224, ⟨10.1007/978-3-319-89363-1_12⟩
Accès au bibtex
BibTex

Ouvrages

ref_biblio
Rena Bakshi, Paolo Ballarini, Benoit Barbot, Hind Castel-Taleb, Anne Remke (Dir.). Computer performance engineering : 15th European workshop, EPEW 2018, Paris, France, October 29-30, 2018, proceedings. Springer, pp.265, 2018, Part of the Lecture Notes in Computer Science book series (LNCS, volume 11178), Part of the Lecture Notes in Computer Science book series (LNCS, volume 11178), 978-3-030-02226-6. ⟨10.1007/978-3-030-02227-3⟩. ⟨hal-02014749⟩
titre
Computer performance engineering : 15th European workshop, EPEW 2018, Paris, France, October 29-30, 2018, proceedings
auteur
Rena Bakshi, Paolo Ballarini, Benoit Barbot, Hind Castel-Taleb, Anne Remke
article
Springer, pp.265, 2018, Part of the Lecture Notes in Computer Science book series (LNCS, volume 11178), Part of the Lecture Notes in Computer Science book series (LNCS, volume 11178), 978-3-030-02226-6. ⟨10.1007/978-3-030-02227-3⟩
Accès au bibtex
BibTex

2017

Article dans une revue

ref_biblio
Quentin Monnet, Lynda Mokdad, Paolo Ballarini, Youcef Hammal, Jalel Ben-Othman. DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes. Concurrency and Computation: Practice and Experience, 2017, 29 (23), ⟨10.1002/cpe.4266⟩. ⟨hal-01860370⟩
titre
DoS detection in WSNs: Energy-efficient methods for selecting monitoring nodes
auteur
Quentin Monnet, Lynda Mokdad, Paolo Ballarini, Youcef Hammal, Jalel Ben-Othman
article
Concurrency and Computation: Practice and Experience, 2017, 29 (23), ⟨10.1002/cpe.4266⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01860370/file/masterConcCompVersionRevisee2016_hal.pdf BibTex
ref_biblio
I. Boudhiba, C. Gaston, P. Le Gall, V. Prevosto. Symbolic execution of transition systems with function summaries. Lecture Notes in Computer Science, 2017, 10375 LNCS, pp.41-58. ⟨10.1007/978-3-319-61467-0_3⟩. ⟨cea-01808888⟩
titre
Symbolic execution of transition systems with function summaries
auteur
I. Boudhiba, C. Gaston, P. Le Gall, V. Prevosto
article
Lecture Notes in Computer Science, 2017, 10375 LNCS, pp.41-58. ⟨10.1007/978-3-319-61467-0_3⟩
Accès au bibtex
BibTex

Communication dans un congrès

ref_biblio
Laurent Cabaret, Lionel Lacassagne, Daniel Etiemble. Distanceless Label Propagation: an Efficient Direct Connected Component Labeling Algorithm for GPUs. 2017 Seventh International Conference on Image Processing Theory, Tools and Applications (IPTA), Nov 2017, Montreal, QC, Canada. pp.1-6, ⟨10.1109/IPTA.2017.8310147⟩. ⟨hal-01656756⟩
titre
Distanceless Label Propagation: an Efficient Direct Connected Component Labeling Algorithm for GPUs
auteur
Laurent Cabaret, Lionel Lacassagne, Daniel Etiemble
article
2017 Seventh International Conference on Image Processing Theory, Tools and Applications (IPTA), Nov 2017, Montreal, QC, Canada. pp.1-6, ⟨10.1109/IPTA.2017.8310147⟩
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-01656756/file/IPTA_79.pdf BibTex
ref_biblio
Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall. Constraint-Based Oracles for Timed Distributed Systems. 29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.276-292, ⟨10.1007/978-3-319-67549-7_17⟩. ⟨hal-01678964⟩
titre
Constraint-Based Oracles for Timed Distributed Systems
auteur
Nassim Benharrat, Christophe Gaston, Robert M. Hierons, Arnault Lapitre, Pascale Le Gall
article
29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.276-292, ⟨10.1007/978-3-319-67549-7_17⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01678964/file/449632_1_En_17_Chapter.pdf BibTex
ref_biblio
Paolo Ballarini, Marco Beccuti, Enrico Bibbona, Andras Horvath, Roberta Sirovich, et al.. Analysis of Timed Properties Using the Jump-Diffusion Approximation. European Workshop on Performance Engineering, Sep 2017, Berlin, Germany. ⟨hal-01817472⟩
titre
Analysis of Timed Properties Using the Jump-Diffusion Approximation
auteur
Paolo Ballarini, Marco Beccuti, Enrico Bibbona, Andras Horvath, Roberta Sirovich, Jeremy Sproston
article
European Workshop on Performance Engineering, Sep 2017, Berlin, Germany
Accès au texte intégral et bibtex
https://hal.science/hal-01817472/file/main.pdf BibTex
ref_biblio
Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto. Symbolic execution of transition systems with function summaries. 11th International Conference on Tests & Proofs, Jul 2017, Marburg, Germany. ⟨cea-01810693⟩
titre
Symbolic execution of transition systems with function summaries
auteur
Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto
article
11th International Conference on Tests & Proofs, Jul 2017, Marburg, Germany
Accès au texte intégral et bibtex
https://cea.hal.science/cea-01810693/file/TAP17-Rev-BGLP.pdf BibTex
ref_biblio
Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall. Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions. International Conference on Graph Transformation ICGT 2017, Jul 2017, Marburg, Germany. pp.36-53, ⟨10.1007/978-3-319-61470-0_3⟩. ⟨hal-01817827⟩
titre
Geometric Modeling: Consistency Preservation Using Two-Layered Variable Substitutions
auteur
Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall
article
International Conference on Graph Transformation ICGT 2017, Jul 2017, Marburg, Germany. pp.36-53, ⟨10.1007/978-3-319-61470-0_3⟩
Accès au bibtex
BibTex
ref_biblio
L. Blatter, N. Kosmatov, P. Le Gall, V. Prevosto. RPP: Automatic proof of relational properties by self-composition. TACAS 2017: Tools and Algorithms for the Construction and Analysis of Systems, Apr 2017, Uppsala, Sweden. pp.391-397, ⟨10.1007/978-3-662-54577-5_22⟩. ⟨cea-01808885⟩
titre
RPP: Automatic proof of relational properties by self-composition
auteur
L. Blatter, N. Kosmatov, P. Le Gall, V. Prevosto
article
TACAS 2017: Tools and Algorithms for the Construction and Analysis of Systems, Apr 2017, Uppsala, Sweden. pp.391-397, ⟨10.1007/978-3-662-54577-5_22⟩
Accès au bibtex
BibTex

Rapport

ref_biblio
Thomas Bellet, Agnès Arnould, Pascale Le Gall. Constraint-preserving labeled graph transformations for topology-based geometric modeling. [Research Report] XLIM. 2017. ⟨hal-01476860⟩
titre
Constraint-preserving labeled graph transformations for topology-based geometric modeling
auteur
Thomas Bellet, Agnès Arnould, Pascale Le Gall
article
[Research Report] XLIM. 2017
Accès au texte intégral et bibtex
https://hal.science/hal-01476860/file/tcs_ebd-var.pdf BibTex
ref_biblio
Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall. Geometric modeling: consistency preservation using two-layered variable substitutions (extended version). [Research Report] Xlim UMR CNRS 7252; CentraleSupélec, Université Paris-Saclay. 2017. ⟨hal-01509832⟩
titre
Geometric modeling: consistency preservation using two-layered variable substitutions (extended version)
auteur
Thomas Bellet, Agnès Arnould, Hakim Belhaouari, Pascale Le Gall
article
[Research Report] Xlim UMR CNRS 7252; CentraleSupélec, Université Paris-Saclay. 2017
Accès au texte intégral et bibtex
https://hal.science/hal-01509832/file/document_etendu.pdf BibTex

2016

Article dans une revue

ref_biblio
Konstantinos Koutroumpas, Paolo Ballarini, Irene Votsi, Paul-Henry Cournède. Bayesian parameter estimation for the Wnt pathway: an infinite mixture models approach. Bioinformatics, 2016, 32 (17), pp.i781 - i789. ⟨10.1093/bioinformatics/btw471⟩. ⟨hal-01817488⟩
titre
Bayesian parameter estimation for the Wnt pathway: an infinite mixture models approach
auteur
Konstantinos Koutroumpas, Paolo Ballarini, Irene Votsi, Paul-Henry Cournède
article
Bioinformatics, 2016, 32 (17), pp.i781 - i789. ⟨10.1093/bioinformatics/btw471⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01817488/file/mainHALversion.pdf BibTex
ref_biblio
Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet. Exhaustive test sets for algebraic specification correctness. Journal of Software Testing, Verification and Reliability, 2016, 26 (4), pp.294-317. ⟨10.1002/stvr.1598⟩. ⟨hal-01318362⟩
titre
Exhaustive test sets for algebraic specification correctness
auteur
Marc Aiguier, Agnès Arnould, Pascale Le Gall, Delphine Longuet
article
Journal of Software Testing, Verification and Reliability, 2016, 26 (4), pp.294-317. ⟨10.1002/stvr.1598⟩
Accès au bibtex
BibTex

Communication dans un congrès

ref_biblio
Lynda Mokdad, Jalel Ben-Othman, Paolo Ballarini. Stochastic models for IEEE 802.11p. IEEE Symposium on Computers and Communications (ISCC'16), Jun 2016, Messina, Italy. ⟨10.1109/ISCC.2016.7543717⟩. ⟨hal-01724310⟩
titre
Stochastic models for IEEE 802.11p
auteur
Lynda Mokdad, Jalel Ben-Othman, Paolo Ballarini
article
IEEE Symposium on Computers and Communications (ISCC'16), Jun 2016, Messina, Italy. ⟨10.1109/ISCC.2016.7543717⟩
Accès au bibtex
BibTex
ref_biblio
Gabriel Pedroza, Pascale Le Gall, Christophe Gaston, Fabrice Bersey. Timed-model-based Method for Security Analysis and Testing of Smart Grid Systems. 19th International Symposium on Real-Time Distributed Computing (ISORC) 2016, May 2016, York, United Kingdom. ⟨10.1109/isorc.2016.15⟩. ⟨cea-01302826⟩
titre
Timed-model-based Method for Security Analysis and Testing of Smart Grid Systems
auteur
Gabriel Pedroza, Pascale Le Gall, Christophe Gaston, Fabrice Bersey
article
19th International Symposium on Real-Time Distributed Computing (ISORC) 2016, May 2016, York, United Kingdom. ⟨10.1109/isorc.2016.15⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-01302826/file/ISORC-2016.pdf BibTex
ref_biblio
J.-C. Léchenet, N. Kosmatov, P. Le Gall. Cut branches before looking for bugs: Sound verification on relaxed slices. International Conference on Fundamental Approaches to Software Engineering, Apr 2016, Eindhoven, Netherlands. pp.179-196, ⟨10.1007/978-3-662-49665-7_11⟩. ⟨cea-01808894⟩
titre
Cut branches before looking for bugs: Sound verification on relaxed slices
auteur
J.-C. Léchenet, N. Kosmatov, P. Le Gall
article
International Conference on Fundamental Approaches to Software Engineering, Apr 2016, Eindhoven, Netherlands. pp.179-196, ⟨10.1007/978-3-662-49665-7_11⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-01808894/file/Lechenet2016.pdf BibTex
ref_biblio
Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall. Coq a dit : fromage tranché ne peut cacher ses trous *. Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France. ⟨hal-01333605⟩
titre
Coq a dit : fromage tranché ne peut cacher ses trous *
auteur
Jean-Christophe Léchenet, Nikolai Kosmatov, Pascale Le Gall
article
Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France
Accès au texte intégral et bibtex
https://hal.science/hal-01333605/file/lechenet.pdf BibTex

2015

Article dans une revue

ref_biblio
Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini. Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015, 34 (5), pp.575 - 600. ⟨10.3166/TSI.34.575-600⟩. ⟨hal-01819818⟩
titre
Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa
auteur
Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini
article
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015, 34 (5), pp.575 - 600. ⟨10.3166/TSI.34.575-600⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01819818/file/TSI_GMLB_15_HAL.pdf BibTex
ref_biblio
Paolo Ballarini, Marie Duflot. Applications of an expressive statistical model checking approach to the analysis of genetic circuits. Theoretical Computer Science, 2015, 599, p.4-33. ⟨10.1016/j.tcs.2015.05.018⟩. ⟨hal-01250521v2⟩
titre
Applications of an expressive statistical model checking approach to the analysis of genetic circuits
auteur
Paolo Ballarini, Marie Duflot
article
Theoretical Computer Science, 2015, 599, p.4-33. ⟨10.1016/j.tcs.2015.05.018⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01250521/file/TCS_CMSB12_rev2.pdf BibTex
ref_biblio
Paolo Ballarini, Benoît Barbot, Marie Duflot, Serge Haddad, Nihal Pekergin. HASL: A new approach for performance evaluation and model checking from concepts to experimentation. Performance Evaluation, 2015, 90, pp.53-77. ⟨10.1016/j.peva.2015.04.003⟩. ⟨hal-01221815⟩
titre
HASL: A new approach for performance evaluation and model checking from concepts to experimentation
auteur
Paolo Ballarini, Benoît Barbot, Marie Duflot, Serge Haddad, Nihal Pekergin
article
Performance Evaluation, 2015, 90, pp.53-77. ⟨10.1016/j.peva.2015.04.003⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01221815/file/main.pdf BibTex
ref_biblio
Paolo Ballarini. Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking. International Journal on Software Tools for Technology Transfer, 2015, ⟨10.1007/s10009-015-0370-5⟩. ⟨hal-01852397⟩
titre
Analysing oscillatory trends of discrete-state stochastic processes through HASL statistical model checking
auteur
Paolo Ballarini
article
International Journal on Software Tools for Technology Transfer, 2015, ⟨10.1007/s10009-015-0370-5⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01852397/file/stttSMC13_PBal_CR_HAL.pdf BibTex

Communication dans un congrès

ref_biblio
Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto. Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts. The 27th IFIP International Conference on Testing Software and Systems (ICTSS-2015) , Nov 2015, Sharjah and Dubai, United Arab Emirates. ⟨cea-01810689⟩
titre
Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts
auteur
Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto
article
The 27th IFIP International Conference on Testing Software and Systems (ICTSS-2015) , Nov 2015, Sharjah and Dubai, United Arab Emirates
Accès au texte intégral et bibtex
https://cea.hal.science/cea-01810689/file/ICTSS15-Rev-BGLP.pdf BibTex

Proceedings/Recueil des communications

ref_biblio
Frédéric Dadeau, Pascale Le Gall. Actes des 14e journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels. Dadeau, Frédéric; Le Gall, Pascale. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2015, Bordeaux, France. , pp.88, 2015. ⟨hal-01155626⟩
titre
Actes des 14e journées sur les Approches Formelles dans l'Assistance au Développement de Logiciels
auteur
Frédéric Dadeau, Pascale Le Gall
article
Dadeau, Frédéric; Le Gall, Pascale. Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2015, Bordeaux, France. , pp.88, 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01155626/file/afadl2015.pdf BibTex

Rapport

ref_biblio
Marc Aiguier, J. Atif, C. Hudelot, Isabelle Bloch. Belief revision in institutions: a relaxation-based approach. [Research Report] abs/1502.02298, arXiv CoRR. 2015. ⟨hal-02287097⟩
titre
Belief revision in institutions: a relaxation-based approach
auteur
Marc Aiguier, J. Atif, C. Hudelot, Isabelle Bloch
article
[Research Report] abs/1502.02298, arXiv CoRR. 2015
Accès au bibtex
BibTex
ref_biblio
Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto. Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts: a detailed example of vending machine. [Research Report] Laboratoire MAS - CentraleSupelec. 2015. ⟨hal-01191890⟩
titre
Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts: a detailed example of vending machine
auteur
Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto
article
[Research Report] Laboratoire MAS - CentraleSupelec. 2015
Accès au texte intégral et bibtex
https://hal.science/hal-01191890/file/RI-ICTSS15-BGLP.pdf BibTex

2014

Article dans une revue

ref_biblio
Marc Aiguier, Bilal Kanso. A logic for complex computing systems: Properties preservation along integration and abstraction. Scientific Annals of Computer Science, 2014, 24 (1), pp.1-46. ⟨10.7561/sacs.2014.1.1⟩. ⟨hal-01056530⟩
titre
A logic for complex computing systems: Properties preservation along integration and abstraction
auteur
Marc Aiguier, Bilal Kanso
article
Scientific Annals of Computer Science, 2014, 24 (1), pp.1-46. ⟨10.7561/sacs.2014.1.1⟩
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-01056530/file/root.pdf BibTex

Communication dans un congrès

ref_biblio
Boutheïna Bannour, Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, et al.. Security Weaknesses Detection by Symbolic Analysis of Scenarios. 2014 21st Asia-Pacific Software Engineering Conference (APSEC), Dec 2014, Jeju, South Korea. ⟨10.1109/APSEC.2014.61⟩. ⟨hal-01812121⟩
titre
Security Weaknesses Detection by Symbolic Analysis of Scenarios
auteur
Boutheïna Bannour, Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza
article
2014 21st Asia-Pacific Software Engineering Conference (APSEC), Dec 2014, Jeju, South Korea. ⟨10.1109/APSEC.2014.61⟩
Accès au bibtex
BibTex
ref_biblio
E Gallet, M Manceny, P Le Gall, Paolo Ballarini. An LTL Model Checking Approach for Biological Parameter Inference. International Conference on Formal Engineering Methods, Nov 2014, Luxembourg, Luxembourg. ⟨hal-01819841⟩
titre
An LTL Model Checking Approach for Biological Parameter Inference
auteur
E Gallet, M Manceny, P Le Gall, Paolo Ballarini
article
International Conference on Formal Engineering Methods, Nov 2014, Luxembourg, Luxembourg
Accès au texte intégral et bibtex
https://hal.science/hal-01819841/file/icfem14.pdf BibTex
ref_biblio
Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny. Formal analysis of the Wnt/β-catenin pathway through statistical model checking. International Symposium On Leveraging Applications of Formal Methods, Verification and Validation , Oct 2014, Corfu, Greece. ⟨hal-01819866⟩
titre
Formal analysis of the Wnt/β-catenin pathway through statistical model checking
auteur
Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny
article
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation , Oct 2014, Corfu, Greece
Accès au texte intégral et bibtex
https://hal.science/hal-01819866/file/isola14.pdf BibTex
ref_biblio
Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny. Formal Analysis of the Wnt/β-catenin through Statistical Model Checking. 6th International Symposium, ISoLA 2014, Tiziana Margaria, Bernhard Steffen, Oct 2014, Corfu, Greece. ⟨hal-01110747⟩
titre
Formal Analysis of the Wnt/β-catenin through Statistical Model Checking
auteur
Paolo Ballarini, Emmanuelle Gallet, Pascale Le Gall, Matthieu Manceny
article
6th International Symposium, ISoLA 2014, Tiziana Margaria, Bernhard Steffen, Oct 2014, Corfu, Greece
Accès au bibtex
BibTex
ref_biblio
Hakim Belhaouari, Agnès Arnould, Pascale Le Gall, Thomas Bellet. JERBOA: A Graph Transformation Library for Topology-Based Geometric Modeling. 7th International Conference on Graph Transformation (ICGT 2014), Jul 2014, York, United Kingdom. ⟨10.1007/978-3-319-09108-2_18⟩. ⟨hal-01012851⟩
titre
JERBOA: A Graph Transformation Library for Topology-Based Geometric Modeling
auteur
Hakim Belhaouari, Agnès Arnould, Pascale Le Gall, Thomas Bellet
article
7th International Conference on Graph Transformation (ICGT 2014), Jul 2014, York, United Kingdom. ⟨10.1007/978-3-319-09108-2_18⟩
Accès au bibtex
BibTex
ref_biblio
Boutheïna Bannour, Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, et al.. Designing Sequence Diagram Models for Robustness to Attacks. 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Mar 2014, OH, United States. ⟨10.1109/ICSTW.2014.50⟩. ⟨hal-01812124⟩
titre
Designing Sequence Diagram Models for Robustness to Attacks
auteur
Boutheïna Bannour, Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza
article
2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Mar 2014, OH, United States. ⟨10.1109/ICSTW.2014.50⟩
Accès au bibtex
BibTex

Chapitre d'ouvrage

ref_biblio
Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto. Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts. Testing Software and Systems , 9447), pp.35-51, 2014, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-25945-1_3⟩. ⟨hal-01470156⟩
titre
Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts
auteur
Imen Boudhiba, Christophe Gaston, Pascale Le Gall, Virgile Prévosto
article
Testing Software and Systems , 9447), pp.35-51, 2014, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-25945-1_3⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01470156/file/385214_1_En_3_Chapter.pdf BibTex

Ouvrages

ref_biblio
Marc Aiguier, Frédéric Boulanger, Daniel Krob, Clotilde Marchal (Dir.). Complex Systems Design & Management. Springer International Publishing, 2014, Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013, ⟨10.1007/978-3-319-02812-5⟩. ⟨hal-02750247⟩
titre
Complex Systems Design & Management
auteur
Marc Aiguier, Frédéric Boulanger, Daniel Krob, Clotilde Marchal
article
Springer International Publishing, 2014, Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013, ⟨10.1007/978-3-319-02812-5⟩
Accès au bibtex
BibTex

Proceedings/Recueil des communications

ref_biblio
Frédéric Abergel, Marc Aiguier, Damien Challet, Paul-Henry P.-H. Cournède, Gilles Fay, et al.. MMCS, Mathematical Modelling of Complex Systems. 47, 2014, ESAIM: Proceedings and Surveys. ⟨hal-02539582⟩
titre
MMCS, Mathematical Modelling of Complex Systems
auteur
Frédéric Abergel, Marc Aiguier, Damien Challet, Paul-Henry P.-H. Cournède, Gilles Fay, Pauline Godillon-Lafitte
article
47, 2014, ESAIM: Proceedings and Surveys
Accès au bibtex
BibTex

2013

Article dans une revue

ref_biblio
Paolo Ballarini, Lynda Mokdad, Quentin Monnet. Modeling tools for detecting DoS attacks in WSNs. Security and communication networks, 2013, 6 (4), pp.420-436. ⟨10.1002/sec⟩. ⟨hal-01817483⟩
titre
Modeling tools for detecting DoS attacks in WSNs
auteur
Paolo Ballarini, Lynda Mokdad, Quentin Monnet
article
Security and communication networks, 2013, 6 (4), pp.420-436. ⟨10.1002/sec⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01817483/file/revueFev2012.pdf BibTex

Communication dans un congrès

ref_biblio
Boutheïna Bannour, Boutheina Bannour, Christophe Gaston, Marc Aiguier, Arnault Lapitre. Results for Compositional Timed Testing. 2013 20th Asia-Pacific Software Engineering Conference (APSEC), Dec 2013, Bangkok, France. ⟨10.1109/APSEC.2013.81⟩. ⟨hal-01812126⟩
titre
Results for Compositional Timed Testing
auteur
Boutheïna Bannour, Boutheina Bannour, Christophe Gaston, Marc Aiguier, Arnault Lapitre
article
2013 20th Asia-Pacific Software Engineering Conference (APSEC), Dec 2013, Bangkok, France. ⟨10.1109/APSEC.2013.81⟩
Accès au bibtex
BibTex
ref_biblio
Christophe Gaston, Robert M. Hierons, Pascale Le Gall. An implementation relation and test framework for timed distributed systems. International Conference on Testing Software and Systems, Nov 2013, Istanbul, Turkey. ⟨cea-01810746⟩
titre
An implementation relation and test framework for timed distributed systems
auteur
Christophe Gaston, Robert M. Hierons, Pascale Le Gall
article
International Conference on Testing Software and Systems, Nov 2013, Istanbul, Turkey
Accès au texte intégral et bibtex
https://cea.hal.science/cea-01810746/file/ICTSS2013.pdf BibTex
ref_biblio
Paolo Ballarini, Nathalie Bertrand, Andras Horvath, Marco Paolieri, Enrico Vicario. Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes. QEST - 10th International Conference on Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. pp.355-371, ⟨10.1007/978-3-642-40196-1_30⟩. ⟨hal-00915026⟩
titre
Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes
auteur
Paolo Ballarini, Nathalie Bertrand, Andras Horvath, Marco Paolieri, Enrico Vicario
article
QEST - 10th International Conference on Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. pp.355-371, ⟨10.1007/978-3-642-40196-1_30⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00915026/file/80540334%20copy.pdf BibTex
ref_biblio
Marc Aiguier, Boris Golden, Daniel Krob. An adequate logic for heterogeneous systems. 18th International Conference on Engineering of Complex Computer Systems (ICECCS), Jul 2013, Singapore, Singapore. pp.1-10, ⟨10.1109/iceccs.2013.19⟩. ⟨hal-00812339⟩
titre
An adequate logic for heterogeneous systems
auteur
Marc Aiguier, Boris Golden, Daniel Krob
article
18th International Conference on Engineering of Complex Computer Systems (ICECCS), Jul 2013, Singapore, Singapore. pp.1-10, ⟨10.1109/iceccs.2013.19⟩
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00812339/file/main.pdf BibTex
ref_biblio
Elvio Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis. Expressing and Computing Passage Time Measures of GSPN Models with HASL. Application and Theory of Petri Nets and Concurrency, Jun 2013, Milan, Italy. ⟨10.1007/978-3-642-38697-8_7⟩. ⟨hal-00848708⟩
titre
Expressing and Computing Passage Time Measures of GSPN Models with HASL
auteur
Elvio Amparore, Paolo Ballarini, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis
article
Application and Theory of Petri Nets and Concurrency, Jun 2013, Milan, Italy. ⟨10.1007/978-3-642-38697-8_7⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00848708/file/main.pdf BibTex

Proceedings/Recueil des communications

ref_biblio
Marc Aiguier, Yves Caseau, Daniel Krob, A Rausy. Complex Systems Design and Management. Third International Conference on Complex Systems Design and Management CSD&M 2012, Dec 2012, Singapore, Singapore. 2013, Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012, ⟨10.1007/978-3-642-34404-6⟩. ⟨hal-02750181⟩
titre
Complex Systems Design and Management
auteur
Marc Aiguier, Yves Caseau, Daniel Krob, A Rausy
article
Third International Conference on Complex Systems Design and Management CSD&M 2012, Dec 2012, Singapore, Singapore. 2013, Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012, ⟨10.1007/978-3-642-34404-6⟩
Accès au bibtex
BibTex

2012

Article dans une revue

ref_biblio
Marc Aiguier, Frédéric Boulanger, Bilal Kanso. A formal abstract framework for modelling and testing complex software systems. Theoretical Computer Science, 2012, 455, pp.66-97. ⟨10.1016/j.tcs.2011.12.072⟩. ⟨hal-00782372⟩
titre
A formal abstract framework for modelling and testing complex software systems
auteur
Marc Aiguier, Frédéric Boulanger, Bilal Kanso
article
Theoretical Computer Science, 2012, 455, pp.66-97. ⟨10.1016/j.tcs.2011.12.072⟩
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00782372/file/root.pdf BibTex
ref_biblio
Marc Aiguier, Boris Golden, Daniel Krob. Modeling of Complex Systems II: A minimalist and unified semantics for heterogeneous integrated systems. Applied Mathematics and Computation, 2012, 218 (16), pp.8039-8055. ⟨hal-00782859⟩
titre
Modeling of Complex Systems II: A minimalist and unified semantics for heterogeneous integrated systems
auteur
Marc Aiguier, Boris Golden, Daniel Krob
article
Applied Mathematics and Computation, 2012, 218 (16), pp.8039-8055
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00782859/file/main.pdf BibTex

Communication dans un congrès

ref_biblio
Marc Aiguier, Bilal Kanso, Frédéric Boulanger, Christophe Gaston. Testing of component-based systems. 19th Asia-Pacific Software Engineering Conference APSEC'12, Dec 2012, Hong-Kong, Hong Kong SAR China. pp.1-6. ⟨hal-00782889⟩
titre
Testing of component-based systems
auteur
Marc Aiguier, Bilal Kanso, Frédéric Boulanger, Christophe Gaston
article
19th Asia-Pacific Software Engineering Conference APSEC'12, Dec 2012, Hong-Kong, Hong Kong SAR China. pp.1-6
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00782889/file/apsec2012_submission_159.pdf BibTex
ref_biblio
Paolo Ballarini, Jarno Makela, Andre Ribeiro. Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics. Computational Methods in Systems Biology, Oct 2012, United Kingdom. pp.29-48. ⟨hal-00832096⟩
titre
Expressive Statistical Model Checking of Genetic Networks with Delayed Stochastic Dynamics
auteur
Paolo Ballarini, Jarno Makela, Andre Ribeiro
article
Computational Methods in Systems Biology, Oct 2012, United Kingdom. pp.29-48
Accès au texte intégral et bibtex
https://hal.science/hal-00832096/file/cmsb12.pdf BibTex
ref_biblio
Thomas Bellet, Agnès Arnould, Pascale Le Gall. JERBOA : un modeleur géométrique à base de règles. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Jan 2012, Grenoble, France. ⟨hal-00936743⟩
titre
JERBOA : un modeleur géométrique à base de règles
auteur
Thomas Bellet, Agnès Arnould, Pascale Le Gall
article
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Jan 2012, Grenoble, France
Accès au texte intégral et bibtex
https://hal.science/hal-00936743/file/afadl-PLG.pdf BibTex

2011

Article dans une revue

ref_biblio
Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard. Embedding of biological regulatory networks and property preservation. Mathematics in Computer Science, 2011, 5 (1), pp.263-288. ⟨hal-00782867⟩
titre
Embedding of biological regulatory networks and property preservation
auteur
Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard
article
Mathematics in Computer Science, 2011, 5 (1), pp.263-288
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00782867/file/maclr.pdf BibTex

2010

Article dans une revue

ref_biblio
Delphine Longuet, Marc Aiguier, Pascale Le Gall. Proof-Guided Test Selection from First-Order Specifications with Equality. Journal of Automated Reasoning, 2010, 45 (4), pp.437-473. ⟨hal-00782871⟩
titre
Proof-Guided Test Selection from First-Order Specifications with Equality
auteur
Delphine Longuet, Marc Aiguier, Pascale Le Gall
article
Journal of Automated Reasoning, 2010, 45 (4), pp.437-473
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00782871/file/JAR.pdf BibTex
ref_biblio
Marc Aiguier, Longuet Delphine. Some General Results About Proof Normalization. Logica Universalis, 2010, 4 (1), pp.1-29. ⟨10.1007/s11787-010-0011-4⟩. ⟨hal-00782857⟩
titre
Some General Results About Proof Normalization
auteur
Marc Aiguier, Longuet Delphine
article
Logica Universalis, 2010, 4 (1), pp.1-29. ⟨10.1007/s11787-010-0011-4⟩
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00782857/file/Logica-Universalis10.pdf BibTex
ref_biblio
Mathieu Poudret, Thomas Bellet, Agnès Arnould, Pascale Le Gall. Transformations de graphes pour les opérations topologiques en modélisation géométrique. Revue Electronique Francophone d'Informatique Graphique, 2010, 4 (1), http://www.irit.fr/REFIG/index.php/refig/article/view/77. ⟨hal-01137358⟩
titre
Transformations de graphes pour les opérations topologiques en modélisation géométrique
auteur
Mathieu Poudret, Thomas Bellet, Agnès Arnould, Pascale Le Gall
article
Revue Electronique Francophone d'Informatique Graphique, 2010, 4 (1), http://www.irit.fr/REFIG/index.php/refig/article/view/77
Accès au bibtex
BibTex

Communication dans un congrès

ref_biblio
Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana Rosa Cavalli. Testing web service orchestrators in context : a symbolic approach. SEFM 2010 : 8th IEEE International Conference on Software Engineering and Formal Methods, Sep 2010, Pisa, Italy. pp.257 - 267, ⟨10.1109/SEFM.2010.30⟩. ⟨hal-01306744⟩
titre
Testing web service orchestrators in context : a symbolic approach
auteur
Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana Rosa Cavalli
article
SEFM 2010 : 8th IEEE International Conference on Software Engineering and Formal Methods, Sep 2010, Pisa, Italy. pp.257 - 267, ⟨10.1109/SEFM.2010.30⟩
Accès au bibtex
BibTex
ref_biblio
Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil. Testing of Abstract Components. ICTAC 2010 - International Conference on Theoretical Aspect of Computing., Sep 2010, Brazil. pp.184-198. ⟨hal-00782893⟩
titre
Testing of Abstract Components
auteur
Bilal Kanso, Marc Aiguier, Frédéric Boulanger, Assia Touil
article
ICTAC 2010 - International Conference on Theoretical Aspect of Computing., Sep 2010, Brazil. pp.184-198
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00782893/file/main.pdf BibTex

2009

Article dans une revue

ref_biblio
Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki. Complex software systems : Formalization and Applications. International Journal On Advances in Software, 2009, 2 (1), pp.47-62. ⟨hal-00782879⟩
titre
Complex software systems : Formalization and Applications
auteur
Marc Aiguier, Pascale Le Gall, Mbarka Mabrouki
article
International Journal On Advances in Software, 2009, 2 (1), pp.47-62
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00782879/file/aiguier_al-complex-software.pdf BibTex

Communication dans un congrès

ref_biblio
Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana Rosa Cavalli. Observability and controllability issues in conformance testing of Web service compositions. TESTCOM/FATES 2009 : 21st IFIP International Conference on Testing of Communicating Systems and 9th International Workshop on Formal Approaches to Testing of Software, Nov 2009, Eindhoven, Netherlands. pp.217 - 222, ⟨10.1007/978-3-642-05031-2_15⟩. ⟨hal-01360755⟩
titre
Observability and controllability issues in conformance testing of Web service compositions
auteur
Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana Rosa Cavalli
article
TESTCOM/FATES 2009 : 21st IFIP International Conference on Testing of Communicating Systems and 9th International Workshop on Formal Approaches to Testing of Software, Nov 2009, Eindhoven, Netherlands. pp.217 - 222, ⟨10.1007/978-3-642-05031-2_15⟩
Accès au bibtex
BibTex
ref_biblio
Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnaud Lapitre. Symbolic Execution Techniques Extended to Systems.. International Conference on Software Engineering Advances (ICSEA), Sep 2009, Porto, Portugal. pp.78-85, ⟨10.1109/icsea.2009.21⟩. ⟨hal-00812189⟩
titre
Symbolic Execution Techniques Extended to Systems.
auteur
Christophe Gaston, Marc Aiguier, Diane Bahrami, Arnaud Lapitre
article
International Conference on Software Engineering Advances (ICSEA), Sep 2009, Porto, Portugal. pp.78-85, ⟨10.1109/icsea.2009.21⟩
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00812189/file/ICSEA09.pdf BibTex
ref_biblio
Delphine Longuet, Marc Aiguier. Integration Testing from Structured First-Order Specifications via Deduction Modulo.. Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Aug 2009, Kuala Lumpur, Malaysia. pp.261-276, ⟨10.1007/978-3-642-03466-4_17⟩. ⟨hal-00812193⟩
titre
Integration Testing from Structured First-Order Specifications via Deduction Modulo.
auteur
Delphine Longuet, Marc Aiguier
article
Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Aug 2009, Kuala Lumpur, Malaysia. pp.261-276, ⟨10.1007/978-3-642-03466-4_17⟩
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00812193/file/ICTAC09.pdf BibTex

2008

Communication dans un congrès

ref_biblio
Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall. Graph Transformation for Topology Modelling..  4th International Conference on Graph Transformation (ICGT'08), Sep 2008, Leicester, United Kingdom. pp.147-161, ⟨10.1007/978-3-540-87405-8_11⟩. ⟨hal-00341176⟩
titre
Graph Transformation for Topology Modelling.
auteur
Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall
article
 4th International Conference on Graph Transformation (ICGT'08), Sep 2008, Leicester, United Kingdom. pp.147-161, ⟨10.1007/978-3-540-87405-8_11⟩
Accès au bibtex
BibTex
ref_biblio
Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil. Testing of Software and Communicating Systems. 20th IFIP TC/WG 6.1 International Conference, TestCom 2008 - 8 th International Workshop, TATES 2008, Jun 2008, Tokyo, Japan. pp.184-199, ⟨10.1007/978-3-540-68524-1⟩. ⟨hal-00289229⟩
titre
Testing of Software and Communicating Systems
auteur
Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil
article
20th IFIP TC/WG 6.1 International Conference, TestCom 2008 - 8 th International Workshop, TATES 2008, Jun 2008, Tokyo, Japan. pp.184-199, ⟨10.1007/978-3-540-68524-1⟩
Accès au bibtex
BibTex
ref_biblio
Matthieu Manceny, Marc Aiguier, Pascale Le Gall, Joan Hérisson, Ivan Junier, et al.. Spatial Information and Boolean Genetic Regulatory Networks.. Bioinformatics and Computational Biology (BICoB), Apr 2008, New Orleans, United States. pp.270-281, ⟨10.1007/978-3-642-00727-9_26⟩. ⟨hal-00812184⟩
titre
Spatial Information and Boolean Genetic Regulatory Networks.
auteur
Matthieu Manceny, Marc Aiguier, Pascale Le Gall, Joan Hérisson, Ivan Junier, François Képès
article
Bioinformatics and Computational Biology (BICoB), Apr 2008, New Orleans, United States. pp.270-281, ⟨10.1007/978-3-642-00727-9_26⟩
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-00812184/file/grn.pdf BibTex
ref_biblio
Patricia Mouy, Bruno Marre, Nicky Williams, Pascale Le Gall. Generation of All-Paths Unit Test with Function Calls. First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, 2008, Lillehammer, Norway. pp.32--41, ⟨10.1109/ICST.2008.35⟩. ⟨hal-01810199⟩
titre
Generation of All-Paths Unit Test with Function Calls
auteur
Patricia Mouy, Bruno Marre, Nicky Williams, Pascale Le Gall
article
First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, 2008, Lillehammer, Norway. pp.32--41, ⟨10.1109/ICST.2008.35⟩
Accès au bibtex
BibTex

Chapitre d'ouvrage

ref_biblio
Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, François Képès, Agnès Arnould, et al.. Toward a computer-aided methodology for topology-based simulation of the Golgi apparatus. Proc. of the Lille Spring school on Modelling and simulation of biological processes in the context of genomics, EDP SCIENCES, pp.89--104, 2008. ⟨hal-00353755⟩
titre
Toward a computer-aided methodology for topology-based simulation of the Golgi apparatus
auteur
Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, François Képès, Agnès Arnould, Philippe Meseure, Jean-Marc Verbavatz, Alain Rambourg
article
Proc. of the Lille Spring school on Modelling and simulation of biological processes in the context of genomics, EDP SCIENCES, pp.89--104, 2008
Accès au bibtex
BibTex

2007

Article dans une revue

ref_biblio
Marc Aiguier, Diane Bahrami. Structures for abstract rewriting. Journal of Automated Reasoning, 2007, 38, pp.303--351. ⟨10.1007/s10817-006-9065-7⟩. ⟨hal-00341965⟩
titre
Structures for abstract rewriting
auteur
Marc Aiguier, Diane Bahrami
article
Journal of Automated Reasoning, 2007, 38, pp.303--351. ⟨10.1007/s10817-006-9065-7⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00341965/file/jar07.pdf BibTex
ref_biblio
Marc Aiguier, Fabrice Barbier. An Institution-Independent Proof of the Beth Definability Theorem. Studia Logica, 2007, 85 (3), pp.333--359. ⟨hal-00341973⟩
titre
An Institution-Independent Proof of the Beth Definability Theorem
auteur
Marc Aiguier, Fabrice Barbier
article
Studia Logica, 2007, 85 (3), pp.333--359
Accès au texte intégral et bibtex
https://hal.science/hal-00341973/file/sl07.pdf BibTex

2006

Communication dans un congrès

ref_biblio
Agnès Arnould, Marc Aiguier, Laurent Fuchs, Thibaud Brunet. Automatic generation of functional programs from CASL specifications. International Conference on Software Engineering Advances (ICSEA 2006), Oct 2006, Tahiti, French Polynesia. (elec. proc.), ⟨10.1109/ICSEA.2006.261290⟩. ⟨hal-00341983⟩
titre
Automatic generation of functional programs from CASL specifications
auteur
Agnès Arnould, Marc Aiguier, Laurent Fuchs, Thibaud Brunet
article
International Conference on Software Engineering Advances (ICSEA 2006), Oct 2006, Tahiti, French Polynesia. (elec. proc.), ⟨10.1109/ICSEA.2006.261290⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00341983/file/icsea06.pdf BibTex
ref_biblio
Marc Aiguier, Karim Berkani, Pascale Le Gall. Feature specification and static analysis for interaction resolution. 14th International Symposium on Formal Methods (FM 2006), Aug 2006, Hamilton, Canada. pp.364--379, ⟨10.1007/11813040_25⟩. ⟨hal-00341977⟩
titre
Feature specification and static analysis for interaction resolution
auteur
Marc Aiguier, Karim Berkani, Pascale Le Gall
article
14th International Symposium on Formal Methods (FM 2006), Aug 2006, Hamilton, Canada. pp.364--379, ⟨10.1007/11813040_25⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00341977/file/fm06.pdf BibTex

2005

Article dans une revue

ref_biblio
Roxanne Adle, Marc Aiguier, Franck Delaplace. Towards an Automatic Parallelisation of Sparse Matrix Computations. Journal of Parallel and Distributed Computing, 2005, 65 (3), pp.313--330. ⟨hal-00341971⟩
titre
Towards an Automatic Parallelisation of Sparse Matrix Computations
auteur
Roxanne Adle, Marc Aiguier, Franck Delaplace
article
Journal of Parallel and Distributed Computing, 2005, 65 (3), pp.313--330
Accès au texte intégral et bibtex
https://hal.science/hal-00341971/file/jpdc05.pdf BibTex

Communication dans un congrès

ref_biblio
Marc Aiguier, Christophe Gaston, Pascale Le Gall, Delphine Longuet, Assia Touil. A Temporal Logic for Input Output Symbolic Transition Systems. 12th Asia-Pacific Software Engineering Conference (APSEC'05), Dec 2005, Taipei, Taiwan. pp.43--50, ⟨10.1109/APSEC.2005.19⟩. ⟨hal-00341980⟩
titre
A Temporal Logic for Input Output Symbolic Transition Systems
auteur
Marc Aiguier, Christophe Gaston, Pascale Le Gall, Delphine Longuet, Assia Touil
article
12th Asia-Pacific Software Engineering Conference (APSEC'05), Dec 2005, Taipei, Taiwan. pp.43--50, ⟨10.1109/APSEC.2005.19⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00341980/file/apsec05.pdf BibTex
ref_biblio
Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre. Testing from algebraic specifications: test data set selection by unfolding axioms. 5th International Workshop on Formal Approaches to Testing of Software (FATES 2005), 2005, Edinburgh, United Kingdom. pp.203--217, ⟨10.1007/11759744_14⟩. ⟨hal-00341964⟩
titre
Testing from algebraic specifications: test data set selection by unfolding axioms
auteur
Marc Aiguier, Agnès Arnould, Clément Boin, Pascale Le Gall, Bruno Marre
article
5th International Workshop on Formal Approaches to Testing of Software (FATES 2005), 2005, Edinburgh, United Kingdom. pp.203--217, ⟨10.1007/11759744_14⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00341964/file/fates05.pdf BibTex

2000

Communication dans un congrès

ref_biblio
Patrick Bonnin, Laurent Cabaret, Ludovic Raulet, Vincent Hugel, Pierre Blazevic, et al.. Examples of design and achievement of vision systems for mobile robotics applications. Intelligent Systems and Smart Manufacturing, 2000, Boston, France. pp.250-261, ⟨10.1117/12.403769⟩. ⟨hal-03559236⟩
titre
Examples of design and achievement of vision systems for mobile robotics applications
auteur
Patrick Bonnin, Laurent Cabaret, Ludovic Raulet, Vincent Hugel, Pierre Blazevic, Nacer M'Sirdi, Philippe Coiffet
article
Intelligent Systems and Smart Manufacturing, 2000, Boston, France. pp.250-261, ⟨10.1117/12.403769⟩
Accès au bibtex
BibTex