banner
publications
  1. N. Petalidis, G. Gregoriadis, Al. Theodoridis, An. Chronakis PROMASI - A PROject MAnagement SImulator, PCI-2011, pg. 33-37, 2011 (PDF)
  2. N. Petalidis, Verification of a fieldbus scheduling protocol using timed automata, Computing and Informatics, vol. 28,V, pg. 1001-10818, 2009 (PDF)
  3. N. Petalidis, Adopting Lakatos in a Software Engineering Course, International Journal of Engineering Education, Special Issue on Software Engineering, vol. 24, Num 4, pg. 738-746, 2008 (PDF)
  4. N. Petalidis, D. S. Gill, Introducing Monitoring Events to Time-CSP, IEE Software Engineering, vol 148, num. 1, 2001
    (PDF)
  5. N. Petalidis, D. S. Gill, The formal specification of the Fieldbus Foundation Data Link Layer in E-LOTOS, In J. Staples, Michael G. Hinchey and Shaoying Liu, editors, Second Int. Conference on Formal Engineering Methods, pg. 200-209, IEEE Computer Society, ISBN 0-8186-9198-0, Dec 1998
  6. N. Petalidis, D. S. Gill, Modeling of a service in LOTOS and SDL - A comparison, First International Symposium on Communication Systems & Digital Signal Processing, vol. 1, pg. 275-278, IEEE Communications Society, ISBN 0-86339-7719, Apr 1998
  7. N. Petalidis, D. S. Gill, XTP as an efficient network protocol, First International Symposium on Communication Systems & Digital Signal Processing, vol. 2, pg. 576-579, IEEE Communications Society, ISBN 0-86339-7719, Apr 1998

publications
  1. N. Petalidis, Modelling and validation of fieldbus protocols, PhD Thesis, University of Brighton, Brighton, UK, 1999 (Postscript)
  2. N. Petalidis, Translating LOTOS Specifications to PROMELA, MPhil Thesis, Heriot-Watt University, Edinburgh, UK, 1994 (PDF)