Personal information

Emails & domains

Verified email domains

Websites & social links

University of Haifa Homepage
Linked In
Google Scholar
Full CV on Wix Site

Other IDs

Scopus Author ID: 24320947300
ResearcherID: U-8051-2018

Keywords

Service Design, Service Science, Software Engineering, Software Testing, Combinatorial Design Theory, Software Modeling

Countries

Israel

Biography

Alan Hartman is a retired associate professor at the University of Haifa, Department of Information Systems. After a post-doctoral fellowship at the University of Waterloo in Canada, Alan joined the IBM Haifa Research Lab in 1983. Since then, his industrial research focused on storage technologies, mathematical optimization, hardware and software verification, and model based software, systems and services engineering. In parallel, he continued his pure mathematical research into combinatorial configurations. He spent almost 3 years at the IBM India research lab in Bangalore serving as the Services Science, Management, and Engineering (SSME) focal point for the IBM India Re-search Laboratory. He has held visiting positions in the Mathematics Department at the University of Toronto and at Telstra Research Labs. He has also coordinated and managed several European Commission research projects (AGEDIS, MODELWARE, MODELPLEX, COCKPIT). Alan has a Ph.D. in mathematics from the University of Newcastle in Australia, an M.Sc. in mathematics from the Technion – Israel Institute of Technology, and a B.Sc. in mathematics from Monash University in Australia. He has published over 70 research papers and holds 17 patents.

Activities

Collapse all

Employment (11)

University of Haifa: Haifa, Haifa, IL

2021-10-01 to present | Associate Professor Emeritus (Information Systems)
Employment
Source: Self-asserted source
Alan Hartman

University of Haifa: Haifa, Haifa, IL

2021-04-01 to 2021-09-30 | Associate Professor (Information Systems)
Employment
Source: Self-asserted source
Alan Hartman

University of Haifa: Haifa, Haifa, IL

2016-10-01 to 2021-03-31 | Senior Lecturer (Information Systems)
Employment
Source: Self-asserted source
Alan Hartman

IBM Haifa Research Labs: Haifa, Haifa, IL

2010 to 2013 | Senior Researcher (Data Privacy)
Employment
Source: Self-asserted source
Alan Hartman

IBM India Research Laboratory: Bangalore, Karnataka, IN

2008 to 2010 | Senior Researcher (Service Science)
Employment
Source: Self-asserted source
Alan Hartman

IBM Haifa Research Labs: Haifa, Haifa, IL

1998 to 2008 | Manager (Model Based Engineering)
Employment
Source: Self-asserted source
Alan Hartman

Telstra Corp Ltd: Melbourne, VIC, AU

1997-01 to 1997-07 | Consultant (Research Laboratory)
Employment
Source: Self-asserted source
Alan Hartman

IBM Haifa Research Labs: Haifa, Haifa, IL

1989 to 1996 | Manager (Algorithms and Optimization)
Employment
Source: Self-asserted source
Alan Hartman

University of Toronto: Toronto, ON, CA

1987-09 to 1988-08 | Visiting Professor (Mathematics)
Employment
Source: Self-asserted source
Alan Hartman

IBM Haifa Research Labs: Haifa, Haifa, IL

1983-01 to 1987 | Researcher (Storage Technologies)
Employment
Source: Self-asserted source
Alan Hartman

University of Waterloo: Waterloo, ON, CA

1980-09 to 1982-12 | Post Doctoral Fellow (Combinatorics and Optimization)
Employment
Source: Self-asserted source
Alan Hartman

Education and qualifications (4)

University of Newcastle: Callaghan, NSW, AU

1977-01-01 to 1980-08-31 | Ph. D. (Mathematics)
Qualification
Source: Self-asserted source
Alan Hartman

Technion Israel Institute of Technology: Haifa, Haifa, IL

1977-08-01 to 1978-07-31 | M. Sc. (Mathematics)
Qualification
Source: Self-asserted source
Alan Hartman

Monash University: Clayton, VIC, AU

1971-03-01 to 1976-12-31 | B. Sc. (Hons 1) (Mathematics)
Qualification
Source: Self-asserted source
Alan Hartman

Victoria Department of Education and Training: Melbourne, VIC, AU

1975-02-01 to 1975-12-31 | Dip. Ed. (Mathematics and Science)
Qualification
Source: Self-asserted source
Alan Hartman

Professional activities (1)

Service Design Network: Cologne, North Rhine-Westphalia, DE

2018-03 to present | Member of Academic Task Force
Membership
Source: Self-asserted source
Alan Hartman

Works (50 of 60)

Items per page:
Page 1 of 2

Muddy Waters: Design Thinking for Understanding the Multi-Organizational Problem Space of the Water Sector

