MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Hesham Hallal" – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

A Model Checking Approach to Network Fault Management
by Hesham Hallal, Alexandre Petrenko, Sergiy Boroday, Andreas Ulrich
… literally Hesham Hallal, Alexandre Petrenko, Sergiy Boroday CRIM, 550 Sherbrooke West, Suite 100, Montreal…
Add To MetaCart

Using SDL Tools to Test Properties of Distributed Systems”, Workshop on Formal Approaches to Testing
by Hesham Hallal, Alex Petrenko, Andreas Ulrich, Sergiy Boroday — 2001 — of Software (FATES) in affiliation with CONCUR 2001
…Using SDL Tools to Test Properties of Distributed Systems Hesham Hallal 1 , Alex Petrenko 1…
Cited by 4 (1 self) – Add To MetaCart

An Automata-based Approach to Property Testing in Event Traces
by Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko, Re Petrenko — 2003 — In Proceedings of the IFIP TC6/WG6.1 XV International Conference on Testing of Communicating Systems (TestCom 2003), volume 2644 of LNCS
…An Automata-based Approach to Property Testing in Event Traces Hesham Hallal 1 , Sergiy Boroday 1…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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