The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alan Hartman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Mike Benjamin, Daniel Geist, Alan Hartman, Gérard Mas, Ralph Smeets, Yaron Wolfsthal
    A Study in Coverage-Driven Test Generation. [Citation Graph (0, 0)][DBLP]
    DAC, 1999, pp:970-975 [Conf]
  2. Alan Hartman, Mika Katara, Sergey Olvovsky
    Choosing a Test Modeling Language: A Survey. [Citation Graph (0, 0)][DBLP]
    Haifa Verification Conference, 2006, pp:204-218 [Conf]
  3. Andrei Kirshin, Dolev Dotan, Alan Hartman
    A UML Simulator Based on a Generic Model Execution Engine. [Citation Graph (0, 0)][DBLP]
    MoDELS Workshops, 2006, pp:324-326 [Conf]
  4. Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic
    2nd UML 2 Semantics Symposium: Formal Semantics for UML. [Citation Graph (0, 0)][DBLP]
    MoDELS Workshops, 2006, pp:318-323 [Conf]
  5. Alan Hartman, Kenneth Nagin
    The AGEDIS Tools for Model Based Testing. [Citation Graph (0, 0)][DBLP]
    UML Satellite Activities, 2004, pp:277-280 [Conf]
  6. Alan Hartman, Yoav Medan
    Covering the Complete Graph with Plane Cycles. [Citation Graph (0, 0)][DBLP]
    Discrete Applied Mathematics, 1993, v:44, n:1-3, pp:305-310 [Journal]
  7. Alan Hartman, Leonid Raskin
    Problems and algorithms for covering arrays. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 2004, v:284, n:1-3, pp:149-156 [Journal]
  8. Eitan Farchi, Alan Hartman, Shlomit S. Pinter
    Using a model-based test generator to test for standard conformance. [Citation Graph (0, 0)][DBLP]
    IBM Systems Journal, 2002, v:41, n:1, pp:89-110 [Journal]
  9. Andrew Granville, Alan Hartman
    Subdesigns in Steiner quadruple systems. [Citation Graph (0, 0)][DBLP]
    J. Comb. Theory, Ser. A, 1991, v:56, n:2, pp:239-270 [Journal]
  10. Alan Hartman
    The existence of resolvable Steiner quadruple systems. [Citation Graph (0, 0)][DBLP]
    J. Comb. Theory, Ser. A, 1987, v:44, n:2, pp:182-206 [Journal]
  11. Tuvi Etzion, Alan Hartman
    Towards a Large Set of Steiner Quadruple Systems. [Citation Graph (0, 0)][DBLP]
    SIAM J. Discrete Math., 1991, v:4, n:2, pp:182-195 [Journal]
  12. Alan Hartman, Mika Katara, Amit Paradkar
    Domain specific approaches to software test automation. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:621-622 [Conf]
  13. Alan Hartman
    Quadruple systems containing AG(3, 2). [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 1982, v:39, n:3, pp:293-299 [Journal]
  14. Alan Hartman
    On small packing and covering designs with block size 4. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 1986, v:59, n:3, pp:275-281 [Journal]
  15. Alan Hartman
    Partial triple systems and edge colourings. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 1986, v:62, n:2, pp:183-196 [Journal]
  16. Haim Hanani, Alan Hartman, Earl S. Kramer
    On three-designs of small order. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 1983, v:45, n:1, pp:75-97 [Journal]
  17. Alan Hartman
    Combinatorial designs - a tribute to Haim Hanani. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 1989, v:77, n:1-3, pp:1-4 [Journal]
  18. Ahmed M. Assaf, Alan Hartman
    Resolvable group divisible designs with block size 3. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 1989, v:77, n:1-3, pp:5-20 [Journal]
  19. Ahmed M. Assaf, Alan Hartman
    On packing designs with block size 5 and index 4. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 1990, v:79, n:2, pp:111-121 [Journal]
  20. Charles J. Colbourn, Alan Hartman
    Intersections and supports of quadruple systems. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 1991, v:97, n:1-3, pp:119-137 [Journal]
  21. Ahmed M. Assaf, Alan Hartman, Nabil Shalaby
    Packing designs with block size 6 and index 5. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 1992, v:103, n:2, pp:121-128 [Journal]
  22. Alan Hartman, Zvi Yehudai
    Intersections of Steiner quadruple systems. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 1992, v:104, n:3, pp:227-244 [Journal]
  23. Alan Hartman
    The fundamental construction for 3-designs. [Citation Graph (0, 0)][DBLP]
    Discrete Mathematics, 1994, v:124, n:1-3, pp:107-132 [Journal]

  24. A Model for Designing Generic Services. [Citation Graph (, )][DBLP]


  25. Participatory Design of Public Sector Services. [Citation Graph (, )][DBLP]


  26. Domain specific approaches to software test automation. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002