Sustainability
2024-11-11 | Journal article
DOI: 10.3390/su16229819
Contributors: Meira Levy; Mashor Housh; Alan Hartman; Ofira Ayalon; Bracha Nir; Avi Ostfeld; Irit Hadar
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Adoption of IT Solutions: A Data-Driven Analysis Approach

Information Systems
2023-10 | Journal article
DOI: 10.1016/j.is.2023.102313
Contributors: Iris Reinhartz-Berger; Alan Hartman; Doron Kliger
Source: check_circle
Crossref

Mitigating Bias in Algorithmic Systems—A Fish-eye View

ACM Computing Surveys
2023-05-31 | Journal article
DOI: 10.1145/3527152
Contributors: Kalia Orphanou; Jahna Otterbacher; Styliani Kleanthous; Khuyagbaatar Batsuren; Fausto Giunchiglia; Veronika Bogina; Avital Shulner Tal; Alan Hartman; Tsvi Kuflik
Source: check_circle
Crossref

When IT Service Adoption Meets Behavioral Economics: Addressing Present Bias Challenges

2022 | Book chapter
DOI: 10.1007/978-3-031-17995-2_12
Contributors: Iris Reinhartz-Berger; Doron Kliger; Eliad Amsalem; Alan Hartman
Source: check_circle
Crossref

Evaluative conversations: Translating between diverse stakeholders in regional RRI projects

2022-04 | Report
DOI: 10.22163/fteval.2022.544
Contributors: Tjitske Holtrop; Ingeborg Meijer; Paula Otero-Hermida; Anestis Amanatidis; Chiara Buongiovanni; Donatella Casale; Claudia Colonnello; Alessandro Deserti; Fabio Feudi; Alan Hartmann et al.
Source: check_circle
Crossref

Towards Improvement of IT Service Adoption in Multi-Business Organizations

2021 | Book chapter
DOI: 10.1007/978-3-030-89022-3_18
Contributors: Fathi Jabarin; Alan Hartman; Iris Reinhartz-Berger; Doron Kliger
Source: check_circle
Crossref

Mobile Services for Development

Handbook of Research on Strategic Alliances and Value Co-Creation in the Service Industry
2017-01-06 | Book chapter
DOI: 10.4018/978-1-5225-2084-9.ch017
Part of ISBN: 9781522520849
Contributors: Alan Hartman
Source: check_circle
IGI Global

Improving Productivity in Design and Development of Information Technology (IT) Service Delivery Simulation Models

Journal of Service Research
2015 | Journal article
DOI: 10.1177/1094670514541002
EID:

2-s2.0-84921056881
Contributors: Beloglazov, A.; Banerjee, D.; Hartman, A.; Buyya, R.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier
grade
Preferred source (of 2)‎

Conceptual framework and architecture for privacy audit

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | Book
EID:

2-s2.0-84927602198
Contributors: Kveler, K.; Bock, K.; Colombo, P.; Domany, T.; Ferrari, E.; Hartman, A.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier

Towards Trustworthiness Assurance in the Cloud

Communications in Computer and Information Science
2013 | Book
DOI: 10.1007/978-3-642-41205-9_1
EID:

2-s2.0-84904910808
Contributors: Di Cerbo, F.; Bisson, P.; Hartman, A.; Keller, S.; Meland, P.H.; Moffie, M.; Mohammadi, N.G.; Paulus, S.; Short, S.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier

A test execution environment running abstract tests for distributed software

Proceedings of the 6th IASTED International Conference on Software Engineering and Applications, SEA 2002
2012 | Conference paper
EID:

2-s2.0-84904214649
Contributors: Hartman, A.; Kirshin, A.; Nagin, K.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier

Service system approaches

Conceptual modeling approaches for services science
2012 | Book
Part of DOI: 10.1007/978-1-4614-1864-1_4
EID:

2-s2.0-84874620264
Contributors: Ferrario, R.; Guarino, N.; Trampus, R.; Laskey, K.; Hartman, A.; Gangadharan, G.R.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier

Evaluating public service delivery in emerging markets

Proceedings of 2011 IEEE International Conference on Service Operations, Logistics and Informatics, SOLI 2011
2011 | Conference paper
DOI: 10.1109/SOLI.2011.5986558
EID:

2-s2.0-84859977209
Contributors: Sharma, A.; Gangadharan, G.R.; Kummamuru, K.; Somasekhara, J.; Hartman, A.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier

Participatory service design for emerging markets

Proceedings of 2011 IEEE International Conference on Service Operations, Logistics and Informatics, SOLI 2011
2011 | Conference paper
DOI: 10.1109/SOLI.2011.5986530
EID:

2-s2.0-84860008634
Contributors: Gangadharan, G.R.; Jain, A.N.; Rajshree, N.; Hartman, A.; Agrahari, A.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier

Participatory design of public sector services

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | Book
DOI: 10.1007/978-3-642-15172-9_21
EID:

