OpenAlex is a bibliographic catalogue of scientific papers, authors and institutions accessible in open access mode, named after the Library of Alexandria. It's citation coverage is excellent and I hope you will find utility in this listing of citing articles!
If you click the article title, you'll navigate to the article, as listed in CrossRef. If you click the Open Access links, you'll navigate to the "best Open Access location". Clicking the citation count will open this listing for that article. Lastly at the bottom of the page, you'll find basic pagination options.
Requested Article:
Demonstrating the Cognitive Plausibility of Interactive System Specifications
Richard Butterworth, Ann Blandford, David Duke
Formal Aspects of Computing (2000) Vol. 12, Iss. 4, pp. 237-259
Open Access | Times Cited: 42
Richard Butterworth, Ann Blandford, David Duke
Formal Aspects of Computing (2000) Vol. 12, Iss. 4, pp. 237-259
Open Access | Times Cited: 42
Showing 1-25 of 42 citing articles:
Using Formal Verification to Evaluate Human-Automation Interaction: A Review
Matthew L. Bolton, Ellen J. Bass, Radu I. Siminiceanu
IEEE Transactions on Systems Man and Cybernetics Systems (2013) Vol. 43, Iss. 3, pp. 488-503
Open Access | Times Cited: 164
Matthew L. Bolton, Ellen J. Bass, Radu I. Siminiceanu
IEEE Transactions on Systems Man and Cybernetics Systems (2013) Vol. 43, Iss. 3, pp. 488-503
Open Access | Times Cited: 164
A Systematic Approach to Model Checking Human–Automation Interaction Using Task Analytic Models
Matthew L. Bolton, Radu I. Siminiceanu, Ellen J. Bass
IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans (2011) Vol. 41, Iss. 5, pp. 961-976
Closed Access | Times Cited: 109
Matthew L. Bolton, Radu I. Siminiceanu, Ellen J. Bass
IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans (2011) Vol. 41, Iss. 5, pp. 961-976
Closed Access | Times Cited: 109
Safety Assessment of Collaborative Robotics Through Automated Formal Verification
Federico Vicentini, Mehrnoosh Askarpour, Matteo Rossi, et al.
IEEE Transactions on Robotics (2019) Vol. 36, Iss. 1, pp. 42-61
Open Access | Times Cited: 61
Federico Vicentini, Mehrnoosh Askarpour, Matteo Rossi, et al.
IEEE Transactions on Robotics (2019) Vol. 36, Iss. 1, pp. 42-61
Open Access | Times Cited: 61
Generating phenotypical erroneous human behavior to evaluate human–automation interaction using model checking
Matthew L. Bolton, Ellen J. Bass, Radu I. Siminiceanu
International Journal of Human-Computer Studies (2012) Vol. 70, Iss. 11, pp. 888-906
Open Access | Times Cited: 63
Matthew L. Bolton, Ellen J. Bass, Radu I. Siminiceanu
International Journal of Human-Computer Studies (2012) Vol. 70, Iss. 11, pp. 888-906
Open Access | Times Cited: 63
An approach to formal verification of human–computer interaction
Paul Curzon, Rimvydas Rukšėnas, Ann Blandford
Formal Aspects of Computing (2007) Vol. 19, Iss. 4, pp. 513-550
Open Access | Times Cited: 76
Paul Curzon, Rimvydas Rukšėnas, Ann Blandford
Formal Aspects of Computing (2007) Vol. 19, Iss. 4, pp. 513-550
Open Access | Times Cited: 76
Generating Erroneous Human Behavior From Strategic Knowledge in Task Models and Evaluating Its Impact on System Safety With Model Checking
Matthew L. Bolton, Ellen J. Bass
IEEE Transactions on Systems Man and Cybernetics Systems (2013) Vol. 43, Iss. 6, pp. 1314-1327
Open Access | Times Cited: 43
Matthew L. Bolton, Ellen J. Bass
IEEE Transactions on Systems Man and Cybernetics Systems (2013) Vol. 43, Iss. 6, pp. 1314-1327
Open Access | Times Cited: 43
Verification-guided modelling of salience and cognitive load
Rimvydas Rukšėnas, Jonathan Back, Paul Curzon, et al.
Formal Aspects of Computing (2009) Vol. 21, Iss. 6
Open Access | Times Cited: 38
Rimvydas Rukšėnas, Jonathan Back, Paul Curzon, et al.
Formal Aspects of Computing (2009) Vol. 21, Iss. 6
Open Access | Times Cited: 38
Behavioural Computer Science: an agenda for combining modelling of human and system behaviours
Tore Pedersen, Christian Johansen, Audun Jøsang
Human-centric Computing and Information Sciences (2018) Vol. 8, Iss. 1
Open Access | Times Cited: 24
Tore Pedersen, Christian Johansen, Audun Jøsang
Human-centric Computing and Information Sciences (2018) Vol. 8, Iss. 1
Open Access | Times Cited: 24
A Cognitive Framework Based on Rewriting Logic for the Analysis of Interactive Systems
António Cerone
Lecture notes in computer science (2016), pp. 287-303
Closed Access | Times Cited: 22
António Cerone
Lecture notes in computer science (2016), pp. 287-303
Closed Access | Times Cited: 22
Formal Modelling of Salience and Cognitive Load
Rimvydas Rukšėnas, Jonathan Back, Paul Curzon, et al.
Electronic Notes in Theoretical Computer Science (2008) Vol. 208, pp. 57-75
Open Access | Times Cited: 26
Rimvydas Rukšėnas, Jonathan Back, Paul Curzon, et al.
Electronic Notes in Theoretical Computer Science (2008) Vol. 208, pp. 57-75
Open Access | Times Cited: 26
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications
Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, et al.
Lecture notes in computer science (2017), pp. 89-104
Closed Access | Times Cited: 20
Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, et al.
Lecture notes in computer science (2017), pp. 89-104
Closed Access | Times Cited: 20
Formal analysis of human-computer interaction using model-checking
António Cerone, Peter Lindsay, Simon Connelly
(2005), pp. 352-361
Closed Access | Times Cited: 30
António Cerone, Peter Lindsay, Simon Connelly
(2005), pp. 352-361
Closed Access | Times Cited: 30
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors
Paul Curzon, Ann Blandford
Lecture notes in computer science (2004), pp. 461-480
Open Access | Times Cited: 29
Paul Curzon, Ann Blandford
Lecture notes in computer science (2004), pp. 461-480
Open Access | Times Cited: 29
Models of interactive systems: a case study on programmable user modelling
Ann Blandford, Richard Butterworth, Paul Curzon
International Journal of Human-Computer Studies (2003) Vol. 60, Iss. 2, pp. 149-200
Open Access | Times Cited: 31
Ann Blandford, Richard Butterworth, Paul Curzon
International Journal of Human-Computer Studies (2003) Vol. 60, Iss. 2, pp. 149-200
Open Access | Times Cited: 31
Formal Modelling of Cognitive Interpretation
Rimvydas Rukšėnas, Paul Curzon, Jonathan Back, et al.
Lecture notes in computer science (2007), pp. 123-136
Closed Access | Times Cited: 23
Rimvydas Rukšėnas, Paul Curzon, Jonathan Back, et al.
Lecture notes in computer science (2007), pp. 123-136
Closed Access | Times Cited: 23
Modelling and analysing cognitive causes of security breaches
Rimvydas Rukšėnas, Paul Curzon, Ann Blandford
Innovations in Systems and Software Engineering (2008) Vol. 4, Iss. 2, pp. 143-160
Closed Access | Times Cited: 21
Rimvydas Rukšėnas, Paul Curzon, Ann Blandford
Innovations in Systems and Software Engineering (2008) Vol. 4, Iss. 2, pp. 143-160
Closed Access | Times Cited: 21
Model-checking user behaviour using interacting components
Thomas Anung Basuki, António Cerone, Andreas Griesmayer, et al.
Formal Aspects of Computing (2009) Vol. 21, Iss. 6
Open Access | Times Cited: 18
Thomas Anung Basuki, António Cerone, Andreas Griesmayer, et al.
Formal Aspects of Computing (2009) Vol. 21, Iss. 6
Open Access | Times Cited: 18
Combining human error verification and timing analysis: a case study on an infusion pump
Rimvydas Rukšėnas, Paul Curzon, Ann Blandford, et al.
Formal Aspects of Computing (2013) Vol. 26, Iss. 5, pp. 1033-1076
Open Access | Times Cited: 15
Rimvydas Rukšėnas, Paul Curzon, Ann Blandford, et al.
Formal Aspects of Computing (2013) Vol. 26, Iss. 5, pp. 1033-1076
Open Access | Times Cited: 15
Multifaceted Formal Methods and their Interdisciplinary Role — from the Cathedral of ‘Components as Coalgebras’ to the HCI Context and the Open Source Software Bazaar
António Cerone
Journal of Logical and Algebraic Methods in Programming (2024) Vol. 142, pp. 101006-101006
Closed Access | Times Cited: 1
António Cerone
Journal of Logical and Algebraic Methods in Programming (2024) Vol. 142, pp. 101006-101006
Closed Access | Times Cited: 1
Using task analytic behavior modeling, erroneous human behavior generation, and formal methods to evaluate the role of human-automation interaction in system failure
Ellen J. Bass, Matthew L. Bolton
(2010)
Closed Access | Times Cited: 13
Ellen J. Bass, Matthew L. Bolton
(2010)
Closed Access | Times Cited: 13
Modelling Human Reasoning in Practical Behavioural Contexts Using Real-Time Maude
António Cerone, Peter Csaba Ölveczky
Lecture notes in computer science (2020), pp. 424-442
Closed Access | Times Cited: 11
António Cerone, Peter Csaba Ölveczky
Lecture notes in computer science (2020), pp. 424-442
Closed Access | Times Cited: 11
From a Formal User Model to Design Rules
Paul Curzon, Ann Blandford
Lecture notes in computer science (2002), pp. 1-15
Closed Access | Times Cited: 19
Paul Curzon, Ann Blandford
Lecture notes in computer science (2002), pp. 1-15
Closed Access | Times Cited: 19
Combining Human Error Verification and Timing Analysis
Rimvydas Rukšėnas, Paul Curzon, Ann Blandford, et al.
Lecture notes in computer science (2008), pp. 18-35
Closed Access | Times Cited: 11
Rimvydas Rukšėnas, Paul Curzon, Ann Blandford, et al.
Lecture notes in computer science (2008), pp. 18-35
Closed Access | Times Cited: 11
Model-checking Driven Design of Interactive Systems
António Cerone, Norzima Elbegbayan
Electronic Notes in Theoretical Computer Science (2007) Vol. 183, pp. 3-20
Open Access | Times Cited: 11
António Cerone, Norzima Elbegbayan
Electronic Notes in Theoretical Computer Science (2007) Vol. 183, pp. 3-20
Open Access | Times Cited: 11
Formal analysis of human operator behavioural patterns in interactive surveillance systems
António Cerone, Simon Connelly, Peter Lindsay
Software & Systems Modeling (2007) Vol. 7, Iss. 3, pp. 273-286
Closed Access | Times Cited: 10
António Cerone, Simon Connelly, Peter Lindsay
Software & Systems Modeling (2007) Vol. 7, Iss. 3, pp. 273-286
Closed Access | Times Cited: 10
