
Nadjib Lazaar
53
Documents
Présentation
Publications
Publications
|
Evaluating Human Trajectory Prediction with Metamorphic TestingMET 2024 - 9th ACM International Workshop on Metamorphic Testing, Sep 2024, Vienna, Austria. pp.34-40, ⟨10.1145/3679006.3685071⟩
Communication dans un congrès
lirmm-04825808
v1
|
|
Analyse de Code Automatique: Revisiter l'Inférence de Préconditions via l'Acquisition de ContraintesJFPC 2023 - 18es Journées Francophones de Programmation par Contraintes@PFIA2023, Jul 2023, Strasbourg, France. pp.81-82
Communication dans un congrès
lirmm-04473797
v1
|
|
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-04160772
v1
|
|
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-04258912
v1
|
|
Approche générique pour l'acquisition de contraintes qualitativesJFPC 2023 - 18es Journées Francophones de Programmation par Contraintes@PFIA2023, Jul 2023, Strasbourg, France. pp.46-47
Communication dans un congrès
lirmm-04473725
v1
|
|
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-03687103
v1
|
|
Automated program analysis: revisiting precondition inference through constraint acquisitionIJCAI-ECAI 2022 - 31st International Joint Conference on Artificial Intelligence | 25th European Conference on Artificial Intelligence, Jul 2022, Vienne, Austria. pp.1873-1879, ⟨10.24963/ijcai.2022/260⟩
Communication dans un congrès
cea-04258914
v1
|
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-03520973
v1
|
|
|
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-03687351
v1
|
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-03687386
v1
|
|
|
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-02089719
v1
|
|
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-02310629
v1
|
|
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-02089742
v1
|
|
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-02089746
v1
|
|
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-02089733
v1
|
|
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-03130609
v1
|
|
Discovering Program Topoi Through ClusteringAAAI Conference on Artificial Intelligence, Feb 2018, New Orleans, United States
Communication dans un congrès
lirmm-01790874
v1
|
|
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-01896872
v1
|
|
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-01897928
v1
|
|
Closed-Pattern : Une contrainte globale pour l’extraction de motifs fréquents fermésJFPC 2017 - 13es Journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France
Communication dans un congrès
hal-02088910
v1
|
|
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-01374716
v1
|
|
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-01276187
v1
|
|
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-01374719
v1
|
|
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-01374712
v1
|
|
Towards an MDD-based representation of preferencesCPCR+ITWP@IJCAI, Jul 2015, Buenos Aires, Argentina. pp.34-34
Communication dans un congrès
lirmm-01276183
v1
|
|
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-01276185
v1
|
|
Acquisition de contraintes par requêtes de généralisationJFPC 2014 - 10es Journées Francophones de Programmation par Contraintes, Jun 2014, Angers, France
Communication dans un congrès
lirmm-01229548
v1
|
|
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-01067472
v1
|
|
Acquisition de contraintes avec des requêtes partiellesJFPC 2014 - 10es Journées Francophones de Programmation par Contraintes, Jun 2014, Angers, France
Communication dans un congrès
lirmm-01229549
v1
|
|
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-01228368
v1
|
|
Constraint-based reachabilityInfinity workshop 2012, Aug 2012, Paris, France. ⟨10.4204/EPTCS.107.4⟩
Communication dans un congrès
hal-00807856
v1
|
|
Constraint Acquisition via Partial QueriesIJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. pp.475-481
Communication dans un congrès
lirmm-00830325
v1
|
|
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-00870946
v1
|
|
Fault Localization in Constraint Programs22th Int. Conf. on Tools with Artificial Intelligence (ICTAI'2010), 2010, Arras, France
Communication dans un congrès
hal-00699235
v1
|
|
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-00699237
v1
|
|
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-00387850
v1
|
|
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-01606245
v1
|
|
Partial Queries for Constraint Acquisition2020
Pré-publication, Document de travail
hal-03088013
v1
|
|
Cooperation control in Parallel SAT Solving: a Multi-armed Bandit Approach[Research Report] RR-8070, INRIA. 2012, pp.18
Rapport
(rapport de recherche)
hal-00733282
v2
|
|
Negation for Free![Research Report] RR-7749, INRIA. 2011, pp.16
Rapport
(rapport de recherche)
inria-00629657
v1
|
|
On Testing Constraint Programs[Research Report] RR-7291, INRIA. 2010
Rapport
(rapport de recherche)
inria-00483410
v1
|
Contraintes et ApprentissageComputer Science [cs]. Université de Montpellier (2022-..), 2022
HDR
tel-04994367
v1
|
Chargement...
Chargement...