X-machines Biblography




2000.

  • T. Balanescu, M. Gheorghe, M. Holcombe, "Deterministic stream X-machines based on grammar systems" in Words, sequences, grammars, languages: where biology, computer science, linguistics and mathematics meet, Volume I, Ed. C. Martin-Vide & V. Mitrana, Kluwer, 2000.

  • F. Ipate & M. Holcombe, "Testing non-deterministic X-machines", in Words, sequences, grammars, languages: where biology, computer science, linguistics and mathematics meet, Volume II, Ed. C. Martin-Vide & V. Mitrana, Kluwer, 2000. "X-machines in Computing, Biology and Art". Proceedings, Grammar Systems 2000, ed. R. Freund & A. Kelemenova, Silesian University at Opava, Czech republic, ISBN 80-7248-067-7, 343-346, 2000.

  • T. Balanescu, M. Gheorghe & M. Holcombe, A subclass of stream X-machines with underlying distributed grammars, Proceedings, Grammar Systems 2000, ed. R. Freund & A. Kelemenova, Silesian University at Opava, Czech republic, ISBN 80-7248-067-7, 93-112, 2000.

  • Z. Duan, M. Holcombe, A. Bell, "A logic for Biological Systems", Biosystems, 55(1-3), 93-105, 2000.

    1999.

  • T. Balaneascu, A. J. Cowling, H. Gheorgescu, M. Gheorghe, M. Holcombe and C. Vertan. "Communicating Stream X-machines Systems are no more than X-machines". Journal of Universal Computer Science, Volume 5, no. 9, 494-507, 1999.

  • P. Kefalas and E. Kapeti, "A Design Language and Tool for X-Machines Specification" in "Advances in Informatics" edited by D.I. Fotiadis, S.D. Nikolopoulos, World Scientific.

    1998.

  • F. Ipate and M. Holcombe, "A method for refining and testing generalised machine specifications." Int. Jour. Comp. Math. 68, 197-219, 1998.
  • F. Ipate & M. Holcombe. "Specification and testing using generalised machines: a presentation and a case study." Software testing, Verification and Reliability, 8, 61-81, 1998.
  • K. Bogdanov and M. Holcombe, "Automated Test Set Generation for Statecharts, in Applied Formal Methods FM-Trends 98 (Boppard, Germany), D. Hutter, W. Stephan, P. Traverso & M. Ullmann (Editors), Springer LNCS Series, 1641.
  • A. Bell and M. Holcombe, "Computational models of immunological systems." In "Information Processing in Cells and Tissues", (eds.) M. Holcombe & R. Paton, 213-226. Plenum Press, 1998.
  • M. Holcombe and F. Ipate, "Correct systems - building a business process solution." Springer, Applied Computing Series,1998.

    1997.


  • K. Bogdanov, M. Fairtlough, M. Holcombe, F. Ipate and C. Jordan, "X-machine Specification and Refinement of Digital Devices." Department of Computer Science Internal report, University of Sheffield.
  • M. Holcombe, "Notes on Machine-based testing." Department of Computer Science Internal Report, University of Sheffield.
  • M. Holcombe and Z. Duan, "A hybrid projection temporal logic for hybrid systems." Department of Computer Science Internal Report, 1997.
  • F.Ipate and M. Holcombe, "An Integration Testing method which is proved to find all faults." Int. Jour. Comp. Math. 63, 159-178, 1997.
  • M. Holcombe, " When testing is done." Proc. EuroSTAR97, Edinburgh. 1997.
  • M. Holcombe, "Almost all software testing is futile." Department of Computer Science Internal Report, University of Sheffield.
  • M. Holcombe, "When Testing is Done." Proc. EuroSTAR'97. Edinburgh, 1997.

    1996.


  • Z.H. Duan and M. Holcombe, "From Requirements to Specifications for Hybrid Systems", Proceedings of the International Symposium on Future Software Technology, pp239--246, Xian, China, Oct 9-11, 1996.
  • F.Ipate and M. Holcombe. "Another look at computability." Informatica, 20, 359-372, 1996. Draft version of the above paper.
  • A. Bell and M. Holcombe. "Computational models of cellular processing." in Computation in Cellular and Molecular Biological Systems. M. Holcombe, R. Paton and R. Cuthbertson (Eds.) , World Scientific Press, Singapore, 1996.

    1995.


  • M.Fairtlough, M. Holcombe, F.Ipate, C.Jordan, G.Laycock and Z.Duan. "Using an X-machine to model a video cassette recorder" Current issues in Electronic modelling. 3, 141-151, 1995.
  • Z.Duan, M. Holcombe and D.A. Linkens. "Modelling of a soaking Pit Furnace in Hybrid Machines" Systems Analysis, Modelling, and Simulation. 18, 153-157, 1995.
  • Z.H Duan, M. Holcombe and D.A. Linkens, `Specification of a Soaking Pit System in Parallel Hybrid Machines', In Proceedings of the 21 Euromicro Conference, IEEE/CS, p241-247, Como, Italy, Semtember 4-7 , 1995.
  • M. Holcombe, F.Ipate and A. Grondoudis, "Complete functional testing of safety critical systems. Proc. IFAC Workshop on Emerging Control Technologies. Florida, 1995. Pp. 343-358.
  • F. Ipate, "Theory of X-machines and Applicartions in Specification and Testing." PhD Thesis, University of Sheffield.
  • A. Bell and M. Holcombe. "Computational models of cellular processing." Proc. Conf. on Information Processing in Cells and Tissues '95. Liverpool, pp. 171-184. 1995.
  • F. Ipate, "X-machine based testing." Proc. CSCS, 10(2), Bucharest.

    1994.


  • M. Holcombe "From VLSI through machine models to cellular metabolism." in R.Paton, "Computing with biological metaphors" Chapman & Hall, 1994.
  • M. Holcombe and R.Paton (Liverpool) "Computational models of cellular information systems". IEE Coll. Molecular Bioinformatics, London, 3/1 - 3/5, 1994

  • R.Paton and M. Holcombe (Liverpool) "Computational models of cellular information systems" in "Advances in Molecular Bioinformatics", ed. S. Schulze-Kremer, IOS Press, 1994.
  • Z.Duan, M. Holcombe and D.Linkens, "Timed interval temporal logic and the modelling of hybrid systems." Pro. Eur. Simulation Multi-Conference, Barcelona, 1994. Pp. 534-541.

    1993.


  • M. Holcombe, "An integrated methodology for the formal specification, verification and testing of systems" Proc. Eurostar 93, London.
  • G. T. Laycock, "Theory and Practice of Specificatopn-based Testing." PhD thesis, University of Sheffield.

    1990


  • M. Holcombe, "Software engineering." in Trends in Information Technology. Ed. D.Linkens & R. Nicolson. Peregrinus. 1990. pp 17- 36.

    1988.


  • M. Holcombe, "X-machines as a basis for dynamic systems specification." Software Engineering Journal, 3(2), 69-76.

    1987.

  • M. Holcombe, "Formal methods in the specification of the human-machine interface". International C.I.S. Journal. 1(2),1987,24-34.
  • M. Holcombe, "Algebraic techniques in system specification". Bull. Irish Math. Soc. 21, 1988, 13-28
  • M. Holcombe, "Goal-directed task analysis". Int. CIS Journal, 1(4),1987,14-22.

    1984

  • M. Holcombe,"Systems, machines and algebra". BCS-FACS (6). 1984.


    1974.


  • S. Eilenberg, "Automata, Languages and machines, Volume A. Academic Press.


    Updated: 3/11/99.