Home | Bibliography X-Machines.Com

HOME

Theory of X-Machines

Reference

MOTIVE

Bibliography


1970 | 1971 | 1972 | 1973 | 1974 | 1975 | 1976 | 1977 | 1978 | 1979
1980 | 1981 | 1982 | 1983 | 1984 | 1985 | 1986 | 1987 | 1988 | 1989
1990 | 1991 | 1992 | 1993 | 1994 | 1995 | 1996 | 1997 | 1998 | 1999
2000 | 2001 | 2002 | 2003 | 2004 | 2005 | 2006 | 2007 | 2008 | 2009
If you know of other publications related to X-machines, please contact us with the details. Thank you!

2005

  • Kefalas, P., Holcombe, M., Eleftherakis G. & M. Gheorghe (2005) "Formal development of reactive agent-based systems", in: Mehdi Khosrow-Pour, ed., Encyclopedia of Information Science and Technology, pp. 1201-1204. Idea Group Publishing, 2005.
     
  • Kefalas, P., Eleftherakis, G., Holcombe, M. & I. Stamatopoulou (2005) "Formal modelling of the dynamic behaviour of biology-inspired agent-based systems", in: Gheorghe, M., ed., Molecular Computational Models: Unconventional Approaches, chapter 9, pp. 243-276. Idea Group Publishing, 2005.
     
  • Stannett, M. (2005, to appear) 'Simulation Testing of Automata'. Formal Aspects of Computing (Special Issue on Formal Methods in Testing)
     

2004

  • Eleftherakis, G. & A.J. Cowling (2004) "An Agile Formal Development Methodology", in: K. Tigka & Kefalas, P., eds., Proceedings of the First South-East European Workshop on Formal Methods, Thessaloniki, 20 November 2003, Thessaloniki, Greece: SEERC. pp. 119-137.
     
  • Eleftherakis, G., Kefalas, P., Sotiriadou, A. & E. Kehris (2004) "Modeling Biology Inspired Reactive Agents Using X-machines", in: International Conference on Computational Intelligence (ICCI04), Istanbul, December 2004.
     
  • I. Stamatopoulou, Gheorghe, M. & P. Kefalas (2004) "Modelling of Dynamic Configuration of Biology-Inspired Multi-Agent Systems with Communicating X-machines and P Systems", in: 5th Workshop in Membrane Computing, Milan, Italy, 2004.
     
  • Stannett, M. (2004) 'X-machines correctness via testing'. FACS FACTS, 2004-02, pp. 32-38.
     

2003

  • Eleftherakis, G. (2003) Formal Verification of X-Machine models: Towards Formal Development of Computer-Based Systems. PhD Thesis, Department of Computer Science, University of Sheffield, United Kingdom.
     
  • Eleftherakis, G. & A.J. Cowling (2003) "An Agile Formal Development Methodology", in: 1st South Eastern European workshop on Formal Methods (SEEFM 03), Thessaloniki, November 2003. Agile Formal Methods: Practical, Rigorous Methods for a changing world, pp. 36-47.
     
  • Eleftherakis, G., Sotiriadou, A. & P. Kefalas (2003) "Formal Modelling and Verification of Reactive Agents for Intelligent Control", in: 12th Intelligent Systems Application to Power Systems Conference (ISAP03), Lemnos, Greece, September 2003. IEEE Power Engineering Society.
     
  • Ipate, F., Balanescu, T. & G. Eleftherakis (2003) "Testing Communicating Stream X-machines", in: 1st Balkan Conference on Informatics, pp. 161-173, Thessaloniki, November 2003.
     
  • Ipate, F., Balanescu, T., Kefalas, P., Holcombe, M. & G. Eleftherakis (2003) 'A new model of communicating stream X-machine system'. Romanian Journal of Information Science and Technology (ROMJIST) 6(1-2), pp. 165-183, 2003.
     
  • Kefalas, P., Eleftherakis, G., Holcombe, M. & M. Gheorghe (2003) 'Simulation and Verification of P Systems using Communicating X-machines'. Biosystems 70(2), pp. 135-148, July 2003.
     
  • Kefalas, P., Eleftherakis, G. and E. Kehris (2003) 'Communicating X-machines: a practical approach for formal and modular specification of large systems'. Information and Software Technology 45(5), pp. 269-280, April 2003.
     
  • Kefalas, P., Eleftherakis, G. & E. Kehris (2003) "Communicating X-machines: from theory to practice", in: Y. Manolopoulos, S. Evripidou, and A. Kakas, eds., Advances in Informatics, volume 2563 of Lecture Notes in Computer Science, pp. 316-335. Springer-Verlag, 2003.
     
  • Kefalas, P., Eleftherakis, G. & A. Sotiriadou (2003) "Developing Tools for Formal Methods", in: 9th Panhellenic Conference on Informatics, pp. 625-639, Thessaloniki, November 2003.
     
  • Kefalas, P., M. Holcombe, Eleftherakis, G. & M. Gheorghe (2003) "A formal method for the development of agent-based systems", in: V. Plekhanova, ed., Intelligent Agent Software Engineering, chapter 4, pp. 68-98. Idea Group Publishing, 2003.
     

