מאמרים בעברית

1.   1972 - On Prufer Rings and Regular Rings. Technion Preprint Series Nu. MT-96
   DOI:  10.13140/RG.2.2.26591.06566
2.   1972 - FP-injective modules and Relatively Divisible modules. M.Sc Thesis, Technion, Haifa.
   DOI:  10.13140/RG.2.2.18961.15203
3.   1991 - Guidelines for user interface design for military reserve computer operators.
   Proceedings the Fifth Israel Conference on Computer Systems and Software Engineering, 28-29 May, pp 33-42
   DOI:  10.1109/ICCSSE.1991.151171
4.   1997 - What can and what cannot be automated in testing the usability of Windows applications,
   Poster for HCI International '97, San Francisco, CA, DOI:  10.13140/RG.2.2.17363.59688
5.   1998 - Automated Usability Testing, Proceedings of STAR 98, Orlando, Florida.  DOI:   10.13140/RG.2.2.12330.43208
6.   1998 - Measuring GUI Operability, STAR 98 West Conference on Software Quality, San Diego, CA
   DOI: 10.13140/RG.2.2.22396.76164
7.   1998 - Automation in Usability Validation, DOI:  10.13140/RG.2.2.19460.74889
   The 11th International Software Quality Week, San Francisco, CA, 6S1
8.   1999 - New Methods and Practices in Usability Testing, position paper for Workshop in UPA 99, Phoenix, Arizona
   DOI:  10.13140/RG.2.2.14847.01443
9.   1999 - Crossing the Chasm, position paper for Workshop in UPA 99, Phoenix, Arizona
   DOI:  10.13140/RG.2.2.34979.67362
10.   1999 - Measuring the Quality of GUI Usability, DOI:  10.13140/RG.2.2.22816.19205
    The 12th International Software Quality Week, San Francisco, CA, VT13
11.   1999 - Automatic Operation Logging and Usability Validation,
    Proceedings of HCI International '99, Munich, Germany, Vol.  1, pp.  1128-1133, DBLP
12.   2000 - Measuring the usability of GUI applications,
    International symposium on QA, Jerusalem, 2000, DOI:  10.13140/RG.2.2.34560.24327
13.   2000 - User Errors are not Software Bugs,  DOI:  10.13140/RG.2.2.14427.58401
    SM/ASM 2000 International Conference on Software Management, San Jose, CA, pp. 283-294
14.   2000 - Methods and Tools for Understanding the Surfer Behavior, Computax 2000, Tel Aviv
15.   2006 - Alarm Reliability,
    User Experience Magazine, Vol 5., Issue 3. DOI:  10.13140/RG.2.2.21977.33121
16.   2006 - Using Sound for Alerting: Lessons from the War with Hezbollah.
    User Experience Magazine, Vol 5., Issue 3. Postscript
17.   2008 - Modeling Web Usability Diagnostics on the basis of Usage Statistics ( A. Harel, R. Kenett and F. Ruggeri) 
    in:  Statistical Methods in eCommerce Research,  W. Jank and G. Shmueli editors, Wiley.
    DOI: 10.1002/9780470315262.ch7 
18.   2008 - Operational Usability Assessment using Web Statistics  (R. Kenett, A. Harel),
    The 15th Conference of Industrial and Management Engineering, Tel-Aviv. DOI:  10.13140/RG.2.2.16000.44803
19.   2008 - Standards for Defending Systems against Interaction Faults, DOI: 10.1002/j.2334-5837.2008.tb00908.x
    Incose International Symposium, Utrecht, The Netherlands.
20.   2008 - Decision support for user interface design: Usability diagnosis by time analysis of the user activity, (A. Harel, R. Kenett and F. Ruggeri).
    Proceedings of COMPSAC2008, 32nd Annual IEEE International Computer Software and Applications Conference.
    DUI: 10.1109/COMPSAC.2008.61  
21.   2008 - Extended System Engineering - ESE: Integrating Usability Engineering in System Engineering, (A. Zonnenshain, A. Harel)
    The 17th International Conference of the Israel Society for Quality, Jerusalem, Israel,
    DOI: 10.1002/j.2334-5837.2008.tb00899.x
22.   2009 - User Interface Diagnosis by Statistics of the User Activity in Service Oriented Architectures (R. Kenett, A. Harel),
    The Fifth Conference of INCOSE, Hertzelia, Israel. DOI:  10.13140/RG.2.2.21348.18568
23.   2009 - Statistical Analysis of the User Experience –
    Invited talk - 2nd Meeting of isENBIS, Hertzelia, Israel. DOI: 10.13140/RG.2.2.17992.74241
24.   2009 - Task-oriented System Engineering (A. Zonnenshain, A. Harel), DOI: 10.1002/j.2334-5837.2009.tb00982.x
    INCOSE Annual International Symposium, Singapore.
