Special

Semantic search

 TitleAuthorsPublished inDate
Go2Pins: A framework for the LTL verification of Go programs (Extended Version)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
Tuning SAT Solvers for LTL Model CheckingTuning SAT Solvers for LTL Model CheckingAnissa Kheireddine
Étienne Renault
Souheib Baarir
Proceedings of the 29th Asia-Pacific Software Engineering Conference (APSEC'22)9 December 2022
Towards Better Heuristics for Solving Bounded Model Checking ProblemsTowards Better Heuristics for Solving Bounded Model Checking ProblemsAnissa Kheireddine
Étienne Renault
Souheib Baarir
Constraints9 December 2022
Higher-Dimensional Timed and Hybrid AutomataHigher-Dimensional Timed and Hybrid AutomataUli FahrenbergLeibniz Transactions on Embedded Systems8 December 2022
CosySEL: Improving SAT Solving Using Local SymmetriesCosySEL: Improving SAT Solving Using Local SymmetriesS Saouli
S Baarir
C Dutheillet
J Devriendt
24th International Conference on Verification, Model Checking, and Abstract Interpretation8 December 2022
Energy Problems in Finite and Timed Automata with Büchi ConditionsEnergy Problems in Finite and Timed Automata with Büchi ConditionsSven Dziadek
Uli Fahrenberg
Philipp Schlehuber-Caissier
International Symposium on Formal Methods (FM)8 December 2022
Diversifying a Parallel SAT Solver with Bayesian Moment MatchingDiversifying a Parallel SAT Solver with Bayesian Moment MatchingV Vallade
S Nejati
J Sopena
V Ganesh
S Baarir
Symposium on Dependable Software Engineering TheoriesTools and Applications8 December 2022
Introduction to the Special Issue on Distributed Hybrid SystemsIntroduction to the Special Issue on Distributed Hybrid SystemsAlessandro Abate
Uli Fahrenberg
FränzleMartin
Leibniz Transactions on Embedded Systems8 December 2022
The Dahu Graph-Cut for Interactive Segmentation on 2D/3D ImagesThe Dahu Graph-Cut for Interactive Segmentation on 2D/3D ImagesMinh Ôn Vũ Ngoc
Edwin Carlinet
Jonathan Fabrizio
Thierry Géraud
Pattern Recognition3 December 2022
Featured GamesFeatured GamesUli Fahrenberg
Axel Legay
Science of Computer Programming1 November 2022