Moez Krichen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Formal Methods in System Design	2015-03-24	Paper
Off-line test selection with test purposes for non-deterministic timed automata Logical Methods in Computer Science	2012-10-22	Paper
A game approach to determinize timed automata Foundations of Software Science and Computational Structures	2011-05-19	Paper
Off-line test selection with test purposes for non-deterministic timed automata Tools and Algorithms for the Construction and Analysis of Systems	2011-05-19	Paper
Conformance testing for real-time systems Formal Methods in System Design	2009-09-25	Paper
Interesting Properties of the Real-Time Conformance Relation tioco Lecture Notes in Computer Science	2008-09-11	Paper
Model Checking Software Lecture Notes in Computer Science	2007-09-28	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Lecture Notes in Computer Science	2005-08-19	Paper

Research outcomes over time

This page was built for person: Moez Krichen