Publications

From LRDE

Here you will find the various forms of communication from LRDE members.

LRDE Progress Report

LRDE Bibliography

Publications

Or


Title Authors Published in Date
diop.22.ieeebigdata Trie-based Output Itemset Sampling Lamine Diop, Cheikh Talibouya Diop, Dominique Li, Arnaud Soulet, GiacomettiArnaud 2022 IEEE International Conference on Big Data (Big Data) 12 December 2022
bouarour.22.ieeebigdata Learning Diversity Attributes in Multi-Session Recommendations Nassim Bouarour, Idir Benouaret, Amer-YahiaSihem 2022 IEEE International Conference on Big Data (Big Data) 12 December 2022
iferroudjene.22.dami Methods for Explaining Top-N Recommendations Through Subgroup Discovery Mouloud Iferroudjene, Corentin Lonjarret, Céline Robardet, Marc Plantevit, AtzmuellerMartin Data Mining and Knowledge Discovery 10 December 2022
renault.22.sttt Go2Pins: A framework for the LTL verification of Go programs (Extended Version) Etienne Renault, Alexandre Kirszenberg, Antoine Martin, Hugo Moreau International Journal on Software Tools for Technology Transfer (STTT) 9 December 2022
kheireddine.22.constraints Towards Better Heuristics for Solving Bounded Model Checking Problems Anissa Kheireddine, Étienne Renault, Souheib Baarrir Constraints 9 December 2022
dziadek.23.fm Energy Problems in Finite and Timed Automata with Büchi Conditions Sven Dziadek, Uli Fahrenberg, Philipp Schlehuber-Caissier International Symposium on Formal Methods (FM) 8 December 2022
abate.22.lites Introduction to the Special Issue on Distributed Hybrid Systems Alessandro Abate, Uli Fahrenberg, FränzleMartin Leibniz Transactions on Embedded Systems 8 December 2022
fahrenberg.22.lites Higher-Dimensional Timed and Hybrid Automata Uli Fahrenberg Leibniz Transactions on Embedded Systems 8 December 2022
vallade.22.setta Diversifying a Parallel SAT Solver with Bayesian Moment Matching V Vallade, S Nejati, J Sopena, V Ganesh, S Baarir Symposium on Dependable Software Engineering TheoriesTools and Applications 8 December 2022
saouli.23.vmcai CosySEL: Improving SAT Solving Using Local Symmetries S Saouli, S Baarir, C Dutheillet, J Devriendt 24th International Conference on Verification, Model Checking, and Abstract Interpretation 8 December 2022

... further results