Nadjib Lazaar
47
Documents
Présentation
Nadjib Lazaar received his Master Sc. and PhD degrees, both in computer science from University of Rennes1, France, in 2008 and 2011 respectively. Following his PhD, he worked as an INRIA postdoctoral researcherat INRIA-Microsoft Research Joint Center Paris-Saclay till September 2012. In 2012/2013, he worked as post-doctoral researcher at the European ICON project FP7 FET-Open in Montpellier, France. He is currently atenured assistant professor at the University of Montpellier, and a co-head of the COCONUT team at LIRMMlab. His research interests are situated at the crossroads of Constraint Programming (CP), Data Mining (DM),Machine Learning (ML) and Software Testing (ST). In particular, He is interested in developing techniquesand tools for: Constraint Acquisition; Declarative Data Mining; Constraint-Based Software Testing; SoftwareVerification and Validation via Artificial Intelligence.
Publications
|
Boosting the Learning for Ranking PatternsAlgorithms, 2023, 16 (5), pp.218. ⟨10.3390/a16050218⟩
Article dans une revue
hal-04130835v1
|
|
Discovering Program Topoi via Hierarchical Agglomerative ClusteringIEEE Transactions on Reliability, 2018, 67 (3), pp.758-770. ⟨10.1109/TR.2018.2828135⟩
Article dans une revue
lirmm-02088786v1
|
|
Fault localization using itemset mining under constraintsAutomated Software Engineering, 2017, 24 (2), pp.341-368. ⟨10.1007/s10515-015-0189-z⟩
Article dans une revue
lirmm-01276633v1
|
|
Constraint AcquisitionArtificial Intelligence, 2017, 244, pp.315-342. ⟨10.1016/j.artint.2015.08.001⟩
Article dans une revue
lirmm-01276188v1
|
|
Active disjunctive constraint acquisitionKR 2023 - 20th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2023, Rhodes, Greece. pp.512-520, ⟨10.24963/kr.2023/50⟩
Communication dans un congrès
cea-04258912v1
|
|
Towards Trustworthy-AI-by-Design Methodology for Intelligent Radiology SystemsJournée Santé et IA @PFIA_2023, Plate-Forme Intelligence Artificielle - PFIA, Jul 2023, Strasbourg, France
Communication dans un congrès
lirmm-04160772v1
|
|
Analyse de Code Automatique: Revisiter l'Inférence de Préconditions via l'Acquisition de ContraintesJFPC 2023 - Journées Francophones de Programmation par Contraintes@PFIA2023, Jul 2023, Strasbourg, France. pp.81-82
Communication dans un congrès
lirmm-04473797v1
|
|
Approche générique pour l'acquisition de contraintes qualitativesJFPC 2023 - Journées Francophones de Programmation par Contraintes@PFIA2023, Jul 2023, Strasbourg, France. pp.46-47
Communication dans un congrès
lirmm-04473725v1
|
|
Une méthode d'apprentissage par optimisation multicritère pour le rangement de motifs en fouille de donnéesEGC 2022 - 22e Conférence Extraction et Gestion des Connaissances, Jan 2022, Blois, France
Communication dans un congrès
lirmm-03687103v1
|
|
Automated program analysis: revisiting precondition inference through constraint acquisitionIJCAI-ECAI 22 - 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence, Jul 2022, Vienne, Austria. pp.1873-1879, ⟨10.24963/ijcai.2022/260⟩
Communication dans un congrès
cea-04258914v1
|
|
Parallel Constraint AcquisitionAAAI 2021 - 35th Conference on Artificial Intelligence, Sep 2021, virtually, Canada. pp.3860-3867, ⟨10.1609/aaai.v35i5.16504⟩
Communication dans un congrès
lirmm-03687351v1
|
Constraint Programming for Itemset Mining with Multiple Minimum SupportsICTAI 2021 - 33rd IEEE International Conference on Tools with Artificial Intelligence, Nov 2021, Washington, DC, United States. pp.598-603, ⟨10.1109/ICTAI52525.2021.00095⟩
Communication dans un congrès
lirmm-03520973v1
|
|
RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial RobotsCP 2020 - 26th International Conference on Principles and Practice of Constraint Programming, Sep 2020, Louvain-la-Neuve, Belgium. pp.707-723, ⟨10.1007/978-3-030-58475-7_41⟩
Communication dans un congrès
lirmm-03687386v1
|
|
|
Stress Testing of Single-Arm Robots Through Constraint-Based Generation of Continuous TrajectoriesAITest 2019 - 1st IEEE International Conference on Artificial Intelligence Testing, Apr 2019, San francisco, United States. pp.121-128, ⟨10.1109/AITest.2019.00014⟩
Communication dans un congrès
lirmm-02089742v1
|
|
A Multiple Fault Localization Approach based on Multicriteria Analytical Hierarchy ProcessAITest 2019 - 1st IEEE International Conference on Artificial Intelligence Testing, Apr 2019, San Francisco, United States. pp.1-8, ⟨10.1109/AITest.2019.00-16⟩
Communication dans un congrès
lirmm-02089746v1
|
|
Constraint Programming for Mining Borders of Frequent ItemsetsIJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1064-1070, ⟨10.24963/ijcai.2019/149⟩
Communication dans un congrès
lirmm-02310629v1
|
|
Constraint Programming for Association RulesSDM 2019 - 19th SIAM International Conference on Data Mining, May 2019, Calgary, AB, Canada. pp.127-135, ⟨10.1137/1.9781611975673.15⟩
Communication dans un congrès
lirmm-02089719v1
|
|
Deploying Smart Program Understanding on a Large Code BaseAITest 2019 - 1st IEEE International Conference on Artificial Intelligence Testing, Apr 2019, San Francisco, United States. pp.73-80, ⟨10.1109/AITest.2019.000-4⟩
Communication dans un congrès
lirmm-02089733v1
|
|
Discovering Program Topoi Through ClusteringAAAI Conference on Artificial Intelligence, Feb 2018, New Orleans, United States
Communication dans un congrès
lirmm-01790874v1
|
|
User's Constraints in Itemset MiningCP 2018 - 24th International Conference on Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.537-553, ⟨10.1007/978-3-319-98334-9_35⟩
Communication dans un congrès
lirmm-01896872v1
|
|
Time-Bounded Query Generator for Constraint AcquisitionCPAIOR: Integration of Constraint Programming, Artificial Intelligence, and Operations Research, Jun 2018, Delft, Netherlands. pp.1-17, ⟨10.1007/978-3-319-93031-2_1⟩
Communication dans un congrès
lirmm-01897928v1
|
|
Multiple Fault Localization Using Constraint Programming and Pattern MiningIEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2017, Boston, United States. pp.860-867, ⟨10.1109/ICTAI.2017.00134⟩
Communication dans un congrès
lirmm-03130609v1
|
|
Closed-Pattern : Une contrainte globale pour l’extraction de motifs fréquents fermés13èmes Journées Francophones de Programmation par Contraintes (JFPC 2017), Jun 2017, Montreuil sur Mer, France
Communication dans un congrès
hal-02088910v1
|
|
A Global Constraint for Closed Frequent Pattern MiningCP 2016 - 22nd International Conference on Principles and Practice of Constraint Programming, Sep 2016, Toulouse, France. pp.333-349, ⟨10.1007/978-3-319-44953-1_22⟩
Communication dans un congrès
lirmm-01374719v1
|
|
Multiple Constraint AquisitionIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York City, United States. pp.698-704
Communication dans un congrès
lirmm-01374712v1
|
|
Constraint Acquisition Using Recommendation QueriesIJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York City, United States. pp.720-726
Communication dans un congrès
lirmm-01374716v1
|
|
Detecting Types of Variables for Generalization in Constraint AcquisitionICTAI: International Conference on Tools with Artificial Intelligence, Nov 2015, Vietri sul Mare, Italy. pp.413-420, ⟨10.1109/ICTAI.2015.69⟩
Communication dans un congrès
lirmm-01276187v1
|
|
Localisation de fautes à l’aide de la fouille de données sous contraintesCOSI: Colloque sur l'Optimisation et les Systèmes d'Information, Jun 2015, Oran, Algérie
Communication dans un congrès
lirmm-01276185v1
|
|
Towards an MDD-based representation of preferencesCPCR+ITWP@IJCAI, Jul 2015, Buenos Aires, Argentina. pp.34-34
Communication dans un congrès
lirmm-01276183v1
|
|
Acquisition de contraintes avec des requêtes partielles10èmes Journées Francophones de Programmation par Contraintes (JFPC 2014), Jun 2014, Angers, France
Communication dans un congrès
lirmm-01229549v1
|
|
Solve a Constraint Problem without Modeling ItICTAI: International Conference on Tools with Artificial Intelligence, Nov 2014, Limasso, Cyprus. pp.1-7, ⟨10.1109/ICTAI.2014.12⟩
Communication dans un congrès
lirmm-01228368v1
|
|
Boosting Constraint Acquisition via Generalization QueriesECAI: European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.099-104, ⟨10.3233/978-1-61499-419-0-99⟩
Communication dans un congrès
lirmm-01067472v1
|
|
Acquisition de contraintes par requêtes de généralisation10èmes Journées Francophones de Programmation par Contraintes (JFPC 2014), Jun 2014, Angers, France
Communication dans un congrès
lirmm-01229548v1
|
|
Constraint Acquisition via Partial QueriesIJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. pp.475-481
Communication dans un congrès
lirmm-00830325v1
|
|
Cooperation control in Parallel SAT Solving: a Multi-armed Bandit ApproachNIPS 2012 - Workshop on Bayesian Optimization & Decision Making, Dec 2012, Lake Tahoe, United States
Communication dans un congrès
hal-00870946v1
|
|
Constraint-based reachabilityInfinity workshop 2012, Aug 2012, Paris, France. ⟨10.4204/EPTCS.107.4⟩
Communication dans un congrès
hal-00807856v1
|
|
Fault Localization in Constraint Programs22th Int. Conf. on Tools with Artificial Intelligence (ICTAI'2010), 2010, Arras, France
Communication dans un congrès
hal-00699235v1
|
|
On Testing Constraint Programs16th Int. Conf. on Principles and Practices of Constraint Programming (CP'2010), Sep 2010, St Andrews, Scotland, United Kingdom
Communication dans un congrès
hal-00699237v1
|
|
Vers une Théorie du Test des programmes à contraintesCinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Jun 2009, France. pp.65-75
Communication dans un congrès
hal-00387850v1
|
|
New Approaches to Constraint AcquisitionData Mining and Constraint Programming, 10101 (Chapter 3), Springer International Publishing AG, pp.51-76, 2016, Lecture Notes in Computer Science, 978-3-319-50136-9. ⟨10.1007/978-3-319-50137-6_3⟩
Chapitre d'ouvrage
hal-01606245v1
|
Partial Queries for Constraint Acquisition2020
Pré-publication, Document de travail
hal-03088013v1
|
|
Cooperation control in Parallel SAT Solving: a Multi-armed Bandit Approach[Research Report] RR-8070, INRIA. 2012, pp.18
Rapport
hal-00733282v2
|
|
Negation for Free![Research Report] RR-7749, INRIA. 2011, pp.16
Rapport
inria-00629657v1
|
|
On Testing Constraint Programs[Research Report] RR-7291, INRIA. 2010
Rapport
inria-00483410v1
|