Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPhilippa Conmy
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j6]John A. McDermid, Radu Calinescu, Ibrahim Habli, Richard Hawkins, Yan Jia, John Molloy, Matt Osborne, Colin Paterson, Zoë Porter, Philippa Ryan Conmy:
The Safety of Autonomy: A Systematic Approach. Computer 57(4): 16-25 (2024)- [i7]Philippa Ryan, Zoë Porter, Joanna Al-Qaddoumi, John A. McDermid, Ibrahim Habli:
What's my role? Modelling responsibility for AI-based safety-critical systems. CoRR abs/2401.09459 (2024) - 2023
- [c18]Richard Hawkins
, Philippa Ryan Conmy:
Identifying Run-Time Monitoring Requirements for Autonomous Systems Through the Analysis of Safety Arguments. SAFECOMP 2023: 11-24 - [c17]Philippa Ryan Conmy, Berk Ozturk, Tom Lawton, Ibrahim Habli:
The Impact of Training Data Shortfalls on Safety of AI-Based Clinical Decision Support Systems. SAFECOMP 2023: 213-226 - [c16]Philippa Ryan Conmy, John A. McDermid, Ibrahim Habli, Zoë Porter:
Safety engineering, role responsibility and lessons from the Uber ATG Tempe Accident. TAS 2023: 25:1-25:10 - [i6]Zoë Porter, Joanna Al-Qaddoumi, Philippa Ryan Conmy, Phillip Morgan, John A. McDermid, Ibrahim Habli:
Unravelling Responsibility for AI. CoRR abs/2308.02608 (2023) - 2022
- [c15]Yi Qi, Philippa Ryan Conmy, Wei Huang, Xingyu Zhao, Xiaowei Huang:
A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems. AISafety@IJCAI 2022 - [i5]Yi Qi, Philippa Ryan Conmy, Wei Huang, Xingyu Zhao, Xiaowei Huang:
A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems. CoRR abs/2206.10216 (2022) - 2021
- [i4]Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Luke Hinde, Philippa Ryan:
Safety Case Templates for Autonomous Systems. CoRR abs/2102.02625 (2021) - 2020
- [i3]Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Philippa Ryan, Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama, Yutaka Matsubara, Peter Popov Kazuki Imai, Yoshinori Tsutake:
Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 1. CoRR abs/2003.00789 (2020) - [i2]Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Philippa Ryan, Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama, Yutaka Matsubara, Peter Popov Kazuki Imai, Yoshinori Tsutake:
Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS - a collection of Technical Notes Part 2. CoRR abs/2003.00790 (2020)
2010 – 2019
- 2019
- [j5]Robin Bloomfield, Heidy Khlaaf, Philippa Ryan Conmy, Gareth Fletcher:
Disruptive Innovations and Disruptive Assurance: Assuring Machine Learning and Autonomy. Computer 52(9): 82-89 (2019) - [j4]Jed Horner, Philippa Ryan:
Blockchain Standards for Sustainable Development. J. ICT Stand. 7(3): 225-248 (2019) - 2018
- [j3]Simon Knight, Simon Buckingham Shum, Philippa Ryan, Ágnes Sándor, Xiaolong Wang:
Designing Academic Writing Analytics for Civil Law Student Self-Assessment. Int. J. Artif. Intell. Educ. 28(1): 1-28 (2018) - 2016
- [c14]Francisco J. Cazorla, Jaume Abella, Jan Andersson, Tullio Vardanega, Francis Vatrinet, Iain Bate, Ian Broster, Mikel Azkarate-askasua, Franck Wartel, Liliana Cucu, Fabrice Cros, Glenn Farrall, Adriana Gogonel, Andrea Gianarro, Benoit Triquet, Carles Hernández, Code Lo, Cristian Maxim, David Morales, Eduardo Quiñones, Enrico Mezzetti, Leonidas Kosmidis, Irune Agirre, Mikel Fernández, Mladen Slijepcevic, Philippa Conmy, Walid Talaboulma:
PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis. DSD 2016: 276-285 - [c13]Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig:
Assisted Coverage Closure. NFM 2016: 49-64 - 2015
- [c12]Jaume Abella, Carles Hernández, Eduardo Quiñones, Francisco J. Cazorla, Philippa Ryan Conmy, Mikel Azkarate-askasua, Jon Pérez, Enrico Mezzetti, Tullio Vardanega:
WCET analysis methods: Pitfalls and challenges on their trustworthiness. SIES 2015: 39-48 - [i1]Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy, Daniel Kroening, Peter Schrammel, Michael Tautschnig:
Assisted Coverage Closure. CoRR abs/1509.04587 (2015) - 2014
- [c11]Philippa Conmy, Iain Bate:
Assuring Safety for Component Based Software Engineering. HASE 2014: 121-128 - 2013
- [c10]Katrina Attwood, Philippa Conmy:
Nuanced term-matching to assist in compositional safety assurance. ASSURE@ICSE 2013: 18-23 - 2012
- [c9]Stefan Björnander, Rikard Land, Patrick J. Graydon, Kristina Lundqvist, Philippa Conmy:
A Method to Formally Evaluate Safety Case Evidences against a System Architecture Model. ISSRE Workshops 2012: 337-342 - 2011
- [c8]Philippa Conmy, Iain Bate:
Efficient Task Allocation to FPGAs in the Safety Critical Domain. PRDC 2011: 119-128 - 2010
- [j2]Philippa Conmy, Iain Bate:
Component-Based Safety Analysis of FPGAs. IEEE Trans. Ind. Informatics 6(2): 195-205 (2010)
2000 – 2009
- 2009
- [c7]Philippa Conmy, Iain Bate:
Semi-Automated Safety Analysis for Field Programmable Gate Arrays. ECBS 2009: 166-175 - [c6]Iain Bate, Philippa Conmy:
Certification of FPGAs - Current Issues and Possible Solutions. SSS 2009: 149-165 - 2007
- [c5]Philippa Conmy, Richard F. Paige:
Model-driven Development of Particle System Families. MOMPES 2007: 127-136 - 2005
- [b1]Philippa Mary Conmy:
Safety analysis of computer resource management software. University of York, UK, 2005 - [c4]Iain Bate, Philippa Conmy:
Safe Composition of Real Time Software. HASE 2005: 79-88 - 2003
- [c3]Philippa Conmy, Mark Nicholson, John A. McDermid:
Safety Assurance Contracts for Integrated Modular Avionics. SCS 2003: 69-78 - 2001
- [j1]Iain Bate, Philippa Conmy, Tim Kelly, John A. McDermid:
Use of Modern Processors in Safety-Critical Applications. Comput. J. 44(6): 531-543 (2001) - [c2]Philippa Conmy, John A. McDermid:
High Level Failure Analysis for Integrated Modular Avionics. SCS 2001: 13-22 - 2000
- [c1]Iain Bate, Philippa Conmy, John A. McDermid:
Generating evidence for certification of modern processors for use in safety-critical systems. HASE 2000: 125-134
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-18 20:31 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:
