MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Moez Krichen" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

State identification problems for timed automata
by Moez Krichen, Stavros Tripakis — 2005 — Proc. of the 17th IFIP Int’l Conf. on Testing of Communicating Systems (TestCom 2005). LNCS 3502
…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
by Moez Krichen, Stavros Tripakis — 2005 — In Proc. 17th IFIP Int. Conf. on Testing of Communicating Systems (TESTCOM’05), LNCS
…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
by Moez Krichen, Stavros Tripakis — 2004 — In 11th International SPIN Workshop on Model Checking of Software (SPIN’04), volume 2989 of LNCS
…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
by Saddek Bensalem, Marius Bozga, Moez Krichen, Stavros Tripakis — 2004 — In Runtime Verification (RV’04
…, Marius Bozga, Moez Krichen, Stavros Tripakis Abstract Verimag Centre Equation, 2, avenue de Vignate…
Cited by 7 (2 self) – Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB