Michael Yoeli's Home Page

Department of Computer Science

The Technion

Haifa 32000, Israel

+972-4-829-4367 (phone - office)

+972-4-824-3837 (phone - home)

+972-4-822-1128 or -829-4353 (fax)

Email address : myoeli@cs.technion.ac.il

Research Interests:

Theory and Applications of Petri Nets
Verified Synthesis of Self-Timed Systems
Formal Verification of Hardware Designs
Formal Verification and Synthesis of Modular Asynchronous Networks

A list of selected publications, list of asynch. reports / papers.
A list of research grants.
A list of Petri-Net publications .