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

LRDE Progress Report

LRDE Bibliography



Title Authors Published in Date A Myhill-Nerode Theorem for Higher-Dimensional Automata Uli Fahrenberg, Krzysztof Ziemiański Application and Theory of Petri Nets and Concurrency (PETRI NETS) 5 March 2023
fahrenberg.23.alguniv Catoids and Modal Convolution Algebras Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański Algebra Universalis 5 March 2023
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.apsec Tuning SAT Solvers for LTL Model Checking Anissa Kheireddine, Étienne Renault, Souheib Baarir Proceedings of the 29th Asia-Pacific Software Engineering Conference (APSEC'22) 9 December 2022
kheireddine.22.constraints Towards Better Heuristics for Solving Bounded Model Checking Problems Anissa Kheireddine, Étienne Renault, Souheib Baarir Constraints 9 December 2022 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

... further results