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.