Alan Hartman

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