|
|
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
|
| 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
|
| fahrenberg.22.lites
|
Higher-Dimensional Timed and Hybrid Automata
|
Uli Fahrenberg
|
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
|
