פרופ' אלן הרטמן

סגל ההוראה

רקע אקדמי

תואר ראשון במתמטיקה מאוניברסיטת מונאש באוסטרליה, תואר שני במתמטיקה מן הטכניון, דוקטורט במתמטיקה מאוניברסיטת ניוקסטל באוסטרליה. דיפלומה בהוראת המדעים ממכללת וויקטוריה באוסטרליה, פוסט-דוקטורט בפקולטה לקומבינטוריקה ואופטימיזציה באוניברסיטת ווטרלו בקנדה.

רקע מקצועי

פרופ' הרטמן עבד יותר מ-30 שנה במעבדות המחקר של חברת IBM. מתוכם עבד כשלש שנים במעבדת המחקר של יבמ בבנגלור הודו, בתחום של הנדסת שירות. במעבדת יבמ חיפה עבד בנושאים שונים כגון מערכות אכסון מתקדמות, הנדסת תכנה, בדיקות חומרה, שיטות פורמליות, וחקר ביצועים. הוא ניהל חוקרים, וכן ניהל פרויקטים גדולים ועם רבי משתתפים הממומנים ע"י האיחוד האירופי. דר' הרטמן חבר וועדה של עיתונים מקצועיים בינלאומיים בשם SOSYM ,STVR.

הוראה

תיכון השירות הנייד
ניהול קשרי לקוח CRM
מבני נתונים

Publications

Model Driven Architecture – Foundations and Applications , Proceedings of the Fifth ECMDA-FA 2009, Lecture Notes in Computer Science, 5562 (Springer 2009) (Editor with R. Paige and A. Rensink).

Model Driven Architecture – Foundations and Applications , Proceedings of the Fourth ECMDA-FA 2008, Lecture Notes in Computer Science, 5095 (Springer 2008) (Editor with I. Schieferdecker).

Model Driven Architecture – Foundations and Applications , Proceedings of the First ECMDA-FA 2005, Lecture Notes in Computer Science, 3748 (Springer 2005) (Editor with D. Kreische).

Combinatorial Design Theory - A tribute to Haim Hanani , Annals of Discrete
Mathematics, 42 (1989) (Editor).

Books

Service System Approaches: Conceptual Modeling Approaches for Services Science, (with R. Ferrario N. Guarino R. Trampus K. Laskey and G. R. Gangadharan) in Handbook of Service Description: USDL and its Methods, Chapter 4, Eds A. Barros and D. Oberle, Springer 2011.

A formal model for service delivery, (with G. Banavar, L. Ramaswamy, A. Zherebtsov) Chapter in Service Science Handbook (Editors P. Maglio, C. Kieleszewski, J. Spohrer), Springer 2010.

Software and hardware testing using combinatorial covering suites, in Graph Theory, Combinatorics and Algorithms - Interdisciplinary Applications (eds. M. C. Golumbic, I. B-A. Hartman) Springer 2005.

Articals

A Product Line of IT Service Delivery Simulation Models, (with A. Beloglazov, D. Banerjee, R. Buyya) J. Services Research (to appear).

Problems and Algorithms for Covering Arrays (with L. Raskin), in Discrete
Mathematics 284:149-156, 2004.

Using a model-based test generator to test for standards conformance (with E. Farchi, S. Pinter) IBM Systems Journal 41 (2002) 89-110.

Towards Trustworthiness Assurance in the Cloud, (with F. Di Cerbo, P. Bison, S. Keller, P. H. Meland, M. Moffie, N. G. Mohammadi, S. Paulus, S. Short) in Proceedings of CSP EU FORUM, 2013.

Conceptual Framework and Architecture for Privacy Audit, (with K. Kveler, K. Bock, P. Colombo, T. Domany, E. Ferrari) in Proceedings of Annual Privacy Forum, Limassol, 2012.

A selection and prioritisation framework for collaborative public service design, (with S. Koussouris, P. Kokkinakos, D. Panopoulos, D. Askounis, A. N. Jain, C. Zirpins, C. Georgeosopoulos) in Proceedings of 5th International Conference on Methodologies, Technologies and Tools enabling e-Government 2011.

Evaluating public service delivery in emerging markets, (with A. Sharma, G. R. Gangadharan, K. Kummamuru, J. B. Somashekara) in Proceedings of SOLI 2011.

Participatory service design in emerging markets, (with G. R. Gangadharan, A. N. Jain, N. Rajshree, A. Agrahari) in Proceedings of SOLI 2011.

Participatory design of public sector services, (with A. Jain, J. Ramanathan, A. Ramfos, et al.) in Proceedings of EGOVIS 2010, LNCS 6267, pp. 219-233.

A model for designing generic services, (with K. Dhanesha and A. N. Jain) in
Proceedings of SCC 2009.

A UML Simulator Based On a Generic Model Execution Engine, (with D. Dotan, and A. Kirshin) in Models in Software Engineering, LNCS 4364-2007 324-326.