25.   2009 - Controlling the usability of Web Services, (R. Kenett, A. Harel, F. Ruggeri)
    International Journal of Software Engineering and Knowledge Engineering (IJSEKE), Volume: 19, Issue: 5(2009) pp. 627-651
    DOI:  10.1142/S0218194009004362
26.   2010 - Whose Error is This? Standards for Preventing Use Errors,
    The 16th Conference of Industrial and Management Engineering, Tel-Aviv. DOI: 10.13140/RG.2.2.23864.76802
27.   2011 - Mitigating the Risks of Unexpected Events by Systems Engineering (A. Harel, M. Weiss),
    The Sixth Conference of INCOSE-IL, Hertzelia, Israel. DOI: 10.13140/RG.2.2.12540.14720
28.   2011 - Comments on IEC 60601-1-8. DOI:  10.13140/RG.2.2.25988.13442
    Letter submitted to IEC/TC 62 working group.
29.   2011 - Managing the Risks of Use Errors: The ITS Warning Systems Case Study (M. Weiler, A. Harel),
    The Sixth Conference of INCOSE-IL, Hertzelia, Israel. DOI: 10.13140/RG.2.2.10023.56487
30.   2012 - Designing war alarms: a multi-disciplinary approach.
    The Israeli Ergonomics Association on Human Factors Engineering for Military Systems, Netzer Sereny, Israel.
    DOI: 10.13140/RG.2.2.20050.57287
31.   2013 - Towards families of resilient systems  (A. Zonnenshain, A. Harel).
    The Yossi Levin Conference, Technion, Haifa, Jan. 9th, 2013. DOI: 10.13140/RG.2.2.11661.96484
32.   2013 - Resilience-oriented design (A. Zonnenshain, A. Harel).  
    The Seventh Conference of INCOSE-IL, Hertzelia, Israel. DOI: 10.13140/RG.2.2.32633.48485
33.   2015 - A practical guide to assuring the system resilience to operational errors (A. Zonnenshain, A. Harel).  
    INCOSE Annual International Symposium, Seattle. DOI: 10.1002/j.2334-5837.2015.00080.x
34.   2016 - Final report to the Gordon Center for Systems Engineering  (A. Zonnenshain, A. Harel).
35.   2017 - Systems Engineering Decision Analysis can benefit from Added Consideration of Cognitive Sciences  (S. Jackson, A. Harel).
    Project Performance International (PPI), SyEN 55, July 19
36.   2018 - Improving Decisions to Mitigate the Risks of Organizational Accidents (S. Jackson, A. Harel)
    DOI: 10.20944/preprints201803.0042.v1
37.   2018 - Agile Testing with User Data in Cloud and Edge Computing Environments (R. Kenett, A. Harel, F. Ruggeri)
    In book: Analytic Methods in Systems and Software Testing, DOI: 10.1002/9781119357056.ch14
38.   2018 - Agile Error Proofing: a framework for adaptive resilience assurance.
    Abstract submitted to the EuroControl Flight Safety Forum, 2018, rejected DOI: 10.13140/RG.2.2.17448.08969
39.   2019 - Towards HSI Engineering. DOI: 10.13140/RG.2.2.30285.77284
    The Voice of the Systems: The Journal of the Israeli Systems Engineers, June issue
40.   2019 - Engineering the HSI .
    The first INCOSE HSI conference, (HSI2019) Biarritz, France. Preprint DOI: 10.13140/RG.2.2.25672.03849
41.   2020 - System Thinking Begins with Human Factors: Challenges for the 4th Industrial Revolution.
    in R.S. Kenett, R.S. Swarz and A. Zonnenshain (Eds), Systems Engineering in the Fourth Industrial Revolution: Big Data, Novel Technologies, and Modern Systems Engineering, Wiley
    DOI: 10.1002/9781119513957.ch15

42.   2021 - Model-based Human Interaction Design.
    Accepted to the 5th International Conference on Human Interaction & Emerging Technologies (IHIET 2022). DOI: 10.13140/RG.2.2.22631.16807.
    Paris, August, Reprint,

43.   2021 - Towards Safety-oriented System Design: Preventing Operator Errors by Scenario-based Models. DOI: 10.13140/RG.2.2.36682.08643
    Accepted to the International Conference on Computer Technologies and Development (ICCTD), Barcelona, preprint, cancelled due to the Corona
44.   2021 - Towards Model-based HSI Engineering: A Universal HSI Model for Utility Optimization. DOI: 10.13140/RG.2.2.31963.49443
    The second INCOSE HSI conference, (HSI2021) San Diego, November (Virtual), Reprint.
45.   2021 - Scenario-based modeling
    Submitted to Software Engineering and Formal Methods (SEFM) 2021, rejected, DOI: 10.13140/RG.2.2.12834.35523