2-s2.0-78049445679
Contributors: Hartman, A.; Jain, A.N.; Ramanathan, J.; Ramfos, A.; Van Der Heuvel, W.-J.; Zirpins, C.; Tai, S.; Charalabidis, Y.; Pasic, A.; Johannessen, T. et al.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier

A model for designing generic services

SCC 2009 - 2009 IEEE International Conference on Services Computing
2009 | Conference paper
DOI: 10.1109/SCC.2009.75
EID:

2-s2.0-74049141360
Contributors: Dhanesha, K.A.; Hartman, A.; Jain, A.N.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier

2<sup>nd</sup>UML 2 semantics symposium: formal semantics for UML

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007 | Book
EID:

2-s2.0-38149009532
Contributors: Broy, M.; Crane, M.L.; Dingel, J.; Hartman, A.; Rumpe, B.; Selic, B.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier

A UML simulator based on a generic model execution engine

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007 | Book
EID:

2-s2.0-38149088058
Contributors: Kirshin, A.; Dotan, D.; Hartman, A.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier

Choosing a test modeling language: A survey

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007 | Book
EID:

2-s2.0-38049115766
Contributors: Hartman, A.; Katara, M.; Olvovsky, S.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier

Domain specific approaches to software test automation

6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007
2007 | Conference paper
DOI: 10.1145/1287624.1287730
EID:

2-s2.0-37849029015
Contributors: Hartman, A.; Katara, M.; Paradkar, A.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier

Domain specific approaches to software test automation

Proceedings of the the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering 2007, ESEC-FSE'07
2007 | Conference paper
EID:

2-s2.0-57149143395
Contributors: Hartman, A.; Katara, M.; Paradkar, A.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier

A UML simulator based on a generic model execution engine

20th European Conference on Modelling and Simulation: Modelling Methodologies and Simulation Key Technologies in Academia and Industry, ECMS 2006
2006 | Conference paper
EID:

2-s2.0-84857771606
Contributors: Kirshin, A.; Moshkovich, D.; Hartman, A.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier

Software and hardware testing using combinatorial covering suites

Operations Research/ Computer Science Interfaces Series
2005 | Book
EID:

2-s2.0-84888608902
Contributors: Hartman, A.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier

The AGEDIS tools for model based testing

Lecture Notes in Computer Science
2005 | Conference paper
EID:

2-s2.0-23944524830
Contributors: Hartman, A.; Nagin, K.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier

The AGEDIS tools for model based testing

Uml Modeling Languages and Applications
2005 | Book chapter
WOSUID:

WOS:000228724000033
Contributors: Hartman, A; Nagin, K
Source: Self-asserted source
Alan Hartman via ResearcherID

Problems and algorithms for covering arrays

Discrete Mathematics
2004 | Journal article
DOI: 10.1016/j.disc.2003.11.029
EID:

2-s2.0-2942689600
Contributors: Hartman, A.; Raskin, L.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier
grade
Preferred source (of 2)‎

The AGEDIS tools for model based testing

ISSTA 2004 - Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis
2004 | Conference paper
EID:

2-s2.0-23744455146
Contributors: Hartman, A.; Nagin, K.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier

Is ISSTA research relevant to industry?

Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis
2002 | Conference paper
EID:

2-s2.0-0036983314
Contributors: Hartman, A.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier

Projected state machine coverage for software testing

Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis
2002 | Conference paper
EID:

2-s2.0-0036986572
Contributors: Friedman, G.; Hartman, A.; Nagin, K.; Shiran, T.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier

Using a model-based test generator to test for standard conformance

IBM Systems Journal
2002 | Journal article
DOI: 10.1147/sj.411.0089
EID:

2-s2.0-0036316211
Contributors: Farchi, E.; Hartman, A.; Pinter, S.S.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier
grade
Preferred source (of 2)‎

Study in coverage-driven test generation

Proceedings - Design Automation Conference
1999 | Conference paper
EID:

2-s2.0-0032667939
Contributors: Benjamin, Mike; Geist, Daniel; Hartman, Alan; Wolfsthal, Yaron; Mas, Gerard; Smeets, Ralph
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier

Algorithmic aspects of integral designs

Australasian Journal of Combinatorics
1998 | Journal article
EID:

2-s2.0-84885916482
Contributors: Hartman, A.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier

The fundamental construction for 3-designs

Discrete Mathematics
1994 | Journal article
DOI: 10.1016/0012-365X(92)00055-V
EID:

2-s2.0-38149147505
Contributors: Hartman, A.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier
grade
Preferred source (of 2)‎

Covering the complete graph with plane cycles

Discrete Applied Mathematics
1993 | Journal article
DOI: 10.1016/0166-218X(93)90239-K
EID:

