Semantic search
Title | Authors | Published in | Date | |
---|---|---|---|---|
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 Checking | 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 |
Towards Better Heuristics for Solving Bounded Model Checking Problems | Towards Better Heuristics for Solving Bounded Model Checking Problems | Anissa Kheireddine Étienne Renault Souheib Baarir | Constraints | 9 December 2022 |
Higher-Dimensional Timed and Hybrid Automata | Higher-Dimensional Timed and Hybrid Automata | Uli Fahrenberg | Leibniz Transactions on Embedded Systems | 8 December 2022 |
CosySEL: Improving SAT Solving Using Local Symmetries | 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 |
Energy Problems in Finite and Timed Automata with Büchi Conditions | 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 |
Diversifying a Parallel SAT Solver with Bayesian Moment Matching | 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 |
Introduction to the Special Issue on Distributed Hybrid Systems | Introduction to the Special Issue on Distributed Hybrid Systems | Alessandro Abate Uli Fahrenberg FränzleMartin | Leibniz Transactions on Embedded Systems | 8 December 2022 |
The Dahu Graph-Cut for Interactive Segmentation on 2D/3D Images | 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 |
Featured Games | Featured Games | Uli Fahrenberg Axel Legay | Science of Computer Programming | 1 November 2022 |