46.   2021 - Preventing Operator Errors By Design,
    Accepted to the 5th International Conference on System Reliability and Safety  (ICSRS), Palermo, November, Preprint. Cancelled due to the Corona.
    DOI: 10.13140/RG.2.2.29611.57122
47.   2021 - Setting alarm thresholds. Technical paper, DOI: 10.13140/RG.2.2.34481.04967
48.   2022 - Preventing Human Errors: A Framework for Rule-based Operation Control.  DOI: 10.13140/RG.2.2.32967.01440
    Accepted to The Fifth International Conference on Software and Services Engineering (ICSSE), Paris, January (Virtual), Preprint.
49.   2022 - Integration-Centered Design: A framework for preventing human errors. DOI: 10.13140/RG.2.2.11785.77929
    7th International Conference on Human Interaction & Emerging Technologies. Artificial Intelligence & Future Applications (IHIET-AI). Laussane, Switzerland, April. Preprint.
50.   2022 - Scenario-based design. DOI: 10.13140/RG.2.2.19106.85448
    Submitted to the 17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE). Preprint
51.   2022 - Model based Utility Optimization: A Universal Model of System Integration, DOI: 10.13140/RG.2.2.22900.68487
    Submitted to the International Conference on Software Engineering (ICSE) 2022, Rejected
52.   2022 - Towards Safety-Oriented System Design: Preventing Operator Errors by Scenario-Based Models. Preprint. DOI: 10.13140/RG.2.2.36682.08643
53.   2022 - Essentials of Model-based Integration of Socio-technical Systems. White Paper, DOI: 10.13140/RG.2.2.15936.40963 
54.   2023 - Tutorial on Integration Design: Challenges, Principles, Methods. DOI: 10.13140/RG.2.2.27180.88967
    18th International Conference on ENASE (Evaluation of Novel Approaches to Software Engineering)
55.   2023 - Essentials of Integration Engineering, Preprint, DOI: 10.13140/RG.2.2.19607.55201
56.   2024 - Challenges of Enabling Seamless Operation, Submitted to HSI 2024 DOI: 10.13140/RG.2.2.34261.40169
57.   2024 - Assembly verification: the MX981 case study, DOI:   10.13140/RG.2.2.18592.19209
58.   2024 - Assembly verification: the Proton M case study, DOI: 10.13140/RG.2.2.14397.88808
59.   2024 - Setting verification: the PL603 case study, DOI: 10.13140/RG.2.2.16075.60966
60.   2024 - Sensor Integration Verification, DOI: 10.13140/RG.2.2.27400.23044
61.   2024 - Enforcing feature availability: the TMI case study, DOI: 10.13140/RG.2.2.23687.61607
62.   2024 - Enforcing feature availability: the Torrey Canyon case study, DOI:  10.13140/RG.2.2.25365.33766
63.   2024 - Enforcing feature availability: the AF 296 case study, DOI: 10.13140/RG.2.2.19703.02725
64.   2024 - Enforcing feature availability: the PL 603 case study, DOI: 10.13140/RG.2.2.34802.52165
65.   2024 - Enforcing feature availability, DOI: 10.13140/RG.2.2.31237.36326
66.   2024 - Configuration verification: the Cheongung case study, DOI: 10.13140/RG.2.2.27364.18564
67.   2024 - Scenario-driven operation: the BrahMos case study, DOI: 10.13140/RG.2.2.25686.46405
68.   2024 - Configuration verification, DOI: 10.13140/RG.2.2.32397.35040
69.   2024 - Combat fire support: the Tze’elim A case study, DOI: 10.13140/RG.2.2.33070.73283
70.   2024 - Combat fire support: the Tze’elim B case study, DOI: 10.13140/RG.2.2.16922.66248
71.   2024 - Combat fire support: the Kandahar case study, DOI: 10.13140/RG.2.2.26988.99203
72.   2024 - Friend-foe coordination in combat fire support (CFS), DOI: 10.13140/RG.2.2.34538.73922
73.   2024 - Rule-based AI in Model-based Emergency Control, DOI: 10.13140/RG.2.2.14877.93926
74.   2024 - Synchronization control: the Therac 25 case study, DOI: 10.13140/RG.2.2.34099.64803
75.  2024 - Intention-driven control: the smart home case study, DOI: 10.13140/RG.2.2.29815.02720
76.  2024 - Emergency alarms: the 2006 missile attack case study, DOI: 10.13140/RG.2.2.26459.58403
77.  2024 - Entertainment control: the TV control case study, DOI: 10.13140/RG.2.2.11989.23526
78.  2024 - Control confusion: the appliance delay case study, DOI: 10.13140/RG.2.2.14664.74248