 | 2009 |
| 29 |  | 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 |
| 28 |  | Ketki A. Dhanesha,
Alan Hartman,
Anshu N. Jain:
A Model for Designing Generic Services.
IEEE SCC 2009: 435-442 |
| 2008 |
| 27 |  | 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 |
| 26 |  | 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 |
| 25 |  | Alan Hartman,
Mika Katara,
Amit M. Paradkar:
Domain specific approaches to software test automation.
ESEC/SIGSOFT FSE 2007: 621-622 |
| 24 |  | Alan Hartman,
Mika Katara,
Amit M. Paradkar:
Domain specific approaches to software test automation.
ESEC/SIGSOFT FSE (Companion) 2007: 621-622 |
| 2006 |
| 23 |  | Alan Hartman,
Mika Katara,
Sergey Olvovsky:
Choosing a Test Modeling Language: A Survey.
Haifa Verification Conference 2006: 204-218 |
| 22 |  | 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 |
| 21 |  | Andrei Kirshin,
Dolev Dotan,
Alan Hartman:
A UML Simulator Based on a Generic Model Execution Engine.
MoDELS Workshops 2006: 324-326 |
| 2005 |
| 20 |  | 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 |
| 19 |  | Alan Hartman,
Kenneth Nagin:
The AGEDIS Tools for Model Based Testing.
UML Satellite Activities 2004: 277-280 |
| 18 |  | Alan Hartman,
Leonid Raskin:
Problems and algorithms for covering arrays.
Discrete Mathematics 284(1-3): 149-156 (2004) |
| 2002 |
| 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) |