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
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
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
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/