bibliographer - Rachid Echahed

bibliographer a curated TCS bibliography

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

Verification of context-free timed systems using linear hybrid observers Ahmed Bouajjani Rachid Echahed Riadh Robbana [github]

Verification of nonregular temporal properties for context-free processes Ahmed Bouajjani Rachid Echahed Riadh Robbana [github]

On the Verification Problem of Nonregular Properties for Nonregular Processes Ahmed Bouajjani Rachid Echahed Peter Habermehl [github]

On the Automatic Verification of Systems with Continuous Variables and Unbounded Discrete Data Structures Ahmed Bouajjani Rachid Echahed Riadh Robbana [github]

On the automatic verification of systems with continuous variables and unbounded discrete data structures Ahmed Bouajjani Rachid Echahed Riadh Robbana [github]

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

[show logs] [hide logs]