Publications

  1. V .Estivill-Castro, and R. Hexel, ``Run-time Verification of Regularly Expressed Behavioral Properties in Robotic Systems with Logic-Labeled Finite State Machines'' 2016 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots San Francisco, Dec 13th-16th, 2016, IEEE to appear [ Associated video ]
  2. V .Estivill-Castro, R. Hexel, and A Ramirez-Regalado ``Architecture for logic programing with arrangements of finite-state machines'' 2016 1st CPSWeek Workshop on Declarative Cyber-Physical Systems (DCPS) April 12th, (2016) Vienna, Austria. IEEE Pages 1-8 [ Associated video ]
  3. D. Joukoff, V .Estivill-Castro, R. Hexel, and C. Lusty ``Fast MAV control by control/status OO-messages on shared-memory middleware'' Robot Intelligence Technology and Applications 4 -- Results from the 4th International Conference on Robot Intelligence Technology and Applications, RiTA 2015 Bucheon, Korea December 14th-16th Springer Advances in Intelligent Systems and Computing Volume 447 pages 195-211
  4. Wendy Moyle, Cindy Jones, Billy Sung, Marguerite Bramble, Siobhan O'Dwyer, Michael Blumenstein, Vladimir Estivill-Castro: "What Effect Does an Animal Robot Called CuDDler Have on the Engagement and Emotional Response of Older People with Dementia? A Pilot Feasibility Study". I. J. Social Robotics 8(1): 145-156 (2016)
  5. Javier Segovia Aguas, Jonathan Ferrer-Mestres and Anders Jonsson: "Planning with Partially Specified Behaviors". Artificial Intelligence Research and Development - Proceedings of the 19th International Conference of the Catalan Association for Artificial Intelligence, Barcelona, Spain, October 19th-21st, 2016, pages 263--272, (2016). editor: Angela Nebot, Xavier Binefa and Ramon Lopez de Mantaras, series Frontiers in Artificial Intelligence and Applications, volume 288, ISOS Press, isbn 978-1-61499-695-8.
  6. Vladimir Estivill-Castro, René Hexel: "Simple, Not Simplistic - The Middleware of Behaviour Models". ENASE 2015 Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering, Barcelona, Spain, 29-30 April, 2015. SciTePress: 189-196
  7. Vladimir Estivill-Castro, René Hexel: "Correctness by Construction with Logic-Labeled Finite-State Machines - Comparison with Event-B. Australian Software Engineering Conference 2014: 38-47
  8. V. Estivill-Castro, R. Hexel and Carl Lusty "High Performance Relaying of C++11 Objects Across Processes and Logic-Labeled Finite-State Machines'' International Conference on Simulation, Modelling, and Programming for Autonomous Robots (SIMPAR 2014) Bergamo, Italy. October 20-23. In Brugali, D. et al. (Eds.): SIMPAR 2014, Lecture Notes in Artificial Intelligence LNAI 8810, pp. 182–194. Springer International Publishing Switzerland (2014). (Talk by Vlad Estivill-Castro)[Slideshare].
  9. V. Estivill-Castro, and R. Hexel "Correctness by Construction with Logic-Labeled Finite-State Machines – Comparison with Event-B'' The The 23rd Australasian Software Engineering Conference (ASWEC) will be held on April 7th to 10th, Sydney, Australia. Page 38-47. IEEE Computer Society. Conference Publishing Services (CPS). ISBN 978-1-4799-3149-1/14 (Talk by Vlad Estivill-Castro)[www.slideshare.net].
  10. V. Estivill-Castro, E. Fernandez and R. Hexel "On Practical, Safe, and Convergent Protocols for Agent Formations'' The Australasian Conference on Robotics and Automation (ACRA). 2nd-4th of December 2013, School of Mechanical and Manufacturing Engineering at the University of New South Wales Kensington campus, Sydney, Australia(http://www.araa.asn.au/acra/acra2013/papers/pap134s1-file1.pdf)
  11. V. Estivill-Castro, and J. Radev "Humanoids Learning who are Teammates and who are Opponents'' The 8th Workshop on Humanoid Soccer Robots, at 13th IEEE-RAS International Conference on Humanoid Robots. Atlanta, GA, October 15th, 2013.( http://www.humanoidsoccer.org/ws13/program.html) (TALK [PDF]).
  12. V. Estivill-Castro and Ferrer-Mestres " Path-finding for mobile robots in dynamic environments with PDDL-planners'' 6th International Conference on Advanced Robotics, (ICAR 2013). Montevideo, Uruguay, November 25-29th (http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=6766456) IEEE Comp.Soc..
  13. V. Estivill-Castro, and R. Hexel "Module Isolation for Efficient Model Checking and its Application to FMEA in Model-Driven Engineering'' 8th International Conference on Evaluation of Novel Software Approaches to Software Engineering (ENASE 2013). Angers, France. 4th-6th of July (TALK by Estivill-Castro [PDF]).
  14. V. Estivill-Castro, and R. Hexel "Arrangements of Finite-State Machines Semantics, Simulation, and Model Checking'' International Conference on Model-Driven Engineering and Software Development MODELSWARD 2013. pages 182-189 Hammoudi, S., Ferreira Pires, L., Filipe, J. and Cesar das Neves, R. (editors) SCITEPRESS Science and Technology Publications ISBN: 978-989-8565-42-6
  15. V. Estivill-Castro, R. Hexel, and 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..
  16. V. Estivill-Castro, R. Hexel, and D. A. Rosenblueth "Failure Modes and Effect Analysis (FMEA) and model-checking 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]).
  17. V. Estivill-Castro, R. Hexel, and D. A. Rosenblueth "Efficient Model Checking 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..
  18. 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.
  19. 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.
  20. 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.
  21. 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.Volume 6472 (TALK by Estivill-Castro [PDF]).
  22. 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 Volume~230, 2011, pp 121-135 ISBN 978-3-642-23390-6Preliminary 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, Greece July 22 --24. pages 68-77. SciTePress --- Science and Technology Publications (Portugal) ISBN: 978-989-8425-21-8.
  23. 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)
  24. 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]).
  25. 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.
  26. 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
  27. 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.
  28. 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.
  29. 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.
  30. 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.
  31. Lovell, N. "Machine Vision as the Primary Sensory Input for Mobile, Autonomous Robots'' PhD Thesis Griffith University, Brisbane, Australia (2006).
  32. 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]).
  33. Lovell, N. ``Fast Posture and Object Recognition using Symmetries'' 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.
  34. 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])
  35. 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.
  36. 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.
  37. 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
  38. 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])
  39. 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})
  40. Bartlett, B. Estivill-Castro V., and Seymon, S. ``Dogs or Robots &#8211 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]).
  41. Estivill-Castro, V. and Lattin, D. and Suraweera, F. and Vithanage, V. ``Tracking bees &#8211 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)
  42. 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])'