bibliographer - Amélie Stainer

bibliographer a curated TCS bibliography

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

A game approach to determinize timed automata Nathalie Bertrand Amélie Stainer Thierry Jéron Moez Krichen [github]

Reachability of Communicating Timed Processes Lorenzo Clemente Frédéric Herbreteau Amélie Stainer Grégoire Sutre [github]

Contribution to the Verification of Timed Automata: Determinization, Quantitative Verification and Reachability in Networks of Automata Amélie Stainer [github]

Frequencies in forgetful timed automata Amélie Stainer [github]

Off-line test selection with test purposes for non-deterministic timed automata Nathalie Bertrand Thierry Jéron Amélie Stainer Moez Krichen [github]

Reachability of Communicating Timed Processes Lorenzo Clemente Frédéric Herbreteau Amelie Stainer Grégoire Sutre [github]

A Game Approach to Determinize Timed Automata Nathalie Bertrand Amélie Stainer Thierry Jéron Moez Krichen [github]

Off-line test selection with test purposes for non-deterministic timed automata Nathalie Bertrand Thierry Jéron Amélie Stainer Moez Krichen [github]

Emptiness and universality problems in timed automata with positive frequency Nathalie Bertrand Patricia Bouyer Thomas Brihaye Amélie Stainer [github]

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

[show logs] [hide logs]