2-s2.0-43949163208
Contributors: Hartman, A.; Medan, Y.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier
grade
Preferred source (of 2)‎

Intersections of Steiner quadruple systems

Discrete Mathematics
1992 | Journal article
DOI: 10.1016/0012-365X(92)90446-M
EID:

2-s2.0-38249012422
Contributors: Hartman, A.; Yehudai, Z.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier
grade
Preferred source (of 2)‎

Packing designs with block size 6 and index 5

Discrete Mathematics
1992 | Journal article
DOI: 10.1016/0012-365X(92)90262-E
EID:

2-s2.0-44049115658
Contributors: Assaf, A.M.; Hartman, A.; Shalaby, N.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier
grade
Preferred source (of 2)‎

Intersections and supports of quadruple systems

Discrete Mathematics
1991 | Journal article
DOI: 10.1016/0012-365X(91)90427-4
EID:

2-s2.0-44949271373
Contributors: Colbourn, C.J.; Hartman, A.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier
grade
Preferred source (of 2)‎

Subdesigns in Steiner quadruple systems

Journal of Combinatorial Theory, Series A
1991 | Journal article
DOI: 10.1016/0097-3165(91)90035-F
EID:

2-s2.0-27844489213
Contributors: Granville, A.; Hartman, A.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier
grade
Preferred source (of 2)‎

TOWARDS A LARGE SET OF STEINER QUADRUPLE SYSTEMS

Siam Journal on Discrete Mathematics
1991 | Journal article
DOI: 10.1137/0404018
WOSUID:

WOS:A1991FH21700004
Contributors: ETZION, T; HARTMAN, A
Source: Self-asserted source
Alan Hartman via ResearcherID

GREEDESIGNS

Ars Combinatoria
1990 | Journal article
WOSUID:

WOS:A1990DR80700009
Contributors: HARTMAN, A; YEHUDAI, Z
Source: Self-asserted source
Alan Hartman via ResearcherID

On packing designs with block size 5 and index 4

Discrete Mathematics
1990 | Journal article
DOI: 10.1016/0012-365X(90)90027-F
EID:

2-s2.0-38249019875
Contributors: Assaf, A.M.; Hartman, A.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier
grade
Preferred source (of 2)‎

THE SPECTRUM OF TETRAHEDRAL QUADRUPLE SYSTEMS

Utilitas Mathematica
1990 | Journal article
WOSUID:

WOS:A1990EE30800012
Contributors: HARTMAN, A; PHELPS, KT
Source: Self-asserted source
Alan Hartman via ResearcherID

Combinatorial designs - a tribute to Haim Hanani

Discrete Mathematics
1989 | Journal article
DOI: 10.1016/0012-365X(89)90345-2
EID:

2-s2.0-45349111333
Contributors: Hartman, A.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier
grade
Preferred source (of 2)‎

Combinatorial Designs-a Tribute to Haim Hanani. Preface

Annals of Discrete Mathematics
1989 | Book
DOI: 10.1016/S0167-5060(08)70090-6
EID:

2-s2.0-77957070219
Contributors: Hartman, A.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier

Resolvable group divisible designs with block size 3

Discrete Mathematics
1989 | Journal article
DOI: 10.1016/0012-365X(89)90346-4
EID:

2-s2.0-38249024380
Contributors: Assaf, A.M.; Hartman, A.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier
grade
Preferred source (of 2)‎

Resolvable Group Divisible Designs with Block Size 3

Annals of Discrete Mathematics
1989 | Book
DOI: 10.1016/S0167-5060(08)70092-X
EID:

2-s2.0-77957023427
Contributors: Assaf, A.M.; Hartman, A.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier

SCHREIBER,SHMUEL (1920-1988) - OBITUARY

Discrete Mathematics
1989 | Journal article
WOSUID:

WOS:A1989AV84900002
Contributors: HARTMAN, A
Source: Self-asserted source
Alan Hartman via ResearcherID

Halving the Complete Design

North-Holland Mathematics Studies
1987 | Book
DOI: 10.1016/S0304-0208(08)72888-3
EID:

2-s2.0-77956942027
Contributors: Hartman, A.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier

Steiner Triple Systems with an Involution

European Journal of Combinatorics
1987 | Journal article
DOI: 10.1016/S0195-6698(87)80045-8
EID:

2-s2.0-0000141538
Contributors: Hartman, A.; Hoffman, D.G.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier
grade
Preferred source (of 2)‎

The existence of resolvable Steiner quadruple systems

Journal of Combinatorial Theory, Series A
1987 | Journal article
DOI: 10.1016/0097-3165(87)90028-8
EID:

2-s2.0-38249034925
Contributors: Hartman, A.
Source: Self-asserted source
Alan Hartman via Scopus - Elsevier
grade
Preferred source (of 2)‎
Items per page:
Page 1 of 2
How many people are using ORCID?