Publications

  1. Theodoropoulos, G., Edwards, D., "Towards a Framework for the Distributed Simulation of Asynchronous Hardware", 5th United Kingdom Simulation Society Conference (UKSim 2001), Emmanuel College, Cambridge, United Kingdom, March 28-30, 2001.
  2. Zhang, Q., Theodoropoulos, G., "Towards an Asynchronous MIPS Processor", Presentation at the 3rd ACiD-WG Workshop (EC FP5), Heraklion, Crete, Greece, January 27-28, 2003.
  3. Zhang, Q., Theodoropoulos, G., "Towards an Asynchronous MIPS Processor", The Eighth Asia-Pacific Computer Systems Architecture Conference (ACSAC 2003), Aizu-Wakamatsu City, Japan, September 23 - 26, 2003.
  4. Theodoropoulos, G., Zhang, Q., "A Distributed Colouring Algorithm for Control Hazards in Asynchronous Pipelines", The Seventh International Symposium on Parallel Architectures, Algorithms, and Networks (I-SPAN 2004), Hong Kong, China, May 10 - 12, 2004. (slides)
  5. Zhang, Q., Theodoropoulos, G., "Modelling SAMIPS: A Synthesisable Asynchronous MIPS Processor", IEEE/ACM/SCS 37th Annual Simulation Symposium, Hyatt Regency City, Arlington, VA, April, 2004.
  6. Wang, X., Kwiatkowska, M., Theodoropoulos, G., Zhang, Q., "Towards a unifying CSP approach for hierarchical verification of asynchronous hardware", ENTCS 128(6): 231-246, Fourth International Workshop on Automated Verification of Critical Systems (AVOCS 2004), Co-located with CONCUR 2004, London, UK, September, 2004.
  7. Wang, X., "A CSP translation of Balsa handshake components", Technical report CSR-04-11, School of Computer Science, University of Birmingham, UK, 2004.
  8. Wang, X., Kwiatkowska, M., Theodoropoulos, G., Zhang, Q., "Opportunities and challenges in process-algebraic verification of asynchronous circuit designs", To appear in ENTCS, FMGALS'2005, 2005, Verona, Italy.
  9. Wang, X., Kwiatkowska, M., "Compositional state space reduction using untangled actions", Technical report CSR-06-7, School of Computer Science, University of Birmingham, UK, 2006.
  10. Wang, X., Kwiatkowska, M., "On process-algebraic verification of asynchronous circuits", Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), Turku, Finland, June 2006.
  11. Wang, X., Kwiatkowska, M., "Compositional state space reduction using untangled actions", 13th International Workshop on Expressiveness in Concurrency (EXPRESS 2006), Bonn, Germany, August 2006.