The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Kerstin Eder Kerstin I. Eder ( http://dblp.L3S.de/Authors/Kerstin_Eder )

URL (Homepage):  http://www.bris.ac.uk/engineering/people/kerstin-i-eder/index.html  Author page on DBLP  Author page in RDF  Community of Kerstin Eder in ASPL-2

Publication years (Num. hits)
1995-2011 (15) 2012-2014 (17) 2015 (24) 2016 (17) 2017-2018 (17) 2019 (3)
Publication types (Num. hits)
article(50) incollection(1) inproceedings(40) phdthesis(1) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords

Results
Found 94 publication records. Showing 93 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Kyriakos Georgiou, Zbigniew Chamski, Andres Amaya Garcia, David May 0001, Kerstin Eder Lost in translation: Exposing hidden compiler optimization opportunities. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Alex F. A. Furtunato, Kyriakos Georgiou, Kerstin Eder, Samuel Xavier de Souza When parallel speedups hit the memory wall. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Rachid Alami, Kerstin I. Eder, Guy Hoffman, Hadas Kress-Gazit Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kyriakos Georgiou, Samuel Xavier de Souza, Kerstin Eder The IoT Energy Challenge: A Software Perspective. Search on Bibsonomy Embedded Systems Letters The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jeremy Morse, Steve Kerrison, Kerstin Eder On the Limitations of Analyzing Worst-Case Dynamic Energy of Processing. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anas Shrinah, Kerstin Eder Verification of Planning Domain Models - Revisited. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Vitor R. G. Silva, Alex F. A. Furtunato, Kyriakos Georgiou, Kerstin Eder, Samuel Xavier de Souza Energy-Optimal Configurations for Single-Node HPC Applications. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Kyriakos Georgiou, Craig Blackmore, Samuel Xavier de Souza, Kerstin Eder Less is More: Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Kyriakos Georgiou, Craig Blackmore, Samuel Xavier de Souza, Kerstin Eder Less is More: Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption. Search on Bibsonomy SCOPES The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Victor H. F. Oliveira, Alex F. A. Furtunato, Luiz Felipe Q. Silveira, Kyriakos Georgiou, Kerstin I. Eder, Samuel Xavier de Souza Application Speedup Characterization: Modeling Parallelization Overhead and Variations of Problem Size and Number of Cores. Search on Bibsonomy ICPE Companion The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kyriakos Georgiou, Steve Kerrison, Zbigniew Chamski, Kerstin Eder Energy Transparency for Deeply Embedded Programs. Search on Bibsonomy TACO The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Satragni Sarkar, Dejanira Araiza-Illan, Kerstin Eder Effects of Faults, Experience, and Personality on Trust in a Robot Co-Worker. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Kyriakos Georgiou, Samuel Xavier de Souza, Kerstin Eder The IoT energy challenge: A software perspective. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Sing-Kai Chiu, Dejanira Araiza-Illan, Kerstin Eder Risk-based Triggering of Bio-inspired Self-Preservation to Protect Robots from Threats. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Craig Blackmore, Oliver Ray, Kerstin Eder Automatically Tuning the GCC Compiler to Optimize the Performance of Applications Running on the ARM Cortex-M3. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Jeremy Morse, Dejanira Araiza-Illan, Kerstin Eder, Jonathan Lawry, Arthur Richards A fuzzy approach to qualification in design exploration for autonomous robots and systems. Search on Bibsonomy FUZZ-IEEE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Haris Isakovic, Radu Grosu, Denise Ratasich, Jiri Kadlec, Zdenek Pohl, Steve Kerrison, Kyriakos Georgiou, Kerstin Eder, Norbert Druml, Lillian Tadros, Flemming Christensen, Emilie Wheatley, Bastian Farkas, Rolf Meyer, Mladen Berekovic A Survey of Hardware Technologies for Mixed-Critical Integration Explored in the Project EMC^2. Search on Bibsonomy SAFECOMP Workshops The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis. Search on Bibsonomy SCOPES The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sing-Kai Chiu, Dejanira Araiza-Illan, Kerstin Eder Risk-Based Triggering of Bio-inspired Self-preservation to Protect Robots from Threats. Search on Bibsonomy TAROS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Samuel Xavier de Souza, Eduardo André Neves, Alex F. A. Furtunato, Luiz Felipe Q. Silveira, Kyriakos Georgiou, Kerstin I. Eder The Benefits of Low Operating Voltage Devices to the Energy Efficiency of Parallel Systems. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Marko C. J. D. van Eekelen, Kerstin Eder Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kerstin Eder, John P. Gallagher, Pedro López-García 0001, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li 0002, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl ENTRA: Whole-systems energy transparency. Search on Bibsonomy Microprocessors and Microsystems - Embedded Hardware Design The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Arthur Richards, Kerstin Eder A formal approach to analysing requirements conformance in adaptive systems. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Adriana Hamacher, Nadia Bianchi-Berthouze, Anthony G. Pipe, Kerstin Eder Believing in BERT: Using expressive communication to enhance trust and counteract operational error in physical Human-Robot Interaction. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Matt Webster, David Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher 0001, Anthony G. Pipe An Assurance-based Approach to Verification and Validation of Human-Robot Teams. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Steve Kerrison, David May 0001, Kerstin Eder A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Kerstin Eder, John P. Gallagher, Pedro López-García 0001, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li 0002, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl ENTRA: Whole-Systems Energy Transparency. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Dejanira Araiza-Illan, Tony Pipe, Kerstin Eder Model-Based Testing, Using Belief-Desire-Intentions Agents, of Control Code for Robots in Collaborative Human-Robot Interactions. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Kerstin Eder Towards the Specification of Adaptive Robotic Systems. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Jeremy Morse, Steve Kerrison, Kerstin Eder On the infeasibility of analysing worst-case dynamic energy. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Kyriakos Georgiou, Steve Kerrison, Zbigniew Chamski, Kerstin Eder Energy Transparency for Deeply Embedded Programs. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Adriana Hamacher, Nadia Bianchi-Berthouze, Anthony G. Pipe, Kerstin Eder Believing in BERT: Using expressive communication to enhance trust and counteract operational error in physical Human-robot interaction. Search on Bibsonomy RO-MAN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Steve Kerrison, David May 0001, Kerstin Eder A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems. Search on Bibsonomy MCSoC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions. Search on Bibsonomy MORSE@RoboCup The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Dejanira Araiza-Illan, David Western, Anthony G. Pipe, Kerstin Eder Systematic and Realistic Testing in Simulation of Control Code for Robots in Collaborative Human-Robot Interactions. Search on Bibsonomy TAROS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Steve Kerrison, Kerstin Eder Energy Modeling of Software for a Hardware Multithreaded Embedded Microprocessor. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Steve Kerrison, Kerstin Eder Modeling and visualizing networked multi-core embedded software energy consumption. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Noé Hernández, Kerstin Eder, Evgeni Magid, Jesus Savage, David A. Rosenblueth Marimba: A Tool for Verifying Properties of Hidden Markov Models. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Kyriakos Georgiou, Steve Kerrison, Kerstin Eder On the Value and Limits of Multi-level Energy Consumption Static Analysis for Deeply Embedded Single and Multi-threaded Programs. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García 0001, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Laura R. Antuña, Dejanira Araiza-Illan, Sérgio Campos, Kerstin Eder Symmetry Reduction Enables Model Checking More Complex Emergent Behaviours of Swarm Navigation Algorithms. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Dejanira Araiza-Illan, Kerstin Eder Evaluating Model Checking Approaches to Verify Stability of Control Systems in Simulink. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Steve Kerrison, Kerstin Eder A software controlled voltage tuning system using multi-purpose ring oscillators. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Dejanira Araiza-Illan, David Western, Anthony G. Pipe, Kerstin Eder Model-Based, Coverage-Driven Verification and Validation of Code for Robots in Human-Robot Interactions. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards Verification of Control Systems Implemented in Simulink with Assertion Checks and Theorem Proving: A Case Study. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Dejanira Araiza-Illan, David Western, Anthony G. Pipe, Kerstin Eder Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder Data dependent energy modelling: A worst case perspective. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1David McCann, Kerstin Eder, Elisabeth Oswald Characterising and Comparing the Energy Consumption of Side Channel Attack Countermeasures and Lightweight Cryptography on Embedded Devices. Search on Bibsonomy IACR Cryptology ePrint Archive The full citation details ... 2015 DBLP  BibTeX  RDF
1Christian Dondrup, Nicola Bellotto, Marc Hanheide, Kerstin Eder, Ute Leonards A Computational Model of Human-Robot Spatial Interactions Based on a Qualitative Trajectory Calculus. Search on Bibsonomy Robotics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Craig Blackmore, Oliver Ray, Kerstin Eder A logic programming approach to predict effective compiler settings for embedded software. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1James Pallister, Kerstin Eder, Simon J. Hollis Optimizing the flash-RAM energy trade-off in deeply embedded systems. Search on Bibsonomy CGO The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards Verification of control systems implemented in simulink with assertion checks and theorem proving: A case study. Search on Bibsonomy ECC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Noé Hernández, Kerstin Eder, Evgeni Magid, Jesús Savage, David A. Rosenblueth Marimba: A Tool for Verifying Properties of Hidden Markov Models. Search on Bibsonomy ATVA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder Static analysis of energy consumption for LLVM IR programs. Search on Bibsonomy SCOPES The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García 0001, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. Search on Bibsonomy FOPARA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dejanira Araiza-Illan, David Western, Anthony G. Pipe, Kerstin Eder Coverage-Driven Verification - An Approach to Verify Code for Robots that Directly Interact with Humans. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Laura R. Antuña, Dejanira Araiza-Illan, Sérgio Campos, Kerstin Eder Symmetry Reduction Enables Model Checking of More Complex Emergent Behaviours of Swarm Navigation Algorithms. Search on Bibsonomy TAROS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1David McCann, Kerstin Eder, Elisabeth Oswald Characterising and Comparing the Energy Consumption of Side Channel Attack Countermeasures and Lightweight Cryptography on Embedded Devices. Search on Bibsonomy SIoT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mohamed A. Salem, Kerstin I. Eder Novel MC/DC Coverage Test Sets Generation Algorithm, and MC/DC Design Fault Detection Strength Insights. Search on Bibsonomy MTV The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards Formal Verification of Control Systems Properties with Theorem Proving. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Kerstin Eder, Chris Harper, Ute Leonards Towards the Safety of Human-in-the-Loop Robotics: Challenges and Opportunities for Safety Assurance of Robotic Co-Workers. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1James Pallister, Kerstin Eder, Simon J. Hollis Optimizing the flash-RAM energy trade-off in deeply embedded systems. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1James Pallister, Kerstin Eder, Simon J. Hollis, Jeremy Bennett A high-level model of embedded flash energy consumption. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Kerstin Eder Static energy consumption analysis of LLVM IR programs. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Hayden Field, Glen Anderson, Kerstin Eder EACOF: A Framework for Providing Energy Transparency to enable Energy-Aware Software Development. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Piotr Trojanek, Kerstin Eder Verification and testing of mobile robot navigation algorithms: A case study in SPARK. Search on Bibsonomy IROS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Kerstin Eder, Chris Harper, Ute Leonards Towards the safety of human-in-the-loop robotics: Challenges and opportunities for safety assurance of robotic co-workers'. Search on Bibsonomy RO-MAN The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Hayden Field, Glen Anderson, Kerstin Eder EACOF: a framework for providing energy transparency to enable energy-aware software development. Search on Bibsonomy SAC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1James Pallister, Kerstin Eder, Simon J. Hollis, Jeremy Bennett A high-level model of embedded flash energy consumption. Search on Bibsonomy CASES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Stephen Wright, Kerstin Eder Experience of Deploying Event-B in Industrial Microprocessor Development. Search on Bibsonomy Industrial Deployment of System Engineering Methods The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Elena Corina Grigore, Kerstin Eder, Anthony G. Pipe, Chris Melhuish, Ute Leonards Joint action understanding improves robot-to-human object handover. Search on Bibsonomy IROS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Umer Liqat, Steve Kerrison, Alejandro Serrano 0001, Kyriakos Georgiou, Pedro López-García 0001, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. Search on Bibsonomy LOPSTR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mohamed A. Salem, Kerstin I. Eder Modified Condition Decision Coverage: A Hardware Verification Perspective. Search on Bibsonomy MTV The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Charalambos Ioannides, Kerstin Eder Coverage-Directed Test Generation Automated by Machine Learning - A Review. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Tim 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. Search on Bibsonomy IFM The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kerstin Eder, João Lourenço, Onn Shehory (eds.) Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers Search on Bibsonomy Haifa Verification Conference The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Stephen Wright, Kerstin Eder Using Event-B to construct instruction set architectures. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Fangfang Yuan, Stephen Wright, Kerstin Eder, David May 0001 Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures. Search on Bibsonomy ICFEM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Charalambos Ioannides, Geoff Barrett, Kerstin Eder Improving XCS performance on overlapping binary problems. Search on Bibsonomy IEEE Congress on Evolutionary Computation The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Charalambos Ioannides, Geoff Barrett, Kerstin Eder Introducing XCS to Coverage Directed test Generation. Search on Bibsonomy HLDVT The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Charalambos Ioannides, Geoff Barrett, Kerstin Eder XCS cannot learn all boolean functions. Search on Bibsonomy GECCO The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Elena Corina Grigore, Kerstin Eder, Alexander Lenz, Sergey Skachek, Anthony G. Pipe, Chris Melhuish Towards Safe Human-Robot Interaction. Search on Bibsonomy TAROS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Suleiman Abu Kharmeh, Kerstin Eder, David May 0001 A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface. Search on Bibsonomy FORMATS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Betty H. C. Cheng, Kerstin I. Eder, Martin Gogolla, Lars Grunske, Marin Litoiu, Hausi A. Müller, Patrizio Pelliccione, Anna Perini, Nauman A. Qureshi, Bernhard Rumpe, Daniel Schneider 0001, Frank Trollmann, Norha M. Villegas Using Models at Runtime to Address Assurance for Self-Adaptive Systems. Search on Bibsonomy Models@run.time@Dagstuhl The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Charalambos Ioannides, Geoff Barrett, Kerstin Eder Feedback-Based Coverage Directed Test Generation: An Industrial Evaluation. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hsiou-Wen Hsueh, Kerstin Eder Test Directive Generation for Functional Coverage Closure Using Inductive Logic Programming. Search on Bibsonomy HLDVT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Kerstin Eder, Peter A. Flach, Hsiou-Wen Hsueh Towards Automating Simulation-Based Design Verification Using ILP. Search on Bibsonomy ILP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Kerstin Eder, Geoff Barrett Achieving maximum performance: a method for the verification of interlocked pipeline control logic. Search on Bibsonomy DAC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF interlock logic, pipeline stall, verification
1Kerstin I. Eder EMA : implementing the rewriting computational model of Escher. Search on Bibsonomy 1998   RDF
1Kerstin Eder, Steffen Hölldobler, Michael Thielscher An Abstract Machine for Reasoning about Situations, Actions, and Causality. Search on Bibsonomy ELP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Kerstin Eder, Steffen Hölldobler, Michael Thielscher A Resource-Oriented Deductive Approach Towards Hierarchical Planning. Search on Bibsonomy WLP The full citation details ... 1995 DBLP  BibTeX  RDF
Displaying result #1 - #93 of 93 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license