Research output per year
Research output per year
Research output
- 1 - 50 out of 57 results
Search results
-
2024
Detecting Stimuli with Novel Temporal Patterns to Accelerate Functional Coverage Closure
Zheng, X., Blackmore, T., Buckingham, J. & Eder, K., 10 Sept 2024, 2024 IEEE International Test Conference in Asia (ITC-Asia): 2024 IEEE International Test Conference in Asia (ITC-Asia). Institute of Electrical and Electronics Engineers (IEEE), 6 p. (International Test Conference in Asia (ITC-Asia)).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile3 Downloads (Pure) -
Soft Gripping: Specifying for Trustworthiness
Abeywickrama, D. B., Le, N. H., Chance, G., Winter, P. D., Manzini, A., Partridge, A. J., Ives, J., Downer, J., Deacon, G., Rossiter, J., Eder, K. & Windsor, S., 13 May 2024, 2024 IEEE 7th International Conference on Soft Robotics (RoboSoft). Institute of Electrical and Electronics Engineers (IEEE), p. 565-571 7 p. (IEEE International Conference on Soft Robotics (RoboSoft)).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile35 Downloads (Pure) -
2023
Accurate Energy Modelling on the Cortex-M0 Processor for Profiling and Static Analysis
Nikov, K., Georgiou, K., Chamski, Z., Eder, K. & Nunez-Yanez, J., 30 Jan 2023, 2022 29th IEEE International Conference on Electronics, Circuits and Systems (ICECS). Institute of Electrical and Electronics Engineers (IEEE), 4 p. (ICECS 2022 - 29th IEEE International Conference on Electronics, Circuits and Systems, Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile3 Citations (Scopus)62 Downloads (Pure) -
AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms
Abeywickrama, D. B., Wilson, J. S., Lee, S., Chance, G., Winter, P., Manzini, A., Habli, I., Windsor, S. P., Hauert, S. & Eder, K. I., 14 Sept 2023, Computer Safety, Reliability and Security - SAFECOMP 2023 Workshops. Springer Nature, p. 341-354 14 p. (Lecture Notes in Computer Science; vol. 14182).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile1 Citation (Scopus)5 Downloads (Pure) -
Trustworthy Swarms
Wilson, J. S., Chance, G., Winter, P., Lee, S., Milner, E., Abeywickrama, D. B., Windsor, S. P., Downer, J. R., Eder, K. I., Ives, J. C. S. & Hauert, S., 11 Jul 2023, TAS 2023 - Proceedings of the 1st International Symposium on Trustworthy Autonomous Systems. Association for Computing Machinery (ACM), 11 p. 10. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open Access3 Citations (Scopus) -
2022
Hybrid Intelligent Testing in Simulation-Based Verification
Masamba, N., Eder, K. & Blackmore, T., 26 Sept 2022, (E-pub ahead of print) Proceedings - 4th IEEE International Conference on Artificial Intelligence Testing, AITest 2022. Institute of Electrical and Electronics Engineers (IEEE), p. 26-33 8 p. (International Conference on Artificial Intelligence Testing).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile1 Citation (Scopus)52 Downloads (Pure) -
Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification
Masamba, N., Eder, K. & Blackmore, T., 26 Sept 2022, (E-pub ahead of print) 2022 IEEE International Conference On Artificial Intelligence Testing (AITest). Institute of Electrical and Electronics Engineers (IEEE), (IEEE International Conference on Artificial Intelligence Testing - AITest ).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile57 Downloads (Pure) -
2020
Goal-constrained planning domain model verification of safety properties
Shrinah, A. & Eder, K. I., 26 Aug 2020, Goal-constrained planning domain model verification of safety properties. Rudolph, S. & Marreiros, G. (eds.). CEUR Workshop Proceedings, Vol. 2655. (European Starting AI Researchers' Symposium 2020; vol. 2655).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile79 Downloads (Pure) -
Run-time power modelling in embedded GPUs with dynamic voltage and frequency scaling
Nunez-Yanez, J., Nikov, K., Eder, K. & Hosseinabady, M., 21 Jan 2020, Proceedings of the 11th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures / 9th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2020. Association for Computing Machinery (ACM), 3381429. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
1 Citation (Scopus) -
2018
Less is more: exploiting the standard compiler optimization levels for better performance and energy consumption
Georgiou, K., Blackmore, C., Xavier De Souza, S. & Eder, K., 30 May 2018, 21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018). Association for Computing Machinery (ACM), 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile13 Citations (Scopus)276 Downloads (Pure) -
The benefits of low operating voltage devices to the energy efficiency of parallel systems
Xavier-De-Souza, S., Neves, E. A., Furtunato, A. F. A., Silveira, L. F. Q., Georgiou, K. & Eder, K. I., 3 Jan 2018, 2017 5th Berkeley Symposium on Energy Efficient Electronic Systems, E3S 2017 - Proceedings. Institute of Electrical and Electronics Engineers (IEEE), Vol. 2018-January. p. 1-3 3 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
-
2017
A Benes̆ Based NoC Switching Architecture for Mixed Criticality Embedded Systems
Kerrison, S., May, D. & Eder, K., Jan 2017, 2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC 2016): Proceedings of a meeting held 21-23 September 2016, Lyon, France. Institute of Electrical and Electronics Engineers (IEEE), p. 125-132 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile4 Citations (Scopus)390 Downloads (Pure) -
A fuzzy approach to qualification in design exploration for autonomous robots and systems
Morse, J., Araiza-Illan, D., Eder, K., Lawry, J. & Richards, A., Aug 2017, 2017 IEEE International Conference on Fuzzy Systems, FUZZ 2017. Institute of Electrical and Electronics Engineers (IEEE), 6 p. 8015456. ( IEEE International Fuzzy Systems Conference (FUZZ-IEEE)).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile9 Citations (Scopus)349 Downloads (Pure) -
A survey of hardware technologies for mixed-critical integration explored in the project EMC2
Isakovic, H., Grosu, R., Ratasich, D., Kadlec, J., Pohl, Z., Kerrison, S., Georgiou, K., Eder, K., Druml, N., Tadros, L., Christensen, F., Wheatley, E., Farkas, B., Meyer, R. & Berekovic, M., 27 Sept 2017, Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Proceedings. Springer-Verlag Berlin, Vol. 10489 LNCS. p. 127-140 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10489 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile1 Citation (Scopus)424 Downloads (Pure) -
Believing in BERT: Using expressive communication to enhance trust and counteract operational error in physical Human-robot interaction
Hamacher, A., Bianchi-Berthouze, N., Pipe, A. G. & Eder, K., Jan 2017, 2016 25th IEEE International Symposium on Robot and Human Interactive Communication (RO-MAN 2016): Proceedings of a meeting held 26-31 August 2016, New York, New York, USA. Institute of Electrical and Electronics Engineers (IEEE), p. 493-500 8 p. 7745163. (International Symposium on Robot and Human Interactive Communication (RO-MAN) ; vol. 25).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile93 Citations (Scopus)457 Downloads (Pure) -
Data dependent energy modeling for worst case energy consumption analysis
Pallister, J., Kerrison, S., Morse, J. & Eder, K. I., 12 Jun 2017, SCOPES '17: Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems. Stuijk, S. (ed.). Association for Computing Machinery (ACM), p. 51-59 9 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile16 Citations (Scopus)365 Downloads (Pure) -
Risk-Based Triggering of Bio-inspired Self-preservation to Protect Robots from Threats
Chiu, S.-K., Araiza Illan, D. & Eder, K. I., 20 Jul 2017, Towards Autonomous Robotic Systems: 18th Annual Conference, TAROS 2017, Guildford, UK, July 19–21, 2017, Proceedings. Springer, p. 166-181 16 p. (Lecture Notes in Computer Science (including Lecture Notes in Artificial Intelligence); vol. 10454).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile287 Downloads (Pure) -
2016
Characterising and Comparing the Energy Consumption of Side Channel Attack Countermeasures and Lightweight Cryptography on Embedded Devices
McCann, D. A. J., Eder, K. I. & Oswald, M. E., Mar 2016, Proceedings of 2015 International Workshop on Secure Internet of Things (SIoT): Proceedings of a meeting held 21-25 September 2015 at Vienna, Austria. Institute of Electrical and Electronics Engineers (IEEE), p. 65-71 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile15 Citations (Scopus)491 Downloads (Pure) -
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR
Liqat, U., Georgiou, K., Kerrison, S., Lopez-Garcia, P., Gallagher, J. P., Hermenegildo, M. V. & Eder, K., 2016, Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers. Springer International Publishing AG, p. 81-100 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9964).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile18 Citations (Scopus)319 Downloads (Pure) -
Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions
Araiza Illan, D., Pipe, A. G. & Eder, K. I., Jul 2016, Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering (MORSE '16). Aßmann, U., Brugali, D. & Piechnick, C. (eds.). Association for Computing Machinery (ACM), p. 9-16 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile19 Citations (Scopus)417 Downloads (Pure) -
Novel MC/DC Coverage Test Sets Generation Algorithm, and MC/DC Design Fault Detection Strength Insights
Salem, M. A. & Eder, K. I., Sept 2016, 2015 16th International Workshop on Microprocessor and SOC Test and Verification (MTV 2015): Proceedings of a meeting held 3-4 December 2015, Austin, Texas, USA. Institute of Electrical and Electronics Engineers (IEEE), p. 32-37 6 p. 7548935. (Proceedings of the International Workshop on Microprocessor and SOC Test and Verification (MTV)).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile3 Citations (Scopus)626 Downloads (Pure) -
Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions
Araiza Illan, D., Western, D., Pipe, A. & Eder, K., 2016, Towards Autonomous Robotic Systems: 17th Annual Conference, TAROS 2016, Sheffield, UK, June 26--July 1, 2016, Proceedings. Alboul, L., Damian, D. & Aitken, J. M. (eds.). Springer, p. 20-32 13 p. (Lecture Notes in Computer Science; vol. 9716).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile20 Citations (Scopus)370 Downloads (Pure) -
2015
A Logic Programming Approach to Predict Effective Compiler Settings for Embedded Software
Blackmore, C. B., Ray, O. & Eder, K., 4 Jul 2015, Proceedings of the 31st International Conference on Logic Programming, 4-5 July 2015. Cambridge University Press, Vol. 15. p. 481-494 14 p. (Theory and Practice of Logic Programming; vol. 15, no. 4-5).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile4 Citations (Scopus)488 Downloads (Pure) -
Coverage-Driven Verification: An Approach to Verify Code for Robots that Directly Interact with Humans
Araiza-Illan, D., Western, D., Pipe, A. & Eder, K., 28 Nov 2015, Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings. Piterman, N. (ed.). Springer Verlag, p. 69-84 16 p. (Lecture Notes in Computer Science; vol. 9434, no. 2015).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile19 Citations (Scopus)336 Downloads (Pure) -
Marimba: A tool for verifying properties of hidden markov models
Hernández, N., Eder, K., Magid, E., Savage, J. & Rosenblueth, D. A., 22 Nov 2015, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 9364. p. 201-206 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9364).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile1 Citation (Scopus)341 Downloads (Pure) -
Optimizing the flash-RAM energy trade-off in deeply embedded systems
Pallister, J., Eder, K. I. & Hollis, S. J., 2015, International Symposium on Code Generation and Optimization (CGO).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
3 Citations (Scopus) -
Static analysis of energy consumption for LLVM IR programs
Grech, N., Georgiou, K., Pallister, J., Kerrison, S., Morse, J. C. M. & Eder, K. I., 1 Jun 2015, Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems (SCOPES '15). Association for Computing Machinery (ACM), p. 12-21 9 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile38 Citations (Scopus)327 Downloads (Pure) -
Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms
Antuna, L., Araiza Illan, D., Campos, S. & Eder, K. I., 18 Jul 2015, Towards Autonomous Robotic Systems: 16th Annual Conference, TAROS 2015, Liverpool, UK, September 8-10, 2015, Proceedings. Dixon, C. & Tuyls, K. (eds.). Springer Verlag, p. 26-37 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9287).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
10 Citations (Scopus)39 Downloads (Pure) -
2014
A high-level model of embedded flash energy consumption
Pallister, J., Eder, K. I., Hollis, S. J. & Bennett, J., 12 Oct 2014, 2014 International Conference on Compilers, Architecture and Synthesis for Embedded Systems, CASES 2014. Association for Computing Machinery (ACM)Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
5 Citations (Scopus) -
EACOF: A Framework for Providing Energy Transparency to enable Energy-Aware Software Development
Field, H., Anderson, G. & Eder, K. I., 31 May 2014, Proceedings of the 29th Annual ACM Symposium on Applied Computing (SAC'14). New York, NY, USA: Association for Computing Machinery (ACM), p. 1194-1199 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
9 Citations (Scopus)92 Downloads (Pure) -
Energy consumption analysis of programs based on XMOS ISA-level models
Liqat, U., Kerrison, S., Serrano, A., Georgiou, K., Lopez-Garcia, P., Grech, N., Hermenegildo, M. V. & Eder, K., 2014, Logic-Based Program Synthesis and Transformation. Springer Verlag, Vol. 8901. p. 72-90 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8901).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
36 Citations (Scopus) -
Modified condition decision coverage: A hardware verification perspective
Salem, M. A. & Eder, K. I., 15 Oct 2014, Proceedings - International Workshop on Microprocessor Test and Verification. Institute of Electrical and Electronics Engineers (IEEE), p. 8-13 6 p. 6926093Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
1 Citation (Scopus) -
Towards the safety of human-in-the-loop robotics: Challenges and opportunities for safety assurance of robotic co-workers'
Eder, K., Harper, C. & Leonards, U., 15 Oct 2014, Proceedings - IEEE International Workshop on Robot and Human Interactive Communication: 2014 IEEE RO-MAN. October ed. Institute of Electrical and Electronics Engineers (IEEE), Vol. 2014-October. p. 660-665 6 p. 6926328Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile27 Citations (Scopus)586 Downloads (Pure) -
Using models at runtime to address assurance for self-adaptive systems
Cheng, B. H. C., Eder, K. I., Gogolla, M., Grunske, L., Litoiu, M., Müller, H. A., Pelliccione, P., Perini, A., Qureshi, N. A., Rumpe, B., Schneider, D., Trollmann, F. & Villegas, N. M., 2014, [email protected]: Foundations, Applications, and Roadmaps. Springer Verlag, Vol. 8378. p. 101-136 36 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8378 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
99 Citations (Scopus) -
2013
Can you trust your robotic assistant?
Amirabdollahian, F., Dautenhahn, K., Dixon, C., Eder, K., Fisher, M., Koay, K. L., Magid, E., Pipe, T., Salem, M., Saunders, J. & Webster, M., 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8239 LNAI. p. 571-573 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8239 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
6 Citations (Scopus)34 Downloads (Pure) -
Energy transparency from hardware to software
Eder, K., 2013, 2013 3rd Berkeley Symposium on Energy Efficient Electronic Systems, E3S 2013 - Proceedings. 6705855Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
4 Citations (Scopus) -
Joint Action Understanding improves Robot-to-Human Object Handover
Grigore, E. C., Eder, K. I., Pipe, A., Melhuish, C. R. & Leonards, U. B., Nov 2013, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). tbc ed. Tokyo, Vol. tbc. p. 4622-4629 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
77 Citations (Scopus) -
2012
Analysing and closing simulation coverage by automatic generation and verification of formal properties from coverage reports
Blackmore, T., Halliwell, D., Barker, P., Eder, K. & Ramaram, N., 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7321 LNCS. p. 84-98 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7321 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
2 Citations (Scopus) -
Energy Efficient HPC Software: Learning from Embedded Systems Development
Kerrison, S., Eder, K. & McIntosh-Smith, S., 16 Feb 2012, SIAM Conference on Parallel Processing for Scientific Computing. Society for Industrial and Applied Mathematics, 30 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
-
2011
A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface
Abu Kharmeh, S., Eder, K. & May, M., Sept 2011, Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings. Palgrave Macmillan, p. 335 - 351Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
7 Citations (Scopus) -
Feedback-based Coverage Directed test Generation: An industrial evaluation
Ioannides, C., Barrett, G. & Eder, K., 2011, Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers. Barner, S., Harris, I., Kroening, D. & Raz, O. (eds.). Springer, p. 112-128 27 p. (Lecture Notes in Computer Science; vol. 6504).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Open AccessFile13 Citations (Scopus)496 Downloads (Pure) -
Improving XCS Performance on Overlapping Binary Problems
Ioannides, C., Barrett, G. & Eder, K., Jun 2011, IEEE Congress on Evolutionary Computation (CEC). Institute of Electrical and Electronics Engineers (IEEE), p. 1420–1427Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
6 Citations (Scopus) -
Introducing XCS to Coverage Directed test Generation
Ioannides, C., Barrett, G. & Eder, K., 2011, Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT. p. 57-64 8 p. 6114166Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
5 Citations (Scopus) -
Managing Complexity Through Abstraction: A refinement-based approach to formalize Instruction Set Architectures
Yuan, F., Wright, S., Eder, K. I. & May, D., Oct 2011, 13th International Conference on Formal Engineering Methods (ICFEM): Lecture Notes in Computer Science. Springer, Vol. 6991. p. 585-600 (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
1 Citation (Scopus) -
Towards safe human-robot interaction
Grigore, E. C., Eder, K., Lenz, A., Skachek, S., Pipe, A. G. & Melhuish, C., 2011, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6856 LNAI. p. 323-335 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6856 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
7 Citations (Scopus) -
XCS Cannot Learn All Boolean Functions
Ioannides, C., Barrett, G. & Eder, K., Jul 2011, 13th Annual Genetic and Evolutionary Computation Conference (GECCO). Association for Computing Machinery (ACM), p. 1283-1290Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
19 Citations (Scopus) -
2010
Formal Analysis of a Programmable Performance-Critical Processor Communication Interface
Abu Kharmeh, S., Eder, K. & May, D., 2010, Proceedings of the 10th International Workshop on Automated Verification of Critical Systems (AVoCS 2010). tbcResearch output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
-
Using a Formal Property Checker for Simulation Coverage Closure
Blackmore, T., Halliwell, D., Barker, P., Eder, K. & Ramaram, N., 2010, Design Automation Conference.Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
-
2007
Towards Automating Simulation-Based Design Verification Using ILP
Eder, K., Flach, P. & Hsueh, H.-W., Aug 2007, Inductive Logic Programming, 16th International Conference, ILP 2006, Santiago de Compostela, Spain, August 24-27, 2006. Springer, Vol. LNAI 4455. p. 154 - 168 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
18 Citations (Scopus) -
2006
Test Directive Generation for Functional Coverage Closure Using Inductive Logic Programming
Hsueh, H.-W. & Eder, K., Nov 2006, 11th Annual IEEE International High Level Design Validation and Test Workshop, Monterey, California, November 2006. Institute of Electrical and Electronics Engineers (IEEE), p. 11 - 18 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
22 Citations (Scopus)