Alan Hartman

According to our database, Alan Hartman authored at least 44 papers between 1982 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of two.

2024

Adoption of IT solutions: A data-driven analysis approach.

Iris Reinhartz-Berger, Alan Hartman, Doron Kliger

Inf. Syst., February, 2024

2023

Mitigating Bias in Algorithmic Systems - A Fish-eye View.

Kalia Orphanou, Jahna Otterbacher, Styliani Kleanthous, Khuyagbaatar Batsuren, Fausto Giunchiglia, Veronika Bogina, Avital Shulner-Tal, Alan Hartman, Tsvi Kuflik

ACM Comput. Surv., 2023

2022

Educating Software and AI Stakeholders About Algorithmic Fairness, Accountability, Transparency and Ethics.

Veronika Bogina, Alan Hartman, Tsvi Kuflik, Avital Shulner-Tal

Int. J. Artif. Intell. Educ., 2022

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

Iris Reinhartz-Berger, Doron Kliger, Eliad Amsalem, Alan Hartman

Proceedings of the Conceptual Modeling - 41st International Conference, 2022

2021

Mitigating Bias in Algorithmic Systems: A Fish-Eye View of Problems and Solutions Across Domains.

Kalia Orphanou, Jahna Otterbacher, Styliani Kleanthous, Khuyagbaatar Batsuren, Fausto Giunchiglia, Veronika Bogina, Avital Shulner-Tal, Alan Hartman, Tsvi Kuflik

CoRR, 2021

Towards Improvement of IT Service Adoption in Multi-Business Organizations.

Fathi Jabarin, Alan Hartman, Iris Reinhartz-Berger, Doron Kliger

Proceedings of the Conceptual Modeling - 40th International Conference, 2021

2019

FairUMAP 2019 Chairs' Welcome Overview.

Bettina Berendt, Veronika Bogina, Robin Burke, Michael D. Ekstrand, Alan Hartman, Styliani Kleanthous, Tsvi Kuflik, Bamshad Mobasher, Jahna Otterbacher

Proceedings of the Adjunct Publication of the 27th Conference on User Modeling, 2019

"End to End" Towards a Framework for Reducing Biases and Promoting Transparency of Algorithmic Systems.

Avital Shulner-Tal, Khuyagbaatar Batsuren, Veronika Bogina, Fausto Giunchiglia, Alan Hartman, Styliani Kleanthous Loizou, Tsvi Kuflik, Jahna Otterbacher

Proceedings of the 14th International Workshop on Semantic and Social Media Adaptation and Personalization, 2019

Intelligent user interfaces for algorithmic transparency in emerging technologies.

Styliani Kleanthous, Tsvi Kuflik, Jahna Otterbacher, Alan Hartman, Casey Dugan, Veronika Bogina

Proceedings of the 24th International Conference on Intelligent User Interfaces: Companion, 2019

2014

UML 2 Semantics Symposium: Formal Semantics for UML.

Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic

CoRR, 2014

2012

Conceptual Framework and Architecture for Privacy Audit.

Ksenya Kveler, Kirsten Bock, Pietro Colombo, Tamar Domany, Elena Ferrari, Alan Hartman

Proceedings of the Privacy Technologies and Policy - First Annual Privacy Forum, 2012

Service System Approaches - Conceptual Modeling Approaches for Services Science.

Roberta Ferrario, Nicola Guarino, Romano Trampus, Ken Laskey, Alan Hartman, G. R. Gangadharan

Proceedings of the Handbook of Service Description - USDL and Its Methods, 2012

2010

Participatory Design of Public Sector Services.

Alan Hartman, Anshu N. Jain, Jay Ramanathan, Antonis Ramfos, Willem-Jan van den Heuvel, Christian Zirpins, Stefan Tai, Yannis Charalabidis, Aljosa Pasic, T. Johannessen

Proceedings of the Electronic Government and the Information Systems Perspective, 2010

2009

A Model for Designing Generic Services.

Ketki A. Dhanesha, Alan Hartman, Anshu N. Jain

