PhD :: Mihaela Gheorghiu
Personal PagePublications
Interests: model checking of hardware and software

Contact Information:

PHD Thesis:
[ 2003 -- Current ] N/A
Advisors:

MSC Thesis:
[ 2000 -- 2001 ] Circuit Simulation Using a Hazard Algebra (advisor: J. Brzozowski, University of Waterloo)

More Information:
  • In personal page (see link above).

Publications:


2003:
  • M. Gheorghiu and J. A. Brzozowski. ``Simulation of Feedback-Free Circuits in the Algebra of Transients'', Int. J. Foundations of Computer Science, vol. 14, pp. 1033-1054, December, 2003
    PS PDF Abstract
  • M. Gheorghiu and J. A. Brzozowski. ``Feedback-Free Circuits in the Algebra of Transients'', Implementation and Application of Automata, Springer Lecture Notes in Computer Science, pp. 106-116, June, 2003
    PS PDF Abstract
  • J. A. Brzozowski and M. Gheorghiu. ``Simulation of Gate Circuits in the Algebra of Transients'', Implementation and Application of Automata, Springer Lecture Notes in Computer Science, pp. 57-66, June, 2003
    PS PDF Abstract

For questions and suggestions contact the webmaster
Formal Methods Group, CS Department, University of Toronto 2004