bibliographer - Moez Krichen

bibliographer a curated TCS bibliography

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

Testing Timed Systems Using Determinization Techniques for One-Clock Timed Automata Moez Krichen [github]

Conformance testing for real-time systems Moez Krichen Stavros Tripakis [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]

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]

A formal framework for black-box conformance testing of distributed real-time systems Moez Krichen [github]

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

[show logs] [hide logs]