| 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 | EE | Alan Hartman,
Mika Katara,
Amit M. Paradkar:
Domain specific approaches to software test automation.
ESEC/SIGSOFT FSE 2007: 621-622 |
| 24 | EE | Alan Hartman,
Mika Katara,
Amit M. Paradkar:
Domain specific approaches to software test automation.
ESEC/SIGSOFT FSE (Companion) 2007: 621-622 |
| 2006 |
|---|
| 23 | EE | Alan Hartman,
Mika Katara,
Sergey Olvovsky:
Choosing a Test Modeling Language: A Survey.
Haifa Verification Conference 2006: 204-218 |
| 22 | EE | 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 | EE | 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 | EE | Alan Hartman,
Kenneth Nagin:
The AGEDIS Tools for Model Based Testing.
UML Satellite Activities 2004: 277-280 |
| 18 | EE | Alan Hartman,
Leonid Raskin:
Problems and algorithms for covering arrays.
Discrete Mathematics 284(1-3): 149-156 (2004) |
| 2002 |
|---|
| 17 | EE | 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 | EE | 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 | EE | Alan Hartman:
The fundamental construction for 3-designs.
Discrete Mathematics 124(1-3): 107-132 (1994) |
| 1993 |
|---|
| 14 | EE | Alan Hartman,
Yoav Medan:
Covering the Complete Graph with Plane Cycles.
Discrete Applied Mathematics 44(1-3): 305-310 (1993) |
| 1992 |
|---|
| 13 | EE | Ahmed M. Assaf,
Alan Hartman,
Nabil Shalaby:
Packing designs with block size 6 and index 5.
Discrete Mathematics 103(2): 121-128 (1992) |
| 12 | EE | Alan Hartman,
Zvi Yehudai:
Intersections of Steiner quadruple systems.
Discrete Mathematics 104(3): 227-244 (1992) |
| 1991 |
|---|
| 11 | EE | Charles J. Colbourn,
Alan Hartman:
Intersections and supports of quadruple systems.
Discrete Mathematics 97(1-3): 119-137 (1991) |
| 10 | EE | 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 | EE | Ahmed M. Assaf,
Alan Hartman:
On packing designs with block size 5 and index 4.
Discrete Mathematics 79(2): 111-121 (1990) |
| 1989 |
|---|
| 7 | EE | Alan Hartman:
Combinatorial designs - a tribute to Haim Hanani.
Discrete Mathematics 77(1-3): 1-4 (1989) |
| 6 | EE | Ahmed M. Assaf,
Alan Hartman:
Resolvable group divisible designs with block size 3.
Discrete Mathematics 77(1-3): 5-20 (1989) |
| 1987 |
|---|
| 5 | EE | Alan Hartman:
The existence of resolvable Steiner quadruple systems.
J. Comb. Theory, Ser. A 44(2): 182-206 (1987) |
| 1986 |
|---|
| 4 | EE | Alan Hartman:
On small packing and covering designs with block size 4.
Discrete Mathematics 59(3): 275-281 (1986) |
| 3 | EE | Alan Hartman:
Partial triple systems and edge colourings.
Discrete Mathematics 62(2): 183-196 (1986) |
| 1983 |
|---|
| 2 | EE | Haim Hanani,
Alan Hartman,
Earl S. Kramer:
On three-designs of small order.
Discrete Mathematics 45(1): 75-97 (1983) |
| 1982 |
|---|
| 1 | EE | Alan Hartman:
Quadruple systems containing AG(3, 2).
Discrete Mathematics 39(3): 293-299 (1982) |
