A brief summary of my research career, delivered on June 2 2021 in anticipation of my imminent retirement from the Faculty of the Information Systems Department at the University of Haifa. The talk was recorded and Here is the link: https://youtu.be/lz88flBbI1k

1. From Numbers
To What Really
Counts
Alan Hartman

2. The Three
Ages of
Man
Giorgione circa 1500

3. 1953 – Mathematics
1983 – 2009 CS, SW
Engineering
2008 – Socially Responsible
Service Science

4. Mathematics
1953 – 1994 (or whenever)
Phase 1

5. Key Influencers
Phase 1

6. Interesting
Results
22𝑛
• Resolvable Steiner Systems
• Self Complementary Designs
• Greedy Designs

7. Geometrical
Motivation
A projective geometry is a set of points
together with a set of subsets of the
points, called lines, with the following
properties:
Every pair of points lies on a unique line
Every pair of lines intersect at a unique point

8. Steiner Systems
A Steiner Triple System is a set of 3-
element subsets (triples) of a set of
points with the property that every
pair of points is contained in precisely
one triple

9. Resolvable Steiner Systems
An extra property of Steiner Systems
Existence of Resolvable Steiner Triple Systems:
Posed in 1850 (Kirkman), Solved in 1971 (Ray-
Chaudhuri & Wilson)
Existence of Resolvable Steiner Quadruple
systems
Essentially Solved 1987 (Hartman)
Last 23 cases solved by Ji & Zhu (2005)
Started work in 1977 with Hanani

10. Halving The Complete
Design
Partitioning the k-subsets of a v-set into
two equal parts.
A variety of interesting problems –
generalizing the notion of regular self-
complementary graphs
Triggered many other developments

11. Greedesigns
Finding divine beauty
Using the Greedy Algorithm
Rediscovering the work of John Conway
22𝑛
Joint work with Zvi Yehudai

12. 33 Journal papers
589 Citations
Some statistics on my youthful career

13. CS / SW
Engineering
1983 - 2009
Phase 2

14. Key Influencers
Phase 2

15. Interesting
Results
• Model Based Software (& Hardware) Testing
• Covering Arrays
• Executable UML Models

16. Model Based Software and
Hardware Testing
Coverage Driven Hardware Testing
Projected State Machine Coverage for
Software Testing

17. Projected FSM
Dealing with state space explosion by
projection
Focusing test coverage on important state
variables

18. Covering Arrays for
Testing
Reducing testing complexity from 𝒏𝒗
to 𝒏𝟐
or 𝒏𝟑
etc.
A. Hartman, A. Kirshin, K. Nagin and S. Olvovsky, Reducing the complexity of finite
state machine test generation using combinatorial designs, U.S Patent 7,024,589
Issued 2006

19. Executable UML
Models of
Software

20. 3 Journal papers
483 Citations
14 Conference papers
755 Citations
Some statistics on my mid-life career

21. Socially
Responsible
Service Science
2008 -
Phase 3

22. Key Influencers
Phase 3

23. Interesting
Results
• Service Delivery Model
• Service Delivery Simulation
• Socially Responsible Research

24. Formal Model of Service
Delivery
Service Delivery
System
Analogy to
Computer
Operating
System

25. Product Line of
Service Delivery
Models
A cautionary tale

26. IT to improve people’s lives

27. IT Support for
HRCC
Students improving the IT infrastructure
of the Haifa Rape Crisis Center

28. 3 Journal papers
14 Citations
8 Conference papers
57 Citations
Some statistics on my current career
Improved the lives of a few people

29. SOME REFERENCES
• A. Hartman, The existence of resolvable Steiner quadruple systems, J. Combin. Th. A 44 (1987) 182-206.
• Ji, L., & Zhu, L. (2005). Resolvable Steiner quadruple systems for the last 23 orders. SIAM Journal on Discrete
Mathematics, 19(2), 420-430.
• A. Hartman, Halving the complete design, in North-Holland Mathematics Studies 149, 207-224, 1987
• A. Hartman, Z. Yehudai, Greedesigns, Ars Combinatoria 29 (1990) 69-76.
• M. Benjamin, D. Geist, A. Hartman, Y. Wolfsthal, G. Mas, R. Smeets, A Study in coverage driven test generation. Proceedings
Design Automation Conference 1999, 970-975.
• G. Friedman, A. Hartman, K. Nagin, T. Shiran, Projected state machine coverage for software testing ACM SIGSOFT Software
Engineering Notes 27 (4) 2002, 134-143.
• E. Farchi, A. Hartman, S. Pinter Using a model-based test generator to test for standards conformance IBM Systems Journal 41
(2002) 89-110.
• A. Hartman, L. Raskin Problems and Algorithms for Covering Arrays , in Discrete Mathematics 284:149-156, 2004.
• A. Kirshin, D. Dotan, A. Hartman, A UML simulator based on a generic model execution engine, MoDELS Workshops 4364,
2006, 324-326.
• A. Hartman, A. Kirshin, K. Nagin and S. Olvovsky, Reducing the complexity of finite state machine test generation using
combinatorial designs, U.S Patent 7,024,589 Issued 2006
• G. Banavar, A. Hartman, L. Ramaswamy, A. Zherebtsov, A formal model for service delivery, Chapter in Handbook of Service
Science (Editors P. Maglio, C. Kieleszewski, J. Spohrer), Springer 2010.
• A. Beloglazov, A. Hartman, D. Banerjee, R. Buyya Improving Productivity in Design and Development of Information Technology
Service Delivery Simulation Models, J. Services Research, 2014.
• Hartman, A. (2017). Mobile Services for Development: An Opportunity for Academic Co-Creation. In Handbook of Research on
Strategic Alliances and Value Co-Creation in the Service Industry (pp. 342-354). IGI Global.

30. CREDITS: This presentation template was
created by Slidesgo, including icons by
Flaticon, infographics & images by Freepik
and illustrations by Storyset
THANKS
Does anyone have any questions?
alan.hartman.gm@gmail.com
+972 523 790 322
https://www.linkedin.com/in/alanhartman/