Nadjib Lazaar - RankMe

62 papers A* 9A 7B 5Journal 27Unranked 12

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference. J. Artif. Intell. Res. Grégoire Menguy, Sébastien Bardin, Arnaud Gotlieb, Nadjib Lazaar
2025	J	`jnl`	Explainable Scene Understanding with Qualitative Representations and Graph Neural Networks. CoRR Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
2025	—	`conf`	MED-TAID : Un outil pour évaluer la confiance des systèmes médicaux intelligents. EGC Clotilde Brayé, Aurélien Bricout, Arnaud Gotlieb, Nadjib Lazaar, Quentin Vallet
2025	J	`jnl`	Metamorphic Testing of Multimodal Human Trajectory Prediction. CoRR Helge Spieker, Nadjib Lazaar, Arnaud Gotlieb, Nassim Belmecheri
2025	J	`jnl`	Metamorphic Testing of Multimodal Human Trajectory Prediction. Inf. Softw. Technol. Helge Spieker, Nadjib Lazaar, Arnaud Gotlieb, Nassim Belmecheri
2025	J	`jnl`	Optimizing Ethical Risk Reduction for Medical Intelligent Systems with Constraint Programming. CoRR Clotilde Brayé, Aurélien Bricout, Arnaud Gotlieb, Nadjib Lazaar, Quentin Vallet
2025	J	`jnl`	Rashomon in the Streets: Explanation Ambiguity in Scene Understanding. CoRR Helge Spieker, Jørn Eirik Betten, Arnaud Gotlieb, Nadjib Lazaar, Nassim Belmecheri
2024	J	`jnl`	Corrigendum to "Learning constraints through partial queries" [Artificial Intelligence 319 (2023) 103896]. Artif. Intell. Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh
2024	J	`jnl`	Empowering UAV Communications with AI-Assisted Software-Defined Networks: A Review on Performance, Security, and Efficiency. J. Netw. Syst. Manag. Mohamed Amine Ould Rabah, Hamza Drid, Mohamed Rahouti, Nadjib Lazaar
2024	—	`conf`	Evaluating Human Trajectory Prediction with Metamorphic Testing. MET@ISSTA Helge Spieker, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar
2024	J	`jnl`	Evaluating Human Trajectory Prediction with Metamorphic Testing. CoRR Helge Spieker, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar
2024	J	`jnl`	Query-driven Qualitative Constraint Acquisition. J. Artif. Intell. Res. Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
2024	J	`jnl`	Towards Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations. CoRR Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
2024	J	`jnl`	Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations. CoRR Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
2023	J	`jnl`	Acquiring Qualitative Explainable Graphs for Automated Driving Scene Interpretation. CoRR Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
2023	A*	`conf`	Active Disjunctive Constraint Acquisition. KR Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb
2023	J	`jnl`	Boosting the Learning for Ranking Patterns. Algorithms Nassim Belmecheri, Noureddine Aribi, Nadjib Lazaar, Yahia Lebbah, Samir Loudni
2023	J	`jnl`	Learning constraints through partial queries. Artif. Intell. Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh
2022	A*	`conf`	Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition. IJCAI Grégoire Menguy, Sébastien Bardin, Nadjib Lazaar, Arnaud Gotlieb
2022	J	`jnl`	Boosting the Learning for Ranking Patterns. CoRR Nassim Belmecheri, Noureddine Aribi, Nadjib Lazaar, Yahia Lebbah, Samir Loudni
2022	—	`book`	Contraintes et Apprentissage. Nadjib Lazaar
2022	A*	`conf`	GEQCA: Generic Qualitative Constraint Acquisition. AAAI Mohamed-Bachir Belaid, Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar, Helge Spieker
2022	—	`conf`	Une méthode d'apprentissage par optimisation multicritère pour le rangement de motifs en fouille de données. EGC Nassim Belmecheri, Noureddine Aribi, Nadjib Lazaar, Yahia Lebbah, Samir Loudni
2021	B	`conf`	Constraint Programming for Itemset Mining with Multiple Minimum Supports. ICTAI Mohamed-Bachir Belaid, Nadjib Lazaar
2021	J	`jnl`	Frequent Itemset Mining with Multiple Minimum Supports: a Constraint-based Approach. CoRR Mohamed-Bachir Belaid, Nadjib Lazaar
2021	A*	`conf`	Parallel Constraint Acquisition. AAAI Nadjib Lazaar
2021	J	`jnl`	Solve Optimization Problems with Unknown Constraint Networks. CoRR Mohamed-Bachir Belaid, Arnaud Gotlieb, Nadjib Lazaar
2020	J	`jnl`	Computational Complexity of Three Central Problems in Itemset Mining. CoRR Christian Bessiere, Mohamed-Bachir Belaid, Nadjib Lazaar
2020	J	`jnl`	Partial Queries for Constraint Acquisition. CoRR Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh
2020	A	`conf`	RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots. CP Mathieu Collet, Arnaud Gotlieb, Nadjib Lazaar, Mats Carlsson, Dusica Marijan, Morten Mossige
2019	—	`conf`	A Multiple Fault Localization Approach Based on Multicriteria Analytical Hierarchy Process. AITest Noureddine Aribi, Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar
2019	A	`conf`	Constraint Programming for Association Rules. SDM Mohamed-Bachir Belaid, Christian Bessiere, Nadjib Lazaar
2019	A*	`conf`	Constraint Programming for Mining Borders of Frequent Itemsets. IJCAI Mohamed-Bachir Belaid, Christian Bessiere, Nadjib Lazaar
2019	—	`conf`	Deploying Smart Program Understanding on a Large Code Base. AITest Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar
2019	—	`conf`	Stress Testing of Single-Arm Robots Through Constraint-Based Generation of Continuous Trajectories. AITest Mathieu Collet, Arnaud Gotlieb, Nadjib Lazaar, Morten Mossige
2018	A*	`conf`	Discovering Program Topoi Through Clustering. AAAI Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar
2018	J	`jnl`	Discovering Program Topoi via Hierarchical Agglomerative Clustering. IEEE Trans. Reliab. Carlo Ieva, Arnaud Gotlieb, Souhila Kaci, Nadjib Lazaar
2018	B	`conf`	Time-Bounded Query Generator for Constraint Acquisition. CPAIOR Hajar Ait Addi, Christian Bessiere, Redouane Ezzahir, Nadjib Lazaar
2018	A	`conf`	User's Constraints in Itemset Mining. CP Christian Bessiere, Nadjib Lazaar, Mehdi Maamar
2018	J	`jnl`	Users Constraints in Itemset Mining. CoRR Christian Bessiere, Nadjib Lazaar, Yahia Lebbah, Mehdi Maamar
2017	J	`jnl`	Constraint acquisition. Artif. Intell. Christian Bessiere, Frédéric Koriche, Nadjib Lazaar, Barry O'Sullivan
2017	J	`jnl`	Fault localization using itemset mining under constraints. Autom. Softw. Eng. Mehdi Maamar, Nadjib Lazaar, Samir Loudni, Yahia Lebbah
2017	B	`conf`	Multiple Fault Localization Using Constraint Programming and Pattern Mining. ICTAI Noureddine Aribi, Mehdi Maamar, Nadjib Lazaar, Yahia Lebbah, Samir Loudni
2016	A	`conf`	A Global Constraint for Closed Frequent Pattern Mining. CP Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar, Valentin Lemière, Christian Bessiere, Patrice Boizumault
2016	J	`jnl`	A global constraint for closed itemset mining. CoRR Mehdi Maamar, Nadjib Lazaar, Samir Loudni, Yahia Lebbah
2016	A*	`conf`	Constraint Acquisition with Recommendation Queries. IJCAI Abderrazak Daoudi, Younes Mechqrane, Christian Bessiere, Nadjib Lazaar, El-Houssine Bouyakhf
2016	A*	`conf`	Multiple Constraint Acquisition. IJCAI Robin Arcangioli, Christian Bessiere, Nadjib Lazaar
2016	—	`ch.`	New Approaches to Constraint Acquisition. Data Mining and Constraint Programming Christian Bessiere, Abderrazak Daoudi, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Younes Mechqrane, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2015	B	`conf`	Detecting Types of Variables for Generalization in Constraint Acquisition. ICTAI Abderrazak Daoudi, Nadjib Lazaar, Younes Mechqrane, Christian Bessiere, El-Houssine Bouyakhf
2015	—	`conf`	Multiple Constraint Acquisition. CPCR+ITWP@IJCAI Robin Arcangioli, Nadjib Lazaar
2015	—	`conf`	Towards an MDD-based Representation of Preferences. CPCR+ITWP@IJCAI Noureddine Aribi, Souhila Kaci, Nadjib Lazaar
2014	A	`conf`	Boosting Constraint Acquisition via Generalization Queries. ECAI Christian Bessiere, Remi Coletta, Abderrazak Daoudi, Nadjib Lazaar, Younes Mechqrane, El-Houssine Bouyakhf
2014	B	`conf`	Solve a Constraint Problem without Modeling It. ICTAI Christian Bessiere, Remi Coletta, Nadjib Lazaar
2013	A*	`conf`	Constraint Acquisition via Partial Queries. IJCAI Christian Bessiere, Remi Coletta, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Toby Walsh
2012	J	`jnl`	A CP framework for testing CP. Constraints An Int. J. Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah
2012	—	`conf`	Constraint-based reachability Infinity Arnaud Gotlieb, Tristan Denmat, Nadjib Lazaar
2011	A	`conf`	A Framework for the Automatic Correction of Constraint Programs. ICST Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah
2011	—	`conf`	CPTEST: A Framework for the Automatic Fault Detection, Localization and Correction of Constraint Programs. ICST Workshops Nadjib Lazaar
2010	—	`conf`	Fault Localization in Constraint Programs. ICTAI (1) Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah
2010	J	`jnl`	On Testing Constraint Programs CoRR Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah
2010	A	`conf`	On Testing Constraint Programs. CP Nadjib Lazaar, Arnaud Gotlieb, Yahia Lebbah
2008	—	`conf`	Towards Constraing-Based Local Search for Automatic Test Data Generation. ICST Workshops Arnaud Gotlieb, Nadjib Lazaar, Yahia Lebbah