Alan Hartman

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

Ketki A. Dhanesha, Alan Hartman, Anshu N. Jain: A Model for Designing Generic Services. IEEE SCC 2009: 435-442

Richard F. Paige, Alan Hartman, Arend Rensink (Eds.): Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings. Lecture Notes in Computer Science 5562, Springer 2009, isbn 978-3-642-02673-7

Ina Schieferdecker, Alan Hartman (Eds.): Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings. Lecture Notes in Computer Science 5095, Springer 2008, isbn 978-3-540-69095-5

Alan Hartman, Mika Katara, Amit M. Paradkar: Domain specific approaches to software test automation. ESEC/SIGSOFT FSE 2007: 621-622

Alan Hartman, Mika Katara, Amit M. Paradkar: Domain specific approaches to software test automation. ESEC/SIGSOFT FSE (Companion) 2007: 621-622

Alan Hartman, Mika Katara, Amit M. Paradkar (Eds.): Proceedings of the 2007 Workshop on Domain Specific Approaches to Software Test Automation, DOSTA 2007, Dubrovnik, Croatia, September 4, 2007. ACM 2007, isbn 978-1-59593-726-1

Alan Hartman, Mika Katara, Sergey Olvovsky: Choosing a Test Modeling Language: A Survey. Haifa Verification Conference 2006: 204-218

Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic: 2^nd UML 2 Semantics Symposium: Formal Semantics for UML. MoDELS Workshops 2006: 318-323

Andrei Kirshin, Dolev Dotan, Alan Hartman: A UML Simulator Based on a Generic Model Execution Engine. MoDELS Workshops 2006: 324-326

Alan Hartman, David Kreische (Eds.): Model Driven Architecture - Foundations and Applications, First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings. Lecture Notes in Computer Science 3748, Springer 2005, isbn 3-540-30026-0

Alan Hartman, Leonid Raskin: Problems and algorithms for covering arrays. Discrete Mathematics 284(1-3): 149-156 (2004)

Alan Hartman, Kenneth Nagin: The AGEDIS tools for model based testing. ISSTA 2004: 129-132

Alan Hartman, Kenneth Nagin: The AGEDIS Tools for Model Based Testing. UML Satellite Activities 2004: 277-280

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)

G. Friedman, Alan Hartman, Kenneth Nagin, T. Shiran: Projected state machine coverage for software testing. ISSTA 2002: 134-143

Mike Benjamin, Daniel Geist, Alan Hartman, Gérard Mas, Ralph Smeets, Yaron Wolfsthal: A Study in Coverage-Driven Test Generation. DAC 1999: 970-975

Alan Hartman: The fundamental construction for 3-designs. Discrete Mathematics 124(1-3): 107-132 (1994)

Alan Hartman, Yoav Medan: Covering the Complete Graph with Plane Cycles. Discrete Applied Mathematics 44(1-3): 305-310 (1993)

Ahmed M. Assaf, Alan Hartman, Nabil Shalaby: Packing designs with block size 6 and index 5. Discrete Mathematics 103(2): 121-128 (1992)

Alan Hartman, Zvi Yehudai: Intersections of Steiner quadruple systems. Discrete Mathematics 104(3): 227-244 (1992)

Charles J. Colbourn, Alan Hartman: Intersections and supports of quadruple systems. Discrete Mathematics 97(1-3): 119-137 (1991)

Andrew Granville, Alan Hartman: Subdesigns in Steiner quadruple systems. J. Comb. Theory, Ser. A 56(2): 239-270 (1991)

Tuvi Etzion, Alan Hartman: Towards a Large Set of Steiner Quadruple Systems. SIAM J. Discrete Math. 4(2): 182-195 (1991)

Ahmed M. Assaf, Alan Hartman: On packing designs with block size 5 and index 4. Discrete Mathematics 79(2): 111-121 (1990)

Alan Hartman: Combinatorial designs - a tribute to Haim Hanani. Discrete Mathematics 77(1-3): 1-4 (1989)

Ahmed M. Assaf, Alan Hartman: Resolvable group divisible designs with block size 3. Discrete Mathematics 77(1-3): 5-20 (1989)

Alan Hartman: The existence of resolvable Steiner quadruple systems. J. Comb. Theory, Ser. A 44(2): 182-206 (1987)

Alan Hartman: On small packing and covering designs with block size 4. Discrete Mathematics 59(3): 275-281 (1986)

Alan Hartman: Partial triple systems and edge colourings. Discrete Mathematics 62(2): 183-196 (1986)

Haim Hanani, Alan Hartman, Earl S. Kramer: On three-designs of small order. Discrete Mathematics 45(1): 75-97 (1983)

Alan Hartman: Quadruple systems containing AG(3, 2). Discrete Mathematics 39(3): 293-299 (1982)