Kerstin Eder

	2012
13		Charalambos Ioannides, Kerstin Eder: Coverage-Directed Test Generation Automated by Machine Learning - A Review. ACM Trans. Design Autom. Electr. Syst. 17(1): 7 (2012)
	2011
12		Suleiman Abu Kharmeh, Kerstin Eder, David May: A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface. FORMATS 2011: 335-351
11		Charalambos Ioannides, Geoff Barrett, Kerstin Eder: XCS cannot learn all boolean functions. GECCO 2011: 1283-1290
10		Charalambos Ioannides, Geoff Barrett, Kerstin Eder: Introducing XCS to Coverage Directed test Generation. HLDVT 2011: 57-64
9		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
8		Charalambos Ioannides, Geoff Barrett, Kerstin Eder: Improving XCS performance on overlapping binary problems. IEEE Congress on Evolutionary Computation 2011: 1420-1427
7		Elena Corina Grigore, Kerstin Eder, Alexander Lenz, Sergey Skachek, Anthony G. Pipe, Chris Melhuish: Towards Safe Human-Robot Interaction. TAROS 2011: 323-335
6		Stephen Wright, Kerstin Eder: Using Event-B to construct instruction set architectures. Formal Asp. Comput. 23(1): 73-89 (2011)
	2010
5		Charalambos Ioannides, Geoff Barrett, Kerstin Eder: Feedback-Based Coverage Directed Test Generation: An Industrial Evaluation. Haifa Verification Conference 2010: 112-128
	2006
4		Kerstin Eder, Peter A. Flach, Hsiou-Wen Hsueh: Towards Automating Simulation-Based Design Verification Using ILP. ILP 2006: 154-168
	2002
3		Kerstin Eder, Geoff Barrett: Achieving maximum performance: a method for the verification of interlocked pipeline control logic. DAC 2002: 135-140
	1996
2		Kerstin Eder, Steffen Hölldobler, Michael Thielscher: An Abstract Machine for Reasoning about Situations, Actions, and Causality. ELP 1996: 137-151
	1995
1		Kerstin Eder, Steffen Hölldobler, Michael Thielscher: A Resource-Oriented Deductive Approach Towards Hierarchical Planning. WLP 1995: 237-246

Coauthor Index

1	Geoff Barrett	[3] [5] [8] [10] [11]
2	Peter A. Flach	[4]
3	Elena Corina Grigore	[7]
4	Steffen Hölldobler	[1] [2]
5	Hsiou-Wen Hsueh	[4]
6	Charalambos Ioannides	[5] [8] [10] [11] [13]
7	Suleiman Abu Kharmeh	[12]
8	Alexander Lenz	[7]
9	David May	[9] [12]
10	Chris Melhuish	[7]
11	Anthony G. Pipe	[7]
12	Sergey Skachek	[7]
13	Michael Thielscher	[1] [2]
14	Stephen Wright	[6] [9]
15	Fangfang Yuan	[9]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page