2002

  • Aguardo, J. & A.J. Cowling (2002) "Design Models and the Complexity of the Testing Problem for Distributed Systems", in: G. Lüttgen, M. Mendler & F. Maraninchi, eds., Proceedings of the Workshop on Semantic Foundations of Engineering Design Languages, Grenoble, 14 April 2002, pp. 119-137.
     
  • Aguardo, J. & A.J. Cowling (2002) Foundations of the X-Machine Theory for Testing. Technical Report CS-02-06, Department of Computer Science, University of Sheffield, United Kingdom.
     
  • Aguardo, J. & A.J. Cowling (2002) Systems of Communicating X-machines for Specifying Distributed Systems. Technical Report CS-02-07, Department of Computer Science, University of Sheffield, United Kingdom.
     
  • Aguardo, J., Balanescu, T., Cowling, A.J., Gheorghe, M., Holcombe, M. & F. Ipate (2002) 'P-Systems with Replicated Rewriting and Stream X-Machines (Eilenberg Machines)'. Fundamenta Informaticae. 49(1-3), pp. 17-33.
     
  • Eleftherakis, G. & P. Kefalas (2002) 'Model Checking Safety-Critical Systems', Buletin Stiintific, Universitatea din Pitesti, Seria Matematica si Informatica, no.8, pp.77-85, 2002. Also published as: 'Model checking safety-critical systems specified as X-machines'. Analele Universitatii Bucuresti, Matematica-Informatica 49, pp. 59-70, 2000.
     
  • Eleftherakis, G., Kefalas, P. & A. Sotiriadou (2002) "Formal Verification of Agent Models", in: I.P. Vlahavas and C.D. Spyropoulos, eds., Proceedings of the 2nd Hellenic Conference on AI (SETN02), pp. 425-435, 2002.
     
  • Kefalas, P. (2002) "Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours", in: I.P. Vlahavas and C.D. Spyropoulos, eds., Methods and Applications of Artificial Intelligence, volume 2308 of Lecture Notes in Computer Science LNCS, pp. 461-472. Springer-Verlag, 2002.
     
  • Simons, A., Stannett, M., Bogdanov, K. & M. Holcombe (2002) 'Plug and Play Safely: Rules for Behavioural Compatibility', Proceedings of IASTED 2002.
     
  • Stannett, M. (2002) "Complete Behavioural Testing (two extensions to state-machine testing)", in: Formal Approaches to Testing (FATES 2002), Brno, Czech Republic, 22 August 2002.
     
  • Stannett, M. (2002) Complete Behavioural Testing. Technical Report CS-02-05, Department of Computer Science, University of Sheffield, United Kingdom.
     
  • Stannett, M. (2002) CCS-Augmented X-Machines. Technical Report CS-02-04, Department of Computer Science, University of Sheffield, United Kingdom.
     

