Moez Krichen

Available identifiers

zbMath Open krichen.moezMaRDI QIDQ842582

List of research outcomes

Publication	Date of Publication	Type
Testing real-time systems using determinization techniques for automata over timed domains	2019-12-12	Paper
A game approach to determinize timed automata	2015-03-24	Paper
Off-line test selection with test purposes for non-deterministic timed automata	2012-10-22	Paper
A game approach to determinize timed automata	2011-05-19	Paper
Off-line test selection with test purposes for non-deterministic timed automata	2011-05-19	Paper
Conformance testing for real-time systems	2009-09-25	Paper
Interesting Properties of the Real-Time Conformance Relation tioco	2008-09-11	Paper
Model Checking Software	2007-09-28	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems	2005-08-19	Paper

Research outcomes over time

This page was built for person: Moez Krichen