Special

Semantic search

Title Authors Published in Date
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
fahrenberg.22.lites Higher-Dimensional Timed and Hybrid Automata Uli Fahrenberg Leibniz Transactions on Embedded Systems 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
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
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
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
movn.22.pr The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images Minh Ôn Vũ Ngoc, Edwin Carlinet, Jonathan Fabrizio, Thierry Géraud Pattern Recognition 3 December 2022
fahrenberg.22.scp Featured Games Uli Fahrenberg, Axel Legay Science of Computer Programming 1 November 2022