Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Alan Hartman
2010 – today
- 2010
[c11]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
2000 – 2009
- 2009
- [c10]Ketki A. Dhanesha, Alan Hartman, Anshu N. Jain: A Model for Designing Generic Services. IEEE SCC 2009: 435-442
- [e4]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
- 2008
- [e3]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
- 2007
- [c9]Alan Hartman, Mika Katara, Amit M. Paradkar: Domain specific approaches to software test automation. ESEC/SIGSOFT FSE 2007: 621-622
- [c8]Alan Hartman, Mika Katara, Amit M. Paradkar: Domain specific approaches to software test automation. ESEC/SIGSOFT FSE (Companion) 2007: 621-622
- [e2]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
- 2006
- [c7]Alan Hartman, Mika Katara, Sergey Olvovsky: Choosing a Test Modeling Language: A Survey. Haifa Verification Conference 2006: 204-218
- [c6]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
- [c5]Andrei Kirshin, Dolev Dotan, Alan Hartman: A UML Simulator Based on a Generic Model Execution Engine. MoDELS Workshops 2006: 324-326
- 2005
- [e1]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
- 2004
- [j17]Alan Hartman, Leonid Raskin: Problems and algorithms for covering arrays. Discrete Mathematics 284(1-3): 149-156 (2004)
- [c4]
- [c3]Alan Hartman, Kenneth Nagin: The AGEDIS Tools for Model Based Testing. UML Satellite Activities 2004: 277-280
- 2002
- [j16]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)
- [c2]G. Friedman, Alan Hartman, Kenneth Nagin, T. Shiran: Projected state machine coverage for software testing. ISSTA 2002: 134-143
1990 – 1999
- 1999
- [c1]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
- [j15]Alan Hartman: The fundamental construction for 3-designs. Discrete Mathematics 124(1-3): 107-132 (1994)
- 1993
- [j14]Alan Hartman, Yoav Medan: Covering the Complete Graph with Plane Cycles. Discrete Applied Mathematics 44(1-3): 305-310 (1993)
- 1992
- [j13]Ahmed M. Assaf, Alan Hartman, Nabil Shalaby: Packing designs with block size 6 and index 5. Discrete Mathematics 103(2): 121-128 (1992)
- [j12]Alan Hartman, Zvi Yehudai: Intersections of Steiner quadruple systems. Discrete Mathematics 104(3): 227-244 (1992)
- 1991
- [j11]Charles J. Colbourn, Alan Hartman: Intersections and supports of quadruple systems. Discrete Mathematics 97(1-3): 119-137 (1991)
- [j10]Andrew Granville, Alan Hartman: Subdesigns in Steiner quadruple systems. J. Comb. Theory, Ser. A 56(2): 239-270 (1991)
- [j9]Tuvi Etzion, Alan Hartman: Towards a Large Set of Steiner Quadruple Systems. SIAM J. Discrete Math. 4(2): 182-195 (1991)
- 1990
- [j8]Ahmed M. Assaf, Alan Hartman: On packing designs with block size 5 and index 4. Discrete Mathematics 79(2): 111-121 (1990)
1980 – 1989
- 1989
- [j7]Alan Hartman: Combinatorial designs - a tribute to Haim Hanani. Discrete Mathematics 77(1-3): 1-4 (1989)
- [j6]Ahmed M. Assaf, Alan Hartman: Resolvable group divisible designs with block size 3. Discrete Mathematics 77(1-3): 5-20 (1989)
- 1987
- [j5]Alan Hartman: The existence of resolvable Steiner quadruple systems. J. Comb. Theory, Ser. A 44(2): 182-206 (1987)
- 1986
- [j4]Alan Hartman: On small packing and covering designs with block size 4. Discrete Mathematics 59(3): 275-281 (1986)
- [j3]Alan Hartman: Partial triple systems and edge colourings. Discrete Mathematics 62(2): 183-196 (1986)
- 1983
- [j2]Haim Hanani, Alan Hartman, Earl S. Kramer: On three-designs of small order. Discrete Mathematics 45(1): 75-97 (1983)
- 1982
- [j1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 22:06 CET by the dblp team