2001

  • Aguardo, J., Balanescu, T., Cowling, A.J., Gheorghe, M. & F. Ipate (2001) "P-Systems with replicated rewriting and stream X-machines", in: C. Martin-Vide & G. Paun, eds., Pre-proceedings of the Workshop on Membrane Computing, Romania, 20-25 August 2001 (Technical Report 17/01, Research Group on Mathematical Linguistics, Rovira i Virgili University, Tarragona, Spain), pp. 7-18.
     
  • Bogdanov, K. & M. Holcombe (2001) 'Statechart testing method for aircraft control systems'. Soft. Test. Verif. Reliab. 11, pp. 39-54.
     
  • Eleftherakis, G. (2001) "A Formal Framework for Modelling and Validating Medical Systems", in: V. Patel, R. Rogers, & R. Haux, eds., MEDINFO 2001, volume 1, pages 13-17, London, UK, September 2001. IOS Press.
     
  • Eleftherakis, G. & P. Kefalas (2001) "Towards model checking of finite state machines extended with memory through refinement", in: G. Antoniou, N. Mastorakis, and O. Panfilov, eds., Advances in Signal Processing and Computer Technologies, pp. 321-326. World Scientific and Engineering Society Press, July 2001.
     
  • Eleftherakis, G., Kefalas, P. & A. Sotiriadou (2001) 'XmCTL: Extending temporal logic to facilitate formal verification of X-machine models'. Analele Universitatii Bucuresti, Matematica-Informatica 50, pp. 79-95.
     
  • Hierons, R.M. & M. Harman (2001) 'Testing conformance to a quasi-nondeterministic stream X-machine'. Formal Aspects of Computing
     
  • Kefalas, P., Eleftherakis, G. & E. Kehris (2001) "Modular Modeling of Large-Scale Systems using Communicating X-machines", in: 8th Panhellenic Conference on Informatics, volume I, pages 20-29, Cyprus, November 2001.
     
  • Stannett, M. (2001) Computation over arbitrary models of time. Technical Report CS-01-08, Dept of Computer Science, Sheffield University, United Kingdom.
     
  • Vanak, S.K. (2001) Complete Functional Testing of Hardware Designs. Preliminary PhD Report, Dept of Computer Science, Sheffield University, United Kingdom.
     

2000

  • Chambers, S. (2000) Applying X-machines in the Retrospective Testing of Software. PhD Thesis, Department of Computer Science, Sheffield University, United Kingdom.
     
  • Cowling, A.J., Georgescu, H. & C. Vertan (2000) 'A Structured Way to use Channels for Communication in X-Machine Systems'. Formal Aspects of Computing, 12(6), pp. 485-500.
     
  • Duan, Z., Holcombe, M. & A. Bell (2000) 'A logic for biological systems'. BioSystems, 55, pp. 93-105.
     
  • Eleftherakis, G. & P. Kefalas (2000) 'Model checking safety-critical systems specified as X-machines'. Analele Universitatii Bucuresti, Matematica-Informatica 49, pp. 59-70. Also published as: 'Model Checking Safety-Critical Systems', Buletin Stiintific, Universitatea din Pitesti, Seria Matematica si Informatica, no.8, pp.77-85, 2002.
     
  • Eleftherakis, G. & P. Kefalas (2000) Model Checking X-Machines: Towards integrated formal development of safety critical systems. Dept of Computer Science, CITY Liberal Studies, 13 Tsimiski Str., 54624 Thessaloniki, Greece.
     
  • Kefalas, P. (2000) Automatic Translation from X-machines to Prolog. Technical Report CS-01/00, Dept of Computer Science, CITY Liberal Studies, 13 Tsimiski Str., 54624 Thessaloniki, Greece.
     
  • Kefalas, P. (2000) Modelling an Agent Reactive Architecture with X-Machines. Dept of Computer Science, CITY Liberal Studies, 13 Tsimiski Str., 54624 Thessaloniki, Greece.
     
  • Kefalas, P. & E. Kapeti (2000) "A Design Language and Tool for X-Machines Specification", in: Fotiadis, D.I. & S.D. Nikolopoulos, eds., Advances in Informatics. World Scientific, April 2000, pp. 134-45.
     
  • Kefalas, P., Eleftherakis, G. & E. Kehris (2000) Communicating X-Machines: A practical approach for modular specification of large systems. Technical Report CS-09/00, Dept of Computer Science, CITY Liberal Studies, 13 Tsimiski Str., 54624 Thessaloniki, Greece.
     
  • Kefalas, P. & A. Sotiriadou (2000) Transforming X-Machines to Z Specification. Technical Report CS-06/00, Dept of Computer Science, CITY Liberal Studies, 13 Tsimiski Str., 54624 Thessaloniki, Greece.
     
  • Kehris, E., Eleftherakis, G. & P. Kefalas (2000) "Using X-Machines to Model and Test Discrete Event Simulation Programs", in: Mastorakis, N., ed., Systems and Control: Theory and Applications. World Scientific and Engineering Society Press, July 2000, pp. 163-168.
     
  • Vanak, S. (2000) X-machines and Verification of HDL Descriptions. Discussion Paper, Dept of Computer Science, Sheffield University, United Kingdom.
     

