default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Judy Bowen
@article{DBLP:journals/fgcs/KonigHB23,
author = {Jemma L. K{\"{o}}nig and
Annika Hinze and
Judy Bowen},
title = {Workload categorization for hazardous industries: The semantic modelling
of multi-modal physiological data},
journal = {Future Gener. Comput. Syst.},
volume = {141},
pages = {369--381},
year = {2023},
url = {https://doi.org/10.1016/j.future.2022.11.019},
doi = {10.1016/J.FUTURE.2022.11.019},
timestamp = {Tue, 28 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fgcs/KonigHB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijhci/BowenWL23,
author = {Judy Bowen and
Benjamin Weyers and
Bowen Liu},
title = {Creating Formal Models from Informal Design Artefacts},
journal = {Int. J. Hum. Comput. Interact.},
volume = {39},
number = {15},
pages = {3141--3158},
year = {2023},
url = {https://doi.org/10.1080/10447318.2022.2095833},
doi = {10.1080/10447318.2022.2095833},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijhci/BowenWL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmhci/BowenT23,
author = {Judy Bowen and
Jessica Turner},
title = {Interactive System Modelling for the Internet of Things},
journal = {Proc. {ACM} Hum. Comput. Interact.},
volume = {7},
number = {{EICS}},
pages = {1--19},
year = {2023},
url = {https://doi.org/10.1145/3593233},
doi = {10.1145/3593233},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmhci/BowenT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ozchi/MillerHOHKB23,
author = {Jadon Miller and
Mitchell A. Head and
Mahonri W. Owen and
Merel Cornelie Janna Hoskens and
Jemma L. K{\"{o}}nig and
Judy Bowen},
editor = {Judy Bowen and
Nadia Pantidi and
Dana McKay and
Jennifer Ferreira and
Alessandro Soro and
Rachel Blagojevic and
Chris Lawrence and
Nic Vanderschantz and
Te Taka Keegan and
Jane Turner and
Hilary Davis and
Mark D. Apperley and
Jacob Young},
title = {First Do No Harm: Cultural and Ethical Impacts of User Studies},
booktitle = {Proceedings of the 35th Australian Computer-Human Interaction Conference,
OzCHI 2023, Wellington, New Zealand, December 2-6, 2023},
pages = {71--77},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3638380.3638420},
doi = {10.1145/3638380.3638420},
timestamp = {Fri, 17 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ozchi/MillerHOHKB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ozchi/KonigPMBH23,
author = {Jemma L. K{\"{o}}nig and
Jascha Penaredondo and
Emily McCullagh and
Judy Bowen and
Annika Hinze},
editor = {Judy Bowen and
Nadia Pantidi and
Dana McKay and
Jennifer Ferreira and
Alessandro Soro and
Rachel Blagojevic and
Chris Lawrence and
Nic Vanderschantz and
Te Taka Keegan and
Jane Turner and
Hilary Davis and
Mark D. Apperley and
Jacob Young},
title = {Let's Make it Accessible: The Challenges Of Working With Low-cost
Commercially Available Wearable Devices},
booktitle = {Proceedings of the 35th Australian Computer-Human Interaction Conference,
OzCHI 2023, Wellington, New Zealand, December 2-6, 2023},
pages = {493--503},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3638380.3638415},
doi = {10.1145/3638380.3638415},
timestamp = {Fri, 17 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ozchi/KonigPMBH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ozchi/2023,
editor = {Judy Bowen and
Nadia Pantidi and
Dana McKay and
Jennifer Ferreira and
Alessandro Soro and
Rachel Blagojevic and
Chris Lawrence and
Nic Vanderschantz and
Te Taka Keegan and
Jane Turner and
Hilary Davis and
Mark D. Apperley and
Jacob Young},
title = {Proceedings of the 35th Australian Computer-Human Interaction Conference,
OzCHI 2023, Wellington, New Zealand, December 2-6, 2023},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3638380},
doi = {10.1145/3638380},
timestamp = {Wed, 15 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ozchi/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iwc/BowenH22,
author = {Judy Bowen and
Annika Hinze},
title = {Participatory Data Design: Managing Data Sovereignty in IoT Solutions},
journal = {Interact. Comput.},
volume = {34},
number = {2},
pages = {60--71},
year = {2022},
url = {https://doi.org/10.1093/iwc/iwac031},
doi = {10.1093/IWC/IWAC031},
timestamp = {Sat, 18 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iwc/BowenH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iwc/AmeurBCPW21,
author = {Yamine A{\"{\i}}t Ameur and
Judy Bowen and
Jos{\'{e}} Creissac Campos and
Philippe A. Palanque and
Benjamin Weyers},
title = {Heterogeneous Models and Modelling Approaches for Engineering of Interactive
Systems},
journal = {Interact. Comput.},
volume = {33},
number = {1},
pages = {1--2},
year = {2021},
url = {https://doi.org/10.1093/iwc/iwab005},
doi = {10.1093/IWC/IWAB005},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iwc/AmeurBCPW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iwc/BowenC21,
author = {Judy Bowen and
Diana Coben},
title = {Using Task Models to Understand the Intersection of Numeracy Skills
and Technical Competence With Medical Device Design},
journal = {Interact. Comput.},
volume = {33},
number = {1},
pages = {40--54},
year = {2021},
url = {https://doi.org/10.1093/iwcomp/iwab011},
doi = {10.1093/IWCOMP/IWAB011},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iwc/BowenC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmhci/BowenDW21,
author = {Judy Bowen and
Anke Dittmar and
Benjamin Weyers},
title = {Task Modelling for Interactive System Design: {A} Survey of Historical
Trends, Gaps and Future Needs},
journal = {Proc. {ACM} Hum. Comput. Interact.},
volume = {5},
number = {{EICS}},
pages = {214:1--214:22},
year = {2021},
url = {https://doi.org/10.1145/3461736},
doi = {10.1145/3461736},
timestamp = {Wed, 09 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmhci/BowenDW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/TurnerBZ21,
author = {Jessica Turner and
Judy Bowen and
Nikki van Zandwijk},
title = {Interaction Modelling for IoT},
booktitle = {28th Asia-Pacific Software Engineering Conference, {APSEC} 2021, Taipei,
Taiwan, December 6-9, 2021},
pages = {120--129},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/APSEC53868.2021.00020},
doi = {10.1109/APSEC53868.2021.00020},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsec/TurnerBZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/BowenH21,
author = {Judy Bowen and
Annika Hinze},
editor = {Carmelo Ardito and
Rosa Lanzilotti and
Alessio Malizia and
Helen Petrie and
Antonio Piccinno and
Giuseppe Desolda and
Kori Inkpen},
title = {Designing for Inaccessible People and Places},
booktitle = {Human-Computer Interaction - {INTERACT} 2021 - 18th {IFIP} {TC} 13
International Conference, Bari, Italy, August 30 - September 3, 2021,
Proceedings, Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {12935},
pages = {546--556},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85610-6\_30},
doi = {10.1007/978-3-030-85610-6\_30},
timestamp = {Fri, 03 Sep 2021 16:17:41 +0200},
biburl = {https://dblp.org/rec/conf/interact/BowenH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmhci/BowenWV20,
author = {Judy Bowen and
Marco Winckler and
Jean Vanderdonckt},
title = {A Glimpse into the Past, Present, and Future of Engineering Interactive
Computing Systems},
journal = {Proc. {ACM} Hum. Comput. Interact.},
volume = {4},
number = {{EICS}},
pages = {71:1--71:32},
year = {2020},
url = {https://doi.org/10.1145/3394973},
doi = {10.1145/3394973},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmhci/BowenWV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmhci/TurnerBR20,
author = {Jessica Turner and
Judy Bowen and
Steve Reeves},
title = {Model-based Testing of Interactive Systems using Interaction Sequences},
journal = {Proc. {ACM} Hum. Comput. Interact.},
volume = {4},
number = {{EICS}},
pages = {85:1--85:37},
year = {2020},
url = {https://doi.org/10.1145/3397873},
doi = {10.1145/3397873},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmhci/TurnerBR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/TurnerBR20,
author = {Jessica Turner and
Judy Bowen and
Steve Reeves},
editor = {Judy Bowen and
Jean Vanderdonckt and
Marco Winckler},
title = {SeqCheck: a model checking tool for interactive systems},
booktitle = {{EICS} '20: {ACM} {SIGCHI} Symposium on Engineering Interactive Computing
Systems, Sophia Antipolis, France, June 23-26, 2020},
pages = {7:1--7:6},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3393672.3398639},
doi = {10.1145/3393672.3398639},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eics/TurnerBR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nordichi/BowenPHS20,
author = {Judy Bowen and
Helen Petrie and
Annika Hinze and
Sanjit Samaddar},
editor = {David Lamas and
Hegle Sarapuu and
Marta L{\'{a}}rusd{\'{o}}ttir and
Jan Stage and
Carmelo Ardito},
title = {Personas revisited: Extending the Use of Personas to Enhance Participatory
Design},
booktitle = {NordiCHI '20: Shaping Experiences, Shaping Society, Proceedings of
the 11th Nordic Conference on Human-Computer Interaction, Tallinn,
Estonia, 25-29 October, 2020},
pages = {62:1--62:12},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3419249.3420135},
doi = {10.1145/3419249.3420135},
timestamp = {Thu, 29 Oct 2020 10:13:18 +0100},
biburl = {https://dblp.org/rec/conf/nordichi/BowenPHS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eics/2020,
editor = {Judy Bowen and
Jean Vanderdonckt and
Marco Winckler},
title = {{EICS} '20: {ACM} {SIGCHI} Symposium on Engineering Interactive Computing
Systems, Sophia Antipolis, France, June 23-26, 2020},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3393672},
doi = {10.1145/3393672},
isbn = {978-1-4503-7984-7},
timestamp = {Tue, 02 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eics/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/JaidkaRB19,
author = {Sapna Jaidka and
Steve Reeves and
Judy Bowen},
title = {A Coloured Petri Net Approach to Model and Analyze Safety-Critical
Interactive Systems},
booktitle = {26th Asia-Pacific Software Engineering Conference, {APSEC} 2019, Putrajaya,
Malaysia, December 2-5, 2019},
pages = {347--354},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/APSEC48747.2019.00054},
doi = {10.1109/APSEC48747.2019.00054},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apsec/JaidkaRB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/BowenH19,
author = {Judy Bowen and
Annika Hinze},
editor = {Benjamin Weyers and
Judy Bowen},
title = {Smarter Software Engineering Methods for Smart Environments},
booktitle = {Joint Proceedings {HCI} Engineering 2019 - Methods and Tools for Advanced
Interactive Systems and Integration of Multiple Stakeholder Viewpoints
co-located with 11th {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems {(EICS} 2019), Valencia, Spain, June 18, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2503},
pages = {3--9},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2503/paper1\_1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:31 +0100},
biburl = {https://dblp.org/rec/conf/eics/BowenH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/DistanteWBBC0P019,
author = {Damiano Distante and
Marco Winckler and
Regina Bernhaupt and
Judy Bowen and
Jos{\'{e}} Creissac Campos and
Florian M{\"{u}}ller and
Philippe A. Palanque and
Jan Van den Bergh and
Benjamin Weyers and
Alexandra Voit},
editor = {Jos{\'{e}} Ignacio Panach and
Jean Vanderdonckt and
Oscar Pastor},
title = {Trends on engineering interactive systems: an overview of works presented
in workshops at {EICS} 2019},
booktitle = {Proceedings of the {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems, {EICS} 2019, Valencia, Spain, June 18-21, 2019},
pages = {22:1--22:6},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3319499.3335655},
doi = {10.1145/3319499.3335655},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eics/DistanteWBBC0P019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/JaidkaRB19,
author = {Sapna Jaidka and
Steve Reeves and
Judy Bowen},
editor = {Emil Sekerinski and
Nelma Moreira and
Jos{\'{e}} N. Oliveira and
Daniel Ratiu and
Riccardo Guidotti and
Marie Farrell and
Matt Luckcuck and
Diego Marmsoler and
Jos{\'{e}} Creissac Campos and
Troy Astarte and
Laure Gonnord and
Antonio Cerone and
Luis Couto and
Brijesh Dongol and
Martin Kutrib and
Pedro Monteiro and
David Delmas},
title = {Formal Modelling of Safety-Critical Interactive Devices Using Coloured
Petri Nets},
booktitle = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
October 7-11, 2019, Revised Selected Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12232},
pages = {465--485},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-54994-7\_34},
doi = {10.1007/978-3-030-54994-7\_34},
timestamp = {Mon, 05 Feb 2024 20:31:40 +0100},
biburl = {https://dblp.org/rec/conf/fm/JaidkaRB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iotbd/ZiekowHB19,
author = {Holger Ziekow and
Annika Hinze and
Judy Bowen},
editor = {Muthu Ramachandran and
Robert John Walters and
Gary B. Wills and
V{\'{\i}}ctor M{\'{e}}ndez Mu{\~{n}}oz and
Victor Chang},
title = {Managing Application-level QoS for IoT Stream Queries in Hazardous
Outdoor Environments},
booktitle = {Proceedings of the 4th International Conference on Internet of Things,
Big Data and Security, IoTBDS 2019, Heraklion, Crete, Greece, May
2-4, 2019},
pages = {223--231},
publisher = {SciTePress},
year = {2019},
timestamp = {Tue, 29 Sep 2020 09:39:42 +0200},
biburl = {https://dblp.org/rec/conf/iotbd/ZiekowHB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eics/2019w,
editor = {Benjamin Weyers and
Judy Bowen},
title = {Joint Proceedings {HCI} Engineering 2019 - Methods and Tools for Advanced
Interactive Systems and Integration of Multiple Stakeholder Viewpoints
co-located with 11th {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems {(EICS} 2019), Valencia, Spain, June 18, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2503},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2503},
urn = {urn:nbn:de:0074-2503-0},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eics/2019w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/ChangHBGS18,
author = {Carole Chang and
Annika Hinze and
Judy Bowen and
Leah Gilbert and
Nicola Starkey},
title = {Mymemory: {A} mobile memory assistant for people with traumatic brain
injury},
journal = {Int. J. Hum. Comput. Stud.},
volume = {117},
pages = {4--19},
year = {2018},
url = {https://doi.org/10.1016/j.ijhcs.2018.02.006},
doi = {10.1016/J.IJHCS.2018.02.006},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijmms/ChangHBGS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/BowenR18,
author = {Judy Bowen and
Steve Reeves},
title = {Engineering Interactive Systems with Model-Driven Code Contracts},
booktitle = {25th Australasian Software Engineering Conference, {ASWEC} 2018, Adelaide,
Australia, November 26-30, 2018},
pages = {11--20},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ASWEC.2018.00010},
doi = {10.1109/ASWEC.2018.00010},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/BowenR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/BowenK18,
author = {Judy Bowen and
Swikrit Khanal},
title = {Test Stub Generation from Interaction and Behavioural Models},
booktitle = {Proceedings of the {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems, {EICS} 2018, Paris, France, June 19-22, 2018},
pages = {7:1--7:6},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3220134.3220138},
doi = {10.1145/3220134.3220138},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eics/BowenK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/TurnerBR18,
author = {Jessica Turner and
Judy Bowen and
Steve Reeves},
title = {Simulating Interaction Sequences},
booktitle = {Proceedings of the {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems, {EICS} 2018, Paris, France, June 19-22, 2018},
pages = {8:1--8:7},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3220134.3220139},
doi = {10.1145/3220134.3220139},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eics/TurnerBR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/TurnerBR18,
author = {Jessica Turner and
Judy Bowen and
Steve Reeves},
editor = {Manuel Mazzara and
Iulian Ober and
Gwen Sala{\"{u}}n},
title = {Using Abstraction with Interaction Sequences for Interactive System
Modelling},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2018
Collocated Workshops, Toulouse, France, June 25-29, 2018, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11176},
pages = {257--273},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-04771-9\_20},
doi = {10.1007/978-3-030-04771-9\_20},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/staf/TurnerBR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmhci/BowenR17,
author = {Judy Bowen and
Steve Reeves},
title = {Generating Obligations, Assertions and Tests from {UI} Models},
journal = {Proc. {ACM} Hum. Comput. Interact.},
volume = {1},
number = {{EICS}},
pages = {5:1--5:18},
year = {2017},
url = {https://doi.org/10.1145/3095807},
doi = {10.1145/3095807},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmhci/BowenR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/BowenD17,
author = {Judy Bowen and
Anke Dittmar},
editor = {Jian Lv and
He Jason Zhang and
Mike Hinchey and
Xiao Liu},
title = {Formal Definitions for Design Spaces and Traces},
booktitle = {24th Asia-Pacific Software Engineering Conference, {APSEC} 2017, Nanjing,
China, December 4-8, 2017},
pages = {600--605},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/APSEC.2017.72},
doi = {10.1109/APSEC.2017.72},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/BowenD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcshci/BowenHGK017,
author = {Judy Bowen and
Annika Hinze and
Christopher Griffiths and
Vimal Kumar and
David Bainbridge},
editor = {Lynne E. Hall and
Tom Flint and
Suzy O'Hara and
Phil Turner},
title = {Personal Data Collection in the Workplace: Ethical and Technical Challenges},
booktitle = {{HCI} 2017 - Digital make-believe. Proceedings of the 31st International
{BCS} Human Computer Interaction Conference, {BCS} {HCI} 2017, University
of Sunderland, St Peter's campus, Sunderland, UK, 3-6 July 2017},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2017},
url = {https://doi.org/10.14236/ewic/HCI2017.57},
doi = {10.14236/EWIC/HCI2017.57},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bcshci/BowenHGK017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecce/DittmarB17,
author = {Anke Dittmar and
Judy Bowen},
title = {Understanding Active Non-Use through the Framework of Complex Design
Spaces},
booktitle = {Proceedings of the European Conference on Cognitive Ergonomics, {ECCE}
2017, Ume{\aa}, Sweden, September 19-22, 2017},
pages = {146--149},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3121283.3121301},
doi = {10.1145/3121283.3121301},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecce/DittmarB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/JaidkaRB17,
author = {Sapna Jaidka and
Steve Reeves and
Judy Bowen},
editor = {Jos{\'{e}} Creissac Campos and
Nuno Nunes and
Pedro Campos and
Ga{\"{e}}lle Calvary and
Jeffrey Nichols and
C{\'{e}}lia Martinie and
Jos{\'{e}} Lu{\'{\i}}s Silva},
title = {Modelling safety-critical devices: coloured petri nets and {Z}},
booktitle = {Proceedings of the {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems, {EICS} 2017, Lisbon, Portugal, June 26-29, 2017},
pages = {51--56},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3102113.3102125},
doi = {10.1145/3102113.3102125},
timestamp = {Sun, 26 Nov 2023 00:57:51 +0100},
biburl = {https://dblp.org/rec/conf/eics/JaidkaRB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/TurnerBR17,
author = {Jessica Turner and
Judy Bowen and
Steve Reeves},
editor = {Jos{\'{e}} Creissac Campos and
Nuno Nunes and
Pedro Campos and
Ga{\"{e}}lle Calvary and
Jeffrey Nichols and
C{\'{e}}lia Martinie and
Jos{\'{e}} Lu{\'{\i}}s Silva},
title = {Supporting interactive system testing with interaction sequences},
booktitle = {Proceedings of the {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems, {EICS} 2017, Lisbon, Portugal, June 26-29, 2017},
pages = {129--132},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3102113.3102149},
doi = {10.1145/3102113.3102149},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eics/TurnerBR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccae/GilbertHB17,
author = {Leah Gilbert and
Annika Hinze and
Judy Bowen},
title = {Augmented Reality Game for People with Traumatic Brain Injury: Concept
and Prototypical Exploration},
booktitle = {Proceedings of the 9th International Conference on Computer and Automation
Engineering, {ICCAE} '17, Sydney, Australia, February 18-21, 2017},
pages = {51--55},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3057039.3057091},
doi = {10.1145/3057039.3057091},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccae/GilbertHB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/GriffithsBH17,
author = {Christopher Griffiths and
Judy Bowen and
Annika Hinze},
editor = {Regina Bernhaupt and
Girish Dalvi and
Anirudha Joshi and
Devanuj K. Balkrishan and
Jacki O'Neill and
Marco Winckler},
title = {Investigating Wearable Technology for Fatigue Identification in the
Workplace},
booktitle = {Human-Computer Interaction - {INTERACT} 2017 - 16th {IFIP} {TC} 13
International Conference, Mumbai, India, September 25-29, 2017, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10514},
pages = {370--380},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67684-5\_22},
doi = {10.1007/978-3-319-67684-5\_22},
timestamp = {Mon, 26 Jun 2023 20:44:59 +0200},
biburl = {https://dblp.org/rec/conf/interact/GriffithsBH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/BowenD17,
author = {Judy Bowen and
Anke Dittmar},
editor = {Regina Bernhaupt and
Girish Dalvi and
Anirudha Joshi and
Devanuj K. Balkrishan and
Jacki O'Neill and
Marco Winckler},
title = {Coping with Design Complexity: {A} Conceptual Framework for Design
Alternatives and Variants},
booktitle = {Human-Computer Interaction - {INTERACT} 2017 - 16th {IFIP} {TC} 13
International Conference, Mumbai, India, September 25-29, 2017, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10513},
pages = {483--502},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67744-6\_30},
doi = {10.1007/978-3-319-67744-6\_30},
timestamp = {Mon, 26 Jun 2023 20:44:59 +0200},
biburl = {https://dblp.org/rec/conf/interact/BowenD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/interact/BowenD17a,
author = {Judy Bowen and
Anke Dittmar},
editor = {Regina Bernhaupt and
Girish Dalvi and
Anirudha Joshi and
Devanuj K. Balkrishan and
Jacki O'Neill and
Marco Winckler},
title = {Identifying the Interplay of Design Artifacts and Decisions in Practice:
{A} Case Study},
booktitle = {Human-Computer Interaction - {INTERACT} 2017 - 16th {IFIP} {TC} 13
International Conference, Mumbai, India, September 25-29, 2017, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10513},
pages = {503--512},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67744-6\_31},
doi = {10.1007/978-3-319-67744-6\_31},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/interact/BowenD17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/OliveiraPWBD17,
author = {Raquel Oliveira Prates and
Philippe A. Palanque and
Benjamin Weyers and
Judy Bowen and
Alan J. Dix},
editor = {Benjamin Weyers and
Judy Bowen and
Alan J. Dix and
Philippe A. Palanque},
title = {State of the Art on Formal Methods for Interactive Systems},
booktitle = {The Handbook of Formal Methods in Human-Computer Interaction},
pages = {3--55},
publisher = {Springer International Publishing},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51838-1\_1},
doi = {10.1007/978-3-319-51838-1\_1},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/OliveiraPWBD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/BowenDPW17,
author = {Judy Bowen and
Alan J. Dix and
Philippe A. Palanque and
Benjamin Weyers},
editor = {Benjamin Weyers and
Judy Bowen and
Alan J. Dix and
Philippe A. Palanque},
title = {Topics of Formal Methods in {HCI}},
booktitle = {The Handbook of Formal Methods in Human-Computer Interaction},
pages = {57--64},
publisher = {Springer International Publishing},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51838-1\_2},
doi = {10.1007/978-3-319-51838-1\_2},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/BowenDPW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/DixWBP17,
author = {Alan J. Dix and
Benjamin Weyers and
Judy Bowen and
Philippe A. Palanque},
editor = {Benjamin Weyers and
Judy Bowen and
Alan J. Dix and
Philippe A. Palanque},
title = {Trends and Gaps},
booktitle = {The Handbook of Formal Methods in Human-Computer Interaction},
pages = {65--88},
publisher = {Springer International Publishing},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51838-1\_3},
doi = {10.1007/978-3-319-51838-1\_3},
timestamp = {Tue, 02 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/DixWBP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/WeyersHBDP17,
author = {Benjamin Weyers and
Michael D. Harrison and
Judy Bowen and
Alan J. Dix and
Philippe A. Palanque},
editor = {Benjamin Weyers and
Judy Bowen and
Alan J. Dix and
Philippe A. Palanque},
title = {Case Studies},
booktitle = {The Handbook of Formal Methods in Human-Computer Interaction},
pages = {89--121},
publisher = {Springer International Publishing},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51838-1\_4},
doi = {10.1007/978-3-319-51838-1\_4},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/WeyersHBDP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/BowenR17,
author = {Judy Bowen and
Steve Reeves},
editor = {Benjamin Weyers and
Judy Bowen and
Alan J. Dix and
Philippe A. Palanque},
title = {Combining Models for Interactive System Modelling},
booktitle = {The Handbook of Formal Methods in Human-Computer Interaction},
pages = {161--182},
publisher = {Springer International Publishing},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51838-1\_6},
doi = {10.1007/978-3-319-51838-1\_6},
timestamp = {Thu, 27 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/BowenR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/17/BowenH17,
author = {Judy Bowen and
Annika Hinze},
editor = {Benjamin Weyers and
Judy Bowen and
Alan J. Dix and
Philippe A. Palanque},
title = {Reasoning About Interactive Systems in Dynamic Situations of Use},
booktitle = {The Handbook of Formal Methods in Human-Computer Interaction},
pages = {319--341},
publisher = {Springer International Publishing},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51838-1\_12},
doi = {10.1007/978-3-319-51838-1\_12},
timestamp = {Thu, 27 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/17/BowenH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/WDBP2017,
editor = {Benjamin Weyers and
Judy Bowen and
Alan J. Dix and
Philippe A. Palanque},
title = {The Handbook of Formal Methods in Human-Computer Interaction},
publisher = {Springer International Publishing},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-51838-1},
doi = {10.1007/978-3-319-51838-1},
isbn = {978-3-319-51837-4},
timestamp = {Tue, 02 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/WDBP2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jodl/CunninghamNHB16,
author = {Sally Jo Cunningham and
David M. Nichols and
Annika Hinze and
Judy Bowen},
title = {What's news? Encounters with news in everyday life: a study of behaviours
and attitudes},
journal = {Int. J. Digit. Libr.},
volume = {17},
number = {3},
pages = {257--271},
year = {2016},
url = {https://doi.org/10.1007/s00799-016-0187-1},
doi = {10.1007/S00799-016-0187-1},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jodl/CunninghamNHB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/BowenD16,
author = {Judy Bowen and
Anke Dittmar},
editor = {Kris Luyten and
Philippe A. Palanque},
title = {A semi-formal framework for describing interaction design spaces},
booktitle = {Proceedings of the 8th {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems, {EICS} 2016, Brussels, Belgium, June 21-24, 2016},
pages = {229--238},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2933242.2933247},
doi = {10.1145/2933242.2933247},
timestamp = {Sat, 09 Apr 2022 12:33:56 +0200},
biburl = {https://dblp.org/rec/conf/eics/BowenD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icadl/CunninghamNB16,
author = {Sally Jo Cunningham and
David M. Nichols and
Judy Bowen},
editor = {Atsuyuki Morishima and
Andreas Rauber and
Chern Li Liew},
title = {Students and Their Videos: Implications for a Video Digital Library},
booktitle = {Digital Libraries: Knowledge, Information, and Data in an Open Access
Society - 18th International Conference on Asia-Pacific Digital Libraries,
{ICADL} 2016, Tsukuba, Japan, December 7-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10075},
pages = {37--42},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-49304-6\_5},
doi = {10.1007/978-3-319-49304-6\_5},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icadl/CunninghamNB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jcdl/CunninghamNB16,
author = {Sally Jo Cunningham and
David M. Nichols and
Judy Bowen},
editor = {Nabil R. Adam and
Lillian (Boots) Cassel and
Yelena Yesha and
Richard Furuta and
Michele C. Weigle},
title = {Personal Video Collection Management Behavior},
booktitle = {Proceedings of the 16th {ACM/IEEE-CS} on Joint Conference on Digital
Libraries, {JCDL} 2016, Newark, NJ, USA, June 19 - 23, 2016},
pages = {219--220},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2910896.2925440},
doi = {10.1145/2910896.2925440},
timestamp = {Wed, 11 Aug 2021 11:51:24 +0200},
biburl = {https://dblp.org/rec/conf/jcdl/CunninghamNB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/BowenR15,
author = {Judy Bowen and
Steve Reeves},
title = {Design Patterns for Models of Interactive Systems},
booktitle = {24th Australasian Software Engineering Conference, {ASWEC} 2015, Adelaide,
SA, Australia, September 28 - October 1, 2015},
pages = {223--232},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASWEC.2015.30},
doi = {10.1109/ASWEC.2015.30},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/BowenR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/Bowen15,
author = {Judy Bowen},
editor = {Michael Nebeling and
J{\"{u}}rgen Ziegler and
Laurence Nigay},
title = {Creating models of interactive systems with the support of lightweight
reverse-engineering tools},
booktitle = {Proceedings of the 7th {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems, {EICS} 2015, Duisburg, Germany, June 23-26, 2015},
pages = {110--119},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2774225.2774840},
doi = {10.1145/2774225.2774840},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eics/Bowen15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/WeyersBDP15,
author = {Benjamin Weyers and
Judy Bowen and
Alan J. Dix and
Philippe A. Palanque},
editor = {Michael Nebeling and
J{\"{u}}rgen Ziegler and
Laurence Nigay},
title = {Workshop on formal methods in human computer interaction},
booktitle = {Proceedings of the 7th {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing Systems, {EICS} 2015, Duisburg, Germany, June 23-26, 2015},
pages = {294--295},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2774225.2777460},
doi = {10.1145/2774225.2777460},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eics/WeyersBDP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ercimdl/CunninghamNHB15,
author = {Sally Jo Cunningham and
David M. Nichols and
Annika Hinze and
Judy Bowen},
editor = {Sarantos Kapidakis and
Cezary Mazurek and
Marcin Werla},
title = {Digital News Resources: An Autoethnographic Study of News Encounters},
booktitle = {Research and Advanced Technology for Digital Libraries - 19th International
Conference on Theory and Practice of Digital Libraries, {TPDL} 2015,
Pozna{\'{n}}, Poland, September 14-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9316},
pages = {84--96},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24592-8\_7},
doi = {10.1007/978-3-319-24592-8\_7},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ercimdl/CunninghamNHB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ozchi/BowenHCP15,
author = {Judy Bowen and
Annika Hinze and
Sally Jo Cunningham and
Richard Parker},
editor = {Bernd Ploderer and
Marcus Carter and
Martin R. Gibbs and
Wally Smith and
Frank Vetere},
title = {Evaluating Low-cost Activity Trackers for Use in Large-scale Data
Gathering of Forestry Workers},
booktitle = {Proceedings of the Annual Meeting of the Australian Special Interest
Group for Computer Human Interaction, {OZCHI} 2015, Parkville, VIC,
Australia, December 7-10, 2015},
pages = {474--482},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2838739.2838741},
doi = {10.1145/2838739.2838741},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ozchi/BowenHCP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coginfocom/ChangHBS14,
author = {Carole Chang and
Annika Hinze and
Judy Bowen and
Nicola Starkey},
title = {Designing a mobile augmented memory system for people with Traumatic
Brain Injuries},
booktitle = {5th {IEEE} Conference on Cognitive Infocommunications, CogInfoCom
2014, Vietri sul Mare, Italy, 5-7 November 2014},
pages = {13--18},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/CogInfoCom.2014.7020441},
doi = {10.1109/COGINFOCOM.2014.7020441},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coginfocom/ChangHBS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/BowenHR14,
author = {Judy Bowen and
Annika Hinze and
Selina Reid},
editor = {Fabio Patern{\`{o}} and
Carmen Santoro and
J{\"{u}}rgen Ziegler},
title = {Model-driven tools for medical device selection},
booktitle = {{ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems,
EICS'14, Rome, Italy, June 17-20, 2014},
pages = {129--138},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2607023.2607026},
doi = {10.1145/2607023.2607026},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eics/BowenHR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BowenR14,
author = {Judy Bowen and
Steve Reeves},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {A Simplified {Z} Semantics for Presentation Interaction Models},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {148--162},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_11},
doi = {10.1007/978-3-319-06410-9\_11},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BowenR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BowenR13,
author = {Judy Bowen and
Steve Reeves},
title = {Preface to the proceedings of {FMIS} 2013},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {69},
year = {2013},
url = {https://doi.org/10.14279/tuj.eceasst.69.966.986},
doi = {10.14279/TUJ.ECEASST.69.966.986},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BowenR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/BowenR13,
author = {Judy Bowen and
Steve Reeves},
title = {UI-design driven model-based testing},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {3},
pages = {201--215},
year = {2013},
url = {https://doi.org/10.1007/s11334-013-0199-6},
doi = {10.1007/S11334-013-0199-6},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/BowenR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/auic/BowenRS13,
author = {Judy Bowen and
Steve Reeves and
Andrea Schweer},
editor = {Ross T. Smith and
Burkhard C. W{\"{u}}nsche},
title = {A Tale of Two Studies},
booktitle = {Fourteenth Australasian User Interface Conference, {AUIC} 2013, Melbourne,
Australia, February 2013},
series = {{CRPIT}},
volume = {139},
pages = {81--90},
publisher = {Australian Computer Society},
year = {2013},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV139Bowen.html},
timestamp = {Thu, 25 Jul 2019 14:09:43 +0200},
biburl = {https://dblp.org/rec/conf/auic/BowenRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/BowenR13,
author = {Judy Bowen and
Steve Reeves},
editor = {Peter Forbrig and
Prasun Dewan and
Michael Harrison and
Kris Luyten},
title = {Modelling safety properties of interactive medical systems},
booktitle = {{ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems,
EICS'13, London, United Kingdom - June 24 - 27, 2013},
pages = {91--100},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2494603.2480314},
doi = {10.1145/2494603.2480314},
timestamp = {Sat, 09 Apr 2022 12:33:56 +0200},
biburl = {https://dblp.org/rec/conf/eics/BowenR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/BowenR13a,
author = {Judy Bowen and
Steve Reeves},
editor = {Peter Forbrig and
Prasun Dewan and
Michael Harrison and
Kris Luyten},
title = {Formal methods for interactive system: {(FMIS} 2013)},
booktitle = {{ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems,
EICS'13, London, United Kingdom - June 24 - 27, 2013},
pages = {337--338},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2494603.2483223},
doi = {10.1145/2494603.2483223},
timestamp = {Mon, 20 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eics/BowenR13a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/BowenR12,
author = {Judy Bowen and
Steve Reeves},
editor = {Simone Diniz Junqueira Barbosa and
Jos{\'{e}} Creissac Campos and
Rick Kazman and
Philippe A. Palanque and
Michael D. Harrison and
Steve Reeves},
title = {Modelling user manuals of modal medical devices and learning from
the experience},
booktitle = {{ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems,
EICS'12, Copenhagen, Denmark - June 25 - 28, 2012},
pages = {121--130},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2305484.2305505},
doi = {10.1145/2305484.2305505},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eics/BowenR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/BowenH12,
author = {Judy Bowen and
Annika Hinze},
editor = {Simone Diniz Junqueira Barbosa and
Jos{\'{e}} Creissac Campos and
Rick Kazman and
Philippe A. Palanque and
Michael D. Harrison and
Steve Reeves},
title = {Using ontologies to reason about the usability of interactive medical
devices in multiple situations of use},
booktitle = {{ACM} {SIGCHI} Symposium on Engineering Interactive Computing Systems,
EICS'12, Copenhagen, Denmark - June 25 - 28, 2012},
pages = {247--256},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2305484.2305525},
doi = {10.1145/2305484.2305525},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eics/BowenH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BowenH11,
author = {Judy Bowen and
Annika Hinze},
title = {Supporting Mobile Application Development with Model-Driven Emulation},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {45},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.45.634},
doi = {10.14279/TUJ.ECEASST.45.634},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BowenH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BowenR11,
author = {Judy Bowen and
Steve Reeves},
title = {Preface for {FMIS} 2011},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {45},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.45.674.690},
doi = {10.14279/TUJ.ECEASST.45.674.690},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BowenR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/BowenR11,
author = {Judy Bowen and
Steve Reeves},
editor = {Fabio Patern{\`{o}} and
Kris Luyten and
Frank Maurer},
title = {UI-driven test-first development of interactive systems},
booktitle = {Proceedings of the 3rd {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing System, {EICS} 2011, Pisa, Italy, June 13-16, 2011},
pages = {165--174},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1996461.1996515},
doi = {10.1145/1996461.1996515},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eics/BowenR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/BowenR10,
author = {Judy Bowen and
Steve Reeves},
editor = {Noi Sukaviriya and
Jean Vanderdonckt and
Michael Harrison},
title = {Developing usability studies via formal models of UIs},
booktitle = {Proceedings of the 2nd {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing System, {EICS} 2010, Berlin, Germany, June 19-23, 2010},
pages = {175--180},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1822018.1822044},
doi = {10.1145/1822018.1822044},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eics/BowenR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eics/HinzeBWM10,
author = {Annika Hinze and
Judy Bowen and
Yuting Wang and
Robi Malik},
editor = {Noi Sukaviriya and
Jean Vanderdonckt and
Michael Harrison},
title = {Model-driven {GUI} {\&} interaction design using emulation},
booktitle = {Proceedings of the 2nd {ACM} {SIGCHI} Symposium on Engineering Interactive
Computing System, {EICS} 2010, Berlin, Germany, June 19-23, 2010},
pages = {273--278},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1822018.1822061},
doi = {10.1145/1822018.1822061},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eics/HinzeBWM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BowenR09,
author = {Judy Bowen and
Steve Reeves},
title = {UI-Design Driven Model-Based Testing},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {22},
year = {2009},
url = {https://doi.org/10.14279/tuj.eceasst.22.314},
doi = {10.14279/TUJ.ECEASST.22.314},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BowenR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BowenR09,
author = {Judy Bowen and
Steve Reeves},
title = {Refinement for user interface designs},
journal = {Formal Aspects Comput.},
volume = {21},
number = {6},
pages = {589--612},
year = {2009},
url = {https://doi.org/10.1007/s00165-008-0095-2},
doi = {10.1007/S00165-008-0095-2},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BowenR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/BowenR09,
author = {Judy Bowen and
Steve Reeves},
title = {Supporting Multi-path {UI} Development with Vertical Refinement},
booktitle = {20th Australian Software Engineering Conference {(ASWEC} 2009), 14-17
April 2009, Gold Cost, Australia},
pages = {64--72},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASWEC.2009.24},
doi = {10.1109/ASWEC.2009.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/BowenR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/BowenR08,
author = {Judy Bowen and
Steve Reeves},
title = {Formal models for user interface design artefacts},
journal = {Innov. Syst. Softw. Eng.},
volume = {4},
number = {2},
pages = {125--141},
year = {2008},
url = {https://doi.org/10.1007/s11334-008-0049-0},
doi = {10.1007/S11334-008-0049-0},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/BowenR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcshci/BowenR07,
author = {Judy Bowen and
Steve Reeves},
editor = {Thomas C. Ormerod and
Corina Sas},
title = {Using formal models to design user interfaces: a case study},
booktitle = {Proceedings of the 21st British {HCI} Group Annual Conference on {HCI}
2007: HCI...but not as we know it - Volume 1, {BCS} {HCI} 2007, University
of Lancaster, United Kingdom, 3-7 September 2007},
pages = {159--166},
publisher = {{BCS}},
year = {2007},
url = {https://dl.acm.org/citation.cfm?id=1531316},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bcshci/BowenR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BowenR08,
author = {Judy Bowen and
Steve Reeves},
editor = {Antonio Cerone and
Paul Curzon},
title = {Refinement for User Interface Designs},
booktitle = {Proceedings of the 2nd International Workshop on Formal Methods for
Interactive Systems, FMIS@BCS {HCI} 2007, Lancaster, UK, September
4, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {208},
pages = {5--22},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.104},
doi = {10.1016/J.ENTCS.2008.03.104},
timestamp = {Mon, 13 Feb 2023 14:12:08 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BowenR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/BowenR06,
author = {Judy Bowen and
Steve Reeves},
title = {Formal Refinement of Informal {GUI} Design Artefacts},
booktitle = {17th Australian Software Engineering Conference {(ASWEC} 2006), 18-21
April 2006, Sydney, Australia},
pages = {221--230},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ASWEC.2006.28},
doi = {10.1109/ASWEC.2006.28},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/BowenR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BowenR07,
author = {Judy Bowen and
Steve Reeves},
editor = {Antonio Cerone and
Paul Curzon},
title = {Formal Models for Informal {GUI} Designs},
booktitle = {Proceedings of the First International Workshop on Formal Methods
for Interactive Systems, FMIS@ICFEM 2006, Macao, October 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {183},
pages = {57--72},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.01.061},
doi = {10.1016/J.ENTCS.2007.01.061},
timestamp = {Tue, 24 Jan 2023 13:55:33 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BowenR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/BowenR05,
author = {Judy Bowen and
Steve Reeves},
editor = {Helen Treharne and
Steve King and
Martin C. Henson and
Steve A. Schneider},
title = {Including Design Guidelines in the Formal Specification of Interfaces
in {Z}},
booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
International Conference of {B} and {Z} Users, Guildford, UK, April
13-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3455},
pages = {454--471},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11415787\_26},
doi = {10.1007/11415787\_26},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/zum/BowenR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-09 01:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
