Publications


  1. V. Estivill-Castro R. Hexel D. A. Rosenblueth "Efficient Modelling of Embedded Software Systems and Their Formal Verification'' The 19th Asia-Pacific Software Engineering Conference (APSEC 2012). Leung, K. R.P.H. and Muenchaisri, P. (editors) pages 428-433 Hong Kong, China 4-7 December (2012) IEEE Comp.Soc..

    2.
  2. V. Estivill-Castro R. Hexel D. A. Rosenblueth "Failure Modes and Effect Analysis (FMEA) and model-cheeking of software for embedded systems by sequential scheduling of vectors of logic- labelled finite-state machines'' The 7th International IET System Safety Conference,. Edinburgh, UK. 15th-18-th October (2012) CD-ROM Proceedings. Paper {3.a.1} (TALK by Estivill-Castro [PDF]).

  3. V. Estivill-Castro R. Hexel D. A. Rosenblueth "Efficient Model Checkign and FMEA Analysis with Deterministic Scheduling of Transition-Labeled Finite-State Machines'' 3rd World Congress on Software Engineering (WCSE 2012). pages 65-72, Wang, P. (editor) Wuhan, China 6th-8th November (2012) IEEE Comp.Soc..

    4.
  4. R. Coleman V. Estivill-Castro R. Hexel C. Lusty "Visual-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex Behaviour'' International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR). Tsukuba, Japan. November 5th-8th (2012) Ando, Brugali, Kuffner, Noda (editors) Lecture Notes in Artificial Intelligence vol 7628 Springer-Verlag pages 52-64.

  5. V. Estivill-Castro and D. Rosenblueth, "Model checking of Transition-Labeled Finite State Machines'' 2011 International Conference on Advanced Software Engineering ASEA 2011. Jeju Island, Korea December 8 -10. Communications in Computer Science, Springer-Verlag 257, pp. 61-73, 2011. ISSN 1865-0929.

  6. V. Estivill-Castro and R. Hexel "Module Interactions for Model-Driven Engineering of Complex Behavior of Autonomous Robots" The Sixth International Conference on Software Engineering Advances. ICSEA 2011. October 23-29, 2011 - Barcelona, Spain. IARIA. Lavanzza, L. Fernandez-Sanz, L. Panchenko, O. and Kanstren, T. editors. pages 84-91. ISBN: 978-1-61208-165-6.

  7. D. Billington, V. Estivill-Castro, R. Hexel and A. Rock, ``Modelling Behaviour Requirements for Automatic Interpretation, Simulation and Deployment'' SIMPAR 2010 Second International Conference on Simulation, Modeling and Programming for Autonomous Robots. November 15-8, 2010 - Darmstadt, Germany. Springer-Verlag Lecture Notes in Computer Science.

    (TALK by Estivill-Castro [PDF]).

  8. D. Billington, V. Estivill-Castro, R. Hexel and A. Rock ``Requirements Engineering via Non-monotonic Logics and State Diagrams'' Evaluation of Novel Approaches to Software Engineering} (selected ENASE papers). Maciaszek, Leszek A.; Loucopoulos, Pericles (Eds.) Springer-Verlag Communications in Computer and Information Science {\bf Volume~230}, 2011, pp 121-135 ISBN 978-3-642-23390-6
    1. Preliminary version appeared as: D. Billington, V. Estivill-Castro, R. Hexel and A. Rock, ``Non-monotonic reasoning for requirements engineering --- State Diagrams Driven by Plausible Logic'' 5th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE 2010. Athens, GreeceJuly 22 --24. pages 68-77. SciTePress --- Science and Technology Publications (Portugal) ISBN: 978-989-8425-21-8.

  9. D. Billington, V. Estivill-Castro, R. Hexel and A. Rock,, ``Plausible Logic Facilitates Engineering the Behavior of Autonomous Robots'' Proceedings of the IASTED International Conference on Software Engineering February 16 - 18, 2010 Innsbruck, Austria. Editors: R. Fox, W. Golubski pages 41-48 Publisher: ACTA Press, Anaheim, California, USA ISBN: 978-0-88986-821-2 (CD-ROM)

  10. D. Billington, V. Estivill-Castro, R. Hexel, A. Rock, ``Architecture for hybrid robotic behavior'' 4-th International Conference on Hybrid Artificial Intelligent Systems (HAIS-09) Salamanca, Spain. Volume 5572, pages 145-156. Corchado, E., Wu, X. and Oja, E. (editors) Springer-Verlag Lecture Notes in Artificial Intelligence. ISBN 978-3-642-02318-7 ISSN 0302-9743 (TALK by Estivill-Castro [PDF]).

  11. N. Lovell, and V. Estivill-Castro ``Color Classification and Object Recognition for Robot Soccer Under Variable Illumination Soccer Robotics. P. Lima editor. Chapter 4 in Robot Soccer pages 71-94, Advance Robotic Systems, Vienna, Austria (2007). I-Tech Education and Publishing. ISBN 978-3-902613-21-9.

  12. D. Billington, V. Estivill-Castro, R. Hexel, and A. Rock, ``Non-monotonic Reasoning on Board a Sony AIBO'' Soccer Robotics. P. Lima editor. Chapter 3 in Robot Soccer pages 45-70, Advance Robotic Systems, Vienna, Austria (2007). I-Tech Education and Publishing ISBN 978-3-902613-21-9.IS

  13. J. Fenwick and V. Estivill-Castro, ``Mutually visible agents in a discrete environment'' The Thirtieth Australasian Computer Science Conference (ACSC-2007), Ballarat. Conferences in Research and Practice in Information Technology (CRPIT)Vol. 62. G. Dobbie, Ed. pages 141-150. ISBN-131-920-68243-0. ISSN 1445-1336.

  14. D. Billington, V. Estivill-Castro, R. Hexel, and A. Rock, ``Using Temporal Consistency to Improve Robot Localisation'' Robocup International Symposium 2006. G. Lakemeyer, E. Sklar, D. G. Sorrenti, T. Takahasji (editors) Springer-Verlag Lecture Notes in Computer Science.Vol 4434, p. 232-244, 2007. ISBN~978-3-540-74023-0. ISSN 0302-9743.

  15. V. Estivill-Castro and S. Seymon "Mobile Robots for an E-mail interface for People who are Blind'', Robocup International Symposium 2006. G. Lakemeyer, E. Sklar, D. G. Sorrenti, T. Takahasji (editors) Springer-Verlag Lecture Notes in Computer Science.Vol 4434, p. 338-346, 2007. ISBN978-3-540-74023-0. ISSN 0302-9743.

  16. Lovell, N. ``Illumination independent object recognition'' Proceedings of the Robocup 2005 Symposium, Noda, I., Jacoff, A., Brendenfeld, A., Takahashi, Y., eds.: Springer-Verlag Lecture Notes in Computer Science.Vol 4020, (2006),p.384-395. ISSN 0302-9743.

  17. Lovell, N. "Machine Vision as the Primary Sensory Input for Mobile, Autonomous Robots'' PhD Thesis Griffith University, Brisbane, Australia (2006).

  18. Billington, D., Estivill-Castro, V., Hexel, R., and Rock A, ``Non-monotonic Reasoning for Localisation in RoboCup'' Proceedings of the 2005 Australasian Conference on Robotics and Automation. December 5-7, 2005 in Sydney at University of New South Wales. Claude Sammut (editor) CD-ROM ISBN~0-9587583-7-9. (TALK by Estivill-Castro [PDF]).

  19. Lovell, N. ``Fast Posture and Object Recognition using Symmetrics'' Proceedings of the 2005 Australasian Conference on Robotics and Automation. December 5-7, 2005 in Sydney at University of New South Wales. Claude Sammut (editor) CD-ROM ISBN~0-9587583-7-9.

  20. Estivill-Castro, V. and McKenzie B. ``Hierarchical Monte-Carlo Localisation Balances Precision and Speed'' Proceedings of the 2004 Australasian Conference on Robotics and Automation. December 6-8, 2004 in Canberra at Australian National University. N. Barnes and D. Austin (editors) CD-ROM ISBN~0-95-87583-6-0. (TALK by Estivill-Castro[PDF])

  21. Estivill-Castro, V. and Lovell, N. ``A Descriptive Language for Flexible and Robust Object Recognition'' 8th International RoboCup Symposium , July 2004, Lisbon, Portugal Nardi, D. et al (editors) Springer-Verlag Lecture Notes in Computer Science.Vol 3276, p. 540-547, 2005. ISBN 3-540-25046-8.ISSN 0302-9743.

  22. J. Fenwick and V. Estivill-Castro, ``Optimal Paths for Mutually Visible Agents'' Proceedings of the 16th International Symposium, ISAAC 2005, Deng, X. and Du, D.-Z., eds.: Springer-Verlag Lecture Notes in Computer Science.Vol 3827, (2006),p.869-881. ISSN 0302-9743.

  23. Fenwick, J. and Lovell, N. ``Linear Time Construction of Vectorial Object Boundaries'' 6th IASTED International Conference on Signals and Image Processing (SIP) ,August 2004, Hawaii, USA

  24. Lovell, N. ``Real-Time Embedded Vision System Development using AIBO Vision Workshop 2'' Proceedings of the Mexican International Conference on Computer Science (ENC), September 2004, Colima, Mexico IEEE Computer Society Press, September 20-24th R.Baeza-Yates, J.L.Marroquin and E. Chavez (editors).160-167 (2004) ISBN:~0-7695-2160-6. (TALK by Lovell [PDF])

  25. Bartlett, B. Estivill-Castro, V. Seymon, S. and Tourky, A. ``Robots for Pre-orientation and Interaction of Toddlers and Preschoolers who are Blind'' Proceedings of the 2003 Australasian Conference on Robotics and Automation. December 1-3, 2003 in Brisbane at CSIRO's Queensland Centre for Advanced Technologies (QCAT). J.Roberts and G. Wyeth (editors) CD-ROM (paper 13.pdf) ISBN 0-9587583-5-2. (TALK by Estivill-Castro [PDF})

  26. Bartlett, B. Estivill-Castro V., and Seymon, S. ``Dogs or Robots – Why do we see them as robotic pets rather than canine machines?'' 5th Australasian User Interface Conference (AUIC2004) , Dunedin. Conferences in Research and Practice in Information Technology, Vol. 28. A. Cockburn, Ed. Pages 7-14. ISBN 1-920682-10-4 (TALK by Estivill-Castro[PDF]).

  27. Estivill-Castro, V. and Lattin, D. and Suraweera, F. and Vithanage, V. ``Tracking bees – a 3D, outdoor small object environment'' Proceedings of the IEEE 10th International Conference on Image Processing (ICIP), September 14-17, Barcelona, Spain CD-ROM proceedings file cd1672.pdf (4 pages). Printed version vol III: pages 1021-1024 ISBN~0-7803-7751-6. 2003 (Talk by D. Lattin)

  28. Estivill-Castro, V. and Lovell, N. ``Improved Object Recognition – The RoboCup 4-legged league'' Proceeds of the 2003 IDEAL 4th International Conference on Intelligent Data Engineering and Automated Learning. Hong Kong, 21-23 March 2003.Liu, J., Cheung, Y., Yin, H. (Eds.) Springer-Verlag Lecture Notes in Computer Science. Vol. 2690 pages1123-1130. ISBN~3-540-40550-X. (2003). (TALK by Estivill-Castro[PDF])'