Proceedings of the 2009 IEEE International Conference on Services Computing (SCC 2009), 2009

2007

Domain specific approaches to software test automation.

Alan Hartman, Mika Katara, Amit M. Paradkar

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

2006

A UML Simulator Based on a Generic Model Execution Engine.

Andrei Kirshin, Dolev Dotan, Alan Hartman

Proceedings of the Models in Software Engineering, 2006

2^nd UML 2 Semantics Symposium: Formal Semantics for UML.

Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic

Proceedings of the Models in Software Engineering, 2006

Choosing a Test Modeling Language: A Survey.

Alan Hartman, Mika Katara, Sergey Olvovsky

Proceedings of the Hardware and Software, 2006

2004

Problems and algorithms for covering arrays.

Alan Hartman, Leonid Raskin

Discret. Math., 2004

The AGEDIS Tools for Model Based Testing.

Alan Hartman, Kenneth Nagin

Proceedings of the UML Modeling Languages and Applications, 2004

2002

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

Eitan Farchi, Alan Hartman, Shlomit S. Pinter

IBM Syst. J., 2002

Is ISSTA research relevant to industry?

Alan Hartman

Proceedings of the International Symposium on Software Testing and Analysis, 2002

Projected state machine coverage for software testing.

G. Friedman, Alan Hartman, Kenneth Nagin, T. Shiran

Proceedings of the International Symposium on Software Testing and Analysis, 2002

1999

A Study in Coverage-Driven Test Generation.

Mike Benjamin, Daniel Geist, Alan Hartman, Gérard Mas, Ralph Smeets, Yaron Wolfsthal

Proceedings of the 36th Conference on Design Automation, 1999

1998

Algorithmic aspects of integral designs.

Alan Hartman

Australas. J Comb., 1998

1994

The fundamental construction for 3-designs.

Alan Hartman

Discret. Math., 1994

1993

Covering the Complete Graph with Plane Cycles.

Alan Hartman, Yoav Medan

Discret. Appl. Math., 1993

1992

Intersections of Steiner quadruple systems.

Alan Hartman, Zvi Yehudai

Discret. Math., 1992

Packing designs with block size 6 and index 5.

Ahmed M. Assaf, Alan Hartman, Nabil Shalaby

Discret. Math., 1992

1991

Towards a Large Set of Steiner Quadruple Systems.

Tuvi Etzion, Alan Hartman

SIAM J. Discret. Math., 1991

Subdesigns in Steiner quadruple systems.

Andrew Granville, Alan Hartman

J. Comb. Theory A, 1991

Intersections and supports of quadruple systems.

Charles J. Colbourn, Alan Hartman

Discret. Math., 1991

1990

On packing designs with block size 5 and index 4.

Ahmed M. Assaf, Alan Hartman

Discret. Math., 1990

1989

Combinatorial designs - a tribute to Haim Hanani.

Alan Hartman

Discret. Math., 1989

Resolvable group divisible designs with block size 3.

Ahmed M. Assaf, Alan Hartman

Discret. Math., 1989

1987

The existence of resolvable Steiner quadruple systems.

Alan Hartman

J. Comb. Theory A, 1987

Steiner Triple Systems with an Involution.

Alan Hartman, Dean G. Hoffman

Eur. J. Comb., 1987

1986

Covering triples by quadruples: An asymptotic solution.

Alan Hartman, W. H. Mills, Ronald C. Mullin

J. Comb. Theory A, 1986

Partial triple systems and edge colourings.

Alan Hartman

Discret. Math., 1986

On small packing and covering designs with block size 4.

Alan Hartman

Discret. Math., 1986

1985

Cyclic One-Factorization of the Complete Graph.

Alan Hartman, Alexander Rosa

Eur. J. Comb., 1985

1983

On three-designs of small order.

Haim Hanani, Alan Hartman, Earl S. Kramer

Discret. Math., 1983

1982

A General Recursive Construction for Quadruple Systems.

Alan Hartman

J. Comb. Theory A, 1982

Quadruple systems containing AG(3, 2).

Alan Hartman

Discret. Math., 1982