Alan Hartman

Publication Activity (10 Years)

Years Active: 1982-2024
Publications (10 Years): 9

Top Topics

Business Organizations

Formal Semantics

Intelligent User Interfaces

Top Venues

Int. J. Artif. Intell. Educ.

UMAP (Adjunct Publication)

Publications

Iris Reinhartz-Berger, Alan Hartman, Doron Kliger
Adoption of IT solutions: A data-driven analysis approach. Inf. Syst. 120 (2024)
Kalia Orphanou, Jahna Otterbacher, Styliani Kleanthous, Khuyagbaatar Batsuren, Fausto Giunchiglia, Veronika Bogina, Avital Shulner Tal, Alan Hartman, Tsvi Kuflik
Mitigating Bias in Algorithmic Systems - A Fish-eye View. ACM Comput. Surv. 55 (5) (2023)
Iris Reinhartz-Berger, Doron Kliger, Eliad Amsalem, Alan Hartman
When IT Service Adoption Meets Behavioral Economics: Addressing Present Bias Challenges. ER (2022)
Veronika Bogina, Alan Hartman, Tsvi Kuflik, Avital Shulner Tal
Educating Software and AI Stakeholders About Algorithmic Fairness, Accountability, Transparency and Ethics. Int. J. Artif. Intell. Educ. 32 (3) (2022)
Fathi Jabarin, Alan Hartman, Iris Reinhartz-Berger, Doron Kliger
Towards Improvement of IT Service Adoption in Multi-Business Organizations. ER (2021)
Kalia Orphanou, Jahna Otterbacher, Styliani Kleanthous, Khuyagbaatar Batsuren, Fausto Giunchiglia, Veronika Bogina, Avital Shulner Tal, Alan Hartman, Tsvi Kuflik
Mitigating Bias in Algorithmic Systems: A Fish-Eye View of Problems and Solutions Across Domains. CoRR (2021)
Styliani Kleanthous, Tsvi Kuflik, Jahna Otterbacher, Alan Hartman, Casey Dugan, Veronika Bogina
Intelligent user interfaces for algorithmic transparency in emerging technologies. IUI Companion (2019)
Avital Shulner Tal, Khuyagbaatar Batsuren, Veronika Bogina, Fausto Giunchiglia, Alan Hartman, Styliani Kleanthous Loizou, Tsvi Kuflik, Jahna Otterbacher
"End to End" Towards a Framework for Reducing Biases and Promoting Transparency of Algorithmic Systems. SMAP (2019)
Bettina Berendt, Veronika Bogina, Robin Burke, Michael D. Ekstrand, Alan Hartman, Styliani Kleanthous, Tsvi Kuflik, Bamshad Mobasher, Jahna Otterbacher
FairUMAP 2019 Chairs' Welcome Overview. UMAP (Adjunct Publication) (2019)
Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic
UML 2 Semantics Symposium: Formal Semantics for UML. CoRR (2014)
Ksenya Kveler, Kirsten Bock, Pietro Colombo, Tamar Domany, Elena Ferrari, Alan Hartman
Conceptual Framework and Architecture for Privacy Audit. APF (2012)
Alan Hartman, Anshu N. Jain, Jay Ramanathan, Antonis Ramfos, Willem-Jan van den Heuvel, Christian Zirpins, Stefan Tai, Yannis Charalabidis, A. Pasic, T. Johannessen
Participatory Design of Public Sector Services. EGOVIS (2010)
Ketki A. Dhanesha, Alan Hartman, Anshu N. Jain
A Model for Designing Generic Services. IEEE SCC (2009)
Amit M. Paradkar, Alan Hartman, Mika Katara
Domain specific approaches to software test automation. ESEC/SIGSOFT FSE (Companion) (2007)
Alan Hartman, Mika Katara, Amit M. Paradkar
Domain specific approaches to software test automation. ESEC/SIGSOFT FSE (2007)
Manfred Broy, Michelle L. Crane, Jürgen Dingel, Alan Hartman, Bernhard Rumpe, Bran Selic
UML 2 Semantics Symposium: Formal Semantics for UML. MoDELS (Workshops) (2006)
Andrei Kirshin, Dolev Dotan, Alan Hartman
A UML Simulator Based on a Generic Model Execution Engine. MoDELS (Workshops) (2006)
Alan Hartman, Mika Katara, Sergey Olvovsky
Choosing a Test Modeling Language: A Survey. Haifa Verification Conference (2006)
Alan Hartman, Kenneth Nagin
The AGEDIS Tools for Model Based Testing. UML Satellite Activities (2004)
Alan Hartman, Kenneth Nagin
The AGEDIS tools for model based testing. ISSTA (2004)
Alan Hartman, Leonid Raskin
Problems and algorithms for covering arrays. Discret. Math. 284 (1-3) (2004)
Eitan Farchi, Alan Hartman, Shlomit S. Pinter
Using a model-based test generator to test for standard conformance. IBM Syst. J. 41 (1) (2002)
G. Friedman, Alan Hartman, Kenneth Nagin, T. Shiran
Projected state machine coverage for software testing. ISSTA (2002)
Alan Hartman
Is ISSTA research relevant to industry? ISSTA (2002)
Mike Benjamin, Daniel Geist, Alan Hartman, Gérard Mas, Ralph Smeets, Yaron Wolfsthal
A Study in Coverage-Driven Test Generation. DAC (1999)
Alan Hartman
Algorithmic aspects of integral designs. Australas. J Comb. 18 (1998)
Alan Hartman
The fundamental construction for 3-designs. Discret. Math. 124 (1-3) (1994)
Alan Hartman, Yoav Medan
Covering the Complete Graph with Plane Cycles. Discret. Appl. Math. 44 (1-3) (1993)
Ahmed M. Assaf, Alan Hartman, Nabil Shalaby
Packing designs with block size 6 and index 5. Discret. Math. 103 (2) (1992)
Alan Hartman, Zvi Yehudai
Intersections of Steiner quadruple systems. Discret. Math. 104 (3) (1992)
Andrew Granville, Alan Hartman
Subdesigns in Steiner quadruple systems. J. Comb. Theory, Ser. A 56 (2) (1991)
Tuvi Etzion, Alan Hartman
Towards a Large Set of Steiner Quadruple Systems. SIAM J. Discret. Math. 4 (2) (1991)
Charles J. Colbourn, Alan Hartman
Intersections and supports of quadruple systems. Discret. Math. 97 (1-3) (1991)
Ahmed M. Assaf, Alan Hartman
On packing designs with block size 5 and index 4. Discret. Math. 79 (2) (1990)
Ahmed M. Assaf, Alan Hartman
Resolvable group divisible designs with block size 3. Discret. Math. 77 (1-3) (1989)
Alan Hartman
Combinatorial designs - a tribute to Haim Hanani. Discret. Math. 77 (1-3) (1989)
Alan Hartman, Dean G. Hoffman
Steiner Triple Systems with an Involution. Eur. J. Comb. 8 (4) (1987)
Alan Hartman
The existence of resolvable Steiner quadruple systems. J. Comb. Theory, Ser. A 44 (2) (1987)
Alan Hartman, W. H. Mills, Ronald C. Mullin
Covering triples by quadruples: An asymptotic solution. J. Comb. Theory, Ser. A 41 (1) (1986)
Alan Hartman
On small packing and covering designs with block size 4. Discret. Math. 59 (3) (1986)
Alan Hartman
Partial triple systems and edge colourings. Discret. Math. 62 (2) (1986)
Alan Hartman, Alexander Rosa
Cyclic One-Factorization of the Complete Graph. Eur. J. Comb. 6 (1) (1985)
Haim Hanani, Alan Hartman, Earl S. Kramer
On three-designs of small order. Discret. Math. 45 (1) (1983)
Alan Hartman
A General Recursive Construction for Quadruple Systems. J. Comb. Theory, Ser. A 33 (2) (1982)
Alan Hartman
Quadruple systems containing AG(3, 2). Discret. Math. 39 (3) (1982)