1999

  • Balanescu, T., Cowling, A.J., Georgescu, H., Holcombe, M. & C. Vertan (1999) 'Communicating Stream X-Machines are no more than X-Machines'. J. Universal Computer Science 5(9).
     
  • Bell, A. (1999) Formal Computational Models of Biological Systems. PhD Thesis, Dept of Computer Science, Sheffield University, United Kingdom.
     

1998

  • Bell, A. (1998) Formal Computational Models Of Biological Systems. PhD Thesis, Department of Computer Science, Sheffield University, United Kingdom.
     
  • Bell, A. & M. Holcombe (1998) "Computational models of immunological pathways", in: Information Processing in Cells and Tissues, M. Holcombe & R. Paton, eds., New York: Plenum Press.
     
  • Bogdanov, K., Holcombe, M. & H. Singh (1998) Testing Statemate Models. Notes presented on "X-Machines Day", Dept of Computer Science, Sheffield University, 24 July 1998.
     
  • Brattka, V. (1998) Recursive and Computable Operations over Topological Structures. PhD Thesis, Fachbereich Informatik, FernUniversität-Gesamthochschule, Hagen, Germany.
     
  • Clark, L. & R. Paton (1998) "Towards computational models of chemotaxis in Escherichia coli", in: Information Processing in Cells and Tissues, M. Holcombe & R. Paton, eds., New York: Plenum Press.
     
  • Duan, Z. & M. Holcombe (1998) A Hybrid Projection Temporal Logic for Hybrid Systems. Dept of Computer Science, Sheffield University, United Kingdom.
     
  • Gheorghe, M. (1998) Stream X-machines and grammar systems. Dept of Computer Science, Faculty of Mathematics, Bucharest University, Str. Academiei 14, 70109 Bucharest, Romania.
     
  • Holcombe, M. & F. Ipate (1998) Correct systems - building a business process solution. Applied Computing Series, Springer Verlag.
     
  • Ipate, F. & M. Holcombe (1998) A method for refining and testing generalised machine specifications. Intern. J. Computer Math. 68, pp. 197-219.
     
  • Jordan, C. (1998) Refinement. Notes presented on "X-Machines Day", Dept of Computer Science, Sheffield University, 24 July 1998.
     
  • Pace, E. (1998) Samuel Eilenberg, Dies; Mathematician at Columbia. The New York Times, Tuesday February 3, 1998, Late Edition - Final, Section B; Page 9; Column 1, Metropolitan Desk.
     

1997

  • Bogdanov, K., Fairtlough M., Holcombe M., Ipate, F. & C. Jordan (1997) X-machine specification and refinement of digital devices. [PostScript]
     
  • Duan, Z. & M. Holcombe (1997) A Hybrid Projection Temporal Logic for Hybrid Systems. [PostScript]
     
  • Ipate, F. & M. Holcombe (1997) An integration testing method that is proven to find all faults. Int. J. Computer Math 69, pp. 159-78.
     

1996

  • Barnard, J. COMX : A methodology for the formal design of computer systems using Communicating X-machines. PhD Thesis, Staffordshire University, United Kingdom.
     
  • Barnard, J., Whitworth, J. & M. Woodward (1996) 'Communicating X-machines'. Information and Software Technology 38(6), June 1996.
     
  • Bell, A. & M. Holcombe (1996) "Computational models of cellular processing", in: Computation in Cellular and Molecular Biological Systems, R. Cuthbertson, M. Holcombe and R. Paton, eds., Singapore: World Scientific.
     
  • Ipate, F. & M. Holcombe (1996) 'Another look at computability'. Informatica 20, pp. 359-72.
     

1995

  • Barnard, J. (1995) 'A refinement procedure for communicating X-machines'. Presented at BCTCS 12, University of Canterbury, April 1996.
     
  • Barnard, J., Theaker, C., Whitworth, J. & M. Woodward (1995) "Real-time communicating X-machines for the formal design of real-time systems", in: Proceedings of DARTS '95, Universite Libre, Brussels, Belguim, November 9-11th November 1995.
     
  • Fairtlough, M., Holcombe, M., Ipate, F., Jordan, C., Laycock, G. & Z. Duan (1995) 'Using an X-machine to model a Video Cassette Recorder'. Current issues in electronic modelling 3, pp. 141-61.
     
  • Ipate, F. (1995) Theory of X-Machines with Applications in Specification and Testing. PhD Thesis, Dept of Computer Science, Sheffield University, United Kingdom. [Index and Zipped Postscript]
     

