Publications by Kerstin Eder

This is a list of all publications (co-)authored by Kerstin Eder that are contained in the publications database of the Department of Computer Science, University of Bristol. To perform an alternative search of the publications database, please go to the publications database home page.

2012

• Elena Corina Grigore, Kerstin Eder, Anthony Pipe, Christopher Melhuish, Ute Leonards, Joint Action Understanding improves Robot-to-Human Object Handover. CSTR-12-004, University of Bristol. September 2012. PDF, 634 Kbytes.
• Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011. Kerstin Eder, Joao Lourenco, Onn Shehory, (eds.). Lecture Notes in Computer Science 7261, Springer. ISBN 978-3-642-34187-8. July 2012. No electronic version available. External information
• Kerstin Eder, Intellectual Challenges in Energy-Aware COmputing (EACO). , University of Bristol, EACO Initiative. April 2012. No electronic version available. External information
• Tim Blackmore, David Halliwell, Philip Barker, Kerstin Eder, Naresh Ramaram, Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports. 9th International Conference on Integrated Formal Methods (iFM). ISBN 978-3-642-30729-4, pp. 84–98. April 2012. No electronic version available. External information
• Suleiman Abu Kharmeh, Kerstin Eder, David May, Complexity of Hardware Design and Model-Checking: An Asymptotic Analysis of State-Machine Metrics. CSTR-12-002, University of Bristol. March 2012. PDF, 598 Kbytes.
• Charalambos Ioannides, Kerstin Eder, Coverage Directed Test Generation Automated by Machine Learning. ACM Transactions on Design Automation of Electronic Systems (TODAES), 17(1). ISSN 1084-4309, pp. 7:1–7:22. January 2012. No electronic version available. External information

2011

• Charalambos Ioannides, Geoff Barrett, Kerstin Eder, Introducing XCS on Coverage Directed Test Generation. IEEE International High Level Design Validation and Test Workshop (HLDVT). ISBN 978-1-4577-1744-4, pp. 57–64. November 2011. No electronic version available. External information
• Kerstin Eder, Intellectual Challenges in Energy-Aware COmputing (EACO). CSTR-11-006, University of Bristol, EACO Initiative. October 2011. PDF, 89 Kbytes.
• Fangfang Yuan, Steve Wright, Kerstin Eder, David May, Managing Complexity Through Abstraction: A refinement-based approach to formalize Instruction Set Architectures. 13th International Conference on Formal Engineering Methods (ICFEM). ISBN 978-3-642-24558-9, pp. 585–600. October 2011. PDF, 473 Kbytes. External information
• A. Pipe, Z. Ghahramani, M. Fraser, M. Mirmehdi, P. Healey, S. Skachek, R. Vaidyanathan, C. Melhuish, P. Bremner, P. Robinson, R. A. J. Clark, A. Lenz, K. Eder, N. Hawes, Affective Robotics: Human Motion and Behavioural Inspiration for Safe Cooperation between Humans and Humanoid Assistive Robots. Chapter in Biomimetics: Nature-Based Innovation. ISBN 9781439834763. September 2011. No electronic version available.
• Jeremy Bennett, Kerstin Eder, The Software Drained my Battery. Chapter in National Microelectronics Institute: Yearbook 2011. ISSN tbc, pp. 39–42. September 2011. PDF, 119 Kbytes.
• Elena Corina Grigore, Kerstin Eder, Alexander Lenz, Sergey Skachek, Anthony Pipe, Christopher Melhuish, Towards Safe Human-Robot Interaction. 12th Conference Towards Autonomous Robotic Systems (TAROS) 2011. ISBN 978-3-642-23231-2, pp. 323–335. September 2011. PDF, 414 Kbytes. External information
• Suleiman Abu Kharmeh, Kerstin Eder, David May, A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface. Proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, LNCS. ISBN 978-3-642-24309-7, pp. 335–351. August 2011. PDF, 303 Kbytes.
• Kerstin Eder, Summary of the 1st Workshop on Energy-Aware COmputing (EACO) on Wednesday, 25th May 2011. CSTR-11-003, University of Bristol, EACO Initiative. July 2011. PDF, 83 Kbytes.
• Charalambos Ioannides, Geoff Barrett, Kerstin Eder, XCS Cannot Learn All Boolean Functions. 13th Annual Genetic and Evolutionary Computation Conference (GECCO). ISBN 978-1-4503-0557-0, pp. 1283–1290. July 2011. No electronic version available.
• Charalambos Ioannides, Geoff Barrett, Kerstin Eder, Improving XCS Performance on Overlapping Binary Problems. IEEE Congress on Evolutionary Computation (CEC). ISBN 978-1-4244-7834-7, pp. 1420–1427. June 2011. No electronic version available.
• Elena Corina Grigore, Kerstin Eder, Alexander Lenz, Sergey Skachek, Anthony G. Pipe, Christopher Melhuish, Towards Safe Human-Robot Interaction. CSTR-11-002, University of Bristol. January 2011. PDF, 415 Kbytes.

