Searching for authors named "Moez Krichen" – sorted by Relevance.
-
State identification problems for timed automata
- State Identification Problems for Timed Automata ⋆ Moez Krichen and Stavros Tripakis Verimag
- Cited by 2 (1 self) – Add To MetaCart
-
An expressive and implementable formal framework for testing real-time systems
- An Expressive and Implementable Formal Framework for Testing Real-Time Systems ⋆ Moez Krichen
- Cited by 4 (1 self) – Add To MetaCart
-
Black-box conformance testing for real-time systems
- Conformance Testing for Real-Time Systems Moez Krichen ∗ Stavros Tripakis † Abstract We propose a
- Cited by 20 (5 self) – Add To MetaCart
-
Testing conformance of real-time applications by automatic generation of observers
- , Marius Bozga, Moez Krichen, Stavros Tripakis Abstract Verimag Centre Equation, 2, avenue de Vignate
- Cited by 7 (2 self) – Add To MetaCart