1994

  • Duan, Z., Holcombe, M. & D.A. Linkens (1994) "Timed interval temporal logic and modelling of hybrid systems", in: A. Guasch & R.M. Huber, eds., Proceedings of Modelling and Simulation ESM'94, Barcelona, Spain, June 1-3, 1994, pp. 534-41,
     
  • Holcombe, M. (1994) "From VLSI through Machine Models to Cellular Metabolism", in: Computing with Biological Metaphors, R. Paton, ed., London: Chapman and Hall, pp. 11-25.
     
  • Stannett, M. (1994) 'Infinite Concurrent Systems - I. The Relationship between Metric and Order Convergence'. Formal Aspects of Computing 6, pp. 696-715.
     

1993

  • Laycock, G. (1993) The Theory and Practice of Specification Based Software Testing. [Web Abstract]
     
  • Laycock, G. (1993) Introduction to X-machines, Technical Report CS-93-13, Dept of Computer Science, Sheffield University, United Kingdom.
     
  • Schönegge, A. (1993) Über Turing-simulierbare und andere Maschinen-Modelle. Masters Thesis, Universität Karlsruhe, Fakultät für Informatik, Karlsruhe, Germany.
     

1992

  • Laycock, G. & M. Stannett (1992) X-machine workshop., Technical Report CS-92-08, Dept of Computer Science, Sheffield University, United Kingdom.
     

1991

  • Holcombe, M. (1991) "Mathematical models of biochemistry", in: Molecular Theories of Cell Life and Death, S. Ji, ed., New Jersey: Rutgers University Press.
     
  • Stannett, M. (1991) An introduction to Post-Newtonian and non-Turing computation. Technical Report CS-91-02, Dept of Computer Science, Sheffield University, United Kingdom.
     

1990

  • Holcombe, M. (1990) 'Towards a formal description of intracellular biochemical organisation'. Comp. Math. Applic. 20, 107-15.
     
  • Holcombe, W.M. & Z. Duan (1990) "Traceable X-machines as models for describing user interfaces", in: A. Emre Harmanci & Erol Gelenbe, eds. [details lost]
     
  • Stannett, M. (1990) 'X-Machines and the Halting Problem: Building a super-Turing Machine'. Formal Aspects of Computing 2, pp. 331-41.
     
  • Stannett, M. (1990) 'Implications of "X-machines and the Halting Problem: Building a super-Turing machine" for computational AI'. AISB Quarterly 74.
     
  • Stannett, M. & M. Holcombe (1990) Functional Testing of High-Integrity VLSI Systems. Conference Poster, Dept of Computer Science, Sheffield University, United Kingdom.
     

1989

  • Holcombe M., Stannett, M. & S. Rathore (1989) "Very High Level functional testing of VLSI - preliminary results", in: D.M. Miller, ed. Fourth Technical Workshop on new directions for IC testing. Vancouver University (1989).
     

1988

  • Holcombe, M. (1988) 'Formal methods in the specification of the human-machine interface'. Intern. J. Command and Control, Communications and Information Systems 2, pp. 24-34.
     
  • Holcombe, M. (1988) 'X-machines as a Basis for System Specification'. Soft. Eng. J., 3(2), pp. 69-76.
     
  • Stannett, M. (1988) General machines can decide the Halting Problem. Technical Report CS-88-13, Dept of Computer Science, Sheffield University, United Kingdom.
     

1987

  • Holcombe, M. (1987) 'Goal-directed task analysis and formal interface specification'. Intern. J. Command and Control, Communications and Information Systems 1, pp. 14-22.
     
  • Stannett, M. (1987) 'An organisational approach to decision-making in command systems'. Intern. J. Command and Control, Communications and Information Systems 1, pp. 23-34.
     

1986

  • Holcombe, M. (1986) Towards a formal description of intracellular biochemical organisation. Technical Report CS-86-1, Dept of Computer Science, Sheffield University, United Kingdom.
     
  • Holcombe, M. (1986) Mathematical models of cell biochemistry. Technical Report CS-86-4, Dept of Computer Science, Sheffield University, United Kingdom.
     

1974

  • Eilenberg, S. (1974) Automata, Languages, and Machines, vol. A. Academic Press.
     
Copyright © 2000-2013 Mike Stannett. All Rights Reserved.