2010

• Charalambos Ioannides, Geoff Barrett, Kerstin Eder, Feedback-based Coverage Directed Test Generation: An industrial evaluation. HVC 2010. ISBN 978-3-642-19582-2, pp. 112–128. November 2010. PDF, 520 Kbytes.
• Suleiman Abu Kharmeh, Kerstin Eder, David May, Formal Analysis of a Programmable Performance-Critical Processor Communication Interface. Proceedings of the 10th International Workshop on Automated Verification of Critical Systems (AVoCS 2010). ISSN tbc, pp. 115–117. October 2010. PDF, 118 Kbytes. External information
• Tim Blackmore, David Halliwell, Phil Barker, Kerstin Eder, Naresh Ramaram, Using a Formal Property Checker for Simulation Coverage Closure. Design Automation Conference. June 2010. No electronic version available. External information
• Charalambos Ioannides, Kerstin Eder, Coverage Directed Test Generation automated by Machine Learning. CSTR-11-001, University of Bristol. March 2010. PDF, 550 Kbytes.
• Steve Wright, Kerstin Eder, Using Event-B to construct Instruction Set Architectures. Formal Aspects of Computing, 23(1). ISSN 0934-5043, pp. 73–89. January 2010. No electronic version available. External information

2009

• Fangfang Yuan, Kerstin Eder, A Generic Instruction Set Architecture Model in Event-B for Early Design Space Exploration. CSTR-09-006, University of Bristol. September 2009. PDF, 272 Kbytes.

2006

• Hsiou-Wen Hsueh, Kerstin Eder, Test Directive Generation for Functional Coverage Closure Using Inductive Logic Programming. IEEE International High Level Design Validation and Test Workshop (HLDVT) 2006. ISBN 1-4244-0679-X, pp. 11–18. November 2006. No electronic version available. External information
• Kerstin Eder, Peter Flach, Hsiou-Wen Hsueh, Towards Automating Simulation-Based Design Verification using ILP. 16th International Conference on Inductive Logic Programming. Stephen Muggleton, Ramon Otero, Alireza Tamaddoni-Nezhad, (eds.). ISBN 978-3-540-73846-6, pp. 154–168. August 2006. PDF, 352 Kbytes. External information

2005

• Kerstin Eder, Hsiou-Wen Hsueh, Towards Inducing Stimulus Generation Directives from Functional Coverage Data. CSTR-05-004, University of Bristol. June 2005. No electronic version available.

2002

• Kerstin Eder, Geoff Barrett, Achieving Maximum Performance: A Method for the Verification of Interlocked Pipeline Control Logic. Proceedings of the 39th Design Automation Conference. ISBN 1-58113-461-4, pp. 135–140. June 2002. No electronic version available. External information

1999

• Kerstin Eder, Yet another way of Set-processing: The Escher style and its implementation. Proceedings of the Workshop on Declarative Programming with Sets (DPS'99), pp. 37–50. September 1999. PDF, 252 Kbytes.
• Kerstin Eder, Implementing Escher on a Graph Reduction Machine. Proceedings of the International Workshop on Implementation of Declarative Languages (IDL'99), pp. 1–20. September 1999. PDF, 244 Kbytes.
• Kerstin Eder, A Study of the Operational Behaviour of Escher and its Implementation. Proceedings of the 8th International Workshop on Functional and Logic Programming, pp. 182–194. June 1999. PDF, 80 Kbytes.

1998

• Kerstin I. Eder, EMA: Implementing the Rewriting Computational Model of Escher. PhD thesis. Department of Computer Science, University of Bristol. November 1998. PDF, 1074 Kbytes.
• Kerstin Eder, Implementing the Rewriting Computational Model of Escher. 13th Workshop on Logic Programming (WLP'98), pp. 106–117. October 1998. PDF, 206 Kbytes.

1996

• Kerstin Eder, Steffen Holldobler, Michael Thielscher, An Abstract Machine for Reasoning about Situations, Actions, and Causality. 5th International Workshop on Extensions of Logic Programming, Lecture Notes in Artificial Intelligence 1050. ISBN 3-540-60983-0, pp. 137–151. March 1996. PDF, 182 Kbytes.

1995

• Kerstin Eder, A resource-oriented deductive approach towards hierarchical planning. PhD thesis. Technische Universitat Dresden, Fakultat Informatik. May 1995. PDF, 468 Kbytes.

1994

• Kerstin Eder, Meta-Programming for Knowledge Base Systems. PhD thesis. Department of Computer Science, University of Bristol. September 1994. No electronic version available.