Alan Hartman

发表

Resolvable group divisible designs with block size 3

Alan Hartman, Ahmed M. Assaf, Alan Hartman, 1989, Discret. Math..

A Model for Designing Generic Services

Alan Hartman, Ketki A. Dhanesha, Anshu N. Jain, 2009, 2009 IEEE International Conference on Services Computing.

On packing designs with block size 5 and index 4

Alan Hartman, Ahmed M. Assaf, 1990, Discret. Math..

FairUMAP 2019 Chairs' Welcome Overview

Tsvi Kuflik, Alan Hartman, Bettina Berendt, 2019, UMAP.

Combinatorial designs - a tribute to Haim Hanani

Alan Hartman, Alan Hartman, 1989, Discret. Math..

Proceedings of the 2007 Workshop on Domain Specific Approaches to Software Test Automation, DOSTA 2007, Dubrovnik, Croatia, September 4, 2007

Alan Hartman, Mika Katara, Amit Paradkar, 2007, DOSTA.

Is ISSTA research relevant to industry?

Alan Hartman, 2002, ISSTA '02.

Intersections of Steiner quadruple systems

Alan Hartman, Zvi Yehudai, 1992, Discret. Math..

A test execution environment running abstract tests for distributed software proceedings of sea 2002

Alan Hartman, Kenneth Nagin, Andrei Kirshin, 2002 .

A General Recursive Construction for Quadruple Systems

Alan Hartman, 1982, J. Comb. Theory, Ser. A.

Model Driven Testing – AGEDIS Architecture Interfaces and Tools

Alan Hartman, Kenneth Nagin, 2003 .

A study in coverage-driven test generation

Alan Hartman, Daniel Geist, Yaron Wolfsthal, 1999, DAC '99.

Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications

Alan Hartman, Arend Rensink, Richard F. Paige, 2009 .

On three-designs of small order

Alan Hartman, Haim Hanani, Earl S. Kramer, 1983, Discret. Math..

Packing designs with block size 6 and index 5

Alan Hartman, Ahmed M. Assaf, Nabil Shalaby, 1992, Discret. Math..

Problems and algorithms for covering arrays

Alan Hartman, Leonid Raskin, Alan Hartman, 2004, Discret. Math..

Steiner Triple Systems with an Involution

Alan Hartman, Dean G. Hoffman, D. Hoffman, 1987, Eur. J. Comb..

Towards a Large Set of Steiner Quadruple Systems

Alan Hartman, Tuvi Etzion, T. Etzion, 1991, SIAM J. Discret. Math..

The fundamental construction for 3-designs

Alan Hartman, A. Hartman, 1994, Discret. Math..

Conceptual Modeling Approaches for Services Science

Alan Hartman, Nicola Guarino, G. R. Gangadharan, 2012 .

A UML Simulator Based On A Generic Model Execution Engine

Alan Hartman, Andrei Kirshin, D. Moshkovich, 2006 .

The AGEDIS tools for model based testing

Alan Hartman, Kenneth Nagin, Kenneth Nagin, 2004, ISSTA '04.

Subdesigns in Steiner quadruple systems

Alan Hartman, Andrew Granville, 1991, J. Comb. Theory, Ser. A.

Conceptual Framework and Architecture for Privacy Audit

Alan Hartman, Elena Ferrari, Pietro Colombo, 2012, APF.

Model Driven Architecture: Foundations and Applications

Alan Hartman, Arend Rensink, Richard F. Paige, 2003 .

Model Driven Architecture - Foundations and Applications: First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings (Lecture Notes in Computer Science)

Alan Hartman, David Kreische, 2005 .

Intelligent user interfaces for algorithmic transparency in emerging technologies

Tsvi Kuflik, Alan Hartman, Jahna Otterbacher, 2019, IUI Companion.

Partial triple systems and edge colourings

Alan Hartman, 1986, Discret. Math..

Combinatorial Designs–a Tribute to Haim Hanani: Preface

Alan Hartman, 1989 .

Covering triples by quadruples: An asymptotic solution

Alan Hartman, Ronald C. Mullin, W. H. Mills, 1986, J. Comb. Theory, Ser. A.

Towards Trustworthiness Assurance in the Cloud

Alan Hartman, Sachar Paulus, Micha Moffie, 2013 .

“End to End” Towards a Framework for Reducing Biases and Promoting Transparency of Algorithmic Systems

Tsvi Kuflik, Alan Hartman, Fausto Giunchiglia, 2019, 2019 14th International Workshop on Semantic and Social Media Adaptation and Personalization (SMAP).

The existence of resolvable Steiner quadruple systems

Alan Hartman, Alan Hartman, 1987, J. Comb. Theory, Ser. A.

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

Alan Hartman, Eitan Farchi, Shlomit S. Pinter, 2002, IBM Syst. J..

Cyclic One-Factorization of the Complete Graph

Alan Hartman, Alexander Rosa, A. Rosa, 1985, Eur. J. Comb..

IEEE CASE 2009 Special Sessions

Alan Hartman, Ram D. Sriram, Alessandro Giua, 2009, 2009 IEEE International Conference on Automation Science and Engineering.

On small packing and covering designs with block size 4

Alan Hartman, 1986, Discret. Math..

Choosing a Test Modeling Language: A Survey

Alan Hartman, Mika Katara, Sergey Olvovsky, 2006, Haifa Verification Conference.

The AGEDIS Tools for Model Based Testing

Alan Hartman, Kenneth Nagin, 2004, UML Satellite Activities.

Model Driven Architecture - Foundations and Applications, 1st European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings

Alan Hartman, David Kreische, Ecmda-Fa, 2005, ECMDA-FA.

Projected state machine coverage for software testing

Alan Hartman, Kenneth Nagin, G. Friedman, 2002, ISSTA '02.

Intersections and supports of quadruple systems

Alan Hartman, Charles J. Colbourn, 1991, Discret. Math..

Service System Approaches - Conceptual Modeling Approaches for Services Science

Alan Hartman, Nicola Guarino, G. R. Gangadharan, 2012, Handbook of Service Description.

Covering the Complete Graph with Plane Cycles

Alan Hartman, Yoav Medan, 1993, Discret. Appl. Math..

Algorithmic aspects of integral designs

Alan Hartman, 1998, Australas. J Comb..

Participatory Design of Public Sector Services

Alan Hartman, Yannis Charalabidis, Willem-Jan van den Heuvel, 2010, EGOVIS.

Domain specific approaches to software test automation

Alan Hartman, Amit M. Paradkar, Mika Katara, 2007, ESEC-FSE '07.

Optimal Parsing of Strings

Alan Hartman, Michael Rodeh, 1985 .

A UML simulator based on a generic model execution engine

Alan Hartman, Dolev Dotan, Andrei Kirshin, 2006, MoDELS'06.

Quadruple systems containing AG(3, 2)

Alan Hartman, 1982, Discret. Math..

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

Alan Hartman, Rajkumar Buyya, Anton Beloglazov, 2015 .

Workshop on Domain specific approaches to software test automation: in conjunction with the 6th ESEC/FSE joint meeting

Alan Hartman, Mika Katara, Amit Paradkar, 2007, FSE 2007.