bibliographer - Tayssir Touili

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Reachability Analysis of Self Modifying Code Tayssir Touili Xin Ye [github]

Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata Ahmed Bouajjani Peter Habermehl Lukáš Holík Tayssir Touili Tomáš Vojnar [github]

Extrapolating Tree Transformations Ahmed Bouajjani Tayssir Touili [github]

Effcient CTL model-checking for pushdown systems Fu Song Tayssir Touili [github]

Regular symbolic analysis of dynamic networks of pushdown systems Ahmed Bouajjani Markus Muller-Olm Tayssir Touili [github]

Reachability Analysis of Process Rewrite Systems Ahmed Bouajjani Tayssir Touili [github]

On Computing Reachability Sets of Process Rewrite Systems Ahmed Bouajjani Tayssir Touili [github]

Widening techniques for regular tree model checking Ahmed Bouajjani Tayssir Touili [github]

Model checking dynamic pushdown networks Fu Song Tayssir Touili [github]

Verifying parallel programs with dynamic communication structures Tayssir Touili Mohamed Faouzi Atig [github]

A generic approach to the static analysis of concurrent programs with procedures Ahmed Bouajjani Javier Esparza Tayssir Touili [github]

Library Size: 13G (11 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]