QUELQUES RECENTES PUBLICATIONS

REMOTE AGENT FOR CONFORMANCE TESTING OF TIMED-AUTOMATA

PDCN 2005 Conference, Parallel and Distributed Computing and Networks,  IASTED 15-17 février  2005   Innsbruck ,  Autriche

 456-020gey.pdf    RCA(PhD1).ppt

Optimal Homing Sequences for Machines with Timing Constraints

WSEAS Conferences, Italy conference proceedings,  Nov.15-17,  2004 Venice (Venetia)

Testing Problems using Finite Automata with Timing Constraints    Presentation Venise 15-17 nov WSEAE-OHS.ppt

Some Issues on Testing Real-Time Systems,

International  Journal  of Computer and Information Science  2(4): 230 ( november  2001)

IJCIS01.DOC

H.G. Mendelbaum^1,3 ,  R.B. Yehezkael¹  (formerly Haskell),  T. Hirst¹  , A. Teitelbaum¹, S. Bloch²

Parallel Automata and their conflicts
WSEAS CSCC conf., Corfu, Greece, (July 2003)

 http://shekel.jct.ac.il/~rafi/DefiningParAutoConflicts.pdf#search='simon%20bloch%20reims'      WSEAS white-slides2 Parallel Automata.ppt  DefiningParAutoConflicts.pdf 

H.G. Mendelbaum^1,3, R.B. Yehezkael¹ (formerly Haskell), T. Hirst¹,  A. Teitelbaum¹, S. Bloch^1,

Presentation of Parallel Automata and their implementation

WORKSHOP on "SEMANTICS and VERIFICATION of HARDWARE and SOFTWARE SYSTEMS», MAY 20-22,2003, Tel Aviv University, Israel

Parallel Automata5 for the implementation of components.ppt

Timed Test Execution and Translation into TTCN,''  in Proceedings of ACIS Annual International Conference on Computer and   Information Science, ICIS'01 (Orlondo, Florida, USA),

 ETRIJ.ps

 Metric for Timed Systems Testing  

 opodis00.ppt