bibliographer - Thierry Jeron

bibliographer a curated TCS bibliography

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

METHOD AND SYSTEM FOR TESTING OPERATION OF TARGET COMPUTER SYSTEM Reiya Noguchi Thierry Jeron Nicolas Markey Ocan Sankur [github]

Active learning of timed automata with unobservable resets Léo Henry Nicolas Markey Thierry Jéron [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]

Testing for unboundedness of fifo channels Thierry Jéron Claude Jard [github]

On-the-fly verification of finite transition systems Jean-Claude Fernandez Laurent Mounier Claude Jard Thierry Jéron [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]

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

[show logs] [hide logs]