Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDKerstin Eder
Kerstin I. Eder
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[j12]Alex F. A. Furtunato
, Kyriakos Georgiou, Kerstin Eder, Samuel Xavier de Souza:
When Parallel Speedups Hit the Memory Wall. IEEE Access 8: 79225-79238 (2020)- [j11]Matt Webster, David Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe:
A corroborative approach to verification and validation of human-robot teams. Int. J. Robotics Res. 39(1) (2020) - [c46]Greg Chance, Abanoub Ghobrial, Séverin Lemaignan, Tony Pipe, Kerstin Eder:
An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification. AITest 2020: 31-38 - [c45]Anas Shrinah, Kerstin Eder:
Goal-constrained planning domain model verification of safety properties. STAIRS@ECAI 2020 - [c44]José L. Núñez-Yáñez, Kris Nikov, Kerstin Eder, Mohammad Hosseinabady:
Run-Time Power Modelling in Embedded GPUs with Dynamic Voltage and Frequency Scaling. PARMA-DITAM@HiPEAC 2020: 2:1-2:6 - [i45]Demetrios A. M. Coutinho, Daniele De Sensi, Arthur Francisco Lorenzon, Kyriakos Georgiou, José L. Núñez-Yáñez, Kerstin Eder, Samuel Xavier de Souza:
Performance and Energy Trade-Offs for Parallel Applications on Heterogeneous Multi-Processing Systems. CoRR abs/2005.02947 (2020) - [i44]José L. Núñez-Yáñez, Kris Nikov, Kerstin Eder, Mohammad Hosseinabady:
Run-Time Power Modelling in Embedded GPUs with Dynamic Voltage and Frequency Scaling. CoRR abs/2006.12176 (2020) - [i43]Carsten Maple, Peter Davies, Kerstin Eder, Chris Hankin, Greg Chance, Gregory Epiphaniou:
CyRes - Avoiding Catastrophic Failure in Connected and Autonomous Vehicles (Extended Abstract). CoRR abs/2006.14890 (2020) - [i42]Hadas Kress-Gazit, Kerstin Eder, Guy Hoffman, Henny Admoni, Brenna Argall, Rüdiger Ehlers, Christoffer Heckman, Nils Jansen, Ross Knepper, Jan Kretínský, Shelly Levy-Tzedek, Jamy Li, Todd Murphey, Laurel D. Riek, Dorsa Sadigh:
Formalizing and Guaranteeing* Human-Robot Interaction. CoRR abs/2006.16732 (2020)
2010 – 2019
- 2019
- [c43]Vitor R. G. Silva, Alex F. A. Furtunato, Kyriakos Georgiou, Carlos A. V. Sakuyama, Kerstin I. Eder, Samuel Xavier de Souza:
Energy-Optimal Configurations for Single-Node HPC Applications. HPCS 2019: 448-454 - [c42]Diego V. Cirilo do Nascimento, Kyriakos Georgiou, Kerstin I. Eder, Samuel Xavier de Souza:
Exploiting guard band limits for energy gains in MPSoCs. VLSI-SoC 2019: 1-2 - [c41]Demetrios A. M. Coutinho, Kyriakos Georgiou, Kerstin I. Eder, José L. Núñez-Yáñez, Samuel Xavier de Souza:
Performance and Energy Efficiency Trade-Offs in Single-ISA Heterogeneous Multi-Processing for Parallel Applications. VLSI-SoC 2019: 232-233 - [i41]Kyriakos Georgiou, Zbigniew Chamski, Andres Amaya Garcia, David May, Kerstin Eder:
Lost in translation: Exposing hidden compiler optimization opportunities. CoRR abs/1903.11397 (2019) - [i40]Alex F. A. Furtunato, Kyriakos Georgiou, Kerstin Eder, Samuel Xavier de Souza:
When parallel speedups hit the memory wall. CoRR abs/1905.01234 (2019) - [i39]Greg Chance, Abanoub Ghobrial, Séverin Lemaignan, Tony Pipe, Kerstin Eder:
An Agency-Directed Approach to Test Generation for Simulation-based Autonomous Vehicle Verification. CoRR abs/1912.05434 (2019) - [i38]Rachid Alami, Kerstin I. Eder, Guy Hoffman, Hadas Kress-Gazit:
Verification and Synthesis of Human-Robot Interaction (Dagstuhl Seminar 19081). Dagstuhl Reports 9(2): 91-110 (2019) - 2018
- [j10]Kyriakos Georgiou, Samuel Xavier de Souza, Kerstin Eder:
The IoT Energy Challenge: A Software Perspective. IEEE Embed. Syst. Lett. 10(3): 53-56 (2018) - [j9]Jeremy Morse, Steve Kerrison, Kerstin Eder:
On the Limitations of Analyzing Worst-Case Dynamic Energy of Processing. ACM Trans. Embed. Comput. Syst. 17(3): 59:1-59:22 (2018) - [c40]Kyriakos Georgiou, Craig Blackmore, Samuel Xavier de Souza, Kerstin Eder:
Less is More: Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption. SCOPES 2018: 35-42 - [c39]Victor 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. ICPE Companion 2018: 43-44 - [i37]Kyriakos Georgiou, Craig Blackmore, Samuel Xavier de Souza, Kerstin Eder:
Less is More: Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption. CoRR abs/1802.09845 (2018) - [i36]Vitor R. G. Silva, Alex F. A. Furtunato, Kyriakos Georgiou, Kerstin Eder, Samuel Xavier de Souza:
Energy-Optimal Configurations for Single-Node HPC Applications. CoRR abs/1805.00998 (2018) - [i35]Anas Shrinah, Kerstin Eder:
Verification of Planning Domain Models - Revisited. CoRR abs/1811.09231 (2018) - 2017
- [j8]Kyriakos Georgiou, Steve Kerrison, Zbigniew Chamski, Kerstin Eder:
Energy Transparency for Deeply Embedded Programs. ACM Trans. Archit. Code Optim. 14(1): 8:1-8:26 (2017) - [c38]Jeremy Morse, Dejanira Araiza-Illan, Kerstin Eder, Jonathan Lawry, Arthur Richards:
A fuzzy approach to qualification in design exploration for autonomous robots and systems. FUZZ-IEEE 2017: 1-6 - [c37]Haris 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. SAFECOMP Workshops 2017: 127-140 - [c36]James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder:
Data Dependent Energy Modeling for Worst Case Energy Consumption Analysis. SCOPES 2017: 51-59 - [c35]Sing-Kai Chiu, Dejanira Araiza-Illan, Kerstin Eder:
Risk-Based Triggering of Bio-inspired Self-preservation to Protect Robots from Threats. TAROS 2017: 166-181 - [i34]Sing-Kai Chiu, Dejanira Araiza-Illan, Kerstin Eder:
Risk-based Triggering of Bio-inspired Self-Preservation to Protect Robots from Threats. CoRR abs/1702.06756 (2017) - [i33]Satragni Sarkar, Dejanira Araiza-Illan, Kerstin Eder:
Effects of Faults, Experience, and Personality on Trust in a Robot Co-Worker. CoRR abs/1703.02335 (2017) - [i32]Craig Blackmore, Oliver Ray, Kerstin Eder:
Automatically Tuning the GCC Compiler to Optimize the Performance of Applications Running on the ARM Cortex-M3. CoRR abs/1703.08228 (2017) - [i31]Kyriakos Georgiou, Samuel Xavier de Souza, Kerstin Eder:
The IoT energy challenge: A software perspective. CoRR abs/1706.08817 (2017) - [i30]Samuel 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. CoRR abs/1709.08689 (2017) - 2016
- [j7]Marko C. J. D. van Eekelen, Kerstin Eder:
Preface. Electron. Notes Theor. Comput. Sci. 330: 1-3 (2016) - [j6]Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl:
ENTRA: Whole-systems energy transparency. Microprocess. Microsystems 47: 278-286 (2016) - [c34]Steve Kerrison, David May, Kerstin Eder:
A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems. MCSoC 2016: 125-132 - [c33]Adriana 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. RO-MAN 2016: 493-500 - [c32]Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder:
Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions. MORSE@RoboCup 2016: 9-16 - [c31]Dejanira 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. TAROS 2016: 20-32 - [i29]Dejanira Araiza-Illan, Tony Pipe, Kerstin Eder:
Model-Based Testing, Using Belief-Desire-Intentions Agents, of Control Code for Robots in Collaborative Human-Robot Interactions. CoRR abs/1603.00656 (2016) - [i28]Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Kerstin Eder:
Towards the Specification of Adaptive Robotic Systems. CoRR abs/1603.01082 (2016) - [i27]Jeremy Morse, Steve Kerrison, Kerstin Eder:
On the infeasibility of analysing worst-case dynamic energy. CoRR abs/1603.02580 (2016) - [i26]Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder:
Intelligent Agent-Based Stimulation for Testing Robotic Software in Human-Robot Interactions. CoRR abs/1604.05508 (2016) - [i25]Adriana 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. CoRR abs/1605.08817 (2016) - [i24]Jeremy Morse, Dejanira Araiza-Illan, Jonathan Lawry, Arthur Richards, Kerstin Eder:
A formal approach to analysing requirements conformance in adaptive systems. CoRR abs/1606.01077 (2016) - [i23]Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl:
ENTRA: Whole-Systems Energy Transparency. CoRR abs/1606.04074 (2016) - [i22]Steve Kerrison, David May, Kerstin Eder:
A Benes Based NoC Switching Architecture for Mixed Criticality Embedded Systems. CoRR abs/1606.08686 (2016) - [i21]Matt Webster, David Western, Dejanira Araiza-Illan, Clare Dixon, Kerstin Eder, Michael Fisher, Anthony G. Pipe:
An Assurance-based Approach to Verification and Validation of Human-Robot Teams. CoRR abs/1608.07403 (2016) - [i20]Kyriakos Georgiou, Steve Kerrison, Zbigniew Chamski, Kerstin Eder:
Energy Transparency for Deeply Embedded Programs. CoRR abs/1609.02193 (2016) - [i19]Dejanira Araiza-Illan, Anthony G. Pipe, Kerstin Eder:
Model-based Test Generation for Robotic Software: Automata versus Belief-Desire-Intention Agents. CoRR abs/1609.08439 (2016) - 2015
- [j5]Christian Dondrup, Nicola Bellotto, Marc Hanheide, Kerstin Eder, Ute Leonards:
A Computational Model of Human-Robot Spatial Interactions Based on a Qualitative Trajectory Calculus. Robotics 4(1): 63-102 (2015) - [j4]Steve Kerrison, Kerstin Eder:
Energy Modeling of Software for a Hardware Multithreaded Embedded Microprocessor. ACM Trans. Embed. Comput. Syst. 14(3): 56:1-56:25 (2015) - [j3]Craig Blackmore, Oliver Ray, Kerstin Eder:
A logic programming approach to predict effective compiler settings for embedded software. Theory Pract. Log. Program. 15(4-5): 481-494 (2015) - [c30]Noé Hernández, Kerstin Eder, Evgeni Magid, Jesús Savage, David A. Rosenblueth:
Marimba: A Tool for Verifying Properties of Hidden Markov Models. ATVA 2015: 201-206 - [c29]James Pallister, Kerstin Eder, Simon J. Hollis:
Optimizing the flash-RAM energy trade-off in deeply embedded systems. CGO 2015: 115-124 - [c28]Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards:
Verification of control systems implemented in simulink with assertion checks and theorem proving: A case study. ECC 2015: 2670-2675 - [c27]Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder:
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. FOPARA 2015: 81-100 - [c26]Dejanira Araiza-Illan, David Western, Anthony G. Pipe, Kerstin Eder:
Coverage-Driven Verification - An Approach to Verify Code for Robots that Directly Interact with Humans. Haifa Verification Conference 2015: 69-84 - [c25]Mohamed A. Salem, Kerstin I. Eder:
Novel MC/DC Coverage Test Sets Generation Algorithm, and MC/DC Design Fault Detection Strength Insights. MTV 2015: 32-37 - [c24]Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder:
Static analysis of energy consumption for LLVM IR programs. SCOPES 2015: 12-21 - [c23]David McCann, Kerstin Eder, Elisabeth Oswald:
Characterising and Comparing the Energy Consumption of Side Channel Attack Countermeasures and Lightweight Cryptography on Embedded Devices. SIoT 2015: 65-71 - [c22]Laura 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. TAROS 2015: 26-37 - [i18]Steve Kerrison, Kerstin Eder:
A software controlled voltage tuning system using multi-purpose ring oscillators. CoRR abs/1503.05733 (2015) - [i17]James Pallister, Steve Kerrison, Jeremy Morse, Kerstin Eder:
Data dependent energy modelling: A worst case perspective. CoRR abs/1505.03374 (2015) - [i16]Laura R. Antuña, Dejanira Araiza-Illan, Sérgio Campos, Kerstin Eder:
Symmetry Reduction Enables Model Checking More Complex Emergent Behaviours of Swarm Navigation Algorithms. CoRR abs/1505.05695 (2015) - [i15]Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards:
Verification of Control Systems Implemented in Simulink with Assertion Checks and Theorem Proving: A Case Study. CoRR abs/1505.05699 (2015) - [i14]Noé Hernández, Kerstin Eder, Evgeni Magid, Jesus Savage, David A. Rosenblueth:
Marimba: A Tool for Verifying Properties of Hidden Markov Models. CoRR abs/1507.05597 (2015) - [i13]Steve Kerrison, Kerstin Eder:
Modeling and visualizing networked multi-core embedded software energy consumption. CoRR abs/1509.02830 (2015) - [i12]Dejanira Araiza-Illan, David Western, Anthony G. Pipe, Kerstin Eder:
Coverage-Driven Verification - An approach to verify code for robots that directly interact with humans. CoRR abs/1509.04852 (2015) - [i11]Kyriakos 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. CoRR abs/1510.07095 (2015) - [i10]Dejanira Araiza-Illan, Kerstin Eder:
Evaluating Model Checking Approaches to Verify Stability of Control Systems in Simulink. CoRR abs/1511.00412 (2015) - [i9]Dejanira Araiza-Illan, David Western, Anthony G. Pipe, Kerstin Eder:
Model-Based, Coverage-Driven Verification and Validation of Code for Robots in Human-Robot Interactions. CoRR abs/1511.01354 (2015) - [i8]Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder:
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. CoRR abs/1511.01413 (2015) - [i7]David McCann, Kerstin Eder, Elisabeth Oswald:
Characterising and Comparing the Energy Consumption of Side Channel Attack Countermeasures and Lightweight Cryptography on Embedded Devices. IACR Cryptol. ePrint Arch. 2015: 832 (2015) - 2014
- [c21]James Pallister, Kerstin Eder, Simon J. Hollis, Jeremy Bennett:
A high-level model of embedded flash energy consumption. CASES 2014: 20:1-20:9 - [c20]Piotr Trojanek, Kerstin Eder:
Verification and testing of mobile robot navigation algorithms: A case study in SPARK. IROS 2014: 1489-1494 - [c19]Kerstin Eder, Chris Harper, Ute Leonards:
Towards the safety of human-in-the-loop robotics: Challenges and opportunities for safety assurance of robotic co-workers'. RO-MAN 2014: 660-665 - [c18]Hayden Field, Glen Anderson, Kerstin Eder:
EACOF: a framework for providing energy transparency to enable energy-aware software development. SAC 2014: 1194-1199 - [i6]James Pallister, Kerstin Eder, Simon J. Hollis, Jeremy Bennett:
A high-level model of embedded flash energy consumption. CoRR abs/1404.1602 (2014) - [i5]Kerstin Eder, Chris Harper, Ute Leonards:
Towards the Safety of Human-in-the-Loop Robotics: Challenges and Opportunities for Safety Assurance of Robotic Co-Workers. CoRR abs/1404.2229 (2014) - [i4]Neville Grech, Kyriakos Georgiou, James Pallister, Steve Kerrison, Kerstin Eder:
Static energy consumption analysis of LLVM IR programs. CoRR abs/1405.4565 (2014) - [i3]Dejanira Araiza-Illan, Kerstin Eder, Arthur Richards:
Formal Verification of Control Systems Properties with Theorem Proving. CoRR abs/1405.7615 (2014) - [i2]Hayden Field, Glen Anderson, Kerstin Eder:
EACOF: A Framework for Providing Energy Transparency to enable Energy-Aware Software Development. CoRR abs/1406.0117 (2014) - [i1]James Pallister, Kerstin Eder, Simon J. Hollis:
Optimizing the flash-RAM energy trade-off in deeply embedded systems. CoRR abs/1406.0403 (2014) - 2013
- [c17]Elena Corina Grigore, Kerstin Eder, Anthony G. Pipe, Chris Melhuish, Ute Leonards:
Joint action understanding improves robot-to-human object handover. IROS 2013: 4622-4629 - [c16]Umer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro López-García, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder:
Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. LOPSTR 2013: 72-90 - [c15]Mohamed A. Salem, Kerstin I. Eder:
Modified Condition Decision Coverage: A Hardware Verification Perspective. MTV 2013: 8-13 - [p1]Stephen Wright, Kerstin Eder:
Experience of Deploying Event-B in Industrial Microprocessor Development. Industrial Deployment of System Engineering Methods 2013: 107-122 - 2012
- [j2]Charalambos Ioannides, Kerstin Eder:
Coverage-Directed Test Generation Automated by Machine Learning - A Review. ACM Trans. Design Autom. Electr. Syst. 17(1): 7:1-7:21 (2012) - [c14]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. IFM 2012: 84-98 - [e1]Kerstin Eder, João Lourenço, Onn Shehory:
Hardware and Software: Verification and Testing - 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7261, Springer 2012, ISBN 978-3-642-34187-8 [contents] - 2011
- [j1]Stephen Wright, Kerstin Eder:
Using Event-B to construct instruction set architectures. Formal Aspects Comput. 23(1): 73-89 (2011) - [c13]Charalambos Ioannides, Geoff Barrett, Kerstin Eder:
Improving XCS performance on overlapping binary problems. IEEE Congress on Evolutionary Computation 2011: 1420-1427 - [c12]Betty 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, Frank Trollmann, Norha M. Villegas:
Using Models at Runtime to Address Assurance for Self-Adaptive Systems. Models@run.time@Dagstuhl 2011: 101-136 - [c11]Suleiman Abu Kharmeh, Kerstin Eder, David May:
A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface. FORMATS 2011: 335-351 - [c10]Charalambos Ioannides, Geoff Barrett, Kerstin Eder:
XCS cannot learn all boolean functions. GECCO 2011: 1283-1290 - [c9]Charalambos Ioannides, Geoff Barrett, Kerstin Eder:
Introducing XCS to Coverage Directed test Generation. HLDVT 2011: 57-64 - [c8]Fangfang Yuan, Stephen Wright, Kerstin Eder, David May:
Managing Complexity through Abstraction: A Refinement-Based Approach to Formalize Instruction Set Architectures. ICFEM 2011: 585-600 - [c7]Elena Corina Grigore, Kerstin Eder, Alexander Lenz, Sergey Skachek, Anthony G. Pipe, Chris Melhuish:
Towards Safe Human-Robot Interaction. TAROS 2011: 323-335 - 2010
- [c6]Charalambos Ioannides, Geoff Barrett, Kerstin Eder:
Feedback-Based Coverage Directed Test Generation: An Industrial Evaluation. Haifa Verification Conference 2010: 112-128
2000 – 2009
- 2006
- [c5]Hsiou-Wen Hsueh, Kerstin Eder:
Test Directive Generation for Functional Coverage Closure Using Inductive Logic Programming. HLDVT 2006: 11-18 - [c4]Kerstin Eder, Peter A. Flach, Hsiou-Wen Hsueh:
Towards Automating Simulation-Based Design Verification Using ILP. ILP 2006: 154-168 - 2002
- [c3]Kerstin Eder, Geoff Barrett:
Achieving maximum performance: a method for the verification of interlocked pipeline control logic. DAC 2002: 135-140
1990 – 1999
- 1998
- [b1]Kerstin I. Eder:
EMA : implementing the rewriting computational model of Escher. University of Bristol, UK, 1998 - 1996
- [c2]Kerstin Eder, Steffen Hölldobler, Michael Thielscher:
An Abstract Machine for Reasoning about Situations, Actions, and Causality. ELP 1996: 137-151 - 1995
- [c1]Kerstin Eder, Steffen Hölldobler, Michael Thielscher:
A Resource-Oriented Deductive Approach Towards Hierarchical Planning. WLP 1995: 237-246
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2020-09-24 00:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
