What really counts
1 like87 views
The document outlines Alan Hartman's professional journey through three distinct phases: mathematics (1953-2009), computer science and software engineering (1983-2009), and socially responsible service science (2008-present). It highlights key contributions, including works on resolvable Steiner systems, model-based software testing, and innovative service delivery models, alongside publication statistics. Overall, Hartman's career is marked by a commitment to advancing both theoretical and practical applications in his fields.
What really counts
- 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
- 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
- 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
- 20. 3 Journal papers 483 Citations 14 Conference papers 755 Citations Some statistics on my mid-life career
- 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/