Alan Hartman

	2010
32		Alan Hartman, Anshu N. Jain, Jay Ramanathan, Antonis Ramfos, Willem-Jan Van der Heuvel, Christian Zirpins, Stefan Tai, Yannis Charalabidis, A. Pasic, T. Johannessen: Participatory Design of Public Sector Services. EGOVIS 2010: 219-233
	2009
31		Richard F. Paige, Alan Hartman, Arend Rensink: Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings Springer 2009
30		Ketki A. Dhanesha, Alan Hartman, Anshu N. Jain: A Model for Designing Generic Services. IEEE SCC 2009: 435-442
	2008
29		Ina Schieferdecker, Alan Hartman: Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings Springer 2008
	2007
28		Alan Hartman, Mika Katara, Amit M. Paradkar: Proceedings of the 2007 Workshop on Domain Specific Approaches to Software Test Automation, DOSTA 2007, Dubrovnik, Croatia, September 4, 2007 ACM 2007
27		Alan Hartman, Mika Katara, Amit M. Paradkar: Domain specific approaches to software test automation. ESEC/SIGSOFT FSE 2007: 621-622
26		Alan Hartman, Mika Katara, Amit M. Paradkar: Domain specific approaches to software test automation. ESEC/SIGSOFT FSE (Companion) 2007: 621-622
	2006
25		Alan Hartman, Mika Katara, Sergey Olvovsky: Choosing a Test Modeling Language: A Survey. Haifa Verification Conference 2006: 204-218
24		Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic: 2nd UML 2 Semantics Symposium: Formal Semantics for UML. MoDELS Workshops 2006: 318-323
23		Andrei Kirshin, Dolev Dotan, Alan Hartman: A UML Simulator Based on a Generic Model Execution Engine. MoDELS Workshops 2006: 324-326
	2005
22		Alan Hartman, David Kreische: Model Driven Architecture - Foundations and Applications, First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings Springer 2005
	2004
21		Alan Hartman, Kenneth Nagin: The AGEDIS tools for model based testing. ISSTA 2004: 129-132
20		Alan Hartman, Kenneth Nagin: The AGEDIS Tools for Model Based Testing. UML Satellite Activities 2004: 277-280
19		Alan Hartman, Leonid Raskin: Problems and algorithms for covering arrays. Discrete Mathematics 284(1-3): 149-156 (2004)
	2002
18		G. Friedman, Alan Hartman, Kenneth Nagin, T. Shiran: Projected state machine coverage for software testing. ISSTA 2002: 134-143
17		Eitan Farchi, Alan Hartman, Shlomit S. Pinter: Using a model-based test generator to test for standard conformance. IBM Systems Journal 41(1): 89-110 (2002)
	1999
16		Mike Benjamin, Daniel Geist, Alan Hartman, Gérard Mas, Ralph Smeets, Yaron Wolfsthal: A Study in Coverage-Driven Test Generation. DAC 1999: 970-975
	1994
15		Alan Hartman: The fundamental construction for 3-designs. Discrete Mathematics 124(1-3): 107-132 (1994)
	1993
14		Alan Hartman, Yoav Medan: Covering the Complete Graph with Plane Cycles. Discrete Applied Mathematics 44(1-3): 305-310 (1993)
	1992
13		Ahmed M. Assaf, Alan Hartman, Nabil Shalaby: Packing designs with block size 6 and index 5. Discrete Mathematics 103(2): 121-128 (1992)
12		Alan Hartman, Zvi Yehudai: Intersections of Steiner quadruple systems. Discrete Mathematics 104(3): 227-244 (1992)
	1991
11		Charles J. Colbourn, Alan Hartman: Intersections and supports of quadruple systems. Discrete Mathematics 97(1-3): 119-137 (1991)
10		Andrew Granville, Alan Hartman: Subdesigns in Steiner quadruple systems. J. Comb. Theory, Ser. A 56(2): 239-270 (1991)
9		Tuvi Etzion, Alan Hartman: Towards a Large Set of Steiner Quadruple Systems. SIAM J. Discrete Math. 4(2): 182-195 (1991)
	1990
8		Ahmed M. Assaf, Alan Hartman: On packing designs with block size 5 and index 4. Discrete Mathematics 79(2): 111-121 (1990)
	1989
7		Alan Hartman: Combinatorial designs - a tribute to Haim Hanani. Discrete Mathematics 77(1-3): 1-4 (1989)
6		Ahmed M. Assaf, Alan Hartman: Resolvable group divisible designs with block size 3. Discrete Mathematics 77(1-3): 5-20 (1989)
	1987
5		Alan Hartman: The existence of resolvable Steiner quadruple systems. J. Comb. Theory, Ser. A 44(2): 182-206 (1987)
	1986
4		Alan Hartman: On small packing and covering designs with block size 4. Discrete Mathematics 59(3): 275-281 (1986)
3		Alan Hartman: Partial triple systems and edge colourings. Discrete Mathematics 62(2): 183-196 (1986)
	1983
2		Haim Hanani, Alan Hartman, Earl S. Kramer: On three-designs of small order. Discrete Mathematics 45(1): 75-97 (1983)
	1982
1		Alan Hartman: Quadruple systems containing AG(3, 2). Discrete Mathematics 39(3): 293-299 (1982)

Coauthor Index

1	Ahmed M. Assaf	[6] [8] [13]
2	Mike Benjamin	[16]
3	Manfred Broy	[24]
4	Yannis Charalabidis	[32]
5	Charles J. Colbourn	[11]
6	Michelle L. Crane	[24]
7	Ketki A. Dhanesha	[30]
8	Jürgen Dingel	[24]
9	Dolev Dotan	[23]
10	Tuvi Etzion	[9]
11	Eitan Farchi	[17]
12	G. Friedman	[18]
13	Daniel Geist	[16]
14	Andrew Granville	[10]
15	Haim Hanani	[2]
16	Willem-Jan Van der Heuvel	[32]
17	Anshu N. Jain	[30] [32]
18	T. Johannessen	[32]
19	Mika Katara	[25] [26] [27] [28]
20	Andrei Kirshin	[23]
21	Earl S. Kramer	[2]
22	David Kreische	[22]
23	Gérard Mas	[16]
24	Yoav Medan	[14]
25	Kenneth Nagin	[18] [20] [21]
26	Sergey Olvovsky	[25]
27	Richard F. Paige	[31]
28	Amit M. Paradkar	[26] [27] [28]
29	A. Pasic	[32]
30	Shlomit S. Pinter	[17]
31	Jay Ramanathan	[32]
32	Antonis Ramfos	[32]
33	Leonid Raskin	[19]
34	Arend Rensink	[31]
35	Bernhard Rumpe	[24]
36	Ina Schieferdecker	[29]
37	Bran Selic	[24]
38	Nabil Shalaby	[13]
39	T. Shiran	[18]
40	Ralph Smeets	[16]
41	Stefan Tai	[32]
42	Yaron Wolfsthal (Yaron Wolfstahl)	[16]
43	Zvi Yehudai	[12]
44	Christian Zirpins	[32]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page