Special

Semantic search

Condition
Printout selection
Options
Parameters [
limit:

The maximum number of results to return
offset:

The offset of the first result
link:

Show values as links
headers:

Display the headers/property names
mainlabel:

The label to give to the main page name
intro:

The text to display before the query results, if there are any
outro:

The text to display after the query results, if there are any
searchlabel:

Text for continuing the search
default:

The text to display if there are no query results
import-annotation:

Additional annotated data are to be copied during the parsing of a subject
propsep:

The separator between the properties of a result entry
valuesep:

The separator between the values for a property of a result
template:

The name of a template with which to display the printouts
named args:

Name the arguments passed to the template
userparam:

A value passed into each template call, if a template is used
class:

An additional CSS class to set for the list
introtemplate:

The name of a template to display before the query results, if there are any
outrotemplate:

The name of a template to display after the query results, if there are any
sep:

The separator between results
Sort options
Delete
Add sorting condition
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